adding generic class to ease test addition
Showing
- Makefile 6 additions, 5 deletionsMakefile
- src/avatartranslator/AvatarPragmaTests.java 0 additions, 257 deletionssrc/avatartranslator/AvatarPragmaTests.java
- src/myutil/TraceManager.java 38 additions, 38 deletionssrc/myutil/TraceManager.java
- tests/Avatar/AvatarPragmaTests.java 271 additions, 0 deletionstests/Avatar/AvatarPragmaTests.java
- tests/Avatar/ProVerif/ProVerifOutputAnalyzerTest.java 68 additions, 83 deletionstests/Avatar/ProVerif/ProVerifOutputAnalyzerTest.java
- tests/TToolTest.java 149 additions, 0 deletionstests/TToolTest.java
- tests/test.mk 2 additions, 2 deletionstests/test.mk
Loading
Please register or sign in to comment