- Feb 19, 2018
-
-
Joris ten Tusscher authored
-
- Feb 18, 2018
-
-
Orestis Melkonian authored
-
Orestis Melkonian authored
-
Orestis Melkonian authored
-
- Feb 14, 2018
-
-
Joris ten Tusscher authored
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.
-
Orestis Melkonian authored
-
- Feb 13, 2018
-
-
Joris ten Tusscher authored
Refactored Test code to work with Z3 code. Integrated Test module in Server code.
-
- Feb 11, 2018
-
-
Orestis Melkonian authored
-
Orestis Melkonian authored
-
- Feb 09, 2018
-
-
Orestis Melkonian authored
-
Orestis Melkonian authored
-
- Feb 06, 2018
-
-
Orestis Melkonian authored
-
Orestis Melkonian authored
-
- Feb 05, 2018
-
-
Orestis Melkonian authored
-
Orestis Melkonian authored
-
Orestis Melkonian authored
-
Orestis Melkonian authored
-
Orestis Melkonian authored
-
Orestis Melkonian authored
-
Orestis Melkonian authored
-
Orestis Melkonian authored
-
Orestis Melkonian authored
-
- Feb 04, 2018
-
-
Joris ten Tusscher authored
-
Joris ten Tusscher authored
-
Joris ten Tusscher authored
Some cleanup, added null check functionality on arrays. Test.hs correctly tests all 16 examples now.
-
Joris ten Tusscher authored
-
Joris ten Tusscher authored
Implemented Wishnu’s idea for quantifier evaluation in the Test module, since that’s definitely a better idea on second thought. However, performance with complete randomness is absolutely terrible now, so that problem needs to be addressed next.
-
Joris ten Tusscher authored
-
Joris ten Tusscher authored
- Fixed bug that caused extractExpr to crash when it tried to fetch all pre / post conditions of a method that doesn’t have any. - Increased the number of iterations in the tenth LogicIR.Backend.Test test.
-
Joris ten Tusscher authored
-
Joris ten Tusscher authored
Renamed QuickCheck to Test everywhere, since QuickCheck isn’t even used in the automated testing module.
-
Joris ten Tusscher authored
- Added correct handling of LIsnull in QuickCheck. - Fixed a bug in Rewrite.hs that wasn’t causing issues yet, but was a bug nonetheless. - Sped up QuickCheck tests by making the number of iterations dependent on the specific test.
-
Joris ten Tusscher authored
-
Joris ten Tusscher authored
- Fixed bug that caused some QuickCheck tests to throw an exception because not a complete substitution was taking place. - Uncommented the legendary 16th bug that causes an endless loop when Z3 is used. It doesn’t cause an endless loop with QuickCheck, but QuickCheck does give the wrong answer :’(. All in all, the very naive testing module correctly tests 13/16 tests at the moment (most of the time at least; it’s random).
-
Joris ten Tusscher authored
-
Joris ten Tusscher authored
- Removed the eval tests. - Added tests for QuickCheck - Note that something is broken: multiple tests fail.
-
Joris ten Tusscher authored
-
Joris ten Tusscher authored
-
Joris ten Tusscher authored
- wrote a function in SimpleFormulaChecker.hs that can be used to evaluate (for now just preconditions) in java files; - wrote some (for now) very basic tests for LExpr eval; - worked on QuickCheck.hs, but I have some ideas (mainly regarding arrays) that I need to discuss before I proceed; - added extra parentheses in Pretty.hs to make debugging the AST easier.
-
- Jan 10, 2018
-
-
ISWB Prasetya authored
-