All files src/models

87.85% Statements 94/107
59.09% Branches 26/44
80.77% Functions 21/26
90.32% Lines 84/93
File Statements Branches Functions Lines
Clause.ts
89.47% 17/19 62.5% 5/8 100% 2/2 86.67% 13/15
ClauseRef.ts
84% 21/25 53.85% 7/13 71.43% 5/7 90.48% 19/21
DelayedClause.ts
72.73% 16/22 53.85% 7/13 62.5% 5/8 80% 16/20
Problem.ts
97.56% 40/41 70% 7/10 100% 9/9 97.3% 36/37