Enabled test

hernanponcedeleon · Jul 15, 2024 · 98c3d75 · 98c3d75
1 parent ca3147d
commit 98c3d75
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/spirv/gpuverify/SpirvRacesTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/spirv/gpuverify/SpirvRacesTest.java
@@ -100,6 +100,7 @@ public static Iterable<Object[]> data() throws IOException {
                 {"test_local_id_inference.spv.dis", 1, PASS},
                 {"test_mod_invariants/global_reduce_strength.spv.dis", 1, UNKNOWN},
                 {"test_part_load_store/store_int_and_short.spv.dis", 1, PASS},
+                {"test_for_ssa_bug.spv.dis", 2, PASS},
                 {"test_structs/use_array_element.spv.dis", 1, PASS},
                 {"test_structs/use_element.spv.dis", 1, PASS},
                 {"test_structs/use_struct_element.spv.dis", 1, PASS},
@@ -168,10 +169,6 @@ public static Iterable<Object[]> data() throws IOException {
                 // {"test_line_number_problem.spv.dis", 1, FAIL},
                 // {"test_mod_invariants/local_reduce_strength.spv.dis", 1, PASS},
 
-                // Unsupported control flow
-                // {"test_for_ssa_bug.spv.dis", 1, PASS},
-                // {"transitiveclosuresimplified.spv.dis", 1, PASS},
-
                 // Unsupported spir-v ops
                 // {"alignment/int3int4.spv.dis", 1, PASS},
                 // {"alignment/race_location.spv.dis", 1, FAIL},
@@ -248,6 +245,7 @@ public static Iterable<Object[]> data() throws IOException {
                 // {"ternarytest.spv.dis", 1, PASS},
                 // {"ternarytest2.spv.dis", 1, PASS},
                 // {"test_for_get_group_id.spv.dis", 1, PASS},
+                // {"transitiveclosuresimplified.spv.dis", 1, PASS},
                 // {"vectortests/float4arrayaccess.spv.dis", 1, PASS},
                 // {"vectortests/int3arrayaccess.spv.dis", 1, PASS},
                 // {"vectortests/test_paren.spv.dis", 1, FAIL},