eucrypt_ch8_bit_k... 1 -- Tests for SMG_Bit_Keccak (part of EuCrypt)
eucrypt_ch8_bit_k... 2 -- S.MG, 2018
eucrypt_ch8_bit_k... 3
eucrypt_ch12_wrap... 4 with "../smg_bit_keccak.gpr";
eucrypt_ch8_bit_k... 5
eucrypt_ch8_bit_k... 6 project SMG_Bit_Keccak_Test is
eucrypt_ch12_wrap... 7 for Source_Dirs use (".");
eucrypt_ch8_bit_k... 8 for Object_Dir use "obj";
eucrypt_ch8_bit_k... 9 for Exec_Dir use ".";
eucrypt_ch8_bit_k... 10
eucrypt_ch8_bit_k... 11 for Main use ("smg_bit_keccak-test.adb");
eucrypt_ch8_bit_k... 12 end SMG_Bit_Keccak_Test;