2135676606
Finish `NodeId` type wrapper ( #252 )
...
* add NodeId wrapper
2023-07-11 23:16:49 +08:00
8d0360ab3c
fix(fuzz): fix precondition for receive_timeout_qc ( #248 )
2023-07-06 21:14:26 +09:00
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
5199ee12e9
fix: add a guard on the view for LeaderProof validation ( #233 )
2023-07-04 18:31:33 +09:00
98aa138b87
feat: enforce TimeoutQc to be constructed only by new() ( #229 )
2023-06-28 23:37:27 +09:00
3eceed5d9a
test(fuzz): more randomness for receive_timeout_qc ( #226 )
2023-06-27 08:34:16 +09:00
bdf31b77cb
docs(fuzz): update README ( #227 )
2023-06-26 23:46:24 +09:00
2c9d6b1401
test(fuzz): add more invariant checks ( #224 )
2023-06-26 20:34:12 +09:00
feb428bf18
fix(fuzz): apply `ReceiveSafeBlock` & `ReceiveUnsafeBlock` only when parent exists ( #222 )
2023-06-26 20:20:55 +09:00
deeb3eeba0
test(fuzz): add `approve_new_view` & `receive_safe_block_with_aggregated_qc` transition ( #208 )
2023-06-26 18:37:35 +09:00
ec3fb62baf
refactor(fuzz): modularize fuzz testing ( #211 )
2023-06-22 15:15:38 +09:00
f4194bc728
test(fuzz): add `local_timeout` & `receive_timeout_qc` transitions ( #207 )
2023-06-22 10:58:26 +09:00
371ba17922
test: consensus-engine fuzz testing (happy path) ( #186 )
2023-06-21 22:35:32 +09:00
Al Liu
Youngjoon Lee
Giacomo Pasini