Giacomo Pasini
77918c2398
fix comments
2023-04-20 12:49:04 +02:00
Giacomo Pasini
8534885cdb
only increase highest_voted_view
2023-04-19 11:02:33 +02:00
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
Giacomo Pasini
a291370096
Merge pull request #18 from logos-co/add-tests-to-ci
...
add spec tests to ci
2023-04-12 18:09:29 +02:00
Giacomo Pasini
cd64e41b2d
add spec tests to ci
2023-04-12 18:06:14 +02:00
danielsanchezq
ca97dbc82c
Simplify approve block
2023-04-12 17:44:46 +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
90076fd3b1
Fix happy path current view after receiving block qc
2023-04-12 16:05:16 +02:00
danielsanchezq
30919dd85a
Increment current view on reciving a new qc
...
Refactor reset last timeout qc
2023-04-12 16:04:55 +02:00
danielsanchezq
b9c13d3a94
Make unhappy test continuously timeout
2023-04-11 18:55:29 +02:00
danielsanchezq
409ae77349
Fix approve new view
2023-04-11 18:53:24 +02:00
danielsanchezq
dbc78d8cc6
Remove calls to safe_timeout invariant
2023-04-11 18:16:52 +02:00
danielsanchezq
9153c46351
Cleanup approve new view function
2023-04-11 17:57:01 +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
Giacomo Pasini
8b44ca5fe0
Remove redundant code and fix commit parent ( #16 )
2023-04-11 15:03:10 +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
danielsanchezq
9496da8ad5
Fix unhappy path double increments
...
Fill missing qc building implementations
2023-04-10 20:08:00 +02:00
danielsanchezq
5ad1d7b90f
Fix happy math mockoverlay missing methods
2023-04-10 18:14:38 +02:00
danielsanchezq
1cb757f040
Add is_safe_to_timeout checks on unhappy path methods
2023-04-10 18:13:37 +02:00
danielsanchezq
0922aec404
Extract MockCarnot in happy path tests
2023-04-10 10:50:40 +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
Giacomo Pasini
541eb2f1b7
refactor
2023-04-05 15:27:26 +02:00
danielsanchezq
af685e62d8
Cleanup
2023-04-05 11:25:04 +02:00
mjalalzai
42a23d6a7b
Make sure view changes are incrementally done in ascending order.
2023-04-04 18:15:48 -07:00
mjalalzai
37741364e4
Make sure view changes are incrementally done in ascending order.
2023-04-04 18:09:29 -07:00
mjalalzai
4b2e6638d6
Make sure view changes are incrementally done in ascending order.
2023-04-04 18:08:22 -07:00
mjalalzai
91c537271a
views are sequential or consecutive.
2023-04-04 18:01:42 -07:00
danielsanchezq
a8cdc1576b
Implement timeouts unhappy path
2023-04-04 20:20:59 +02:00
danielsanchezq
efce293d71
Fix timeout preconditions
2023-04-04 15:33:12 +02:00
danielsanchezq
9a65a7b9c5
Store just highest qc and aggregated views in AggregatedQc,
2023-04-03 19:33:02 +02:00
danielsanchezq
345c37f234
Add check for double view seen different block
2023-04-03 19:19:58 +02:00
danielsanchezq
805e716aa1
Fix all timeouts are from the same view in timeout call
2023-04-03 13:59:08 +02:00
danielsanchezq
72f4b5b795
Merge branch 'python-impl-Tests2' into python-impl
2023-04-03 13:54:43 +02:00
danielsanchezq
f92bb0bf15
Fix tests with block content and comments
2023-04-03 13:49:54 +02:00
danielsanchezq
ac09aaf9eb
Added block content
2023-04-03 13:49:43 +02:00
danielsanchezq
25560c076c
Update build timeout qc test
2023-04-03 11:09:11 +02:00
Daniel Sanchez
236fbab30a
Start unhappy path and update tests ( #10 )
...
* Tests for updating latest_committed_view and high_qc.
* Vote tests
* Vote tests
* Get max timeout by highQC
* Received Votes tests
* Receive timeout msgs
* Receive timeout msgs
* Remove local files
* Stylish, adjustments and fixes
---------
Co-authored-by: mjalalzai <33738574+MForensic@users.noreply.github.com>
2023-04-03 02:06:57 -07:00
danielsanchezq
00b650255c
Stylish, adjustments and fixes
2023-04-03 11:02:58 +02:00
danielsanchezq
85066df832
Remove local files
2023-04-03 10:37:13 +02:00
mjalalzai
9aba275f72
Receive timeout msgs
2023-04-03 00:02:04 -07:00
mjalalzai
4d73ae89c3
Receive timeout msgs
2023-04-02 23:28:33 -07:00
mjalalzai
7ae4fef3de
Merge remote-tracking branch 'origin/python-impl-Tests2' into python-impl-Tests2
...
# Conflicts:
# carnot/test_happy_path.py
2023-04-01 15:26:20 -07:00
mjalalzai
523ec81577
Received Votes tests
2023-04-01 15:25:45 -07:00
mjalalzai
f55d897104
Get max timeout by highQC
2023-04-01 13:26:51 -07:00
