WLP is now calculated for every method seperately, instead of just for the...
WLP is now calculated for every method seperately, instead of just for the main method. The code for filling the type environment is now seperated from the rest of the program.
Showing
- HelperFunctions.hs 13 additions, 8 deletionsHelperFunctions.hs
- Main.hs 18 additions, 9 deletionsMain.hs
- Settings.hs 1 addition, 1 deletionSettings.hs
- Tests/2d-arrays1.java 7 additions, 7 deletionsTests/2d-arrays1.java
- Tests/arrays1.java 8 additions, 8 deletionsTests/arrays1.java
- Tests/methods.java 5 additions, 5 deletionsTests/methods.java
- Types.hs 79 additions, 0 deletionsTypes.hs
- Verifier.hs 89 additions, 77 deletionsVerifier.hs
- WLP.hs 14 additions, 19 deletionsWLP.hs
Loading
Please register or sign in to comment