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