|
||||||||||
Test | ||||||||||
testTautology44 | 3 FAIL | 24 May 12:11:53 | 0.011 |
unknown term operator: isSet(*)
77084: unknown term operator: isSet(*) |
||||||
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% |
|
||||||||
|