Pre-conditions and Post-conditions

[eadocX Support]

Hi Phil,
You’re correct that pre- and post-conditions are printed using the Profile for ‘Constraints’.
Can you send me an example of what you’d like your use cases to look like?
Also, have you found the extra attributes at the bottom of the list for ‘Use Cases’, which are ‘pre-‘ and ‘post-condition summary’? These might give you some more options.