diff options
| -rw-r--r-- | Makefile | 5 | ||||
| -rw-r--r-- | flake.nix | 2 |
2 files changed, 5 insertions, 2 deletions
@@ -89,7 +89,10 @@ clean: # Test the project by translating test files to F* .PHONY: test -test: build-dev test-no_nested_borrows test-paper \ +test: build-dev test-all + +.PHONY: test-all +test-all: test-no_nested_borrows test-paper \ test-hashmap test-hashmap_main \ test-external test-constants \ testp-polonius_list testp-betree_main \ @@ -82,7 +82,7 @@ # files like lakefile.lean, and the user hand-written files) # Run the tests - remark: we could remove the file - make tests -j $NIX_BUILD_CORES + make test-all -j $NIX_BUILD_CORES # Check that there are no differences between the generated tests # and the original tests |