Reslving bug on avatar guards
Showing
- executablecode/Makefile.src 1 addition, 1 deletionexecutablecode/Makefile.src
- modeling/modelsForTestingTTool/UPPAALtest.xml 408 additions, 32 deletionsmodeling/modelsForTestingTTool/UPPAALtest.xml
- src/main/java/avatartranslator/AvatarTerm.java 3 additions, 3 deletionssrc/main/java/avatartranslator/AvatarTerm.java
- ttool/src/test/java/avatartranslator/AvatarGuardTests.java 2 additions, 2 deletionsttool/src/test/java/avatartranslator/AvatarGuardTests.java
This diff is collapsed.
Please register or sign in to comment