(1 . 9)(1 . 10)
485 -- Tests for SMG_Keccak (part of EuCrypt)
486 -- S.MG, 2018
487
488 with "../smg_keccak.gpr";
489
490 project SMG_Keccak_Test is
491 for Source_Dirs use (".", "../");
492 for Source_Dirs use (".");
493 for Object_Dir use "obj";
494 for Exec_Dir use ".";
495