Giacomo Pasini
90cf29bf86
Better tests ( #232 )
...
* add basic integration tests
* add a way to configure overlay threshold
* Save logs to file in case of failure
* Increase number of test nodes to 10
* fix tests
* use fraction instead of tuple
* fmt
2023-07-04 11:39:28 +02:00
Youngjoon Lee
5199ee12e9
fix: add a guard on the view for LeaderProof validation ( #233 )
2023-07-04 18:31:33 +09:00
Youngjoon Lee
98aa138b87
feat: enforce TimeoutQc to be constructed only by new() ( #229 )
2023-06-28 23:37:27 +09:00
Youngjoon Lee
3eceed5d9a
test(fuzz): more randomness for receive_timeout_qc ( #226 )
2023-06-27 08:34:16 +09:00
Youngjoon Lee
2c9d6b1401
test(fuzz): add more invariant checks ( #224 )
2023-06-26 20:34:12 +09:00
Youngjoon Lee
feb428bf18
fix(fuzz): apply ReceiveSafeBlock & ReceiveUnsafeBlock only when parent exists ( #222 )
2023-06-26 20:20:55 +09:00
Youngjoon Lee
deeb3eeba0
test(fuzz): add approve_new_view & receive_safe_block_with_aggregated_qc transition ( #208 )
2023-06-26 18:37:35 +09:00
Youngjoon Lee
ec3fb62baf
refactor(fuzz): modularize fuzz testing ( #211 )
2023-06-22 15:15:38 +09:00
