Skip to content

Commit

Permalink
mod:fix-storage-table
Browse files Browse the repository at this point in the history
  • Loading branch information
Stefano Angieri authored and Stefano Angieri committed Oct 27, 2023
1 parent 5b87f68 commit 6c0bdde
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions spec/core/ics-004-channel-and-packet-semantics/FSM_UPGRADES.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -109,11 +109,11 @@ Note that for the not crossing hello on S2 the ChanUpgradeTry the getUpgrade(Upg
| S2 -> S3_2 | ChanUpgradeAck | getChan(ChanA); getConn(ConnA); getUpgrade(UpgA); setChannel(ChanA); setLastPacSeq(LastSeqA); | |
| S2 -> S3_2 | IsCompatibleFields | getConn(ConnA) | |
| S2 -> S3_2 | StartFlushingUpgradeHandshake | getChan(ChanA);getUpgrade(UpgA);setUpgradeTimeout(UpgA);setUpgrade(UpgA);setChannel(ChanA) | getUpgradeTimeout(TimeoutB); getNextSeqSend(NextSeqSendB) |
| S3_1 -> S4 | ChanUpgradeConfirm | TDB: | getChan(B); getConn(ConnB);setChan(B) |
| S4 -> S5_1 | ? | TDB: | |
| S3_2 -> S5_1 | ChanUpgradeConfirm | TDB: | getChan(B); getConn(ConnB);SetChan(ChanB) |
| S3_2 -> S5_2 | ChanUpgradeConfirm | TDB: | getChan(B); getConn(ConnB);SetChan(ChanB) |
| S3_2 -> S5_2 | openUpgradeHandshake | TDB: | getChan(B); getUpgrade(UpgB);SetChan(ChanB); delUpgrade(UpgB);delTimeout(TimeoutB));delLastPacSeq(LastSeqB) |
| S3_1 -> S4 | ChanUpgradeConfirm | | getChan(B); getConn(ConnB);setChan(B) |
| S4 -> S5_1 | ? | | |
| S3_2 -> S5_1 | ChanUpgradeConfirm | | getChan(B); getConn(ConnB);SetChan(ChanB) |
| S3_2 -> S5_2 | ChanUpgradeConfirm | | getChan(B); getConn(ConnB);SetChan(ChanB) |
| S3_2 -> S5_2 | openUpgradeHandshake | | getChan(B); getUpgrade(UpgB);SetChan(ChanB); delUpgrade(UpgB);delTimeout(TimeoutB));delLastPacSeq(LastSeqB) |
| S5_1 -> S6 | ChanUpgradeOpen | getChan(ChanA);getConn(ConnA); | |
| S5_1 -> S6 | openUpgradeHandshake | getChan(A); getUpgrade(UpgA);SetChan(ChanA); delUpgrade(UpgA);delTimeout(TimeoutA));delLastPacSeq(LastSeqA) | |
| S5_2 -> S6 | ChanUpgradeOpen | getChan(ChanA);getConn(ConnA);getUpgrade(UpgA); | getConn(ConnB) |
Expand Down

0 comments on commit 6c0bdde

Please sign in to comment.