| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 258 of 258 | 0% | 12 of 12 | 0% | 13 | 13 | 66 | 66 | 7 | 7 |
| lambda$partialWritesCauseValueStoreInconsistency$0(int, CountDownLatch, int) | | 0% | | 0% | 3 | 3 | 19 | 19 | 1 | 1 |
| partialWritesCauseValueStoreInconsistency() | | 0% | | 0% | 3 | 3 | 17 | 17 | 1 | 1 |
| injectChoppyChannel(ValueStore, int) | | 0% | n/a | 1 | 1 | 17 | 17 | 1 | 1 | |
| buildString(int) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| setup() | | 0% | n/a | 1 | 1 | 4 | 4 | 1 | 1 | |
| tearDown() | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| ValueStorePartialWriteCorruptionTest() | | 0% | n/a | 1 | 1 | 1 | 1 | 1 | 1 |