update bound for gpuverify tests

hernanponcedeleon · Jan 30, 2025 · adec207 · adec207
1 parent 6d1f484
commit adec207
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/spirv/gpuverify/ClangSpirvRacesTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/spirv/gpuverify/ClangSpirvRacesTest.java
@@ -85,8 +85,8 @@ public static Iterable<Object[]> data() throws IOException {
                 {"report_global_id/test1.spv.dis", 1, PASS},
                 {"report_global_id/test2.spv.dis", 1, FAIL},
                 {"sourcelocation_tests/barrier_divergence/pass.spv.dis", 1, PASS},
-                {"sourcelocation_tests/needs_source_location_ensures.spv.dis", 1, PASS},
-                // {"sourcelocation_tests/needs_source_location_requires.spv.dis", 9, PASS},
+                {"sourcelocation_tests/needs_source_location_ensures.spv.dis", 9, PASS},
+                {"sourcelocation_tests/needs_source_location_requires.spv.dis", 9, PASS},
                 {"sourcelocation_tests/race_with_loop.spv.dis", 2, UNKNOWN},
                 {"sourcelocation_tests/races/fail/read_write.spv.dis", 1, FAIL},
                 {"sourcelocation_tests/races/fail/write_read.spv.dis", 1, FAIL},