Log File

check flags:
building check-recursive
- Making check in .
- make[1]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823'
  - building all-local
    
    /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/xtc/...-strategoxt-0.17pre18253-i9sd1ni4/bin/xtc -r /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC import /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/share/strategoxt/XTC/...-strategoxt-0.17pre18253-i9sd1ni4/share/strategoxt/XTC
    
    /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/xtc/...-strategoxt-0.17pre18253-i9sd1ni4/bin/xtc -r /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC import /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/share/java-front/XTC/...-java-front-0.9pre1823618236-frb8zh7m/share/java-front/XTC
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC: dryad.m4
  - building all-local
    
    /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/xtc/...-strategoxt-0.17pre18253-i9sd1ni4/bin/xtc -r /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC register -l `dirname /nix/store/p8iqw4l41m5ww03vp4p0y4ilg0iqc0l0-jdk-1.6.0_6/bin/java`/...-jdk-1.6.0_6/bin/java` -t java -V 1.5
    
    /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/xtc/...-strategoxt-0.17pre18253-i9sd1ni4/bin/xtc -r /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC register -l `dirname /nix/store/p8iqw4l41m5ww03vp4p0y4ilg0iqc0l0-jdk-1.6.0_6/bin/jar`/...-jdk-1.6.0_6/bin/jar` -t jar -V 1.5
  - make[1]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823'
- Making check in external
- make[1]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/external'
  - building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
  - make[1]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/external'
- Making check in libraries
- make[1]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/libraries'
  - building check-recursive
    
    Making check in stratego-jvm
    
    make[2]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/libraries/stratego-jvm'
    
    building check-recursive
    
    Making check in lib
    
    make[3]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/libraries/stratego-jvm/lib'
    
    building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC: libstratego-jvm.rtree
    
    make[3]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/libraries/stratego-jvm/lib'
    
    make[3]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/libraries/stratego-jvm'
    
    building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    make[3]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/libraries/stratego-jvm'
    
    make[2]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/libraries/stratego-jvm'
    
    make[2]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/libraries'
    
    building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    make[2]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/libraries'
  - make[1]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/libraries'
- Making check in classtree
- make[1]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/classtree'
  - building check-recursive
    
    Making check in java-aterm
    
    make[2]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/classtree/java-aterm'
    
    building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    make[2]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/classtree/java-aterm'
    
    Making check in bridge
    
    make[2]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/classtree/bridge'
    
    building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC: class2aterm.jar aterm2class.jar
    
    make[2]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/classtree/bridge'
    
    Making check in syn
    
    make[2]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/classtree/syn'
    
    building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC: ClassSignature.rtg MethodSignature.rtg FieldSignature.rtg ClassSignature.def MethodSignature.def FieldSignature.def ClassSignature.tbl MethodSignature.tbl FieldSignature.tbl
    
    make[2]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/classtree/syn'
    
    Making check in tests
    
    make[2]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/classtree/tests'
    
    building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    make[2]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/classtree/tests'
    
    make[2]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/classtree'
    
    building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC: ClassTree.rtg
    
    make[2]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/classtree'
  - make[1]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/classtree'
