Press n or j to go to the next uncovered block, b, p or k for the previous block.
| File | Statements | Branches | Functions | Lines | |||||
|---|---|---|---|---|---|---|---|---|---|
| fungible-post-condition-item.tsx |
|
0% | 0/21 | 0% | 0/27 | 0% | 0/2 | 0% | 0/20 |
| no-post-conditions.tsx |
|
0% | 0/1 | 100% | 0/0 | 0% | 0/1 | 0% | 0/1 |
| post-condition-item.tsx |
|
0% | 0/17 | 0% | 0/16 | 0% | 0/2 | 0% | 0/16 |
| post-conditions-list.tsx |
|
0% | 0/7 | 0% | 0/6 | 0% | 0/2 | 0% | 0/7 |
| post-conditions.tsx |
|
0% | 0/12 | 0% | 0/16 | 0% | 0/3 | 0% | 0/10 |
| stx-post-condition.tsx |
|
0% | 0/4 | 0% | 0/6 | 0% | 0/1 | 0% | 0/4 |