Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 0 additions & 6 deletions src/flow_test/flow_ideas.md
Original file line number Diff line number Diff line change
Expand Up @@ -40,18 +40,12 @@
- find sigma: Enter V0, change in V2, catch all ifs.
- find sigma_edge_cases: catch the comments.
- find sigma - cover all branches with member from V0, V1, V2(V2 DONE).
- member from V0, update balance at V3 before getting rewards, pool gets rewards, test rewards.
- member from V0, pool gets rewards at V1, update balance at V3 before getting rewards, pool gets rewards, test rewards.
- member from V0, pool gets rewards at V1, pool gets rewards at V3, update balance, test rewards.
- member from V0, pool gets rewards at V1, pool gets rewards at V3, test rewards without update balance.
- member from V1(+V2), update balance at V3, pool gets rewards at V3, test rewards. (IDX=0)
- member from V1(+V2), update balance at V1, update balance at V3, test rewards. (IDX=1=LEN)
- member from V1(+V2), update balance at V1, pool gets rewards at V1, update balance at V3, test rewards. (IDX=1!=LEN)
- member from V1(+V2), pool gets rewards at V1, pool gets rewards at V1, update balance at V1, update balance at V3, test rewards (IDX=LEN)
- member from V1(+V2), pool gets_rewards at V1, pool gets rewards at V1, update balance at V1, pool gets rewards at V3, update balance at V3, test rewards. (REGULAR CASE)
- member from V1(+V2), pool gets_rewards at V1, pool gets rewards at V1, update balance at V1, pool gets rewards at V1 same epoch, pool gets rewards at V3, update balance at V3, test rewards. (REGULAR CASE)
- V0->V1->V3:
- enter in V0, pool gets rewards in V1, change balance at V1, pool gets rewards in V1, pool gets rewards in V3, update balance at V3, pool gets rewards in V3, test rewards.
more ideas:
- member from V1, pool gets rewards at V1, update balance at V1, update balance at V3, pool gets rewards at V3, test rewards.
- member from V1, pool gets rewards at V1, pool gets rewards at V3, update balance at V3, test rewards.
Expand Down
Loading