From c439826fd4bf48d7fdd65aa79691bf645c3059e9 Mon Sep 17 00:00:00 2001
From: Johannes Kliemann <kliemann@componolit.com>
Date: Fri, 19 Jul 2019 13:37:59 +0200
Subject: [PATCH] use proof level 3 ref #50

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index d7759b8..0871639 100644
--- a/Makefile
+++ b/Makefile
@@ -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 -;)