- Making check in lib
- make[1]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/lib'
  - building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC: dryad/bytecode/Signature.rtree dryad/bytecode/ClassSignature.rtree dryad/bytecode/FieldSignature.rtree dryad/bytecode/MethodSignature.rtree dryad/components.rtree dryad/bytecode/Bridge.rtree dryad/bytecode/ClassSignature.rtree dryad/bytecode/FieldSignature.rtree dryad/bytecode/MethodSignature.rtree dryad/bytecode/Signature.rtree dryad/bytecode/util.rtree dryad/jls/binary/Form.rtree dryad/jls/conversions/AssignmentConversion.rtree dryad/jls/conversions/Boxing.rtree dryad/jls/conversions/CaptureConversion.rtree dryad/jls/conversions/CastingConversion.rtree dryad/jls/conversions/IdentityConversion.rtree dryad/jls/conversions/Kinds.rtree dryad/jls/conversions/MethodInvocationConversion.rtree dryad/jls/conversions/NarrowingPrimitive.rtree dryad/jls/conversions/NarrowingReference.rtree dryad/jls/conversions/NumericPromotions.rtree dryad/jls/conversions/Unboxing.rtree dryad/jls/conversions/UncheckedConversion.rtree dryad/jls/conversions/WideningPrimitive.rtree dryad/jls/conversions/WideningReference.rtree dryad/jls/names/AccessControl.rtree dryad/jls/names/Canonical.rtree dryad/jls/names/Main.rtree dryad/jls/expressions/AssignmentOperators.rtree dryad/jls/types/Erasure.rtree dryad/jls/types/Lub.rtree dryad/jls/types/Main.rtree dryad/jls/types/Parameterized.rtree dryad/jls/types/Primitive.rtree dryad/jls/types/Raw.rtree dryad/jls/types/Reference.rtree dryad/jls/types/Reifiable.rtree dryad/jls/types/Subtyping.rtree dryad/model/array-class.rtree dryad/model/bytecode-class.rtree dryad/model/bytecode-constructor.rtree dryad/model/bytecode-field.rtree dryad/model/bytecode-method.rtree dryad/model/class.rtree dryad/model/classpath.rtree dryad/model/compilation-unit.rtree dryad/model/constructor.rtree dryad/model/field.rtree dryad/model/member.rtree dryad/model/method.rtree dryad/model/package.rtree dryad/model/reference-ast.rtree dryad/model/repository.rtree dryad/model/source-class.rtree dryad/model/source-constructor.rtree dryad/model/source-field.rtree dryad/model/source-method.rtree dryad/reclassify/Body.rtree dryad/reclassify/Bytecode.rtree dryad/reclassify/Check.rtree dryad/reclassify/ClassOrInterfaceType.rtree dryad/reclassify/ContextuallyAmbName.rtree dryad/reclassify/Header.rtree dryad/reclassify/Main.rtree dryad/reclassify/MeaningOfExpressionNames.rtree dryad/reclassify/MeaningOfPackageOrTypeName.rtree dryad/reclassify/Undo.rtree dryad/reclassify/declare/ClassMembers.rtree dryad/reclassify/declare/FormalParameters.rtree dryad/reclassify/declare/FormalTypeParameters.rtree dryad/reclassify/declare/Imports.rtree dryad/reclassify/declare/LocalVariables.rtree dryad/reclassify/declare/This.rtree dryad/simplify/Sanity.rtree dryad/source/Attributes.rtree dryad/source/Extensions.rtree dryad/type-check/AdditiveOperators.rtree dryad/type-check/ArrayAccessExpressions.rtree dryad/type-check/ArrayCreationExpressions.rtree dryad/type-check/ArrayInitializers.rtree dryad/type-check/AssignmentOperators.rtree dryad/type-check/BitwiseAndLogicalOperators.rtree dryad/type-check/CastExpressions.rtree dryad/type-check/ClassInstanceCreationExpressions.rtree dryad/type-check/ConditionalAndOperator.rtree dryad/type-check/ConditionalOperator.rtree dryad/type-check/ConditionalOrOperator.rtree dryad/type-check/ConstantExpression.rtree dryad/type-check/EqualityOperators.rtree dryad/type-check/FieldAccessExpressions.rtree dryad/type-check/Main.rtree dryad/type-check/MeaningOfExpressionNames.rtree dryad/type-check/MethodInvocationExpressions.rtree dryad/type-check/MultiplicativeOperators.rtree dryad/type-check/PostfixExpressions.rtree dryad/type-check/RelationalOperators.rtree dryad/type-check/ShiftOperators.rtree dryad/type-check/UnaryOperators.rtree dryad/type-check/invoke/ConstraintReduction.rtree dryad/type-check/invoke/Constraints.rtree dryad/type-check/invoke/InferringTypeArguments.rtree dryad/type-check/invoke/StepAppropriate.rtree dryad/type-check/invoke/StepSearch.rtree dryad/type-check/invoke/StepSignature.rtree dryad/type-check/primary/ClassLiterals.rtree dryad/type-check/primary/LexicalLiterals.rtree dryad/type-check/primary/ParenthesizedExpressions.rtree dryad/type-check/primary/QualifiedThis.rtree dryad/type-check/primary/This.rtree dryad/type-check/stm/ForStatement.rtree dryad/type-check/stm/LocalVarDec.rtree dryad/errors/Main.rtree dryad/util/debug.rtree dryad/util/jtree-overlays.rtree dryad/util/jtree.rtree dryad/util/loader.rtree dryad/util/option.rtree dryad/lib-ext/common.rtree dryad/lib-ext/hash-table.rtree dryad/lib-ext/list.rtree dryad/lib-ext/log.rtree dryad/lib-ext/multi-options.rtree dryad/lib-ext/sunit.rtree dryad/lib-ext/switch-options.rtree dryad/lib-ext/wannabe-lisp.rtree dryad/lib-ext/oo/classes.rtree dryad/lib-ext/xtc/multi-options.rtree dryad/lib-ext/xtc/temp-file.rtree dryad.rtree libdryad.rtree
  - make[1]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/lib'
