gnatprove_13.2.1_28fc3583/share/examples/spark/stopwatch/tuningdata.ads

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
with System, Ada.Real_Time;

package TuningData with
  SPARK_Mode
is
   -- priorities
   UserPriority    : constant System.Interrupt_Priority := System.Interrupt_Priority'Last;
   TimerPriority   : constant System.Priority := 15;
   DisplayPriority : constant System.Interrupt_Priority := System.Interrupt_Priority'Last;

   -- task periodicities
   TimerPeriod     : constant Ada.Real_Time.Time_Span :=
     Ada.Real_Time.Milliseconds (1000);
end TuningData;