Unit Test for class ConsistencyTest

Unit Tests Results - Euler

Environment Information

Property	Value
NAnt Location	file:///C:/nant/bin/NAnt.Core.DLL
NAnt Version	0.84.1455.0
Buildfile	file:///C:/sfcvs/2004/01swap/build/build.assembly.xml
Base Directory	C:\sfcvs\2004\01swap
Operating System
.NET CLR Version

Test Suite

Name

Tests

Errors

Failures

Time(s)

ConsistencyTest_ETC2

0.00 %

369.752

Test Case

Name

Status

Time(s)

-AnnotationProperty_003

Test

Failure

5.458

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.AnnotationProperty_003()

-AnnotationProperty_004

Test

Failure

4.937

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.AnnotationProperty_004()

-backwardCompatibleWith_001

Test

Failure

4.867

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.backwardCompatibleWith_001()

-backwardCompatibleWith_002

Test

Failure

4.867

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.backwardCompatibleWith_002()

-DatatypeProperty_001

Test

Failure

5.368

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.DatatypeProperty_001()

-descriptionlogic_005

Test

Failure

4.637

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_005()

-descriptionlogic_006

Test

Failure

4.727

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_006()

-descriptionlogic_009

Test

Failure

4.516

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_009()

-descriptionlogic_016

Test

Failure

4.306

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_016()

-descriptionlogic_018

Test

Failure

4.426

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_018()

-descriptionlogic_020

Test

Failure

4.356

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_020()

-descriptionlogic_021

Test

Failure

4.376

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_021()

-descriptionlogic_024

Test

Failure

4.617

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_024()

-descriptionlogic_025

Test

Failure

4.757

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_025()

-descriptionlogic_028

Test

Failure

4.607

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_028()

-descriptionlogic_031

Test

Failure

4.677

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_031()

-descriptionlogic_034

Test

Failure

4.506

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_034()

-descriptionlogic_501

Test

Failure

4.506

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_501()

-descriptionlogic_503

Test

Failure

4.506

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_503()

-descriptionlogic_605

Test

Failure

4.476

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_605()

-descriptionlogic_606

Test

Failure

3.976

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_606()

-descriptionlogic_609

Test

Failure

4.366

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_609()

-descriptionlogic_616

Test

Failure

4.146

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_616()

-descriptionlogic_624

Test

Failure

4.537

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_624()

-descriptionlogic_625

Test

Failure

4.827

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_625()

-descriptionlogic_628

Test

Failure

4.296

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_628()

-descriptionlogic_631

Test

Failure

4.336

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_631()

-descriptionlogic_634

Test

Failure

4.396

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_634()

-descriptionlogic_905

Test

Failure

4.667

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_905()

-descriptionlogic_906

Test

Failure

4.687

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_906()

-descriptionlogic_907

Test

Failure

4.837

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_907()

-descriptionlogic_908

Test

Failure

4.667

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_908()

-disjointWith_003

Test

Failure

4.827

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.disjointWith_003()

-disjointWith_004

Test

Failure

4.877

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.disjointWith_004()

-disjointWith_005

Test

Failure

4.917

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.disjointWith_005()

-disjointWith_006

Test

Failure

4.857

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.disjointWith_006()

-disjointWith_007

Test

Failure

4.857

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.disjointWith_007()

-disjointWith_008

Test

Failure

4.897

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.disjointWith_008()

-disjointWith_009

Test

Failure

4.947

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.disjointWith_009()

-equivalentClass_009

Test

Failure

5.107

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.equivalentClass_009()

-I5_1_010

Test

Failure

5.137

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_1_010()

-I5_2_001

Test

Failure

5.167

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_2_001()

-I5_2_003

Test

Failure

4.727

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_2_003()

-I5_2_005

Test

Failure

4.366

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_2_005()

-I5_2_010

Test

Failure

4.867

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_2_010()

-I5_2_011

Test

Failure

4.857

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_2_011()

-I5_26_001

Test

Failure

4.957

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_26_001()

-I5_26_002

Test

Failure

5.027

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_26_002()

-I5_26_003

Test

Failure

4.987

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_26_003()

-I5_26_004

Test

Failure

5.007

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_26_004()

-I5_26_005

Test

Failure

4.987

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_26_005()

-I5_26_006

Test

Failure

4.987

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_26_006()

-I5_26_007

Test

Failure

4.977

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_26_007()

-I5_3_005

Test

Failure

4.907

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_3_005()

-I5_3_006

Test

Failure

4.777

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_3_006()

-I5_3_007

Test

Failure

4.877

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_3_007()

-I5_3_008

Test

Failure

4.867

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_3_008()

-I5_3_009

Test

Failure

4.827

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_3_009()

-I5_3_010

Test

Failure

4.797

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_3_010()

-I5_3_011

Test

Failure

4.797

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_3_011()

-I5_8_002

Test

Failure

5.258

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_8_002()

-I5_8_012

Test

Failure

0.961

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_8_012()

-I5_8_013

Test

Failure

4.827

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_8_013()

-I5_8_014

Test

Failure

4.837

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_8_014()

-I5_8_015

Test

Failure

4.867

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_8_015()

-I5_8_016

Test

Failure

4.807

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_8_016()

-I6_1_001

Test

Failure

4.877

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I6_1_001()

-imports_012

Test

Failure

4.897

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.imports_012()

-miscellaneous_001

Test

Failure

4.597

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_001()

-miscellaneous_002

Test

Failure

3.575

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_002()

-miscellaneous_102

Test

Failure

4.917

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_102()

-miscellaneous_103

Test

Failure

4.867

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_103()

-miscellaneous_201

Test

Failure

4.867

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_201()

-miscellaneous_202

Test

Failure

4.897

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_202()

-miscellaneous_205

Test

Failure

0.651

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_205()

-miscellaneous_303

Test

Failure

4.907

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_303()

-oneOf_001

Test

Failure

5.097

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.oneOf_001()

-Restriction_003

Test

Failure

5.017

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.Restriction_003()

-Restriction_004

Test

Failure

4.937

Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.Restriction_004()

-Thing_004

Test

Failure

1.532

Failing Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.Thing_004()