use crate::*;
use frost_core::tests::proptests::{tweak_strategy, SignatureCase};
use proptest::prelude::*;
use rand_chacha::ChaChaRng;
use rand_core::SeedableRng;
proptest! {
#[test]
fn tweak_signature(
tweaks in prop::collection::vec(tweak_strategy(), (0,5)),
rng_seed in prop::array::uniform32(any::<u8>()),
) {
let rng = ChaChaRng::from_seed(rng_seed);
let msg = b"test message for proptests";
let mut sig = SignatureCase::<Ed448Shake256>::new(rng, msg.to_vec());
for t in &tweaks {
sig.apply_tweak(t);
}
assert!(sig.check());
}
}