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

   procedure generate_system_with_cache_and_cfg;

   procedure read_system_with_cache_and_cfg;

   procedure generate_system_with_cache_and_CAP
     (file_name                 : in Unbounded_String;
      N                		: in Integer	:= 10;
      PU 	       		: in Float	:= 0.70;
      CU 	       		: in Float	:= 10.0;
      CS       	       		: in Integer	:= 256;
      RF	       		: in Float	:= 0.3;
      a_system 			: out System);
end test_case_generator;