test's archi work, but wrong pvspec generate
Showing
- ttool/src/test/java/pragmasmodel/AliceAndBobPragmasTest.java 18 additions, 24 deletionsttool/src/test/java/pragmasmodel/AliceAndBobPragmasTest.java
- ttool/src/test/java/pragmasmodel/AvatarNetworkProjectPragmaTests.java 76 additions, 48 deletions...st/java/pragmasmodel/AvatarNetworkProjectPragmaTests.java
Loading
Please register or sign in to comment