Redistribute work and rebase (new ML)

viperproject · Jan 28, 2025 · aff4303 · aff4303
1 parent 0f8ff84
commit aff4303
Show file tree

Hide file tree

Showing 2 changed files with 87 additions and 265 deletions.
diff --git a/.github/workflows/eval.yml b/.github/workflows/eval.yml
@@ -17,10 +17,10 @@ jobs:
             args: 'ge carbon/silver/src/test/resources/capture_avoidance/'
             tag:  '-2'
           - name: 'dafny'
-            args: 'lt dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/concurrency/11-'
+            args: 'lt dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/concurrency/12-'
             tag:  '-1'
           - name: 'dafny'
-            args: 'in dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/concurrency/11- dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/contract-wrappers/'
+            args: 'in dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/concurrency/12- dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/contract-wrappers/'
             tag:  '-2'
           - name: 'dafny'
             args: 'ge dafny/Source/IntegrationTests/TestFiles/LitTests/LitTest/contract-wrappers/'

diff --git a/eval/Analyse.ipynb b/eval/Analyse.ipynb