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