Unit Tests Results - Euler

Generated by NUnit2Report : 29/09/2005 - 15:38  Environment InformationDesigned for use with NUnit and NAnt.

Test Suite

NameTestsErrorsFailuresTime(s)
NegativeEntailmentTest_ETC20.00 %002141.199


Test Case

NameStatusTime(s)
-allValuesFrom_002
Test
Failure0.140
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.allValuesFrom_002()
-AnnotationProperty_001
Test
Failure0.140
Failing Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.AnnotationProperty_001()
-Class_004
Test
Failure0.200
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.Class_004()
-Class_005
Test
Failure0.120
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.Class_005()
-descriptionlogic_209
Test
Failure3.946
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.descriptionlogic_209()
-descriptionlogic_902
Test
Failure4.607
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.descriptionlogic_902()
-descriptionlogic_904
Test
Failure4.717
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.descriptionlogic_904()
-equivalentClass_005
Test
Failure4.907
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.equivalentClass_005()
-equivalentClass_008
Test
Failure5.037
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.equivalentClass_008()
-I4_6_004
Test
Failure5.228
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.I4_6_004()
-I4_6_005
Test
Failure0.140
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.I4_6_005()
-I5_5_006
Test
Failure5.408
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.I5_5_006()
-I5_5_007
Test
Failure0.180
Failing Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.I5_5_007()
-I5_8_005
Test
Failure0.250
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.I5_8_005()
-I5_8_007
Test
Failure0.140
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.I5_8_007()
-imports_002
Test
Failure0.170
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.imports_002()
-miscellaneous_301
Test
Failure0.140
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.miscellaneous_301()
-miscellaneous_302
Test
Failure0.190
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.miscellaneous_302()
-Ontology_003
Test
Failure0.210
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.Ontology_003()
-Restriction_005
Test
Failure5.097
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.Restriction_005()
-someValuesFrom_002
Test
Failure0.200
Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.someValuesFrom_002()