Tests: Poly1305 verify() test good/bad tags
@@ -396,6 +396,20 @@ fn test_poly1305_oneshot_ok() {
assert!(poly1305(&[0u8; 32], &[0u8; 16]).is_ok());
}
+#[test]
+fn test_poly1305_verify_ok() {
+ let tag = poly1305(&[0u8; 32], &[0u8; 16]).unwrap();
+ verify(&tag, &[0u8; 32], &[0u8; 16]).unwrap();
+}
+
+#[test]
+#[should_panic]
+fn test_poly1305_verify_err() {
+ let mut tag = poly1305(&[0u8; 32], &[0u8; 16]).unwrap();
+ tag[0] ^= 1;
+ verify(&tag, &[0u8; 32], &[0u8; 16]).unwrap();
+}
+
#[test]
#[should_panic]
fn test_poly1305_oneshot_bad_key_err_less() {
