|
40 | 40 | - find sigma: Enter V0, change in V2, catch all ifs. |
41 | 41 | - find sigma_edge_cases: catch the comments. |
42 | 42 | - find sigma - cover all branches with member from V0, V1, V2(V2 DONE). |
43 | | -- member from V0, update balance at V3 before getting rewards, pool gets rewards, test rewards. |
44 | | -- member from V0, pool gets rewards at V1, update balance at V3 before getting rewards, pool gets rewards, test rewards. |
45 | | -- member from V0, pool gets rewards at V1, pool gets rewards at V3, update balance, test rewards. |
46 | | -- member from V0, pool gets rewards at V1, pool gets rewards at V3, test rewards without update balance. |
47 | 43 | - member from V1(+V2), update balance at V3, pool gets rewards at V3, test rewards. (IDX=0) |
48 | 44 | - member from V1(+V2), update balance at V1, update balance at V3, test rewards. (IDX=1=LEN) |
49 | 45 | - member from V1(+V2), update balance at V1, pool gets rewards at V1, update balance at V3, test rewards. (IDX=1!=LEN) |
50 | 46 | - 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) |
51 | 47 | - 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) |
52 | 48 | - 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) |
53 | | -- V0->V1->V3: |
54 | | - - 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. |
55 | 49 | more ideas: |
56 | 50 | - member from V1, pool gets rewards at V1, update balance at V1, update balance at V3, pool gets rewards at V3, test rewards. |
57 | 51 | - member from V1, pool gets rewards at V1, pool gets rewards at V3, update balance at V3, test rewards. |
|
0 commit comments