in src/main.rs [1148:1161]
fn test_hacl() {
let vec = generate_test_vectors();
print!("\n|Hacl* |");
for tv in vec.iter() {
let (pk, sig) = unpack_test_vector_hacl(&tv);
if pk.verify(&tv.message[..], &sig) {
print!(" V |");
} else {
print!(" X |");
}
}
println!();
}