| pushOps(UUID, Device, User, List) |   | 74% | | 62% | 3 | 5 | 12 | 32 | 0 | 1 |
| lambda$pushOps$4(ListDevice) | | 0% | | 0% | 2 | 2 | 3 | 3 | 1 | 1 |
| lambda$pushOps$7(String, String, UUID) | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| lambda$pushOps$6(User, User) | | 0% | | 0% | 4 | 4 | 1 | 1 | 1 | 1 |
| lambda$pushOps$3(CrdtOperation) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| requireAccess(UUID, Device) | | 57% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| lambda$pushOps$2(CrdtOperation) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$pushOps$5(ListDevice) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getOps(UUID, Device, Map) | | 95% | | 50% | 1 | 2 | 0 | 6 | 0 | 1 |
| getClock(UUID, Device) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$pushOps$0(UUID, CrdtOperation) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$pushOps$1(CrdtOperation) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |