-- S.MG, 2018 with Test_Serpent; use Test_Serpent; procedure testall is begin test_from_file("nessie_vectors.txt"); test_one; end testall;