Skip to content
Snippets Groups Projects
Commit 4f188800 authored by Joris ten Tusscher's avatar Joris ten Tusscher
Browse files

- Fixed QuickCheck bugs, it works on 15/16 tests now. 

- 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.
parent c051ffe3
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment