-
- Downloads
ModelChecker test successfull
parent
4088e07b
No related branches found
No related tags found
Showing
- src/main/java/avatartranslator/intboolsolver/AvatarIBSAttributeClass.java 6 additions, 6 deletions...atartranslator/intboolsolver/AvatarIBSAttributeClass.java
- src/main/java/avatartranslator/modelchecker/SafetyProperty.java 47 additions, 51 deletions...in/java/avatartranslator/modelchecker/SafetyProperty.java
- src/main/java/myutil/intboolsolver/IBSStdAttributeClass.java 1 addition, 1 deletionsrc/main/java/myutil/intboolsolver/IBSStdAttributeClass.java
- ttool/src/test/java/cli/CLIAvatarModelCheckerTest.java 1 addition, 1 deletionttool/src/test/java/cli/CLIAvatarModelCheckerTest.java
Loading
Please register or sign in to comment