Makefile, tests/foundry/test-foundry.sh: run test-foundry.sh from Makefile

Author: ehildenb

Makefile

@@ -492,7 +492,7 @@ foundry_out := $(foundry_dir)/out
 test-foundry: KEVM_OPTS += --pyk --verbose --profile
 test-foundry: KEVM = $(PYK_ACTIVATE) && kevm
 test-foundry: KOMPILE = $(PYK_ACTIVATE) && kevm kompile
-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 tests/foundry/interactive.out.check
 
 foundry-forge-build: $(foundry_out)
 
@@ -503,6 +503,10 @@ $(foundry_out):
 	rm -rf $@
 	cd $(dir $@) && forge build
 
+tests/foundry/interactive.out.check: tests/foundry/out/kompiled/timestamp $(KEVM_BIN)/kevm
+	cd tests/foundry && ./test-foundry.sh > tests/foundry/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 (' $< > $@.stripped
 	$(CHECK) $@.stripped $@.expected

tests/foundry/test-foundry.sh

@@ -2,9 +2,9 @@
 
 set -xueo pipefail
 
-forge build
-kevm foundry-kompile out
-kevm foundry-prove out --test UintTypeTest.test_uint256 --depth 40
+forge build                                                        >&2
+kevm foundry-kompile out                                           >&2
+kevm foundry-prove out --test UintTypeTest.test_uint256 --depth 40 >&2
+
 kevm foundry-list out
-kevm foundry-show out UintTypeTest.test_uint256 &> cfg.out
-cp cfg.out cfg.expected
+kevm foundry-show out UintTypeTest.test_uint256