|
54 | 54 | - find sigma: Enter V0, change in V2, catch all ifs. |
55 | 55 | - find sigma_edge_cases: catch the comments. |
56 | 56 | - find sigma - cover all branches with member from V0. |
57 | | -- member from V1(+V2), update balance at V3, pool gets rewards at V3, test rewards. (IDX=0) |
58 | | -- member from V1(+V2), update balance at V1, update balance at V3, test rewards. (IDX=1=LEN) |
59 | | -- member from V1(+V2), update balance at V1, pool gets rewards at V1, update balance at V3, test rewards. (IDX=1!=LEN) |
60 | | -- 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) |
61 | | -- 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) |
62 | | -- 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) |
63 | 57 | more ideas: |
64 | 58 | - member from V1, pool gets rewards at V1, update balance at V1, update balance at V3, pool gets rewards at V3, test rewards. |
65 | 59 | - member from V1, pool gets rewards at V1, pool gets rewards at V3, update balance at V3, test rewards. |
|
0 commit comments