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
index f34aff5c06..555917c572 100644
--- 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},