From faef8ee40f48ec61c6c1e0673a8fd23ec2ddf7b0 Mon Sep 17 00:00:00 2001 From: Nicolas Setton Date: Sat, 2 Jun 2018 13:28:23 -0400 Subject: [PATCH] R525-028 call gnatprove 2018 with --checks-as-errors Otherwise it reports success even when there are check errors. --- compile_server/app/checker.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compile_server/app/checker.py b/compile_server/app/checker.py index 988ecbc..2d6d2db 100644 --- a/compile_server/app/checker.py +++ b/compile_server/app/checker.py @@ -124,7 +124,7 @@ def check_program(request): tempd = prep_example_directory(e, received_json) # Run the command(s) to check the program - command = ["gnatprove", "-P", "main"] + command = ["gnatprove", "-P", "main", "--checks-as-errors"] try: p = process_handling.SeparateProcess([command], tempd)