diff options
| author | Son HO | 2024-04-03 17:50:33 +0200 |
|---|---|---|
| committer | GitHub | 2024-04-03 17:50:33 +0200 |
| commit | ebf2ba2fda2a5f8e0a63f4cb6761291c9b501fab (patch) | |
| tree | fcdea76e394d5e5c747973e4176ba74fceb85b93 /Makefile | |
| parent | f4a89caad1459f2f72295c5baa284fe1f9b4c39f (diff) | |
| parent | 3fdb4ca62155b6d913bceb7797ee9e10263cb087 (diff) | |
Merge pull request #107 from AeneasVerif/son/makefile
Improve the Makefile
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -89,7 +89,7 @@ clean: # Test the project by translating test files to F* .PHONY: test -test: test-no_nested_borrows test-paper \ +test: build-dev test-no_nested_borrows test-paper \ test-hashmap test-hashmap_main \ test-external test-constants \ testp-polonius_list testp-betree_main \ |