| Class | Source file | Lines | Methods | Statements | Invoked | Coverage | Branches | Invoked | Coverage | ||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Atom | Terms.scala | 29 | 1 | 1 | 1 |
|
100.00 % | 0 | 0 |
|
100.00 % |
| Fact | Clauses.scala | 32 | 2 | 4 | 4 |
|
100.00 % | 0 | 0 |
|
100.00 % |
| ListP | Terms.scala | 59 | 1 | 1 | 1 |
|
100.00 % | 0 | 0 |
|
100.00 % |
| Number | Terms.scala | 34 | 1 | 1 | 1 |
|
100.00 % | 0 | 0 |
|
100.00 % |
| Term | Terms.scala | 24 | 3 | 5 | 5 |
|
100.00 % | 0 | 0 |
|
100.00 % |
| Variable | Terms.scala | 39 | 1 | 1 | 1 |
|
100.00 % | 0 | 0 |
|
100.00 % |