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; with Multiprocessor_Services_Interface; use Multiprocessor_Services_Interface; package buffer_scheduling_simulation_test is function scheduling_simulation_with_buffer (Period : in Natural; Sys : in out System; Output_File_Name : in Unbounded_String; Export_Data : in Boolean := FALSE) return Scheduling_Table_Ptr; end buffer_scheduling_simulation_test;