Skip to content
This repository has been archived by the owner on Aug 2, 2022. It is now read-only.

Commit

Permalink
use proof level 3
Browse files Browse the repository at this point in the history 
ref #50
  • Loading branch information
@jklmnn
jklmnn committed Jul 19, 2019
1 parent b8999b7 commit c439826
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -79,7 +79,7 @@ $(UNIT_DIR)/test:
test: runtime platform clean_test $(TEST_BINS) $(UNIT_DIR)/test

proof:
$(VERBOSE)gnatprove --level=2 --checks-as-errors -j0 -Psrc/componolit_runtime.gpr -XOBJECT_DIR=$(OBJ_DIR)
$(VERBOSE)gnatprove --level=3 --checks-as-errors -j0 -Psrc/componolit_runtime.gpr -XOBJECT_DIR=$(OBJ_DIR)

clean_test:
$(VERBOSE)$(foreach DIR,$(TEST_DIRS) $(UNIT_DIR),cd $(DIR) && gprclean -q -Ptest -r; cd -;)

0 comments on commit c439826

Please sign in to comment.