diff options
| author | Son Ho | 2022-02-08 17:51:04 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-08 17:51:04 +0100 |
| commit | 1e6f3fb7d8ac8e72ca38f08d7e4be5c835e3443a (patch) | |
| tree | 5959874115481303a6f662ec4c1244307f1ee089 /Makefile | |
| parent | b583d18a8336b137b445cc01b713767f354168f4 (diff) | |
Make progress on implementing support for types and functions like
Option and Vec
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -1,9 +1,9 @@ all: build-run-check-trace CHARON_HOME=../charon/charon -CHARON_TESTS_DIR=$(CHARON_HOME)/tests -RS_TEST_FILE=tests/no_nested_borrows.rs -CFIM_TEST_FILE=$(CHARON_TESTS_DIR)/no_nested_borrows.cfim +CHARON_TESTS_DIR=$(CHARON_HOME)/tests/src +RS_TEST_FILE1=tests/src/no_nested_borrows.rs +CFIM_TEST_FILE1=$(CHARON_TESTS_DIR)/no_nested_borrows.cfim DEST_DIR=tests/ # Build the project @@ -14,7 +14,7 @@ build: # Build the project and run the executable .PHONY: build-run build-run: build - dune exec -- src/main.exe $(CFIM_TEST_FILE) -dest $(DEST_DIR) > tests/trace_current.txt + dune exec -- src/main.exe $(CFIM_TEST_FILE1) -dest $(DEST_DIR) > tests/trace_current.txt # Build the project and run the executable, then check that the behaviour # of the interpreter didn't change by comparing the newly generated trace @@ -33,7 +33,7 @@ regen-trace: generate-cfim build-run .PHONY: generate-cfim generate-cfim: - cd ../charon/charon && cargo run $(RS_TEST_FILE) + cd ../charon/charon && cargo run $(RS_TEST_FILE1) doc: dune build @doc |