Session 2 - Topic 2: JUnit Tests: fix the broken ones, add new ones
- test ModelCheckerTest
(state InputOk idle action guard) needs deeper bug-fixing as
*.toString() seems to translate !(Expression) into !Expression, i.e.
losing the parantheses, which for the example !(Predicate true) is thus
translated to !Predicate true, which is obviously a mistake.
(from redmine: issue id 1441, created on 2013-07-01, closed on 2013-07-15)
- Relations:
- parent #1377 (closed)