diff options
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | src/main.ml | 4 |
2 files changed, 3 insertions, 3 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 diff --git a/src/main.ml b/src/main.ml index c30c43f2..2502ac4d 100644 --- a/src/main.ml +++ b/src/main.ml @@ -55,8 +55,8 @@ let () = " Test the unit functions with the concrete interpreter" ); ( "-test-trans-units", Arg.Set test_trans_units, - " Test the translated unit functions with the target theorem prover's \ - normalizer" ); + " Test the translated unit functions with the target theorem\n\ + \ prover's normalizer" ); ] in let spec = Arg.align spec in |