This repository was archived by the owner on Aug 22, 2025. It is now read-only.
forked from danqing/2048
-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathsample-junit.xml
More file actions
115 lines (115 loc) · 27.4 KB
/
sample-junit.xml
File metadata and controls
115 lines (115 loc) · 27.4 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
<?xml version="1.0" encoding="UTF-8" ?>
<testsuite errors="1" failures="1" hostname="mahmood-alis-macbook-pro.local"
name="tests.ATest" tests="3" time="0.069" timestamp="2009-12-19T17:58:59">
<properties>
<property name="java.vendor" value="Sun Microsystems Inc." />
<property name="jtreg.home" value="/Users/mahmood/research/jtreg" />
<property name="sun.java.launcher" value="SUN_STANDARD" />
<property name="sun.management.compiler" value="HotSpot 64-Bit Server Compiler" />
<property name="os.name" value="Darwin" />
<property name="sun.boot.class.path" value="../../jsr308-langtools/dist/lib/javac.jar:../jsr308-langtools/dist/lib/javac.jar:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/resources.jar:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/rt.jar:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/sunrsasign.jar:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/jsse.jar:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/jce.jar:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/charsets.jar:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/classes" />
<property name="java.vm.specification.vendor" value="Sun Microsystems Inc." />
<property name="ant.home" value="/usr/share/ant" />
<property name="bindist.file" value="binary/jsr308-all.jar" />
<property name="java.runtime.version" value="1.6.0_03-p3-landonf_19_aug_2008_15_52-b00" />
<property name="user.name" value="mahmood" />
<property name="user.language" value="en" />
<property name="build" value="build" />
<property name="sun.boot.library.path" value="/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/amd64" />
<property name="ant.project.name" value="checkers" />
<property name="java.version" value="1.6.0_03-p3" />
<property name="build.tests" value="tests/build" />
<property name="user.timezone" value="" />
<property name="sun.arch.data.model" value="64" />
<property name="java.endorsed.dirs" value="/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/endorsed" />
<property name="sun.cpu.isalist" value="" />
<property name="sun.jnu.encoding" value="UTF-8" />
<property name="file.encoding.pkg" value="sun.io" />
<property name="file.separator" value="/" />
<property name="java.specification.name" value="Java Platform API Specification" />
<property name="src.tests" value="/Users/mahmood/research/checker-framework/checkers/tests/src/tests/ATest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/AnnotationBuilderTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/BasicEncryptedTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/BasicSuperSubTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/CheckerParameterized.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/CheckerTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/FailingTests.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/FlowTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/FrameworkTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/I18nTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/IGJTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/InterningTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/JavariTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/LockTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/NullnessTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/OIGJTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/ParameterizedCheckerTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/RegexTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/TaintingTest.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/TestInput.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/TestRun.java /Users/mahmood/research/checker-framework/checkers/tests/src/tests/TestUtilities.java" />
<property name="java.class.version" value="50.0" />
<property name="src" value="src" />
<property name="user.country" value="US" />
<property name="java.home" value="/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre" />
<property name="java.vm.info" value="mixed mode" />
<property name="ant.file" value="/Users/mahmood/research/checker-framework/checkers/build.xml" />
<property name="os.version" value="10.2.0" />
<property name="temp.dir" value="binary/buildbin" />
<property name="path.separator" value=":" />
<property name="java.vm.version" value="1.6.0_03-p3-landonf_19_aug_2008_15_52-b00" />
<property name="checkers.rel.jp" value="../checkers" />
<property name="ant.library.dir" value="/usr/share/ant/lib" />
<property name="dist.doc" value="doc" />
<property name="java.awt.printerjob" value="sun.print.PSPrinterJob" />
<property name="halt.on.test.failure" value="true" />
<property name="sun.io.unicode.encoding" value="UnicodeBig" />
<property name="compiler.exists" value="true" />
<property name="user.home" value="/Users/mahmood" />
<property name="java.specification.vendor" value="Sun Microsystems Inc." />
<property name="src.files.spaceseparated" value="/Users/mahmood/research/checker-framework/checkers/src/checkers/basetype/BaseTypeChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/basetype/BaseTypeVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/basetype/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/basic/BasicChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/flow/Flow.java /Users/mahmood/research/checker-framework/checkers/src/checkers/flow/GenKillBits.java /Users/mahmood/research/checker-framework/checkers/src/checkers/flow/Location.java /Users/mahmood/research/checker-framework/checkers/src/checkers/flow/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/i18n/I18nChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/i18n/KeyLookupAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/i18n/KeyLookupChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/i18n/SubI18Checker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/i18n/quals/LocalizableKey.java /Users/mahmood/research/checker-framework/checkers/src/checkers/i18n/quals/Localized.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/IGJAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/IGJBottom.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/IGJChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/IGJVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/quals/Assignable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/quals/AssignsFields.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/quals/I.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/quals/Immutable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/quals/Mutable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/quals/ReadOnly.java /Users/mahmood/research/checker-framework/checkers/src/checkers/igj/quals/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/interning/InterningAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/interning/InterningChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/interning/InterningVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/interning/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/interning/quals/Interned.java /Users/mahmood/research/checker-framework/checkers/src/checkers/interning/quals/PolyInterned.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/JavariAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/JavariChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/JavariVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/quals/Assignable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/quals/Mutable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/quals/PolyRead.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/quals/QReadOnly.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/quals/ReadOnly.java /Users/mahmood/research/checker-framework/checkers/src/checkers/javari/quals/ThisMutable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/linear/LinearAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/linear/LinearChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/linear/LinearVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/linear/quals/Linear.java /Users/mahmood/research/checker-framework/checkers/src/checkers/linear/quals/Normal.java /Users/mahmood/research/checker-framework/checkers/src/checkers/linear/quals/Unusable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/lock/LockAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/lock/LockChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/lock/LockVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/lock/quals/GuardedBy.java /Users/mahmood/research/checker-framework/checkers/src/checkers/lock/quals/Holding.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/CollectionToArrayHeuristics.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/MapGetHeuristics.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/NullnessAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/NullnessChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/NullnessFlow.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/NullnessSubchecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/NullnessUtils.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/NullnessVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/RawnessSubchecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/AssertNonNull.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/AssertNonNullIfTrue.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/LazyNonNull.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/NonNull.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/NonNullVariable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/NonRaw.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/Nullable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/PolyNull.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/PolyRaw.java /Users/mahmood/research/checker-framework/checkers/src/checkers/nullness/quals/Raw.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/ImmutabilityAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/ImmutabilitySubchecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/ImmutabilityVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/OIGJChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/OIGJMutabilityBottom.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/OwnershipAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/OwnershipSubchecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/OwnershipVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/Assignable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/AssignsFields.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/Dominator.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/I.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/Immutable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/Modifier.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/Mutable.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/O.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/ReadOnly.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/WildCard.java /Users/mahmood/research/checker-framework/checkers/src/checkers/oigj/quals/World.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/DefaultLocation.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/DefaultQualifier.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/DefaultQualifierInHierarchy.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/DefaultQualifiers.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/Dependent.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/ImplicitFor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/PolymorphicQualifier.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/SubtypeOf.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/TypeQualifier.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/TypeQualifiers.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/Unqualified.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/Unused.java /Users/mahmood/research/checker-framework/checkers/src/checkers/quals/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/regex/RegexAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/regex/RegexChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/regex/quals/Regex.java /Users/mahmood/research/checker-framework/checkers/src/checkers/source/Result.java /Users/mahmood/research/checker-framework/checkers/src/checkers/source/SourceChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/source/SourceVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/source/SupportedLintOptions.java /Users/mahmood/research/checker-framework/checkers/src/checkers/source/SuppressWarningsKey.java /Users/mahmood/research/checker-framework/checkers/src/checkers/source/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/tainting/TaintingAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/tainting/TaintingChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/tainting/quals/PolyTainted.java /Users/mahmood/research/checker-framework/checkers/src/checkers/tainting/quals/Tainted.java /Users/mahmood/research/checker-framework/checkers/src/checkers/tainting/quals/Untainted.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/AnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/AnnotatedTypeMirror.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/AnnotatedTypes.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/BasicAnnotatedTypeFactory.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/QualifierHierarchy.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/TreeAnnotator.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/TypeAnnotator.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/TypeFromElement.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/TypeFromTree.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/TypeHierarchy.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/VisitorState.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/package-info.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/visitors/AnnotatedTypeComparer.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/visitors/AnnotatedTypeScanner.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/visitors/AnnotatedTypeVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/visitors/SimpleAnnotatedTypeScanner.java /Users/mahmood/research/checker-framework/checkers/src/checkers/types/visitors/SimpleAnnotatedTypeVisitor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/AggregateChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/AnnotationUtils.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/DependentTypes.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/ElementUtils.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/GraphQualifierHierarchy.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/Heuristics.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/InternalUtils.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/QualifierDefaults.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/QualifierPolymorphism.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/TreeUtils.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/TypesUtils.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/count/AnnotationsCounter.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/count/Locations.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/debug/EmptyProcessor.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/debug/SignaturePrinter.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/debug/TreeDebug.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/stub/Skeleton.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/stub/StubGenerator.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/stub/StubParser.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/stub/StubUtil.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/Critical.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/Encrypted.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/FactoryTestChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/FlowTestChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/Odd.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/PolyEncrypted.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/SubQual.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/SuperQual.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/TestChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/TypeOutputtingChecker.java /Users/mahmood/research/checker-framework/checkers/src/checkers/util/test/package-info.java /Users/mahmood/research/checker-framework/checkers/src/edu/umd/cs/findbugs/annotations/CheckForNull.java /Users/mahmood/research/checker-framework/checkers/src/edu/umd/cs/findbugs/annotations/NonNull.java /Users/mahmood/research/checker-framework/checkers/src/edu/umd/cs/findbugs/annotations/Nullable.java /Users/mahmood/research/checker-framework/checkers/src/edu/umd/cs/findbugs/annotations/UnknownNullness.java /Users/mahmood/research/checker-framework/checkers/src/javax/annotation/CheckForNull.java /Users/mahmood/research/checker-framework/checkers/src/javax/annotation/Nonnull.java /Users/mahmood/research/checker-framework/checkers/src/javax/annotation/Nullable.java /Users/mahmood/research/checker-framework/checkers/src/net/jcip/annotations/GuardedBy.java /Users/mahmood/research/checker-framework/checkers/src/net/jcip/annotations/Immutable.java /Users/mahmood/research/checker-framework/checkers/src/net/jcip/annotations/NotThreadSafe.java /Users/mahmood/research/checker-framework/checkers/src/net/jcip/annotations/ThreadSafe.java /Users/mahmood/research/checker-framework/checkers/src/org/jetbrains/annotations/NotNull.java /Users/mahmood/research/checker-framework/checkers/src/org/jetbrains/annotations/Nullable.java /Users/mahmood/research/checker-framework/checkers/src/org/netbeans/api/annotations/common/CheckForNull.java /Users/mahmood/research/checker-framework/checkers/src/org/netbeans/api/annotations/common/NonNull.java /Users/mahmood/research/checker-framework/checkers/src/org/netbeans/api/annotations/common/NullAllowed.java /Users/mahmood/research/checker-framework/checkers/src/org/netbeans/api/annotations/common/NullUnknown.java /Users/mahmood/research/checker-framework/checkers/src/org/netbeans/api/annotations/common/SuppressWarnings.java /Users/mahmood/research/checker-framework/checkers/src/org/netbeans/api/annotations/common/package-info.java" />
<property name="java.library.path" value="/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/amd64/server:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/amd64:/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/../lib/amd64:/usr/java/packages/lib/amd64:/lib:/usr/lib" />
<property name="java.vendor.url" value="http://java.sun.com/" />
<property name="javaparser.lib.uptodate" value="true" />
<property name="build.reports" value="build/reports" />
<property name="java.vm.vendor" value="Sun Microsystems Inc." />
<property name="javac.lib" value="../../jsr308-langtools/dist/lib/javac.jar" />
<property name="run.tests.should.fork" value="true" />
<property name="java.runtime.name" value="Java(TM) SE Runtime Environment" />
<property name="java.class.path" value="/Users/mahmood/research/jsr308-langtools/dist/lib/javac.jar:/Users/mahmood/research/checker-framework/jsr308-langtools/dist/lib/javac.jar:/Users/mahmood/research/checker-framework/checkers/tests/build:/Users/mahmood/research/checker-framework/checkers/tests/junit-4.7.jar:/Users/mahmood/research/checker-framework/checkers/build:/usr/share/java/ant-1.7.1/lib/ant-launcher.jar:/usr/share/ant/lib/ant.jar:/usr/share/ant/lib/ant-junit.jar" />
<property name="jsr308.langtools" value="../../jsr308-langtools" />
<property name="ant.version" value="Apache Ant version 1.7.1 compiled on September 22 2009" />
<property name="annotation-utils.lib" value="../annotation-file-utilities/annotation-file-utilities.jar:lib/asmx.jar" />
<property name="src.astub.files.uptodate" value="true" />
<property name="compiler.version" value="javac 1.7.0-jsr308-1.0.2" />
<property name="checkers.jar.file" value="checkers.jar" />
<property name="build.jtreg.dir" value="build/jtreg" />
<property name="java.vm.specification.name" value="Java Virtual Machine Specification" />
<property name="tmpdir" value="/var/tmp//mahmood/checkers" />
<property name="java.vm.specification.version" value="1.0" />
<property name="sun.cpu.endian" value="little" />
<property name="sun.os.patch.level" value="unknown" />
<property name="build.version" value="1.0.3" />
<property name="tests" value="tests" />
<property name="java.io.tmpdir" value="/var/tmp/" />
<property name="javaparser.lib" value="lib/javaparser.jar" />
<property name="java.vendor.url.bug" value="http://java.sun.com/cgi-bin/bugreport.cgi" />
<property name="javaparser.loc" value="../javaparser" />
<property name="compiler.version.goal" value="javac 1.7.0-jsr308-1.0.3" />
<property name="jp.project" value="true" />
<property name="os.arch" value="amd64" />
<property name="java.awt.graphicsenv" value="sun.awt.X11GraphicsEnvironment" />
<property name="ant.file.checkers" value="/Users/mahmood/research/checker-framework/checkers/build.xml" />
<property name="java.ext.dirs" value="/System/Library/Frameworks/JavaVM.framework/Versions/soylatte16-amd64-1.0.3/jre/lib/ext:/usr/java/packages/lib/ext" />
<property name="javadoc.lib" value="../../jsr308-langtools/dist/lib/javadoc.jar:../../jsr308-langtools/dist/lib/doclets.jar" />
<property name="user.dir" value="/Users/mahmood/research/checker-framework/checkers" />
<property name="checkers.lib" value="checkers.jar" />
<property name="line.separator" value="
" />
<property name="compiler.lib" value="../../jsr308-langtools/dist/lib/javac.jar:../jsr308-langtools/dist/lib/javac.jar" />
<property name="java.vm.name" value="Java HotSpot(TM) 64-Bit Server VM" />
<property name="basedir" value="/Users/mahmood/research/checker-framework/checkers" />
<property name="tests.junit" value="tests/junit-4.7.jar" />
<property name="javari.jdk.build" value="jdk/javari/build" />
<property name="ant.java.version" value="1.6" />
<property name="ant.core.lib" value="/usr/share/ant/lib/ant.jar" />
<property name="file.encoding" value="UTF-8" />
<property name="dist.annos.file" value="checkers-quals.jar" />
<property name="javari.jdk.src" value="jdk/javari/src" />
<property name="java.specification.version" value="1.6" />
</properties>
<testcase classname="tests.ATest" name="error" time="0.0060">
<error type="java.lang.RuntimeException">java.lang.RuntimeException
at tests.ATest.error(ATest.java:11)
</error>
</testcase>
<testcase classname="tests.ATest" name="fail" time="0.0020">
<failure type="junit.framework.AssertionFailedError">junit.framework.AssertionFailedError:
at tests.ATest.fail(ATest.java:9)
</failure>
</testcase>
<testcase classname="tests.ATest" name="sucess" time="0.0" />
<system-out><![CDATA[here
]]></system-out>
<system-err><![CDATA[]]></system-err>
</testsuite>