Added some comments on the test setup

goblint · Dec 10, 2024 · 79f890a · 79f890a
1 parent 6673aae
commit 79f890a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/tests/unit/mainTest.ml b/tests/unit/mainTest.ml
@@ -14,10 +14,12 @@ let all_tests =
     (* etc *)
     "domaintest" >::: QCheck_ounit.to_ounit2_test_list Maindomaintest.all_testsuite;
     IntOpsTest.tests;
+    (* SparseMatrixImplementationTest.tests; *) (* Uncomment this to add the sparse matrix tests to all tests *)
   ]
 
 let subset_tests = "" >::: [SparseMatrixImplementationTest.tests]
 
 let () =
   print_string "\027[0;1munit: \027[0;0;00m";
-  run_test_tt_main subset_tests
+  run_test_tt_main subset_tests (* Remove this and uncomment the line below to run all tests.*)
+ (* run_test_tt_main all_tests *)