Added some comments on the test setup

goblint · Dec 10, 2024 · 4b34fda · 4b34fda
1 parent 79f890a
commit 4b34fda
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/unit/mainTest.ml b/tests/unit/mainTest.ml
@@ -22,4 +22,4 @@ let subset_tests = "" >::: [SparseMatrixImplementationTest.tests]
 let () =
   print_string "\027[0;1munit: \027[0;0;00m";
   run_test_tt_main subset_tests (* Remove this and uncomment the line below to run all tests.*)
- (* run_test_tt_main all_tests *)
+(* run_test_tt_main all_tests *)