| 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 |