ada/code_examples_server
0
0
Fork 0
mirror of https://github.com/AdaCore/code_examples_server.git synced 2026-02-12 12:45:18 -08:00
Code Issues Packages Projects Releases Wiki Activity

Run SPARK with --level=0 --no-axiom-guard

Browse Source
This commit is contained in:
Nicolas Setton
2018-06-18 14:01:25 -04:00
parent 49fbc93401
commit 38166ae13a
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
compile_server/app/checker.py
View File

@@ -146,7 +146,8 @@ def check_program(request):
doctor_main_gpr(tempd, main)
# Run the command(s) to check the program
command = ["gnatprove", "-P", "main", "--checks-as-errors", "--level=2"]
command = ["gnatprove", "-P", "main", "--checks-as-errors",
"--level=0", "--no-axiom-guard"]
# Process extra_args
if 'extra_args' in received_json: