Clover

Clover Test Report

Coverage timestamp: Fri May 24 2013 13:47:27 UTC

FRAMES NO FRAMES SHOW HELP

Test

Status

Start time

Time (seconds)

Message

testTautology44

3 FAIL

24 May 12:11:53

0.0060

unknown term operator: isSet(*)

77084: unknown term operator: isSet(*)

at org.qedeq.kernel.bo.logic.model.Interpreter.calculateTerm(Interpreter.java:363)

at org.qedeq.kernel.bo.logic.model.Interpreter.getEntities(Interpreter.java:306)

at org.qedeq.kernel.bo.logic.model.Interpreter.calculateValue(Interpreter.java:175)

at org.qedeq.kernel.bo.logic.model.Interpreter.calculateValue(Interpreter.java:133)

at org.qedeq.kernel.bo.logic.model.Interpreter.calculateValue(Interpreter.java:81)

at org.qedeq.kernel.bo.logic.model.CalculateTruth.calculateTautology(CalculateTruth.java:101)

at org.qedeq.kernel.bo.logic.model.CalculateTruth.isTautology(CalculateTruth.java:68)

at org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.isTautology(CalculateTruthTestCase.java:60)

at org.qedeq.kernel.bo.logic.model.CalculateTruthTestCase.testTautology44(CalculateTruthTestCase.java:1591)

at org.qedeq.kernel.bo.logic.model.CalculateTruthDynamicUnaryModelTest.testTautology47(CalculateTruthDynamicUnaryModelTest.java:204)

Target Class

Coverage contributed by testTautology44.

org.qedeq.base.io.ResourceLoaderUtility org.qedeq.base.io.ResourceLoaderUtility

0.18085106 18.1%

org.qedeq.base.io.TextInput org.qedeq.base.io.TextInput

0.012396694 1.2%