Use LLVM version of benchmarks for CI

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Aug 9, 2023 · 1a64dbe · 1a64dbe
1 parent f729d71
commit 1a64dbe
Show file tree

Hide file tree

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

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/c/C11LocksTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/c/C11LocksTest.java
@@ -31,7 +31,7 @@ public C11LocksTest(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

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/c/IMMLFDSTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/c/IMMLFDSTest.java
@@ -31,7 +31,7 @@ public IMMLFDSTest(String name, Arch target, Result expected) {
 
     @Override
     protected Provider<String> getProgramPathProvider() {
-        return Provider.fromSupplier(() -> TEST_RESOURCE_PATH + "lfds/" + name + ".bpl");
+        return Provider.fromSupplier(() -> TEST_RESOURCE_PATH + "lfds/" + name + ".ll");
     }
 
     @Override

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/c/IMMLocksTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/c/IMMLocksTest.java
@@ -31,7 +31,7 @@ public IMMLocksTest(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

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/c/LFDSTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/c/LFDSTest.java
@@ -27,7 +27,7 @@ public LFDSTest(String name, Arch target, Result expected) {
 
     @Override
     protected Provider<String> getProgramPathProvider() {
-        return Provider.fromSupplier(() -> TEST_RESOURCE_PATH + "lfds/" + name + ".bpl");
+        return Provider.fromSupplier(() -> TEST_RESOURCE_PATH + "lfds/" + name + ".ll");
     }
 
     @Override

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/c/RC11LFDSTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/c/RC11LFDSTest.java
@@ -31,7 +31,7 @@ public RC11LFDSTest(String name, Arch target, Result expected) {
 
     @Override
     protected Provider<String> getProgramPathProvider() {
-        return Provider.fromSupplier(() -> TEST_RESOURCE_PATH + "lfds/" + name + ".bpl");
+        return Provider.fromSupplier(() -> TEST_RESOURCE_PATH + "lfds/" + name + ".ll");
     }
 
     @Override

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/c/RC11LocksTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/c/RC11LocksTest.java
@@ -31,7 +31,7 @@ public RC11LocksTest(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