(1 . 9)(1 . 10)
194 -- Tests for SMG_Bit_Keccak (part of EuCrypt)
195 -- S.MG, 2018
196
197 with "../smg_bit_keccak.gpr";
198
199 project SMG_Bit_Keccak_Test is
200 for Source_Dirs use (".", "../");
201 for Source_Dirs use (".");
202 for Object_Dir use "obj";
203 for Exec_Dir use ".";
204