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_ch8_bit_k... 4
eucrypt_ch8_bit_k... 5 project SMG_Bit_Keccak_Test is
eucrypt_ch8_bit_k... 6 for Source_Dirs use (".", "../");
eucrypt_ch8_bit_k... 7 for Object_Dir use "obj";
eucrypt_ch8_bit_k... 8 for Exec_Dir use ".";
eucrypt_ch8_bit_k... 9
eucrypt_ch8_bit_k... 10 for Main use ("smg_bit_keccak-test.adb");
eucrypt_ch8_bit_k... 11 end SMG_Bit_Keccak_Test;