Split dafny more

viperproject · Jan 27, 2025 · ead6c3a · ead6c3a
1 parent e43207b
commit ead6c3a
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/.github/workflows/eval.yml b/.github/workflows/eval.yml
@@ -12,11 +12,14 @@ jobs:
         verifier:
           - name: 'carbon'
           - name: 'dafny'
-            args: 'lt dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/contract-wrappers'
+            args: 'lt dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/concurrency'
             tag:  '-1'
           - name: 'dafny'
-            args: 'gt dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/contract-wrappers'
+            args: 'eq dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/concurrency'
             tag:  '-2'
+          - name: 'dafny'
+            args: 'gt dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/contract-wrappers'
+            tag:  '-3'
           - name: 'fstar'
           - name: 'silicon'
           - name: 'smt-comp'

diff --git a/eval/eval.sh b/eval/eval.sh
@@ -18,6 +18,7 @@ while read -r file; do
 
     [[ "$2" == "lt" && "$3" < "$FILE" ]] && continue || true
     [[ "$2" == "gt" && "$3" > "$FILE" ]] && continue || true
+    [[ "$2" == "eq" && "${FILE#"$3/"}" == "${FILE}" ]] && continue || true
     [ -s "$OUTPUT.data" ] && echo "[.log] EXISTS $FILE" && continue || true
 
     # [ "$FILE" == "silicon/silver/src/test/resources/quantifiedpermissions/misc/functions-01.smt2" ] || continue