File | Statements | Branches | Functions | Lines | |||||
---|---|---|---|---|---|---|---|---|---|
Clause.js | 0% | 0/11 | 0% | 0/8 | 0% | 0/1 | 0% | 0/11 | |
ClauseRef.js | 0% | 0/7 | 100% | 0/0 | 0% | 0/1 | 0% | 0/7 | |
DelayedClause.js | 0% | 0/15 | 100% | 0/0 | 0% | 0/4 | 0% | 0/15 | |
Problem.js | 0% | 0/34 | 0% | 0/10 | 0% | 0/8 | 0% | 0/32 |