-
- Downloads
Replace PolySuite with standard JUnit Parameterized runner
Showing
- src/test/java/de/tlc4b/tlc/integration/BasicTest.java 16 additions, 21 deletionssrc/test/java/de/tlc4b/tlc/integration/BasicTest.java
- src/test/java/de/tlc4b/tlc/integration/probprivate/AssertionErrorTest.java 9 additions, 19 deletions...tlc4b/tlc/integration/probprivate/AssertionErrorTest.java
- src/test/java/de/tlc4b/tlc/integration/probprivate/CoverageTest.java 16 additions, 21 deletions...va/de/tlc4b/tlc/integration/probprivate/CoverageTest.java
- src/test/java/de/tlc4b/tlc/integration/probprivate/DeadlockTest.java 9 additions, 19 deletions...va/de/tlc4b/tlc/integration/probprivate/DeadlockTest.java
- src/test/java/de/tlc4b/tlc/integration/probprivate/GoalTest.java 9 additions, 19 deletions...t/java/de/tlc4b/tlc/integration/probprivate/GoalTest.java
- src/test/java/de/tlc4b/tlc/integration/probprivate/InvariantViolationTest.java 9 additions, 19 deletions...b/tlc/integration/probprivate/InvariantViolationTest.java
- src/test/java/de/tlc4b/tlc/integration/probprivate/NoErrorTest.java 9 additions, 20 deletions...ava/de/tlc4b/tlc/integration/probprivate/NoErrorTest.java
- src/test/java/de/tlc4b/tlc/integration/probprivate/WellDefinednessTest.java 9 additions, 18 deletions...lc4b/tlc/integration/probprivate/WellDefinednessTest.java
- src/test/java/de/tlc4b/util/AbstractParseMachineTest.java 0 additions, 64 deletionssrc/test/java/de/tlc4b/util/AbstractParseMachineTest.java
- src/test/java/de/tlc4b/util/PolySuite.java 0 additions, 140 deletionssrc/test/java/de/tlc4b/util/PolySuite.java
Loading
Please register or sign in to comment