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