Enable Foundry test on CI

.github/workflows/test-pr.yml

@@ -136,7 +136,7 @@ jobs:
       - name: 'Build Foundry'
         run: docker exec -u user kevm-ci-foundry-${GITHUB_SHA} /bin/bash -c 'make build-foundry -j2'
       - name: 'Test Foundry'
-        run: docker exec -u user kevm-ci-foundry-${GITHUB_SHA} /bin/bash -c 'make test-foundry -j2 FOUNDRY_PAR=12'
+        run: docker exec -u user kevm-ci-foundry-${GITHUB_SHA} /bin/bash -c 'make test-foundry -j3 FOUNDRY_PAR=12'
       - name: 'Tear down Docker'
         if: always()
         run: |

Makefile

@@ -488,7 +488,9 @@ foundry_out := $(foundry_dir)/out
 
 test-foundry: KEVM_OPTS += --pyk --verbose
 test-foundry: KEVM = $(POETRY_RUN) kevm
-test-foundry: tests/foundry/foundry.k.check tests/foundry/out/kompiled/foundry.k.prove
+test-foundry:                                  \
+    tests/foundry/foundry.k.check              \
+    tests/foundry/out/kompiled/foundry.k.prove
 
 foundry-forge-build: $(foundry_out)
 
@@ -499,6 +501,10 @@ $(foundry_out):
 	rm -rf $@
 	cd $(dir $@) && forge build
 
+tests/foundry/interactive.out.check: tests/foundry/out/kompiled/timestamp $(KEVM_BIN)/kevm
+	$(POETRY_RUN) ./tests/foundry/test-foundry.sh > interactive.out
+	$(CHECK) tests/foundry/interactive.out tests/foundry/interactive.expected
+
 tests/foundry/foundry.k.check: tests/foundry/out/kompiled/foundry.k
 	grep --invert-match '    rule  ( #binRuntime (' $< > [email protected]
 	$(CHECK) [email protected] [email protected]

flake.nix

@@ -20,10 +20,10 @@
     pyk.url = "github:runtimeverification/pyk/v0.1.204";
     pyk.inputs.flake-utils.follows = "k-framework/flake-utils";
     pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs";
-
+    foundry.url = "github:shazow/foundry.nix";
   };
   outputs = { self, k-framework, haskell-backend, nixpkgs, flake-utils, poetry2nix
-    , blockchain-k-plugin, ethereum-tests, ethereum-legacytests, rv-utils, pyk
+    , blockchain-k-plugin, ethereum-tests, ethereum-legacytests, rv-utils, pyk, foundry
     }:
     let
       buildInputs = pkgs: k:
@@ -120,7 +120,7 @@
 
             enableParallelBuilding = true;
 
-            buildInputs = [ (final.kevm k) prev.which prev.git ];
+            buildInputs = [ (final.kevm k) prev.which prev.git prev.curl ];
 
             buildPhase = ''
               mkdir -p tests/ethereum-tests/LegacyTests
@@ -166,6 +166,7 @@
             blockchain-k-plugin.overlay
             poetry2nix.overlay
             pyk.overlay
+            foundry.overlay
             overlay
           ];
         };