larsrh
| Navigation | Overlay |
|---|---|
| t Navigate files | h Toggle hits |
| y Change url to tip of branch | m Toggle misses |
| b / v Jump to prev/next hit line | p Toggle partial |
| z / x Jump to prev/next missed or partial line | 1..9 Toggle flags |
| shift + o Open current page in GitHub | a Toggle all on |
| / or ? Show keyboard shortcuts dialog | c Toggle context lines or commits |
| Files | Coverage |
|---|---|
| BaseLaws.scala | 0.00% |
| DeMorganLaws.scala | 100.00% |
| GroupLaws.scala | 100.00% |
| IsSerializable.scala | 11.11% |
| LatticeLaws.scala | 79.37% |
| LatticePartialOrderLaws.scala | 70.59% |
| LogicLaws.scala | 100.00% |
| OrderLaws.scala | 100.00% |
| RingLaws.scala | 96.45% |
| Rules.scala | 96.88% |
| package.scala | 71.43% |
| Folder Totals (11 files) | 89.30% |
| Project Totals (45 files) | 76.57% |