AF3 JUnit Tests
These 3 tests comes from the issue 3097:
test.org.fortiss.af3.tools.nusmv.tests.SmokeTest.trivialFullfillmentTest
test.org.fortiss.af3.tools.nusmv.tests.SmokeTest.trivialFailingTest
test.org.fortiss.af3.tools.nusmv.tests.SmokeTest.simpleCounterexampleTest
(from redmine: issue id 3414, created on 2018-05-18, closed on 2018-06-04)
- Relations:
- relates #3097 (closed)
- relates #3423 (closed)