Buildfile: build.clean.xml clean: [echo] Cleaning up previous build... [delete] Deleting 1422 files from C:\sfcvs\2004\01swap\docs [copy] Copying 1 file to C:\sfcvs\2004\01swap\docs [delete] Deleting 31 files from C:\sfcvs\2004\01swap\classes [delete] Deleting 10 files from C:\sfcvs\2004\01swap\bin [delete] Deleted 1 directory from C:\sfcvs\2004\01swap\bin [delete] C:\sfcvs\2004\01swap\build\proofs not found. [echo] Cleaning up previous build...done. BUILD SUCCESSFUL Total time: 2 seconds Buildfile: build.configure.xml config: [echo] Configuring all files... [copy] Copying 1 file to C:\sfcvs\2004\01swap\src\euler [copy] Copying 1 file to C:\sfcvs\2004\01swap\src\Eulersharp [copy] Copying 1 file to C:\sfcvs\2004\01swap\src\Eulersharp [echo] Configuring all files...done. BUILD SUCCESSFUL Total time: 0 seconds Buildfile: build.jar.xml compile: [javac] Compiling 31 source files to C:\sfcvs\2004\01swap\classes [javac] Note: * uses or overrides a deprecated API. [javac] Note: Recompile with -Xlint:deprecation for details. jar: [jar] Building jar: C:\sfcvs\2004\01swap\bin\Euler.jar javadoc: [javadoc] Generating Javadoc [javadoc] Javadoc execution [javadoc] Loading source files for package euler... [javadoc] Loading source files for package euler.output... [javadoc] Constructing Javadoc information... [javadoc] Standard Doclet version 1.5.0 [javadoc] Building tree for all the packages and classes... [javadoc] Building index for all the packages and classes... [javadoc] Building index for all classes... jar_test: [jar] Building jar: C:\sfcvs\2004\01swap\bin\Euler_Tests.jar test: [mkdir] Created dir: C:\sfcvs\2004\01swap\build\proofs [junit] Running euler.test.ETC1 [junit] Tests run: 168, Failures: 43, Errors: 0, Time elapsed: 38,605 sec [junit] Test euler.test.ETC1 FAILED [junit] Running euler.test.ETC2 [junit] Tests run: 290, Failures: 110, Errors: 0, Time elapsed: 687,058 sec [junit] Test euler.test.ETC2 FAILED [junit] Running euler.test.ETC3 [junit] Tests run: 34, Failures: 0, Errors: 0, Time elapsed: 6,44 sec report: [move] Moving 3 files to C:\sfcvs\2004\01swap\docs\java\testResults [junitreport] Transform time: 2163ms [move] Moving 492 files to C:\sfcvs\2004\01swap\docs\java\testResults\proofs BUILD FAILED C:\sfcvs\2004\01swap\build\build.jar.xml:124: Unable to delete directory C:\sfcvs\2004\01swap\build\proofs Total time: 12 minutes 27 seconds NAnt 0.84 (Build 0.84.1455.0; net-1.0.win32; release; 26/12/2003) Copyright (C) 2001-2003 Gerry Shaw http://nant.sourceforge.net Buildfile: file:///C:/sfcvs/2004/01swap/build/build.assembly.xml Target(s) specified: all build: [echo] building release version of production assembly [csc] Compiling 15 files to C:\sfcvs\2004\01swap\bin\Release\Euler.dll. [csc] Compiling 15 files to C:\sfcvs\2004\01swap\bin\Release\Euler.exe. build.test: [echo] building release version of test assembly [csc] Compiling 12 files to C:\sfcvs\2004\01swap\bin\Release\Euler.Tests.dll. doc: [echo] create production code documentation [ndoc] Initializing... [ndoc] Merging XML documentation... [ndoc] Building file mapping... [ndoc] Loading XSLT files... [ndoc] Generating HTML pages... [ndoc] Generating HTML content file... [ndoc] Compiling HTML Help file... Help compiler returned an error code of 0 test: [echo] prepare test environment [mkdir] Creating directory C:\sfcvs\2004\01swap\bin\Release\proofs. [copy] Copying 1 file to C:\sfcvs\2004\01swap\bin\Release\nunit.framework.dll. [copy] Copying C:\sfcvs\2004\01swap\lib\nunit.framework.dll to C:\sfcvs\2004\01swap\bin\Release\nunit.framework.dll. [echo] execute test binaries using C:\Program Files\NUnit V2.1\bin\nunit-console.exe [exec] C:\Program Files\NUnit V2.1\bin\nunit-console.exe "C:\sfcvs\2004\01swap\bin\Release\Euler.Tests.dll" /xml:"C:\sfcvs\2004\01swap\docs\net\testResults\testReportNet.xml" [exec] Starting 'C:\Program Files\NUnit V2.1\bin\nunit-console.exe ("C:\sfcvs\2004\01swap\bin\Release\Euler.Tests.dll" /xml:"C:\sfcvs\2004\01swap\docs\net\testResults\testReportNet.xml")' in 'C:\sfcvs\2004\01swap' NUnit version 2.1.4 Copyright (C) 2002-2003 James W. Newkirk, Michael C. Two, Alexei A. Vorontsov, Charlie Poole. Copyright (C) 2000-2003 Philip Craig. All Rights Reserved. .F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F...................................................................................F.F.................................F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.F.....................F......F.....F...............F...........................F...................F...................F.F.F...F.....................F.F......F.....F.F.F.F.F.F.F......F.F.....F.F...........F..F.F..F.............................................F..F...................... Tests run: 492, Failures: 154, Not run: 0, Time: 1807,0383936 seconds Failures: 1) Eulersharp.test.ConsistencyTest_ETC2.AnnotationProperty_003 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.AnnotationProperty_003() 2) Eulersharp.test.ConsistencyTest_ETC2.AnnotationProperty_004 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.AnnotationProperty_004() 3) Eulersharp.test.ConsistencyTest_ETC2.DatatypeProperty_001 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.DatatypeProperty_001() 4) Eulersharp.test.ConsistencyTest_ETC2.I5_1_010 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_1_010() 5) Eulersharp.test.ConsistencyTest_ETC2.I5_2_001 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_2_001() 6) Eulersharp.test.ConsistencyTest_ETC2.I5_2_003 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_2_003() 7) Eulersharp.test.ConsistencyTest_ETC2.I5_2_005 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_2_005() 8) Eulersharp.test.ConsistencyTest_ETC2.I5_2_010 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_2_010() 9) Eulersharp.test.ConsistencyTest_ETC2.I5_2_011 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_2_011() 10) Eulersharp.test.ConsistencyTest_ETC2.I5_26_001 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_26_001() 11) Eulersharp.test.ConsistencyTest_ETC2.I5_26_002 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_26_002() 12) Eulersharp.test.ConsistencyTest_ETC2.I5_26_003 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_26_003() 13) Eulersharp.test.ConsistencyTest_ETC2.I5_26_004 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_26_004() 14) Eulersharp.test.ConsistencyTest_ETC2.I5_26_005 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_26_005() 15) Eulersharp.test.ConsistencyTest_ETC2.I5_26_006 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_26_006() 16) Eulersharp.test.ConsistencyTest_ETC2.I5_26_007 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_26_007() 17) Eulersharp.test.ConsistencyTest_ETC2.I5_3_005 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_3_005() 18) Eulersharp.test.ConsistencyTest_ETC2.I5_3_006 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_3_006() 19) Eulersharp.test.ConsistencyTest_ETC2.I5_3_007 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_3_007() 20) Eulersharp.test.ConsistencyTest_ETC2.I5_3_008 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_3_008() 21) Eulersharp.test.ConsistencyTest_ETC2.I5_3_009 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_3_009() 22) Eulersharp.test.ConsistencyTest_ETC2.I5_3_010 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_3_010() 23) Eulersharp.test.ConsistencyTest_ETC2.I5_3_011 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_3_011() 24) Eulersharp.test.ConsistencyTest_ETC2.I5_8_002 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_8_002() 25) Eulersharp.test.ConsistencyTest_ETC2.I5_8_012 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_8_012() 26) Eulersharp.test.ConsistencyTest_ETC2.I5_8_013 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_8_013() 27) Eulersharp.test.ConsistencyTest_ETC2.I5_8_014 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_8_014() 28) Eulersharp.test.ConsistencyTest_ETC2.I5_8_015 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_8_015() 29) Eulersharp.test.ConsistencyTest_ETC2.I5_8_016 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I5_8_016() 30) Eulersharp.test.ConsistencyTest_ETC2.I6_1_001 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.I6_1_001() 31) Eulersharp.test.ConsistencyTest_ETC2.Restriction_003 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.Restriction_003() 32) Eulersharp.test.ConsistencyTest_ETC2.Restriction_004 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.Restriction_004() 33) Eulersharp.test.ConsistencyTest_ETC2.Thing_004 : Failing Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.Thing_004() 34) Eulersharp.test.ConsistencyTest_ETC2.backwardCompatibleWith_001 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.backwardCompatibleWith_001() 35) Eulersharp.test.ConsistencyTest_ETC2.backwardCompatibleWith_002 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.backwardCompatibleWith_002() 36) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_005 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_005() 37) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_006 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_006() 38) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_009 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_009() 39) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_016 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_016() 40) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_018 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_018() 41) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_020 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_020() 42) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_021 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_021() 43) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_024 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_024() 44) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_025 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_025() 45) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_028 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_028() 46) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_031 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_031() 47) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_034 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_034() 48) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_501 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_501() 49) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_503 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_503() 50) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_605 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_605() 51) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_606 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_606() 52) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_609 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_609() 53) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_616 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_616() 54) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_624 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_624() 55) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_625 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_625() 56) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_628 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_628() 57) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_631 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_631() 58) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_634 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_634() 59) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_905 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_905() 60) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_906 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_906() 61) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_907 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_907() 62) Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_908 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.descriptionlogic_908() 63) Eulersharp.test.ConsistencyTest_ETC2.disjointWith_003 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.disjointWith_003() 64) Eulersharp.test.ConsistencyTest_ETC2.disjointWith_004 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.disjointWith_004() 65) Eulersharp.test.ConsistencyTest_ETC2.disjointWith_005 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.disjointWith_005() 66) Eulersharp.test.ConsistencyTest_ETC2.disjointWith_006 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.disjointWith_006() 67) Eulersharp.test.ConsistencyTest_ETC2.disjointWith_007 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.disjointWith_007() 68) Eulersharp.test.ConsistencyTest_ETC2.disjointWith_008 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.disjointWith_008() 69) Eulersharp.test.ConsistencyTest_ETC2.disjointWith_009 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.disjointWith_009() 70) Eulersharp.test.ConsistencyTest_ETC2.equivalentClass_009 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.equivalentClass_009() 71) Eulersharp.test.ConsistencyTest_ETC2.imports_012 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.imports_012() 72) Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_001 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_001() 73) Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_002 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_002() 74) Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_102 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_102() 75) Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_103 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_103() 76) Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_201 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_201() 77) Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_202 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_202() 78) Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_205 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_205() 79) Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_303 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.miscellaneous_303() 80) Eulersharp.test.ConsistencyTest_ETC2.oneOf_001 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.ConsistencyTest_ETC2.oneOf_001() 81) Eulersharp.test.InconsistencyTest_ETC2.descriptionlogic_502 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.InconsistencyTest_ETC2.descriptionlogic_502() 82) Eulersharp.test.InconsistencyTest_ETC2.descriptionlogic_504 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.InconsistencyTest_ETC2.descriptionlogic_504() 83) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_datatypesintensional_xsdintegerdecimalcompatible : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_datatypesintensional_xsdintegerdecimalcompatible() 84) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_datatypes_nonwellformedliteral2 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_datatypes_nonwellformedliteral2() 85) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_datatypes_test009 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_datatypes_test009() 86) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_horst01_subClassOfintensional : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_horst01_subClassOfintensional() 87) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_horst01_subPropertyOfintensional : Failing Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_horst01_subPropertyOfintensional() 88) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfcharmoduris_test003 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfcharmoduris_test003() 89) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfcharmoduris_test004 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfcharmoduris_test004() 90) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfmsxmllang_test007a : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfmsxmllang_test007a() 91) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfmsxmllang_test007b : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfmsxmllang_test007b() 92) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfmsxmllang_test007c : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfmsxmllang_test007c() 93) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfscontainermembershipsuperProperty_test001 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfscontainermembershipsuperProperty_test001() 94) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfsdomainandrange_intensionalitydomain : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfsdomainandrange_intensionalitydomain() 95) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfsdomainandrange_intensionalityrange : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfsdomainandrange_intensionalityrange() 96) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfssubClassOfaProperty_test001 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_rdfssubClassOfaProperty_test001() 97) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_statemententailment_test001 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_statemententailment_test001() 98) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_statemententailment_test002 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_statemententailment_test002() 99) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_statemententailment_test003 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_statemententailment_test003() 100) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_statemententailment_test004 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_statemententailment_test004() 101) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_xmlsch02_whitespacefacet1 : Failing Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_xmlsch02_whitespacefacet1() 102) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_xmlsch02_whitespacefacet2 : Failing Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_xmlsch02_whitespacefacet2() 103) Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_xmlsch02_whitespacefacet4 : Failing Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC1.rdftests_rdfcore_xmlsch02_whitespacefacet4() 104) Eulersharp.test.NegativeEntailmentTest_ETC2.AnnotationProperty_001 : Failing Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.AnnotationProperty_001() 105) Eulersharp.test.NegativeEntailmentTest_ETC2.Class_004 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.Class_004() 106) Eulersharp.test.NegativeEntailmentTest_ETC2.Class_005 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.Class_005() 107) Eulersharp.test.NegativeEntailmentTest_ETC2.I4_6_004 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.I4_6_004() 108) Eulersharp.test.NegativeEntailmentTest_ETC2.I4_6_005 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.I4_6_005() 109) Eulersharp.test.NegativeEntailmentTest_ETC2.I5_5_006 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.I5_5_006() 110) Eulersharp.test.NegativeEntailmentTest_ETC2.I5_5_007 : Failing Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.I5_5_007() 111) Eulersharp.test.NegativeEntailmentTest_ETC2.I5_8_005 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.I5_8_005() 112) Eulersharp.test.NegativeEntailmentTest_ETC2.I5_8_007 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.I5_8_007() 113) Eulersharp.test.NegativeEntailmentTest_ETC2.Ontology_003 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.Ontology_003() 114) Eulersharp.test.NegativeEntailmentTest_ETC2.Restriction_005 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.Restriction_005() 115) Eulersharp.test.NegativeEntailmentTest_ETC2.allValuesFrom_002 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.allValuesFrom_002() 116) Eulersharp.test.NegativeEntailmentTest_ETC2.descriptionlogic_209 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.descriptionlogic_209() 117) Eulersharp.test.NegativeEntailmentTest_ETC2.descriptionlogic_902 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.descriptionlogic_902() 118) Eulersharp.test.NegativeEntailmentTest_ETC2.descriptionlogic_904 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.descriptionlogic_904() 119) Eulersharp.test.NegativeEntailmentTest_ETC2.equivalentClass_005 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.equivalentClass_005() 120) Eulersharp.test.NegativeEntailmentTest_ETC2.equivalentClass_008 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.equivalentClass_008() 121) Eulersharp.test.NegativeEntailmentTest_ETC2.imports_002 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.imports_002() 122) Eulersharp.test.NegativeEntailmentTest_ETC2.miscellaneous_301 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.miscellaneous_301() 123) Eulersharp.test.NegativeEntailmentTest_ETC2.miscellaneous_302 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.miscellaneous_302() 124) Eulersharp.test.NegativeEntailmentTest_ETC2.someValuesFrom_002 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.NegativeEntailmentTest_ETC2.someValuesFrom_002() 125) Eulersharp.test.PositiveEntailmentTest_ETC1.rdftests_rdfcore_rdfsentailment_test002 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC1.rdftests_rdfcore_rdfsentailment_test002() 126) Eulersharp.test.PositiveEntailmentTest_ETC1.rdftests_rdfcore_xmlsch02_whitespacefacet3 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC1.rdftests_rdfcore_xmlsch02_whitespacefacet3() 127) Eulersharp.test.PositiveEntailmentTest_ETC2.Class_006 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.Class_006() 128) Eulersharp.test.PositiveEntailmentTest_ETC2.I5_24_003 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.I5_24_003() 129) Eulersharp.test.PositiveEntailmentTest_ETC2.cardinality_002 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.cardinality_002() 130) Eulersharp.test.PositiveEntailmentTest_ETC2.description_logic_901 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.description_logic_901() 131) Eulersharp.test.PositiveEntailmentTest_ETC2.extra_credit_002 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.extra_credit_002() 132) Eulersharp.test.PositiveEntailmentTest_ETC2.extra_credit_003 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.extra_credit_003() 133) Eulersharp.test.PositiveEntailmentTest_ETC2.extra_credit_004 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.extra_credit_004() 134) Eulersharp.test.PositiveEntailmentTest_ETC2.miscellaneous_010 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveEntailmentTest_ETC2.miscellaneous_010() 135) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfcontainerssyntaxvsschema_test004 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfcontainerssyntaxvsschema_test004() 136) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfcontainerssyntaxvsschema_test006 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfcontainerssyntaxvsschema_test006() 137) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfnsprefixconfusion_test0004 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfnsprefixconfusion_test0004() 138) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfnsprefixconfusion_test0011 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfnsprefixconfusion_test0011() 139) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfnsprefixconfusion_test0012 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfnsprefixconfusion_test0012() 140) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfnsprefixconfusion_test0013 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfnsprefixconfusion_test0013() 141) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfnsprefixconfusion_test0014 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfnsprefixconfusion_test0014() 142) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsdifferencebetweenIDandabout_test1 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsdifferencebetweenIDandabout_test1() 143) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsdifferencebetweenIDandabout_test2 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsdifferencebetweenIDandabout_test2() 144) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsdifferencebetweenIDandabout_test3 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsdifferencebetweenIDandabout_test3() 145) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsemptypropertyelements_test005 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsemptypropertyelements_test005() 146) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsemptypropertyelements_test006 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsemptypropertyelements_test006() 147) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsemptypropertyelements_test012 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsemptypropertyelements_test012() 148) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsemptypropertyelements_test013 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsemptypropertyelements_test013() 149) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsnotidandresourceattr_test002 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsnotidandresourceattr_test002() 150) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsnotidandresourceattr_test005 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsnotidandresourceattr_test005() 151) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmspara196_test001 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmspara196_test001() 152) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsrdfnamesuse_test002 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsrdfnamesuse_test002() 153) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsxmlliteralnamespaces_test001 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsxmlliteralnamespaces_test001() 154) Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsxmllang_test001 : Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.PositiveParserTest_ETC1.rdftests_rdfcore_rdfmsxmllang_test001() C:\sfcvs\2004\01swap\build\build.assembly.xml(98,4): External Program Failed: C:\Program Files\NUnit V2.1\bin\nunit-console.exe (return code was 1) report: [move] 3 files moved. [move] 492 files moved. [delete] Deleting directory C:\sfcvs\2004\01swap\bin\Release\proofs. all: BUILD SUCCEEDED Total time: 1848.1 seconds. Buildfile: build.release.xml release: [echo] Making a release... [zip] Building zip: C:\sfcvs\2004\01swap\deployment\Euler.zip [echo] Making a release...done. BUILD SUCCESSFUL Total time: 16 seconds