diff options
| author | Son Ho | 2022-02-08 18:34:04 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-08 18:34:04 +0100 |
| commit | 464e2da5f51547e4350871431f1e9ad74c48094f (patch) | |
| tree | c39591349c3d9598edbf0517440b1618a6d3124c /Makefile | |
| parent | 83c06f5c51ac7b500e87b344f93840e9852eba91 (diff) | |
Update the Makefile to add hashmap as a test and fix some issues
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -2,9 +2,13 @@ all: build-run-check-trace CHARON_HOME=../charon/charon CHARON_TESTS_DIR=$(CHARON_HOME)/tests/src +DEST_DIR=tests/ + RS_TEST_FILE1=tests/src/no_nested_borrows.rs CFIM_TEST_FILE1=$(CHARON_TESTS_DIR)/no_nested_borrows.cfim -DEST_DIR=tests/ + +RS_TEST_FILE2=tests/src/hashmap.rs +CFIM_TEST_FILE2=$(CHARON_TESTS_DIR)/hashmap.cfim # Build the project .PHONY: build @@ -15,6 +19,7 @@ build: .PHONY: build-run build-run: build dune exec -- src/main.exe $(CFIM_TEST_FILE1) -dest $(DEST_DIR) -test-units -test-trans-units > tests/trace_current.txt + dune exec -- src/main.exe $(CFIM_TEST_FILE2) -dest $(DEST_DIR) # Build the project and run the executable, then check that the behaviour # of the interpreter didn't change by comparing the newly generated trace @@ -34,6 +39,7 @@ regen-trace: generate-cfim build-run .PHONY: generate-cfim generate-cfim: cd ../charon/charon && cargo run $(RS_TEST_FILE1) + cd ../charon/charon && cargo run $(RS_TEST_FILE2) doc: dune build @doc |