Workflow torun kmir tests fromdockerhub

Author: F-WRunTime

.github/workflows/container-test.yml

@@ -48,22 +48,24 @@ jobs:
 
   test:
     runs-on: ubuntu-latest
-    needs: publish-test-image
-    permissions:
-      packages: read
+    # needs: publish-test-image
+    container: runtimeverificationinc/kmir:ubuntu-jammy-0.3.112_7.1.229-daf5158
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
         with:
           submodules: recursive
           ref: sample-challenge-11-proofs
-      - name: Start KMIR Container
-        run: |
-          docker run --detach --rm --name kmir --tty --interactive ${{ needs.publish-test-image.outputs.image-name }}:ubuntu-jammy-${{ needs.publish-test-image.outputs.kmir-version }}_${{ needs.publish-test-image.outputs.k-version }}-${{ needs.publish-test-image.outputs.short-sha }}
-      - name: Stream files to Container
-        run: |
-          docker cp rust-verification-proofs kmir:/home/kmir/
+      # - name: Start KMIR Container
+      #   run: |
+      #     docker run --detach --rm --name kmir --tty --interactive ${{ needs.publish-test-image.outputs.image-name }}:ubuntu-jammy-${{ needs.publish-test-image.outputs.kmir-version }}_${{ needs.publish-test-image.outputs.k-version }}-${{ needs.publish-test-image.outputs.short-sha }}
+      # - name: Stream files to Container
+      #   run: |
+      #     docker cp rust-verification-proofs kmir:/home/kmir/
       - name: kmir Prove
         run: |
           cd rust-verification-proofs/unchecked_add
-          kmir prove run  $PWD/unchecked-op-spec.k --proof-dir $PWD/proof 
+          for k_file in */*-spec.k"; do
+            echo "Running ${k_file}"
+            kmir prove run ${k_file} --proof-dir $(dirname ${k_file})/proofs
+          done