eucrypt_ch12_wrap... 1 -- Tests for SMG_RSA (part of EuCrypt)
eucrypt_ch12_wrap... 2 -- S.MG, 2018
eucrypt_ch12_wrap... 3
eucrypt_ch12_wrap... 4 with "../smg_rsa.gpr";
eucrypt_ch12_wrap... 5
eucrypt_ch12_wrap... 6 project SMG_RSA_Tests is
eucrypt_ch12_wrap... 7 for Languages use("C");
eucrypt_ch12_wrap... 8 for Source_Dirs use (".");
eucrypt_ch12_wrap... 9 for Object_Dir use "obj";
eucrypt_ch12_wrap... 10 for Exec_Dir use ".";
eucrypt_ch12_wrap... 11
eucrypt_ch12_wrap... 12 for Main use ("tests.c");
eucrypt_ch12_wrap... 13 end SMG_RSA_Tests;