with Text_IO;                   	use Text_IO;
with Ada.Strings.Unbounded;     	use Ada.Strings.Unbounded;
with Tasks;				use Tasks;
with Task_Set;                  	use Task_Set;
with Offsets;				use Offsets;
with Offsets;				use Offsets.Offsets_Table_Package;
with Offsets.extended;			use Offsets.extended;
with Tasks; 				use Tasks;
with Systems; 				use Systems;
with CFG_Node_Set.Basic_Block_Set; 	use CFG_Node_Set.Basic_Block_Set;
with Tables;
with sets;

package wcrt_crpd_util is

   procedure Test_WCRT_CRPD;

   procedure Test_Multiset_Intersection;

   procedure Test_Feasibility_Test_Computation_Time
     (file_name                 : in Unbounded_String;
      N                		: in Integer	:= 10;
      PU 	       		: in Float	:= 0.70;
      CU 	       		: in Float	:= 5.0;
      CS       	       		: in Integer	:= 256;
      RF	       		: in Float	:= 0.3;
      H 			: in Integer    := 100000;
      With_Harmonic_Tasks 	: in Boolean);

   procedure Process_Data
     (Exp_Dir                 : in String;
      PU_String 	      : in String);

end wcrt_crpd_util;