org.qedeq.kernel.bo.logic.wf
Loading...
Class Coverage    
ElementCheckException ElementCheckException 0.5 (50%)
EverythingExists EverythingExists 0.5652174 (56.5%)
FormulaCheckException FormulaCheckException 0.5 (50%)
FormulaCheckerImpl FormulaCheckerImpl 0.9453552 (94.5%)
TermCheckException TermCheckException 0.5 (50%)