Skip to content
Open
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 @@ -54,12 +54,6 @@
- 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.
- 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)
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