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

R525-028 call gnatprove 2018 with --checks-as-errors

Browse Source 
Otherwise it reports success even when there are check errors.
This commit is contained in:
Nicolas Setton
2018-06-02 13:28:23 -04:00
parent 41f88d850b
commit faef8ee40f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
compile_server/app/checker.py
View File

@@ -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)