------------------------------------------------------------------------------ -- -- -- TGen -- -- -- -- Copyright (C) 2023, AdaCore -- -- -- -- TGen is free software; you can redistribute it and/or modify it under -- -- under terms of the GNU General Public License as published by the -- -- Free Software Foundation; either version 3, or (at your option) any -- -- later version. This software is distributed in the hope that it will be -- -- useful but WITHOUT ANY WARRANTY; without even the implied warranty of -- -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. -- -- -- -- As a special exception under Section 7 of GPL version 3, you are -- -- granted additional permissions described in the GCC Runtime Library -- -- Exception, version 3.1, as published by the Free Software Foundation. -- -- -- -- You should have received a copy of the GNU General Public License and a -- -- copy of the GCC Runtime Library Exception along with this program; see -- -- the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- -- . -- ------------------------------------------------------------------------------ -- -- This package provides items necessary for the instrumented test drivers with Ada.Strings.Fixed; with GNAT.SHA1; package TGen.Instr_Support is Subp_Hash : String (1 .. 2 * Integer (GNAT.SHA1.Hash_Length)); Nesting_Hash : String (1 .. 2 * Integer (GNAT.SHA1.Hash_Length)); Test_Input_Counter : Positive := 1; Autogenerated : Boolean := False; Recursion_Depth : Integer := 0; function Test_Input_Number return String is ((if Autogenerated then "t" else "") & Ada.Strings.Fixed.Trim (Positive'Image (Test_Input_Counter), Ada.Strings.Both)); end TGen.Instr_Support;