-
- Downloads
Added cli single pragma query for model-checker. Changed cli avatar-rg layout...
Added cli single pragma query for model-checker. Changed cli avatar-rg layout and flags. Solved a bug in the interpreter. Solved a possible null pointer exp in AvatarExpressionAttribute. Added test for single pragma query. Added rg generation during property study.
parent
f4282122
No related branches found
No related tags found
Showing
- src/main/java/avatartranslator/AvatarExpressionAttribute.java 1 addition, 1 deletion...main/java/avatartranslator/AvatarExpressionAttribute.java
- src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java 17 additions, 6 deletions...ava/avatartranslator/modelchecker/AvatarModelChecker.java
- src/main/java/cli/Action.java 86 additions, 46 deletionssrc/main/java/cli/Action.java
- src/main/java/cli/Interpreter.java 1 addition, 1 deletionsrc/main/java/cli/Interpreter.java
- ttool/src/test/java/cli/CLIAvatarModelCheckerTest.java 44 additions, 29 deletionsttool/src/test/java/cli/CLIAvatarModelCheckerTest.java
- ttool/src/test/resources/cli/expected/modelchecker_q_expected 4 additions, 0 deletions...l/src/test/resources/cli/expected/modelchecker_q_expected
- ttool/src/test/resources/cli/input/scriptmodelchecker 1 addition, 1 deletionttool/src/test/resources/cli/input/scriptmodelchecker
- ttool/src/test/resources/cli/input/scriptmodelchecker_n 1 addition, 1 deletionttool/src/test/resources/cli/input/scriptmodelchecker_n
- ttool/src/test/resources/cli/input/scriptmodelchecker_q 12 additions, 0 deletionsttool/src/test/resources/cli/input/scriptmodelchecker_q
- ttool/src/test/resources/cli/input/scriptmodelchecker_rl 1 addition, 1 deletionttool/src/test/resources/cli/input/scriptmodelchecker_rl
- ttool/src/test/resources/cli/input/scriptmodelchecker_s 1 addition, 1 deletionttool/src/test/resources/cli/input/scriptmodelchecker_s
Loading
Please register or sign in to comment