Fix

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Feb 25, 2025 · f84a56e · f84a56e
1 parent 4c89121
commit f84a56e
Show file tree

Hide file tree

Showing 22 changed files with 25 additions and 25 deletions.
diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
@@ -40,7 +40,7 @@ jobs:
       run: echo "DAT3M_OUTPUT=$(echo $DAT3M_HOME)/output" >> $GITHUB_ENV
 
     - name: Litmus tests
-      run: mvn test -Dtest="com/dat3m/dartagnan/litmus/*"
+      run: mvn test -Dtest="com/dat3m/dartagnan/litmus/**/*"
 
   llvm-tests:
     name: LLVM tests
@@ -63,7 +63,7 @@ jobs:
       run: echo "DAT3M_OUTPUT=$(echo $DAT3M_HOME)/output" >> $GITHUB_ENV
 
     - name: LLVM tests
-      run: mvn test -Dtest="com/dat3m/dartagnan/llvm/*"
+      run: mvn test -Dtest="com/dat3m/dartagnan/llvm/**/*"
 
   other-tests:
     name: Other tests
@@ -86,7 +86,7 @@ jobs:
       run: echo "DAT3M_OUTPUT=$(echo $DAT3M_HOME)/output" >> $GITHUB_ENV
 
     - name: Other tests
-      run: mvn test -Dtest="com/dat3m/dartagnan/others/*"
+      run: mvn test -Dtest="com/dat3m/dartagnan/others/**/*"
 
   spirv-tests:
     name: SPIRV tests
@@ -109,7 +109,7 @@ jobs:
       run: echo "DAT3M_OUTPUT=$(echo $DAT3M_HOME)/output" >> $GITHUB_ENV
 
     - name: SPIRV tests
-      run: mvn test -Dtest="com/dat3m/dartagnan/spirv/*"
+      run: mvn test -Dtest="com/dat3m/dartagnan/spirv/**/*"
 
   weekly:
     name: All tests

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/AbstractCTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/AbstractCTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.configuration.OptionNames;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/C11LFDSTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/C11LFDSTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.configuration.OptionNames;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/C11LocksTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/C11LocksTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.configuration.OptionNames;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/C11OrigLFDSTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/C11OrigLFDSTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.utils.Result;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/C11OrigLocksTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/C11OrigLocksTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.utils.Result;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/CLKMMTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/CLKMMTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.utils.Result;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/CLocksTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/CLocksTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.utils.Result;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/CProgressTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/CProgressTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.ProgressModel;
 import com.dat3m.dartagnan.configuration.Property;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/EBRTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/EBRTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.utils.Result;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/IMMLFDSTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/IMMLFDSTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.utils.Result;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/IMMLocksTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/IMMLocksTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.utils.Result;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/IMMTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/IMMTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.utils.Result;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/LFDSTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/LFDSTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.utils.Result;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/LibvsyncTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/LibvsyncTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.configuration.Property;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/LivenessTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/LivenessTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.configuration.Property;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/MiscellaneousTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/MiscellaneousTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.configuration.OptionNames;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/RC11LFDSTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/RC11LFDSTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.utils.Result;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/RC11LocksTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/RC11LocksTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.utils.Result;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/RC11Test.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/RC11Test.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.utils.Result;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/VMMLFDSTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/VMMLFDSTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.configuration.Property;

diff --git a/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/VMMLocksTest.java b/dartagnan/src/test/java/com/dat3m/dartagnan/llvm/VMMLocksTest.java
@@ -1,4 +1,4 @@
-package com.dat3m.dartagnan.c;
+package com.dat3m.dartagnan.llvm;
 
 import com.dat3m.dartagnan.configuration.Arch;
 import com.dat3m.dartagnan.configuration.Property;