Commits · 903de2617119e4e38f16f4f426afb2c485072650 · impresshs / javawlp

Feb 04, 2018
- Putting array rewrite on hold for now, since I don’t think that this is a better way. · f2400daa
  Joris ten Tusscher authored 7 years ago
  
  f2400daa
- - Fixed QuickCheck bugs, it works on 15/16 tests now. · 4f188800
  Joris ten Tusscher authored 7 years ago
  
  - 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.
  4f188800
- Random testing getting pretty far along now. · 5a432221
  Joris ten Tusscher authored 7 years ago
  
  5a432221