Commit b1185966 authored by yoogx's avatar yoogx

* Add section for gnatprove

parent 242178ff
......@@ -156,9 +156,9 @@ project PolyORB_HI is
------------
package Binder is
for Default_Switches ("ada") use
("-r",
"-T0" -- Force time slice to 0,
for Default_Switches ("ada") use
("-r",
"-T0" -- Force time slice to 0,
-- see A.3 of GNAT user Manual for more details
);
end Binder;
......@@ -186,4 +186,16 @@ project PolyORB_HI is
"+RDecl_Blocks", "+RDiscr_Rec", "+RContr_Types");
end Check;
-----------
-- Prove --
-----------
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
);
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