Add Apron and No-Apron test for sparseMatrix

Author: kadameit

tests/unit/dune

@@ -2,12 +2,17 @@
 
 (test
   (name mainTest)
-  (libraries ounit2 qcheck-ounit goblint.std goblint.common goblint.lib goblint.constraint goblint.solver goblint.cdomain.value)
+  (libraries ounit2 qcheck-ounit goblint.std goblint.common goblint.lib goblint.constraint goblint.solver goblint.cdomain.value
+    (select sparseMatrixImplementationTest.ml from
+        (apron -> sparseMatrixImplementationTest.apron.ml)
+        (-> sparseMatrixImplementationTest.no-apron.ml)
+    )
+  )
   (preprocess (pps ppx_deriving.std ppx_deriving_hash ppx_deriving_yojson))
   (flags :standard -linkall))
 
 (env
   (dev
     (flags (:standard -warn-error -A -w -unused-var-strict)) ; https://dune.readthedocs.io/en/stable/faq.html#how-to-make-warnings-non-fatal
   )
-)
+)

…tation/sparseMatrixImplementationTest.ml …/sparseMatrixImplementationTest.apron.mltests/unit/cdomains/affineEqualityDomain/sparseImplementation/sparseMatrixImplementationTest.ml renamed to tests/unit/sparseMatrixImplementationTest.apron.ml tests/unit/cdomains/affineEqualityDomain/sparseImplementation/sparseMatrixImplementationTest.ml renamed to tests/unit/sparseMatrixImplementationTest.apron.ml

@@ -345,7 +345,7 @@ let get_col_upper_triangular _ =
   assert_equal expected result
 
 let test () =
-  "SparseMatrixImplementationTest"
+  "SparseMatrixImplementationTest-Apron"
   >::: [
     "can solve a standard normalization" >:: standard_normalize;
     "does sort already reduzed" >:: does_just_sort;

tests/unit/sparseMatrixImplementationTest.no-apron.ml

@@ -0,0 +1,11 @@
+open OUnit2
+
+(* Note: 
+  There are currently no tests independent of apron.
+  The .apron tests use apron's Mpqf module as an implementation of RatOps.
+  There are currently no other RatOps implementations, so this file is empty.
+*)
+let test () =
+  "SparseMatrixImplementationTest-No-Apron"
+  >::: [
+  ]