Update CI tests to include coverage for fixes

Professor Borkowski fixed these issues:
 - Merge sort works on all backends
 - Quick sort works on all backends
 - The property test that swap is commutative now passes

Remaining known issues with mutable backends:
 - splitMid returns arrays with changed elements
 - Swapping an index with itself changes the element at that index
 - makeArray doesn’t initialize elements to the proper value

Author: Mikah-Kainen

lh-array-sort.cabal

@@ -140,6 +140,9 @@ test-suite test
   if flag(prim-mutable-arrays)
     cpp-options: -DPRIM_MUTABLE_ARRAYS -DMUTABLE_ARRAYS
 
+  if flag(runtime-checks)
+    cpp-options: -DRUNTIME_CHECKS
+
   default-language:
     Haskell2010
   type:

tests/ArrayTests.hs

@@ -304,10 +304,7 @@ testSwap = testGroup "Swap Tests" [ caseTests, performanceTests, propertyTests ]
   -- The property tests for the split function.
   propertyTests :: TestTree
   propertyTests = testGroup "Swap Property Tests" [
--- TODO: the below should work for mutable backends too
-#ifndef MUTABLE_ARRAYS
     testSwapCommutative
-#endif
     ] where
 
     -- Generates random arrays to test that swap is commutative.

tests/SortTests.hs

@@ -59,14 +59,9 @@ sortTests = testGroup "Sorting Tests" [
   testWorkingSorts :: TestTree
   testWorkingSorts = testGroup "Test Working Sorts" [
     testSort "Insertion Sort" isort_top'
--- TODO: these should be fixed eventually; but first look at the TODOs in ArrayTests...
-#ifndef MUTABLE_ARRAYS
     , testSort "Quick Sort" quickSort
-#endif
-#ifndef PRIM_MUTABLE_ARRAYS
     , testSort "Dps Merge Sort 4" M4.msort
     , testSort "Dps Merge Sort 4 Par" M4Par.msort
-#endif
     , testSort "Piecewise Fallback Sort" PF.pfsort
     , testSort "Piecewise Fallback Sort Par" PFPar.pfsort
     ] where