danielsanchezq
|
557b9f815f
|
Refactor timeout_high_qc test to use fail method
|
2023-04-14 07:50:24 -07:00 |
|
danielsanchezq
|
9e9e934dbf
|
Complete mix succeed fails unhappy test
|
2023-04-14 07:50:24 -07:00 |
|
danielsanchezq
|
b46c2c6c6b
|
Fix happy path current view after receiving block qc
|
2023-04-14 07:50:24 -07:00 |
|
danielsanchezq
|
d541607fd8
|
Increment current view on reciving a new qc
Refactor reset last timeout qc
|
2023-04-14 07:50:24 -07:00 |
|
danielsanchezq
|
58186514a4
|
Make unhappy test continuously timeout
|
2023-04-14 07:50:24 -07:00 |
|
danielsanchezq
|
35ce2fa194
|
Fix approve new view
|
2023-04-14 07:50:24 -07:00 |
|
danielsanchezq
|
6f4e793c12
|
Remove calls to safe_timeout invariant
|
2023-04-14 07:50:24 -07:00 |
|
danielsanchezq
|
d8517e4fe3
|
Cleanup approve new view function
|
2023-04-14 07:50:24 -07:00 |
|
danielsanchezq
|
8590d00f93
|
Add missing assertion
|
2023-04-14 07:50:24 -07:00 |
|
Giacomo Pasini
|
7cd9c7fc07
|
Fix unhappy path tests (#17)
* fix test
* get highest qc from new view votes
|
2023-04-14 07:50:24 -07:00 |
|
Giacomo Pasini
|
bac58b6ac6
|
Remove redundant code and fix commit parent (#16)
|
2023-04-14 07:50:24 -07:00 |
|
danielsanchezq
|
161a86441b
|
Cleanup
|
2023-04-11 10:56:45 +02:00 |
|
danielsanchezq
|
b0c6ff7a65
|
Fix assertions on test
|
2023-04-11 10:29:42 +02:00 |
|
mjalalzai
|
e8e8c73043
|
Unhappy path tests assertions.
|
2023-04-10 23:53:10 -07:00 |
|
mjalalzai
|
7987d04de5
|
Unhappy path tests replacing timeout msgs with NewView. Also revising the conditions to enter into the unhappy path.
|
2023-04-10 16:36:40 -07: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 |
|
mjalalzai
|
30ebd96ebb
|
Vote tests
|
2023-04-01 08:09:39 -07:00 |
|
mjalalzai
|
7d0e84fd32
|
Vote tests
|
2023-04-01 00:35:13 -07:00 |
|
mjalalzai
|
f596893cd3
|
Tests for updating latest_committed_view and high_qc.
|
2023-03-31 14:19:11 -07:00 |
|
danielsanchezq
|
d056c6b2ab
|
Added base vote test
|
2023-03-31 14:30:11 +02:00 |
|
danielsanchezq
|
742227a01e
|
Add tests assertions
|
2023-03-31 12:58:46 +02:00 |
|
danielsanchezq
|
70bbba67cc
|
Fix commit grandparent
|
2023-03-31 12:58:35 +02:00 |
|