Commit 7cf6d35e authored by yoogx's avatar yoogx

* Added prove section

parent d8cb6557
......@@ -186,4 +186,15 @@ project PolyORB_HI is
"+RDecl_Blocks", "+RDiscr_Rec", "+RContr_Types");
end Check;
-----------
-- Prove --
-----------
package Prove is
for Switches use
("--warnings=continue", -- Issue warnings and continue
"--report=all" -- Report all results of proving VCs
);
end Prove;
end PolyORB_HI;
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