--  This package has been generated automatically by GNATtest.
--  You are allowed to add your code to the bodies of test routines.
--  Such changes will be kept during further regeneration of this file.
--  All code placed outside of test routine bodies will be lost. The
--  code intended to set up and tear down the test environment should be
--  placed into Resolver.Test_Data.

with AUnit.Assertions; use AUnit.Assertions;
with System.Assertions;

--  begin read only
--  id:2.2/00/
--
--  This section can be used to add with clauses if necessary.
--
--  end read only

--  begin read only
--  end read only
package body Resolver.Test_Data.Tests is

--  begin read only
--  id:2.2/01/
--
--  This section can be used to add global variables and other elements.
--
--  end read only

--  begin read only
--  end read only

--  begin read only
   procedure Test_Resolve_8bit_Disp (Gnattest_T : in out Test);
   procedure Test_Resolve_8bit_Disp_eba7ba (Gnattest_T : in out Test) renames Test_Resolve_8bit_Disp;
--  id:2.2/eba7ba0a4381ceb6/Resolve_8bit_Disp/1/0/
   procedure Test_Resolve_8bit_Disp (Gnattest_T : in out Test) is
   --  resolver.ads:31:5:Resolve_8bit_Disp
--  end read only

      pragma Unreferenced (Gnattest_T);

   begin

      AUnit.Assertions.Assert
        (Gnattest_Generated.Default_Assert_Value,
         "Test not implemented.");

--  begin read only
   end Test_Resolve_8bit_Disp;
--  end read only


--  begin read only
   procedure Test_Resolve_15bit_Disp (Gnattest_T : in out Test);
   procedure Test_Resolve_15bit_Disp_e40d9b (Gnattest_T : in out Test) renames Test_Resolve_15bit_Disp;
--  id:2.2/e40d9b6fc78517bd/Resolve_15bit_Disp/1/0/
   procedure Test_Resolve_15bit_Disp (Gnattest_T : in out Test) is
   --  resolver.ads:35:5:Resolve_15bit_Disp
--  end read only

      pragma Unreferenced (Gnattest_T);

   begin

      AUnit.Assertions.Assert
        (Gnattest_Generated.Default_Assert_Value,
         "Test not implemented.");

--  begin read only
   end Test_Resolve_15bit_Disp;
--  end read only


--  begin read only
   procedure Test_Resolve_31bit_Disp (Gnattest_T : in out Test);
   procedure Test_Resolve_31bit_Disp_510124 (Gnattest_T : in out Test) renames Test_Resolve_31bit_Disp;
--  id:2.2/5101249de9bd4f67/Resolve_31bit_Disp/1/0/
   procedure Test_Resolve_31bit_Disp (Gnattest_T : in out Test) is
   --  resolver.ads:41:5:Resolve_31bit_Disp
--  end read only

      pragma Unreferenced (Gnattest_T);

   begin

      AUnit.Assertions.Assert
        (Gnattest_Generated.Default_Assert_Value,
         "Test not implemented.");

--  begin read only
   end Test_Resolve_31bit_Disp;
--  end read only


--  begin read only
   procedure Test_Resolve_32bit_Indirectable_Addr (Gnattest_T : in out Test);
   procedure Test_Resolve_32bit_Indirectable_Addr_c19ec7 (Gnattest_T : in out Test) renames Test_Resolve_32bit_Indirectable_Addr;
--  id:2.2/c19ec71f7d279f63/Resolve_32bit_Indirectable_Addr/1/0/
   procedure Test_Resolve_32bit_Indirectable_Addr (Gnattest_T : in out Test) is
   --  resolver.ads:47:5:Resolve_32bit_Indirectable_Addr
--  end read only

      pragma Unreferenced (Gnattest_T);

   begin

      AUnit.Assertions.Assert
        (Gnattest_Generated.Default_Assert_Value,
         "Test not implemented.");

--  begin read only
   end Test_Resolve_32bit_Indirectable_Addr;
--  end read only


--  begin read only
   procedure Test_Resolve_Eagle_Bit_Addr (Gnattest_T : in out Test);
   procedure Test_Resolve_Eagle_Bit_Addr_29c292 (Gnattest_T : in out Test) renames Test_Resolve_Eagle_Bit_Addr;
--  id:2.2/29c292d955344c57/Resolve_Eagle_Bit_Addr/1/0/
   procedure Test_Resolve_Eagle_Bit_Addr (Gnattest_T : in out Test) is
   --  resolver.ads:50:5:Resolve_Eagle_Bit_Addr
--  end read only

      pragma Unreferenced (Gnattest_T);

   begin

      AUnit.Assertions.Assert
        (Gnattest_Generated.Default_Assert_Value,
         "Test not implemented.");

--  begin read only
   end Test_Resolve_Eagle_Bit_Addr;
--  end read only


--  begin read only
   procedure Test_Resolve_Eclipse_Bit_Addr (Gnattest_T : in out Test);
   procedure Test_Resolve_Eclipse_Bit_Addr_e60c57 (Gnattest_T : in out Test) renames Test_Resolve_Eclipse_Bit_Addr;
--  id:2.2/e60c572085e8d81a/Resolve_Eclipse_Bit_Addr/1/0/
   procedure Test_Resolve_Eclipse_Bit_Addr (Gnattest_T : in out Test) is
   --  resolver.ads:55:5:Resolve_Eclipse_Bit_Addr
--  end read only

      pragma Unreferenced (Gnattest_T);

   begin

      AUnit.Assertions.Assert
        (Gnattest_Generated.Default_Assert_Value,
         "Test not implemented.");

--  begin read only
   end Test_Resolve_Eclipse_Bit_Addr;
--  end read only

--  begin read only
--  id:2.2/02/
--
--  This section can be used to add elaboration code for the global state.
--
begin
--  end read only
   null;
--  begin read only
--  end read only
end Resolver.Test_Data.Tests;
