More precise and correct behaviour in pragmas verification; Added better...
More precise and correct behaviour in pragmas verification; Added better management of Expression Solvers with states
parent
f6307a96
No related branches found
No related tags found
Showing
- src/main/java/avatartranslator/AvatarExpressionAttribute.java 35 additions, 5 deletions...main/java/avatartranslator/AvatarExpressionAttribute.java
- src/main/java/avatartranslator/AvatarExpressionSolver.java 11 additions, 0 deletionssrc/main/java/avatartranslator/AvatarExpressionSolver.java
- src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java 27 additions, 21 deletions...ava/avatartranslator/modelchecker/AvatarModelChecker.java
- src/main/java/avatartranslator/modelchecker/SafetyProperty.java 11 additions, 0 deletions...in/java/avatartranslator/modelchecker/SafetyProperty.java
Loading
Please register or sign in to comment