Giacomo Pasini
58ebc6aa0f
update view upon reception of timeout qc
2023-04-18 17:50:06 +02:00
danielsanchezq
690cc071db
Refactor last_view_timeout_qc and update calls on unhappy path
2023-04-14 11:42:23 +02:00
Giacomo Pasini
c0eba7d8e8
Extract implicit information from safe blocks ( #19 )
...
* extract implicit information from safe blocks
* fix test
2023-04-13 15:40:02 +02:00
danielsanchezq
570181bddc
Add block assertions on mixed unhappy test
2023-04-12 16:20:59 +02:00
danielsanchezq
ef64e866cd
Refactor timeout_high_qc test to use fail method
2023-04-12 16:12:33 +02:00
danielsanchezq
264ca71e6f
Complete mix succeed fails unhappy test
2023-04-12 16:06:05 +02:00
danielsanchezq
b9c13d3a94
Make unhappy test continuously timeout
2023-04-11 18:55:29 +02:00
danielsanchezq
2faa30be55
Add missing assertion
2023-04-11 17:23:57 +02:00
Giacomo Pasini
6d86b131c4
Fix unhappy path tests ( #17 )
...
* fix test
* get highest qc from new view votes
2023-04-11 17:14:32 +02:00
Daniel Sanchez
caea1b4116
Unhappy path base test assertions ( #14 )
...
* Unhappy path tests replacing timeout msgs with NewView. Also revising the conditions to enter into the unhappy path.
* Unhappy path tests assertions.
* Fix assertions on test
* Cleanup
---------
Co-authored-by: mjalalzai <33738574+MForensic@users.noreply.github.com>
2023-04-11 11:57:31 +02:00
danielsanchezq
3a598b23eb
Implement first case of unhappy path with simple overlay
...
Missing final assertions
2023-04-10 20:08:23 +02:00
Daniel Sanchez
d8d22e7219
Overlay based happy tests ( #11 )
...
* Cleanup
* Leaf committee member vote.
* Leaf committee member vote, test.
* Leaf committee member vote, test.
* Description
* Description
* Description-refactoring
* Cleanup
* Fix leaf votes test
* Clean overlay
* Test single committee advances
* Remove unhappy path test file
* Update carnot description
* Refactor local_timeout for NewView
* Fix unhappy path conditions and added broadcasting
* Unhappy path tests description
* Commit all grandparents of a block from latest_committed view
* Cleanup docs
* Add unhappy path test vector
* Remove block content
---------
Co-authored-by: mjalalzai <33738574+MForensic@users.noreply.github.com>
2023-04-10 10:28:48 +02:00
