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 Feasibility_Interval_Util is

   procedure test_feasibility_interval
     (file_name                 : in Unbounded_String;
      N                		: in Integer	:= 5;
      PU 	       		: in Float	:= 0.70;
      CU 	       		: in Float	:= 2.0;
      CS       	       		: in Integer	:= 8;
      RF	       		: in Float	:= 0.3);

end Feasibility_Interval_Util;