94e384f609
Tree settings for sim overlay ( #257 )
...
* Tree settings for sim overlay
* WIP dyn node simulation
* Allow generic settings and states for dispatched nodes
* Update tests
2023-07-18 14:44:23 +03:00
9467351c10
Finish `View` wrapper ( #254 )
...
* finish View wrapper
2023-07-12 21:30:22 +08:00
7a776af530
Finish `BlockId` wrapper ( #253 )
...
* finish BlockId wrapper
2023-07-12 19:15:29 +08:00
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
gusto
Al Liu
Youngjoon Lee
Giacomo Pasini