This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
basics:ex7 [2007/02/25 17:04] bdefrain |
basics:ex7 [2007/02/26 09:40] bdefrain |
||
---|---|---|---|
Line 35: | Line 35: | ||
To start this new '' | To start this new '' | ||
+ | |||
+ | <note important> | ||
+ | Beside the expected output, you might see output from your previous advices when you run the code from class '' | ||
+ | </ | ||
---- | ---- | ||
- | Continue with the [[invariants: | + | Continue with the [[invariant: |