# lean4 patch test + bench runner
# Targets: all test bench clean

PYTHON    := python3
TEST_FILE := tests/test-lean4-cwe407.py
BENCH_DIR := bench

.PHONY: all test bench clean

all: test bench

test:
	$(PYTHON) $(TEST_FILE)

bench:
	$(PYTHON) $(BENCH_DIR)/run_all.py

clean:
	rm -rf tests/__pycache__ bench/__pycache__ __pycache__
