diff options
| author | Son Ho | 2022-02-08 18:17:24 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-08 18:17:24 +0100 |
| commit | 83c06f5c51ac7b500e87b344f93840e9852eba91 (patch) | |
| tree | 4093fdc4ddb70481845220deb00fedffca01a174 /Makefile | |
| parent | ef59256fb354edb9d6ffee81bb3f9e82648a6d5a (diff) | |
Make a minor modifications to Makefile and main.ml
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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_FILE1) -dest $(DEST_DIR) > tests/trace_current.txt + dune exec -- src/main.exe $(CFIM_TEST_FILE1) -dest $(DEST_DIR) -test-units -test-trans-units > 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 |