(1 . 7)(1 . 7) 163 -- Tests for SMG_RSA (part of EuCrypt) 164 -- S.MG, 2018 165 166 with "../smg_rsa.gpr"; 167 with "../rsa.gpr"; 168 169 project SMG_RSA_Tests is 170 for Languages use("C");