-
- Downloads
Modified TLCRunner.
Showing
- src/main/java/de/b2tla/B2TLA.java 4 additions, 4 deletionssrc/main/java/de/b2tla/B2TLA.java
- src/main/java/de/b2tla/TLCRunner.java 7 additions, 13 deletionssrc/main/java/de/b2tla/TLCRunner.java
- src/main/java/de/b2tla/util/BTLCPrintStream.java 3 additions, 3 deletionssrc/main/java/de/b2tla/util/BTLCPrintStream.java
- src/test/java/de/b2tla/util/TestUtil.java 2 additions, 1 deletionsrc/test/java/de/b2tla/util/TestUtil.java
Loading
Please register or sign in to comment