- Making check in compiler
- make[1]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/compiler'
  - building check-recursive
    
    Making check in classpath
    
    make[2]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/compiler/classpath'
    
    building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC: structured-classpath
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC: rt.classes
    
    make[2]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/compiler/classpath'
    
    Making check in front
    
    make[2]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/compiler/front'
    
    building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC: dryad-vis-tc-jtree dryad-simplify dryad-type-checker dryad-amb-type-checker dryad-reclassify-ambnames dryad-undo-reclassify-ambnames dryad-errors
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    make[2]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/compiler/front'
    
    Making check in main
    
    make[2]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/compiler/main'
    
    building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC: dryad-front
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    make[2]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/compiler/main'
    
    make[2]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/compiler'
    
    building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    make[2]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/compiler'
  - make[1]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/compiler'
- Making check in tools
- make[1]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/tools'
  - building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC: auto-dryad dryad-show-hierarchy class2aterm aterm2class annotate-start-line-column
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
  - make[1]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/tools'
- Making check in tests
- make[1]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/tests'
  - building check-recursive
    
    Making check in nutshell
    
    make[2]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/tests/nutshell'
    
    make[2]: Nothing to be done for `check'.
    
    make[2]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/tests/nutshell'
    
    make[2]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/tests'
    
    building all-local
    
    Tools registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    Data registered in repository /tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/BUILDTIME_XTC:
    
    building check-am
    
    make dryad-type-checker-tests dryad-reclassify-ambnames-tests dryad-model-tests dryad-jls-tests rt.classes
    
    make[3]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/tests'
    
    building dryad-type-checker-tests.c
    
    /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/strc/...-strategoxt-0.17pre18253-i9sd1ni4/bin/strc -I /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax/...-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax -I /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/share/java-front/...-java-front-0.9pre1823618236-frb8zh7m/share/java-front -la /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la/...-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la -I ../libraries/stratego-jvm/lib -I /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/share/...-strategoxt-0.17pre18253-i9sd1ni4/share -la /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.la/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.la -I ../lib -I ../lib --main main-dryad-type-checker-tests --format-check 0 -O 0 -i dryad-type-checker-tests.str -o dryad-type-checker-tests.c -c
    
    [ strc | info ] Compiling 'dryad-type-checker-tests.str'
    
    [ strc | warning ] Nullary constructor RefTypeString used without parentheses
    
    [ strc | warning ] Nullary constructor RefTypeString used without parentheses
    
    [ strc | warning ] Nullary constructor Public used without parentheses
    
    [ strc | warning ] Nullary constructor Final used without parentheses
    
    [ strc | warning ] Nullary constructor Int used without parentheses
    
    [ strc | warning ] Nullary constructor TypeCloneable used without parentheses
    
    [ strc | warning ] Nullary constructor TypeObject used without parentheses
    
    [ strc | warning ] Nullary constructor TempFiles used without parentheses
    
    [ strc | warning ] Nullary constructor Plus used without parentheses
    
    [ strc | warning ] Nullary constructor TypeObject used without parentheses
    
    [ strc | info ] Front-end succeeded : [user/system] = [3.08s/0.03s]
    
    [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [1.95s/0.02s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [5.03s/0.05s]
    
    building dryad-type-checker-tests.o
    gcc -DPACKAGE_NAME=\"dryad\" -DPACKAGE_TARNAME=\"dryad\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"dryad\ 0.2\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"dryad\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17823\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17823\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17823\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17823\"\)\) -DHAVE_DLFCN_H=1 -DSVN_REVISION=\"17823\" -I. -I/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -I/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/include/...-strategoxt-0.17pre18253-i9sd1ni4/include -I/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -I/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/include/...-strategoxt-0.17pre18253-i9sd1ni4/include -I/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/share/dryad/XTC\""/...-dryad/share/dryad/XTC\"" -g -O2 -c dryad-type-checker-tests.c
    
    building dryad-type-checker-tests
    
    /bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/share/dryad/XTC\""/...-dryad/share/dryad/XTC\"" -g -O2 -o dryad-type-checker-tests dryad-type-checker-tests.o -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -lATerm /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la/...-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la ../libraries/stratego-jvm/lib/libstratego-jvm.la -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-sglr -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm
    
    mkdir .libs
    
    gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/share/dryad/XTC\"/...-dryad/share/dryad/XTC\" -g -O2 -o .libs/dryad-type-checker-tests dryad-type-checker-tests.o -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so/...-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-gpp.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-gpp.so ../libraries/stratego-jvm/lib/.libs/libstratego-jvm.so -L/nix/store/p8iqw4l41m5ww03vp4p0y4ilg0iqc0l0-jdk-1.6.0_6/jre/lib/i386/server/...-jdk-1.6.0_6/jre/lib/i386/server -ljvm /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-xtc.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-xtc.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libjustsglr.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libjustsglr.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib-native.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib-native.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-runtime.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/...-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -Wl,--rpath -Wl,/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/lib/...-dryad/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    creating dryad-type-checker-tests
    
    building dryad-reclassify-ambnames-tests.c
    
    /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/strc/...-strategoxt-0.17pre18253-i9sd1ni4/bin/strc -I /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax/...-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax -I /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/share/java-front/...-java-front-0.9pre1823618236-frb8zh7m/share/java-front -la /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la/...-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la -I ../libraries/stratego-jvm/lib -I /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/share/...-strategoxt-0.17pre18253-i9sd1ni4/share -la /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.la/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.la -I ../lib -I ../lib --main main-dryad-reclassify-ambnames-tests --format-check 0 -O 0 -i dryad-reclassify-ambnames-tests.str -o dryad-reclassify-ambnames-tests.c -c
    
    [ strc | info ] Compiling 'dryad-reclassify-ambnames-tests.str'
    
    [ strc | warning ] Nullary constructor RefTypeString used without parentheses
    
    [ strc | warning ] Nullary constructor RefTypeString used without parentheses
    
    [ strc | warning ] Nullary constructor Public used without parentheses
    
    [ strc | warning ] Nullary constructor Final used without parentheses
    
    [ strc | warning ] Nullary constructor Int used without parentheses
    
    [ strc | warning ] Nullary constructor TypeCloneable used without parentheses
    
    [ strc | warning ] Nullary constructor TypeObject used without parentheses
    
    [ strc | warning ] Nullary constructor TempFiles used without parentheses
    
    [ strc | warning ] Nullary constructor Plus used without parentheses
    
    [ strc | warning ] Nullary constructor TypeObject used without parentheses
    
    [ strc | info ] Front-end succeeded : [user/system] = [2.30s/0.02s]
    
    [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [0.38s/0.02s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [2.68s/0.04s]
    
    building dryad-reclassify-ambnames-tests.o
    gcc -DPACKAGE_NAME=\"dryad\" -DPACKAGE_TARNAME=\"dryad\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"dryad\ 0.2\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"dryad\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17823\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17823\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17823\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17823\"\)\) -DHAVE_DLFCN_H=1 -DSVN_REVISION=\"17823\" -I. -I/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -I/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/include/...-strategoxt-0.17pre18253-i9sd1ni4/include -I/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -I/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/include/...-strategoxt-0.17pre18253-i9sd1ni4/include -I/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/share/dryad/XTC\""/...-dryad/share/dryad/XTC\"" -g -O2 -c dryad-reclassify-ambnames-tests.c
    
    building dryad-reclassify-ambnames-tests
    
    /bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/share/dryad/XTC\""/...-dryad/share/dryad/XTC\"" -g -O2 -o dryad-reclassify-ambnames-tests dryad-reclassify-ambnames-tests.o -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -lATerm /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la/...-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la ../libraries/stratego-jvm/lib/libstratego-jvm.la -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-sglr -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm
    
    gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/share/dryad/XTC\"/...-dryad/share/dryad/XTC\" -g -O2 -o .libs/dryad-reclassify-ambnames-tests dryad-reclassify-ambnames-tests.o -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so/...-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-gpp.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-gpp.so ../libraries/stratego-jvm/lib/.libs/libstratego-jvm.so -L/nix/store/p8iqw4l41m5ww03vp4p0y4ilg0iqc0l0-jdk-1.6.0_6/jre/lib/i386/server/...-jdk-1.6.0_6/jre/lib/i386/server -ljvm /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-xtc.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-xtc.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libjustsglr.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libjustsglr.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib-native.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib-native.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-runtime.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/...-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -Wl,--rpath -Wl,/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/lib/...-dryad/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    creating dryad-reclassify-ambnames-tests
    
    building dryad-model-tests.c
    
    /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/strc/...-strategoxt-0.17pre18253-i9sd1ni4/bin/strc -I /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax/...-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax -I /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/share/java-front/...-java-front-0.9pre1823618236-frb8zh7m/share/java-front -la /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la/...-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la -I ../libraries/stratego-jvm/lib -I /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/share/...-strategoxt-0.17pre18253-i9sd1ni4/share -la /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.la/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.la -I ../lib -I ../lib --main main-dryad-model-tests --format-check 0 -O 0 -i dryad-model-tests.str -o dryad-model-tests.c -c
    
    [ strc | info ] Compiling 'dryad-model-tests.str'
    
    [ strc | warning ] Nullary constructor RefTypeString used without parentheses
    
    [ strc | warning ] Nullary constructor RefTypeString used without parentheses
    
    [ strc | warning ] Nullary constructor RefTypeInteger used without parentheses
    
    [ strc | warning ] Nullary constructor RefTypeInteger used without parentheses
    
    [ strc | warning ] Nullary constructor RefTypeInteger used without parentheses
    
    [ strc | warning ] Nullary constructor RefTypeInteger used without parentheses
    
    [ strc | warning ] Nullary constructor TypeString used without parentheses
    
    [ strc | warning ] Nullary constructor RefTypeInteger used without parentheses
    
    [ strc | warning ] Nullary constructor RefTypeInteger used without parentheses
    
    [ strc | warning ] Nullary constructor RefTypeString used without parentheses
    
    [ strc | warning ] Nullary constructor TypeObject used without parentheses
    
    [ strc | warning ] Nullary constructor TypeObject used without parentheses
    
    [ strc | warning ] Nullary constructor RefTypeBoolean used without parentheses
    
    [ strc | warning ] Nullary constructor TypeNumber used without parentheses
    
    [ strc | warning ] Nullary constructor Plus used without parentheses
    
    [ strc | warning ] Nullary constructor Public used without parentheses
    
    [ strc | warning ] Nullary constructor Final used without parentheses
    
    [ strc | warning ] Nullary constructor Int used without parentheses
    
    [ strc | warning ] Nullary constructor TypeCloneable used without parentheses
    
    [ strc | warning ] Nullary constructor TypeObject used without parentheses
    
    [ strc | warning ] Nullary constructor TypeObject used without parentheses
    
    [ strc | warning ] Nullary constructor TempFiles used without parentheses
    
    [ strc | warning ] Nullary constructor RefTypeString used without parentheses
    
    [ strc | warning ] Nullary constructor TypeString used without parentheses
    
    [ strc | warning ] Nullary constructor None used without parentheses
    
    [ strc | warning ] Nullary constructor None used without parentheses
    
    [ strc | info ] Front-end succeeded : [user/system] = [3.85s/0.03s]
    
    [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [1.61s/0.04s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [5.46s/0.07s]
    
    building dryad-model-tests.o
    gcc -DPACKAGE_NAME=\"dryad\" -DPACKAGE_TARNAME=\"dryad\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"dryad\ 0.2\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"dryad\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17823\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17823\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17823\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17823\"\)\) -DHAVE_DLFCN_H=1 -DSVN_REVISION=\"17823\" -I. -I/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -I/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/include/...-strategoxt-0.17pre18253-i9sd1ni4/include -I/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -I/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/include/...-strategoxt-0.17pre18253-i9sd1ni4/include -I/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/share/dryad/XTC\""/...-dryad/share/dryad/XTC\"" -g -O2 -c dryad-model-tests.c
    
    building dryad-model-tests
    
    /bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/share/dryad/XTC\""/...-dryad/share/dryad/XTC\"" -g -O2 -o dryad-model-tests dryad-model-tests.o -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -lATerm /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la/...-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la ../libraries/stratego-jvm/lib/libstratego-jvm.la -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-sglr -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm
    
    gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/share/dryad/XTC\"/...-dryad/share/dryad/XTC\" -g -O2 -o .libs/dryad-model-tests dryad-model-tests.o -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so/...-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-gpp.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-gpp.so ../libraries/stratego-jvm/lib/.libs/libstratego-jvm.so -L/nix/store/p8iqw4l41m5ww03vp4p0y4ilg0iqc0l0-jdk-1.6.0_6/jre/lib/i386/server/...-jdk-1.6.0_6/jre/lib/i386/server -ljvm /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-xtc.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-xtc.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libjustsglr.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libjustsglr.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib-native.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib-native.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-runtime.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/...-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -Wl,--rpath -Wl,/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/lib/...-dryad/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    creating dryad-model-tests
    
    building dryad-jls-tests.c
    
    /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/bin/strc/...-strategoxt-0.17pre18253-i9sd1ni4/bin/strc -I /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax/...-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax -I /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/share/java-front/...-java-front-0.9pre1823618236-frb8zh7m/share/java-front -la /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la/...-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la -I ../libraries/stratego-jvm/lib -I /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/share/...-strategoxt-0.17pre18253-i9sd1ni4/share -la /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.la/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.la -I ../lib -I ../lib --main main-dryad-jls-tests --format-check 0 -O 0 -i dryad-jls-tests.str -o dryad-jls-tests.c -c
    
    [ strc | info ] Compiling 'dryad-jls-tests.str'
    
    [ strc | warning ] Nullary constructor RefTypeString used without parentheses
    
    [ strc | warning ] Nullary constructor RefTypeString used without parentheses
    
    [ strc | warning ] Nullary constructor Short used without parentheses
    
    [ strc | warning ] Nullary constructor Double used without parentheses
    
    [ strc | warning ] Nullary constructor Long used without parentheses
    
    [ strc | warning ] Nullary constructor Float used without parentheses
    
    [ strc | warning ] Nullary constructor Double used without parentheses
    
    [ strc | warning ] Nullary constructor TypeObject used without parentheses
    
    [ strc | warning ] Nullary constructor TypeString used without parentheses
    
    [ strc | warning ] Nullary constructor Int used without parentheses
    
    [ strc | warning ] Nullary constructor Long used without parentheses
    
    [ strc | warning ] Nullary constructor Int used without parentheses
    
    [ strc | warning ] Nullary constructor Double used without parentheses
    
    [ strc | warning ] Nullary constructor Float used without parentheses
    
    [ strc | warning ] Nullary constructor TypeListString used without parentheses
    
    [ strc | warning ] Nullary constructor TypeListObject used without parentheses
    
    [ strc | warning ] Nullary constructor TypeRawList used without parentheses
    
    [ strc | warning ] Nullary constructor Null used without parentheses
    
    [ strc | warning ] Nullary constructor Null used without parentheses
    
    [ strc | warning ] Nullary constructor Null used without parentheses
    
    [ strc | warning ] Nullary constructor None used without parentheses
    
    [ strc | warning ] Nullary constructor None used without parentheses
    
    [ strc | warning ] Nullary constructor None used without parentheses
    
    [ strc | warning ] Nullary constructor None used without parentheses
    
    [ strc | warning ] Nullary constructor None used without parentheses
    
    [ strc | warning ] Nullary constructor None used without parentheses
    
    [ strc | warning ] Nullary constructor None used without parentheses
    
    [ strc | warning ] Nullary constructor None used without parentheses
    
    [ strc | warning ] Nullary constructor Public used without parentheses
    
    [ strc | warning ] Nullary constructor Final used without parentheses
    
    [ strc | warning ] Nullary constructor Int used without parentheses
    
    [ strc | warning ] Nullary constructor Plus used without parentheses
    
    [ strc | warning ] Nullary constructor TempFiles used without parentheses
    
    [ strc | warning ] Nullary constructor TypeObject used without parentheses
    
    [ strc | warning ] Nullary constructor TypeCloneable used without parentheses
    
    [ strc | warning ] Nullary constructor TypeObject used without parentheses
    
    [ strc | info ] Front-end succeeded : [user/system] = [2.54s/0.02s]
    
    [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
    
    [ strc | info ] Back-end succeeded : [user/system] = [1.88s/0.02s]
    
    [ strc | info ] Compilation succeeded : [user/system] = [4.42s/0.04s]
    
    building dryad-jls-tests.o
    gcc -DPACKAGE_NAME=\"dryad\" -DPACKAGE_TARNAME=\"dryad\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"dryad\ 0.2\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"dryad\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17823\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"dryad\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17823\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre17823\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17823\"\)\) -DHAVE_DLFCN_H=1 -DSVN_REVISION=\"17823\" -I. -I/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -I/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/include/...-strategoxt-0.17pre18253-i9sd1ni4/include -I/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -I/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/include/...-strategoxt-0.17pre18253-i9sd1ni4/include -I/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/share/dryad/XTC\""/...-dryad/share/dryad/XTC\"" -g -O2 -c dryad-jls-tests.c
    
    building dryad-jls-tests
    
    /bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/share/dryad/XTC\""/...-dryad/share/dryad/XTC\"" -g -O2 -o dryad-jls-tests dryad-jls-tests.o -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -lATerm /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la/...-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la ../libraries/stratego-jvm/lib/libstratego-jvm.la -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-runtime -lm -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -lstratego-sglr -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm
    
    gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/share/dryad/XTC\"/...-dryad/share/dryad/XTC\" -g -O2 -o .libs/dryad-jls-tests dryad-jls-tests.o -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib /nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so/...-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-gpp.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-gpp.so ../libraries/stratego-jvm/lib/.libs/libstratego-jvm.so -L/nix/store/p8iqw4l41m5ww03vp4p0y4ilg0iqc0l0-jdk-1.6.0_6/jre/lib/i386/server/...-jdk-1.6.0_6/jre/lib/i386/server -ljvm /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-sglr.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-xtc.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-xtc.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libjustsglr.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libjustsglr.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib-native.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-lib-native.so /nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-runtime.so/...-strategoxt-0.17pre18253-i9sd1ni4/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so/...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/xr5kjx25v2nlrxxp9vmwq5mf6rnwcckl-java-front-0.9pre1823618236-frb8zh7m/lib/...-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/l7zfa2qmc1gfsvvkv6yl3y5p0yrrkyv2-strategoxt-0.17pre18253-i9sd1ni4/lib/...-strategoxt-0.17pre18253-i9sd1ni4/lib -Wl,--rpath -Wl,/nix/store/mnyg0ii59dcfvhp67v1rc9f8ld54x692-dryad/lib/...-dryad/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/...-aterm-2.5pre21238-26ra85lr/lib
    
    creating dryad-jls-tests
    
    building rt.classes
    ln -s ../compiler/classpath/rt.classes
    
    make[3]: Leaving directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/tests'
    
    make check-TESTS
    
    make[3]: Entering directory `/tmp/nix-build-c98p1qsnnwhzv48cywy0a1py0p59ibgy-dryad.drv-0/dryad-0.2pre17823/tests'
    
    building check-TESTS
    
    =======================================================================
    
    test suite: Dryad -- Type Checker
    
    =======================================================================
    
    =======================================================================
    
    Primary Expressions
    
    Integer literal 1
    
    Integer literal 2
    
    Integer literal 3
    
    Integer literal 4
    
    Integer literal 5
    
    Integer literal 6
    
    Integer literal 7
    
    Integer literal 8
    
    Integer literal 9
    
    Integer literal 10
    
    Integer literal 11
    
    Integer literal 12
    
    Double literal 1
    
    Double literal 2
    
    Double literal 3
    
    Float literal 1
    
    Float literal 2
    
    Boolean literal 1
    
    Boolean literal 2
    
    Void class literal
    
    Int class literal
    
    Integer class literal
    
    Simple this
    
    Simple qualified this
    
    Simple qualified this
    
    Qualified this in member class
    
    Qualified this in member class
    
    =======================================================================
    
    Class Instance Creation Expressions
    
    new Integer(1)
    
    new java.awt.Point(2, 3)
    
    new java.util.ArrayList<String>()
    
    No constructor with 0 arguments in Integer class
    
    Invocation of 0-arg source constructor
    
    Invocation of 1-arg source constructor
    
    Incorrect invocation of 0-arg source constructor
    
    Incorrect invocation of 0-arg source constructor
    
    Invocation of default constructor
    
    Incorrect invocation of 1-arg source constructor
    
    Constructor where formal parameter includes a type parameter of the class.
    
    Invocation of constructor with int[] argument - 1
    
    Invocation of constructor with int xs[] argument - 2
    
    Invocation of constructor with int xs[] argument - 3
    
    Invocation of constructor with int xs[] argument - 4
    
    =======================================================================
    
    Array Creation Expressions
    
    new int[3]
    
    new int[(short) 4]
    
    new int[(byte) 4]
    
    new int['a']
    
    new int[3][3]
    
    new int[3][3][3]
    
    new int[3][]
    
    new int[3][][]
    
    new float[3]
    
    new float[3][3]
    
    new int[true]
    
    new int[3l]
    
    new int[2][3l]
    
    new int[3.0f]
    
    new int[3.0d]
    
    new String[3]
    
    new String[3][3]
    
    new String[3][3][3]
    
    new String[3][]
    
    new String[3][][]
    
    new String[true]
    
    new String[3l]
    
    new String[2][3l]
    
    new String[3.0f]
    
    new String[3.0d]
    
    =======================================================================
    
    Field Access Expressions
    
    Simple bytecode field access
    
    Simple bytecode field access 2
    
    Simple field access
    
    Simple field access (reversed)
    
    Simple field access of array field
    
    Simple field access of array field
    
    Simple field access of array field
    
    Field access qualified with a this
    
    Local variable hides field
    
    Local variable hides field, but field can still be qualified
    
    Length field access of array
    
    Super field access in super source class
    
    Super field access in super bytecode class
    
    Super field access should not consider field in this class
    
    Outer instance field access
    
    Shadowed instance field access
    
    Qualified outer instance field access
    
    Qualified super field access in super bytecode class
    
    Qualified super field access should not consider field in this class
    
    Field access should prefer field in subclass over field in superclass
    
    Access of static field in interface.
    
    Access of static field in interface.
    
    Ambiguous access of static field.
    
    Non ambiguous access of static field.
    
    Access to private field is forbidden.
    
    Super field access cannot access private field.
    
    Super field access cannot access private field and should not fall back.
    
    Access to protected field in a different package is forbidden.
    
    Access to protected field in same package is ok.
    
    Declaring class of simple bytecode field access
    
    Declaring class for field access visible in different ways.
    
    Declaring class of super field access in super source class
    
    =======================================================================
    
    Method Invocation Expressions
    
    Simple static method invocation
    
    Boolean method in bytecode
    
    Invocation on super class
    
    Invocation on interface
    
    Invocation on super interface
    
    Invocation on abstract method
    
    Method applicable by subtyping
    
    Method applicable by proper subtyping
    
    Method applicable by proper subtyping
    
    Overloaded abs method
    
    Overloaded abs method
    
    Overloaded abs method
    
    Overloaded abs method
    
    Simple method invocation in source code
    
    Simple method invocation in source code
    
    Simple method invocation in source code
    
    Simple method invocation in source code
    
    Overload method invocation in source code
    
    Overloaded method invocation in source code (reversed)
    
    Overload method invocation in source code
    
    Overloaded method invocation in source code (reversed)
    
    Method invocation on field
    
    Invocation of static method in source class
    
    Invocation of method in super source class of this
    
    Invocation of method in super bytecode class of this
    
    Invocation of abstract method declared an abstract sourceclass.
    
    Invocation of method declared in a source interface.
    
    Invocation of method declared in an interface implemented by an abstract sourceclass.
    
    Invocation of method declared in an interface extended by another interface.
    
    Invocation of method declared in an interface implemented by an abstract sourceclass.
    
    Invocation of method with array argument.
    
    Explicit super method invocation
    
    Just a random method invocation that failed - 1
    
    Just a random method invocation that failed - 2
    
    Just a random method invocation that failed - 3
    
    Just a random method invocation that failed - 4
    
    Just a random method invocation that failed - 5
    
    Just a random method invocation that failed - 6
    
    Just a random method invocation that failed - 6b
    
    Just a random method invocation that failed - 7
    
    Just a random method invocation that failed - 8
    
    Just a random method invocation that failed - 9
    
    Just a random method invocation that failed - 10
    
    Method invocation on instance of member class.
    
    Invocation of method in enclosing class.
    
    Invocation of method inherited by enclosing class.
    
    Invocation of method in member class that shadows method in enclosing class.
    
    Method invocation on qualified this.
    
    Simple Qualified super method invocation.
    
    Invocation of method that has a formal parameter that is a type variable.
    
    Invocation of method with int[] argument - 1
    
    Invocation of method with int xs[] argument - 2
    
    Invocation of method with int xs[] argument - 3
    
    Invocation of method with int xs[] argument - 4
    
    Invocation with boxing conversion
    
    Invocation with null (not a method invocation