-
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- 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.
TIRQuickCheck.hs 1018 B