File tree Expand file tree Collapse file tree 3 files changed +30
-0
lines changed Expand file tree Collapse file tree 3 files changed +30
-0
lines changed Original file line number Diff line number Diff line change @@ -126,6 +126,10 @@ mod tests {
126
126
q < phi
127
127
}
128
128
129
+ // ---------------------------------------------------------------------
130
+ // Property test: `test_precision_approximation`
131
+ // Property test: `early_break_taylor`
132
+ // ---------------------------------------------------------------------
129
133
proptest ! {
130
134
#![ proptest_config( ProptestConfig :: with_cases( 50 ) ) ]
131
135
Original file line number Diff line number Diff line change @@ -88,6 +88,9 @@ mod tests {
88
88
use rand_chacha:: ChaCha20Rng ;
89
89
use rand_core:: SeedableRng ;
90
90
91
+ // ---------------------------------------------------------------------
92
+ // Property test: `test_keyreg`
93
+ // ---------------------------------------------------------------------
91
94
proptest ! {
92
95
#[ test]
93
96
fn test_keyreg( stake in vec( 1 ..1u64 << 60 , 2 ..=10 ) ,
Original file line number Diff line number Diff line change @@ -651,6 +651,29 @@ mod tests {
651
651
652
652
impl Eq for SigningKey { }
653
653
654
+ // ---------------------------------------------------------------------
655
+ // Test helpers
656
+ // ---------------------------------------------------------------------
657
+ impl PartialEq for SigningKey {
658
+ fn eq ( & self , other : & Self ) -> bool {
659
+ self . 0 . to_bytes ( ) == other. 0 . to_bytes ( )
660
+ }
661
+ }
662
+
663
+ impl Eq for SigningKey { }
664
+
665
+ // ---------------------------------------------------------------------
666
+ // Property test: `test_sig`
667
+ // Property test: `test_invalid_sig`
668
+ // Property test: `test_infinity_sig`
669
+ // Property test: `test_infinity_vk`
670
+ // Property test: `test_keyreg_with_infinity_vk`
671
+ // Property test: `test_aggregate_sig`
672
+ // Property test: `test_eval_sanity_check`
673
+ // Property test: `serialize_deserialize_vk`
674
+ // Property test: `serialize_deserialize_sk`
675
+ // Property test: `batch_verify`
676
+ // ---------------------------------------------------------------------
654
677
proptest ! {
655
678
#![ proptest_config( ProptestConfig :: with_cases( 1000 ) ) ]
656
679
You can’t perform that action at this time.
0 commit comments