Merged the verification and testing code into 1 function and used that everywhere.
Fixed bug(s) in evalBin Equivalence class tests also use the QuickCheck module now. Added a "run mode" to Main.hs (Debug / Release). In case of Debug, the results of QuickCheck and Z3 will be compared (and an error will be thrown if they have different results). In Release mode, this doesn’t happen.
Showing
- app/Main.hs 2 additions, 2 deletionsapp/Main.hs
- javawlp.cabal 0 additions, 1 deletionjavawlp.cabal
- src/LogicIR/Backend/QuickCheck/API.hs 2 additions, 8 deletionssrc/LogicIR/Backend/QuickCheck/API.hs
- src/LogicIR/Eval.hs 37 additions, 17 deletionssrc/LogicIR/Eval.hs
- src/Server.hs 2 additions, 2 deletionssrc/Server.hs
- src/SimpleFormulaChecker.hs 60 additions, 20 deletionssrc/SimpleFormulaChecker.hs
- test/Spec.hs 0 additions, 2 deletionstest/Spec.hs
- test/TEquivalenceClasses.hs 1 addition, 1 deletiontest/TEquivalenceClasses.hs
- test/TExamples.hs 1 addition, 1 deletiontest/TExamples.hs
- test/TIRTest.hs 0 additions, 39 deletionstest/TIRTest.hs
Loading
Please register or sign in to comment