diff options
| author | Son Ho | 2022-02-26 19:14:12 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-26 19:14:12 +0100 |
| commit | 9f8deb8283fc5affdfc36218c22e316f0efb866f (patch) | |
| tree | f5d7b8d171214b01c2085669c341fa6a6b4432c7 /Makefile | |
| parent | 7063ad38f9da58f952bf4a47fbfae01163605000 (diff) | |
Add the betree_nll.rs test
Diffstat (limited to '')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -46,17 +46,30 @@ translate-nll-betree_nll: SUBDIR:=misc # The "standard" and the nll (non-linear lifetime) tests are in separate # directories in Charon .PHONY: gen-cfim-% + gen-cfim-%: CHARON_OPTIONS = --dest ../tests/cfim --no-code-duplication gen-cfim-%: CHARON_TESTS_SRC = ../tests/src + +gen-cfim-nll-%: CHARON_OPTIONS = --dest ../tests/cfim --no-code-duplication --nll +gen-cfim-nll-%: CHARON_TESTS_SRC = ../tests-nll/src + gen-cfim-%: build cd $(CHARON_HOME)/charon && cargo run $(CHARON_TESTS_SRC)/$*.rs $(CHARON_OPTIONS) +gen-cfim-nll-%: build + cd $(CHARON_HOME)/charon && cargo run $(CHARON_TESTS_SRC)/$*.rs $(CHARON_OPTIONS) + # Generic rule to test the translation on a CFIM file .PHONY: translate-% translate-%: CHARON_TESTS_DIR = $(CHARON_HOME)/tests/cfim +translate-nll-%: CHARON_TESTS_DIR = $(CHARON_HOME)/tests-nll/cfim + translate-%: gen-cfim-% dune exec -- src/main.exe $(CHARON_TESTS_DIR)/$*.cfim -dest $(DEST_DIR)/$(SUBDIR) $(TRANS_OPTIONS) +translate-nll-%: gen-cfim-nll-% + dune exec -- src/main.exe $(CHARON_TESTS_DIR)/$*.cfim -dest $(DEST_DIR)/$(SUBDIR) $(TRANS_OPTIONS) + .PHONY: doc doc: dune build @doc |