with Ada.IO_Exceptions;      use Ada.IO_Exceptions;
with GNAT.Current_Exception; use GNAT.Current_Exception;
with Unbounded_Strings;      use Unbounded_Strings;
with GNAT.Command_Line;      use GNAT.Command_Line;
with GNAT.OS_Lib;            use GNAT.OS_Lib;
with Text_IO;                use Text_IO;
with Version;                use Version;
with Ada.Strings.Unbounded;  use Ada.Strings.Unbounded;
with Systems;                use Systems;
with Task_Set;               use Task_Set;
with Processor_Set;          use Processor_Set;
with Address_Space_Set;      use Address_Space_Set;
with Resource_Set;           use Resource_Set;
with Buffer_Set;             use Buffer_Set;
with Call_Framework;         use Call_Framework;
with Tasks;                  use Tasks;
use Task_Set.Generic_Task_Set;

package feasibility_tests_for_ravenscar is

   function Function_Case_1 (Sys : System) return Boolean;
   function Function_Case_2 (Sys : System) return Boolean;
   function Function_Case_3 (Sys : System) return Boolean;
   function Function_Case_4 (Sys : System) return Boolean;
   function Function_Case_5 (Sys : System) return Boolean;
   function Function_Case_6 (Sys : System) return Boolean;
   function Function_Case_7 (Sys : System) return Boolean;
   function Function_Case_8 (Sys : System) return Boolean;
   function Function_Case_9 (Sys : System) return Boolean;
   function Function_Case_10 (Sys : System) return Boolean;
   function Function_Case_11 (Sys : System) return Boolean;
   function Function_Case_12 (Sys : System) return Boolean;
   function Function_Case_13 (Sys : System) return Boolean;
   function Function_Case_14 (Sys : System) return Boolean;
   function Function_Case_15 (Sys : System) return Boolean;
   function Function_Case_16 (Sys : System) return Boolean;
   function Function_Case_17 (Sys : System) return Boolean;
   function Function_Case_18 (Sys : System) return Boolean;
   function Function_Case_19 (Sys : System) return Boolean;
   function Function_Case_20 (Sys : System) return Boolean;
   function Function_Case_21 (Sys : System) return Boolean;
   function Function_Case_22 (Sys : System) return Boolean;
   function Function_Case_23 (Sys : System) return Boolean;
   function Function_Case_24 (Sys : System) return Boolean;
   function Function_Case_25 (Sys : System) return Boolean;
   function Function_Case_26 (Sys : System) return Boolean;
   function Function_Case_27 (Sys : System) return Boolean;
   function Function_Case_28 (Sys : System) return Boolean;
   function Function_Case_29 (Sys : System) return Boolean;
   function Function_Case_30 (Sys : System) return Boolean;
   function Function_Case_31 (Sys : System) return Boolean;
   function Function_Case_32 (Sys : System) return Boolean;
   function Function_Case_33 (Sys : System) return Boolean;
   function Function_Case_34 (Sys : System) return Boolean;
   function Function_Case_35 (Sys : System) return Boolean;
   function Function_Case_36 (Sys : System) return Boolean;
   function Function_Case_37 (Sys : System) return Boolean;
   function Function_Case_38 (Sys : System) return Boolean;
   function Function_Case_39 (Sys : System) return Boolean;
   function Function_Case_40 (Sys : System) return Boolean;
   function Function_Case_41 (Sys : System) return Boolean;
   function Function_Case_42 (Sys : System) return Boolean;
   function Function_Case_43 (Sys : System) return Boolean;
   function Function_Case_44 (Sys : System) return Boolean;
   function Function_Case_45 (Sys : System) return Boolean;
   function Function_Case_46 (Sys : System) return Boolean;
   function Function_Case_47 (Sys : System) return Boolean;
   function Function_Case_48 (Sys : System) return Boolean;
   function Function_Case_49 (Sys : System) return Boolean;
   function Function_Case_50 (Sys : System) return Boolean;
   function Function_Case_51 (Sys : System) return Boolean;
   function Function_Case_52 (Sys : System) return Boolean;
   function Function_Case_53 (Sys : System) return Boolean;
   function Function_Case_54 (Sys : System) return Boolean;
   function Function_Case_55 (Sys : System) return Boolean;
   function Function_Case_56 (Sys : System) return Boolean;
   function Function_Case_57 (Sys : System) return Boolean;
   function Function_Case_58 (Sys : System) return Boolean;
   function Function_Case_59 (Sys : System) return Boolean;
   function Function_Case_60 (Sys : System) return Boolean;
   function Function_Case_61 (Sys : System) return Boolean;
   function Function_Case_62 (Sys : System) return Boolean;
   function Function_Case_63 (Sys : System) return Boolean;
   function Function_Case_64 (Sys : System) return Boolean;

end feasibility_tests_for_ravenscar;