gnatprove_13.2.1_28fc3583/share/examples/spark/gnatprove_by_example/ug__semaphores2/semaphores2_main.adb

1
2
3
4
5
6
7
8
with Ada.Synchronous_Task_Control; use Ada.Synchronous_Task_Control;
with Semaphores2; use Semaphores2;
procedure Semaphores2_Main with
  SPARK_Mode
is
begin
   Set_True (Semaphore1);
end Semaphores2_Main;