eucrypt_ch11_serpent 1 -- S.MG, 2018
eucrypt_ch11_serpent 2
eucrypt_ch11_serpent 3 with Test_Serpent; use Test_Serpent;
eucrypt_ch11_serpent 4
eucrypt_ch11_serpent 5 procedure testall is
eucrypt_ch11_serpent 6 begin
eucrypt_ch11_serpent 7 test_from_file("nessie_vectors.txt");
eucrypt_ch11_serpent 8 test_one;
eucrypt_ch11_serpent 9 end testall;