Run CLocksTest with llvm files

hernanponcedeleon · Aug 6, 2023 · c20a2f7 · c20a2f7
1 parent 88ed0fe
commit c20a2f7
Show file tree

Hide file tree

Showing 4 changed files with 910 additions and 37 deletions.
diff --git a/benchmarks/c/miscellaneous/pthread_mutex.c b/benchmarks/c/miscellaneous/pthread_mutex.c
diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/c/CLocksTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/c/CLocksTest.java
@@ -27,7 +27,7 @@ public CLocksTest(String name, Arch target, Result expected) {
 
     @Override
     protected Provider<String> getProgramPathProvider() {
-        return Provider.fromSupplier(() -> TEST_RESOURCE_PATH + "locks/" + name + ".bpl");
+        return Provider.fromSupplier(() -> TEST_RESOURCE_PATH + "locks/" + name + ".ll");
     }
 
     @Override