Commit 542f7a88 authored by yoogx's avatar yoogx

* Adjust flags for GNATProve

parent 17b7511f
......@@ -6,7 +6,7 @@
-- --
-- P r o j e c t --
-- --
-- Copyright (C) 2007-2008, GET-Telecom Paris. --
-- Copyright (C) 2007-2009 Telecom ParisTech, 2010-2014 ESA & ISAE. --
-- --
-- PolyORB HI is free software; you can redistribute it and/or modify it --
-- under terms of the GNU General Public License as published by the Free --
......@@ -192,9 +192,9 @@ project PolyORB_HI is
package Prove is
for Switches use
("--mode=prove", -- Prove subprogram contracts
-- and absence of run-time errors
"--report=statistics" -- Report all results of proving VCs
("--mode=prove", -- Prove subprogram contracts
-- and absence of run-time errors
"--report=all" -- Report all results of proving VCs
);
end Prove;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment