Mercurial > hg > CbC > CbC_gcc

view gcc/testsuite/gnat.dg/assertion_policy1_pkg.adb @ 143:76e1cf5455ef

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add cbc_gc test
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 23 Dec 2018 19:24:05 +0900
parents 84e7813d76e9
children
line wrap: on
line source

with Ada.Text_IO; use Ada.Text_IO;

package body Assertion_Policy1_Pkg is
   procedure Proc (Low : Integer; High : Integer) is
   begin
      Put_Line ("Proc");
   end Proc;
end Assertion_Policy1_Pkg;