Change 3 results in C11LFDSTest and override getConfiguration()

Signed-off-by: Tianrui Zheng <[email protected]>
hernanponcedeleon · Nov 19, 2024 · e53cefe · e53cefe
1 parent c0919b0
commit e53cefe
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 3 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
@@ -10,6 +10,8 @@
 import org.junit.Test;
 import org.junit.runner.RunWith;
 import org.junit.runners.Parameterized;
+import org.sosy_lab.common.configuration.Configuration;
+import org.sosy_lab.common.configuration.InvalidConfigurationException;
 import org.sosy_lab.java_smt.SolverContextFactory.Solvers;
 
 import java.io.IOException;
@@ -27,6 +29,11 @@ public C11LFDSTest(String name, Arch target, Result expected) {
         super(name, target, expected);
     }
 
+    @Override
+    protected Configuration getConfiguration() throws InvalidConfigurationException {
+        return Configuration.defaultConfiguration();
+    }
+
     @Override
     protected Provider<String> getProgramPathProvider() {
         return () -> getTestResourcePath("lfds/" + name + ".ll");
@@ -55,11 +62,11 @@ protected Provider<Solvers> getSolverProvider() {
     public static Iterable<Object[]> data() throws IOException {
         // Commented ones take too long ATM
         return Arrays.asList(new Object[][]{
-                {"dglm", C11, UNKNOWN},
+                {"dglm", C11, FAIL},
                 {"dglm-CAS-relaxed", C11, FAIL},
-                {"ms", C11, UNKNOWN},
+                {"ms", C11, FAIL},
                 {"ms-CAS-relaxed", C11, FAIL},
-                {"treiber", C11, UNKNOWN},
+                {"treiber", C11, FAIL},
                 {"treiber-CAS-relaxed", C11, FAIL},
                 {"chase-lev", C11, PASS},
                 // These have an extra thief that violate the assertion

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/c/VMMLFDSTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/c/VMMLFDSTest.java
@@ -10,6 +10,8 @@
 import org.junit.Test;
 import org.junit.runner.RunWith;
 import org.junit.runners.Parameterized;
+import org.sosy_lab.common.configuration.Configuration;
+import org.sosy_lab.common.configuration.InvalidConfigurationException;
 import org.sosy_lab.java_smt.SolverContextFactory.Solvers;
 
 import java.io.IOException;
@@ -29,6 +31,11 @@ public VMMLFDSTest(String name, Arch target, Result expected) {
         super(name, target, expected);
     }
 
+    @Override
+    protected Configuration getConfiguration() throws InvalidConfigurationException {
+        return Configuration.defaultConfiguration();
+    }
+
     @Override
     protected Provider<String> getProgramPathProvider() {
         return () -> getTestResourcePath("lfds/" + name + ".ll");