-
- Downloads
Remove unused ignoreList from AbstractParseModuleTest
Showing
- src/test/java/de/tla2b/examples/RegressionTests.java 1 addition, 2 deletionssrc/test/java/de/tla2b/examples/RegressionTests.java
- src/test/java/de/tla2b/util/AbstractParseModuleTest.java 7 additions, 22 deletionssrc/test/java/de/tla2b/util/AbstractParseModuleTest.java
- src/test/java/testing/ExampleFilesTest.java 1 addition, 4 deletionssrc/test/java/testing/ExampleFilesTest.java
Loading
Please register or sign in to comment