Support #1377: Team Programming - Session 1 - Topic 3: JUnit Tests: fix the broken ones, add new ones
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.