check flags:    
building check-recursive
Making check in syntax
make[1]: Entering directory `/tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/syntax'
building all-local
Tools registered in repository /tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC:   Stratego-Attributes.tbl Stratego-Attributes.def Stratego-Attributes.str Stratego-Attributes-in-Stratego.def Stratego-Attributes-in-Stratego.tbl MixStratego-Attributes.def                   Stratego-Attributes.str   
make[1]: Leaving directory `/tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/syntax'
Making check in runtime
make[1]: Entering directory `/tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/runtime'
building all-local
Tools registered in repository /tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC:   aster-runtime.packed-rtree aster-runtime.str  aster/lang/annotations.str aster/lang/attributes.str aster/lang/debug.str aster/lang/hashtables.str aster/lang/lists.str aster/lang/parents.str aster/lang/rewrites.str   aster/attributes/collection.astr aster/attributes/common.astr aster/attributes/debug.astr aster/attributes/lang.astr aster/attributes/reflection.astr aster/attributes/tree-access.astr aster/decorators/assert.astr aster/decorators/caching.astr aster/decorators/circular.astr aster/decorators/collection.astr aster/decorators/common.astr aster/decorators/debug.astr aster/decorators/flow.astr aster/decorators/lang.astr aster/decorators/lookup.astr aster/decorators/rewriting.astr    
make[1]: Leaving directory `/tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/runtime'
Making check in trans
make[1]: Entering directory `/tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/trans'
make[1]: Circular aster-no-check <- front/check.rtree dependency dropped.
make[1]: Circular aster-no-check <- front/check.rtree dependency dropped.
make[1]: Circular aster-no-check <- front/check.rtree dependency dropped.
building all-local
Tools registered in repository /tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC: aster   
Data registered in repository /tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC:    aster.rtree aster.rtree io.rtree options.rtree back/anonymous-rewrites.rtree back/assimilate.rtree back/attribute-builtins.rtree back/attribute-caching.rtree back/attribute-references.rtree back/attribute-tracing.rtree back/decorator-definitions.rtree back/decorator-references.rtree back/decorator-wrapping.rtree back/equation-definitions.rtree back/equation-merging.rtree back/equation-postprocess.rtree back/util.rtree front/analyze-foreign-ops.rtree front/analyze.rtree front/check.bootstrap.rtree front/check.rtree front/decorator-ordering.rtree front/desugar.rtree front/include-library.rtree lib/multi-options.rtree lib/xtc-multi-options.rtree front/check.rtree  
make[1]: Leaving directory `/tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/trans'
Making check in tests
make[1]: Entering directory `/tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/tests'
building Stratego-Attributes.runtestsuite
parse-unit --no-heuristic-filters -i Stratego-Attributes.testsuite -p ../syntax/Stratego-Attributes.tbl
-----------------------------------------------------------------------
executing testsuite Stratego-Attributes with 45 tests
-----------------------------------------------------------------------
* OK   : test 1 (Rules block)
* OK   : test 2 (Decorators block)
* OK   : test 3 (Attribute declarations)
* OK   : test 4 (Assignment in pattern definition block)
* OK   : test 5 (Rule definition vs. attribute pattern definition block)
* OK   : test 6 (Attribute pattern block with strategy definitions)
* OK   : test 7 (Disallow childless attribute definition in block (1))
* OK   : test 8 (Disallow childless attribute definition in block (2))
* OK   : test 9 (Decorated rule (1))
* OK   : test 10 (Decorated rule (2))
* OK   : test 11 (Attribute definition block with variable pattern)
* OK   : test 12 (Attribute definition block with single strategy)
* OK   : test 13 (Attribute reference in match)
* OK   : test 14 (Attribute defined on tuple)
* OK   : test 15 (Attribute localfoo)
* OK   : test 16 (Pattern rootfoo)
* OK   : test 17 (Attribute block defined on tuple)
* OK   : test 18 (Attribute definition 'eq')
* OK   : test 19 (Attribute declaration 'eq')
* OK   : test 20 (Attribute declaration 'attributes')
* OK   : test 21 (Attribute declaration 'def')
* OK   : test 22 (Mixture of attribute keywords and identifiers (1))
* OK   : test 23 (Mixture of attribute keywords and identifiers (2))
* OK   : test 24 (AttributeDecl and ADefNoPattern)
* OK   : test 25 (Attribute definition vs. <App> (1))
* OK   : test 26 (Attribute definition vs. <App> (2))
* OK   : test 27 (Attribute definition vs. <App> (3))
* OK   : test 28 (Attribute definition vs. <App> (4))
* OK   : test 29 (Attribute reference vs. <App> (1))
* OK   : test 30 (Attribute reference vs. <App> (2))
* OK   : test 31 (Attribute as annotation list)
* OK   : test 32 (Attribute pattern definitions vs. <App> (1))
* OK   : test 33 (Attribute pattern definitions vs. <App> (2))
* OK   : test 34 (Attribute pattern definitions vs. <App> (3))
* OK   : test 35 (Attribute pattern definitions vs. <App> (4))
* OK   : test 36 (Attribute pattern definitions vs. <App> (5))
* OK   : test 37 (Attribute pattern definitions vs. <App> (6))
* OK   : test 38 (Attribute pattern definitions vs. <App> (7))
* OK   : test 39 (Attribute pattern definitions vs. <App> (8))
* OK   : test 40 (Attribute pattern definitions vs. <App> (9))
* OK   : test 41 (Attributes in pattern)
* OK   : test 42 ("Default" decorator)
* OK   : test 43 (Parameterized decorators)
* OK   : test 44 (Single-line pattern, child pattern, and attribute definition)
* OK   : test 45 (Anonymous rewrite rule)
-----------------------------------------------------------------------
results testsuite Stratego-Attributes
successes : 45
failures  : 0
-----------------------------------------------------------------------
building anonymous-rules.str
../trans/aster -i anonymous-rules.astr -o anonymous-rules.str --verbose 2
[ strc | notice ] Parsing file anonymous-rules.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.58s/0.03s]
building binary-numbers.str
../trans/aster -i binary-numbers.astr -o binary-numbers.str --verbose 2
[ strc | notice ] Parsing file binary-numbers.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.58s/0.03s]
building caching.str
../trans/aster -i caching.astr -o caching.str --verbose 2
[ strc | notice ] Parsing file caching.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.64s/0.04s]
building circular-basic.str
../trans/aster -i circular-basic.astr -o circular-basic.str --verbose 2
[ strc | notice ] Parsing file circular-basic.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.56s/0.04s]
building circular-liveness-rewrites.str
../trans/aster -i circular-liveness-rewrites.astr -o circular-liveness-rewrites.str --verbose 2
[ strc | notice ] Parsing file circular-liveness-rewrites.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.57s/0.04s]
building circular-liveness.str
../trans/aster -i circular-liveness.astr -o circular-liveness.str --verbose 2
[ strc | notice ] Parsing file circular-liveness.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.62s/0.04s]
building circular-propconst.str
../trans/aster -i circular-propconst.astr -o circular-propconst.str --verbose 2
[ strc | notice ] Parsing file circular-propconst.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.65s/0.04s]
building cons-nil.str
../trans/aster -i cons-nil.astr -o cons-nil.str --verbose 2
[ strc | notice ] Parsing file cons-nil.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.56s/0.04s]
building contributes-to.str
../trans/aster -i contributes-to.astr -o contributes-to.str --verbose 2
[ strc | notice ] Parsing file contributes-to.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.56s/0.03s]
building decorator-duplication.str
../trans/aster -i decorator-duplication.astr -o decorator-duplication.str --verbose 2
[ strc | notice ] Parsing file decorator-duplication.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | warning ] Definition has duplicate decorators; merging of declared decorators not is allowed
          Type(Def{"@5854"},[Decorator("foo"{"@5855"},[]{"@5856"},[]{"@5857"}),Decorator("foo"{"@5858"},[]{"@5859"},[]{"@5860"}),Decorator("bar"{"@5861"},[]{"@5862"},[]{"@5863"})],NoSort{"@5865"})
[ strc | warning ] Definition has duplicate decorators; merging of declared decorators not is allowed
          Type(Def{"@5872"},[Decorator("foo"{"@5873"},[]{"@5874"},[]{"@5875"}),Decorator("foo"{"@5876"},[]{"@5877"},[]{"@5878"}),Decorator("bar"{"@5879"},[]{"@5880"},[]{"@5881"})],NoSort{"@5883"})
[ strc | info ] compilation succeeded       : [user/system] = [0.55s/0.05s]
building decorators.str
../trans/aster -i decorators.astr -o decorators.str --verbose 2
[ strc | notice ] Parsing file decorators.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.58s/0.04s]
building empty.str
../trans/aster -i empty.astr -o empty.str --verbose 2
[ strc | notice ] Parsing file empty.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.56s/0.01s]
building find-minimum.str
../trans/aster -i find-minimum.astr -o find-minimum.str --verbose 2
[ strc | notice ] Parsing file find-minimum.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.56s/0.03s]
building lookup-unordered.str
../trans/aster -i lookup-unordered.astr -o lookup-unordered.str --verbose 2
[ strc | notice ] Parsing file lookup-unordered.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.57s/0.05s]
building nested-decorator.str
../trans/aster -i nested-decorator.astr -o nested-decorator.str --verbose 2
[ strc | notice ] Parsing file nested-decorator.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.57s/0.03s]
building repmin-anonymous.str
../trans/aster -i repmin-anonymous.astr -o repmin-anonymous.str --verbose 2
[ strc | notice ] Parsing file repmin-anonymous.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.59s/0.03s]
building repmin-hag-decorated.str
../trans/aster -i repmin-hag-decorated.astr -o repmin-hag-decorated.str --verbose 2
[ strc | notice ] Parsing file repmin-hag-decorated.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.56s/0.05s]
building repmin-hag.str
../trans/aster -i repmin-hag.astr -o repmin-hag.str --verbose 2
[ strc | notice ] Parsing file repmin-hag.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.58s/0.02s]
building repmin-no-copy-rules.str
../trans/aster -i repmin-no-copy-rules.astr -o repmin-no-copy-rules.str --verbose 2
[ strc | notice ] Parsing file repmin-no-copy-rules.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.58s/0.05s]
building repmin.str
../trans/aster -i repmin.astr -o repmin.str --verbose 2
[ strc | notice ] Parsing file repmin.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.56s/0.04s]
building signature-evaluation.str
../trans/aster -i signature-evaluation.astr -o signature-evaluation.str --verbose 2
[ strc | notice ] Parsing file signature-evaluation.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.59s/0.01s]
building test-aster-internals.str
../trans/aster -i test-aster-internals.astr -o test-aster-internals.str --verbose 2
[ strc | notice ] Parsing file test-aster-internals.astr
[ strc | notice ] Using syntax Stratego-Attributes-in-Stratego
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes-in-Stratego.tbl
[ strc | info ] compilation succeeded       : [user/system] = [0.71s/0.05s]
building test-attributes.str
../trans/aster -i test-attributes.astr -o test-attributes.str --verbose 2
[ strc | notice ] Parsing file test-attributes.astr
[ strc | notice ] Using syntax Stratego-Attributes
[ strc | notice ] Using parse table: /nix/store/0z564l99alyj98j2rabx242y3z5iicyd-aster/share/aster/Stratego-Attributes.tbl
[ strc | warning ] Pattern child equals pattern
          "silly"{"@7082"}
[ strc | info ] compilation succeeded       : [user/system] = [0.76s/0.04s]
building anonymous-rules
strc -i anonymous-rules.str -m main-`basename anonymous-rules` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'anonymous-rules.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.71s/0.02s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.11s/0.00s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.53s/0.20s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.35s/0.22s]
building binary-numbers
strc -i binary-numbers.str -m main-`basename binary-numbers` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'binary-numbers.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.72s/0.00s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.16s/0.00s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.78s/0.20s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.66s/0.20s]
building caching
strc -i caching.str -m main-`basename caching` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'caching.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.98s/0.02s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.36s/0.02s]
[ strc | info ] C compilation succeeded     : [user/system] = [1.23s/0.25s]
[ strc | info ] Compilation succeeded       : [user/system] = [3.57s/0.29s]
building circular-basic
strc -i circular-basic.str -m main-`basename circular-basic` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'circular-basic.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.67s/0.04s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.21s/0.00s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.86s/0.21s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.74s/0.25s]
building circular-liveness-rewrites
strc -i circular-liveness-rewrites.str -m main-`basename circular-liveness-rewrites` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'circular-liveness-rewrites.str'
[ strc | info ] Front-end succeeded         : [user/system] = [3.40s/0.03s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.33s/0.00s]
[ strc | info ] C compilation succeeded     : [user/system] = [1.30s/0.23s]
[ strc | info ] Compilation succeeded       : [user/system] = [5.03s/0.26s]
building circular-liveness
strc -i circular-liveness.str -m main-`basename circular-liveness` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'circular-liveness.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.82s/0.02s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.21s/0.02s]
[ strc | info ] C compilation succeeded     : [user/system] = [1.12s/0.22s]
[ strc | info ] Compilation succeeded       : [user/system] = [3.15s/0.26s]
building circular-propconst
strc -i circular-propconst.str -m main-`basename circular-propconst` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'circular-propconst.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.85s/0.00s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.32s/0.02s]
[ strc | info ] C compilation succeeded     : [user/system] = [1.24s/0.28s]
[ strc | info ] Compilation succeeded       : [user/system] = [3.41s/0.30s]
building cons-nil
strc -i cons-nil.str -m main-`basename cons-nil` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'cons-nil.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.63s/0.01s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.13s/0.01s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.63s/0.21s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.39s/0.23s]
building contributes-to
strc -i contributes-to.str -m main-`basename contributes-to` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'contributes-to.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.68s/0.01s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.19s/0.00s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.84s/0.22s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.71s/0.23s]
building decorator-duplication
strc -i decorator-duplication.str -m main-`basename decorator-duplication` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'decorator-duplication.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.64s/0.02s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.00s/0.00s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.28s/0.21s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.92s/0.23s]
building decorators
strc -i decorators.str -m main-`basename decorators` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'decorators.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.67s/0.03s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.16s/0.02s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.75s/0.22s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.58s/0.27s]
building empty
strc -i empty.str -m main-`basename empty` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'empty.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.55s/0.02s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.00s/0.00s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.32s/0.17s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.87s/0.20s]
building find-minimum
strc -i find-minimum.str -m main-`basename find-minimum` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'find-minimum.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.63s/0.01s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.13s/0.01s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.58s/0.21s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.34s/0.23s]
building lookup-unordered
strc -i lookup-unordered.str -m main-`basename lookup-unordered` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'lookup-unordered.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.68s/0.04s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.22s/0.02s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.99s/0.21s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.89s/0.27s]
building nested-decorator
strc -i nested-decorator.str -m main-`basename nested-decorator` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'nested-decorator.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.64s/0.03s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.14s/0.00s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.63s/0.21s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.41s/0.24s]
building repmin-anonymous
strc -i repmin-anonymous.str -m main-`basename repmin-anonymous` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'repmin-anonymous.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.75s/0.02s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.15s/0.00s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.68s/0.21s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.58s/0.23s]
building repmin-hag-decorated
strc -i repmin-hag-decorated.str -m main-`basename repmin-hag-decorated` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'repmin-hag-decorated.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.70s/0.01s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.17s/0.02s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.79s/0.22s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.66s/0.25s]
building repmin-hag
strc -i repmin-hag.str -m main-`basename repmin-hag` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'repmin-hag.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.67s/0.02s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.16s/0.00s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.73s/0.18s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.56s/0.20s]
building repmin-no-copy-rules
strc -i repmin-no-copy-rules.str -m main-`basename repmin-no-copy-rules` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'repmin-no-copy-rules.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.70s/0.03s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.17s/0.01s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.79s/0.22s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.66s/0.26s]
building repmin
strc -i repmin.str -m main-`basename repmin` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'repmin.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.61s/0.04s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.14s/0.02s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.68s/0.22s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.43s/0.28s]
building signature-evaluation
strc -i signature-evaluation.str -m main-`basename signature-evaluation` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'signature-evaluation.str'
[ strc | info ] Front-end succeeded         : [user/system] = [1.79s/0.02s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.14s/0.02s]
[ strc | info ] C compilation succeeded     : [user/system] = [0.83s/0.19s]
[ strc | info ] Compilation succeeded       : [user/system] = [2.76s/0.23s]
building test-aster-internals
strc -i test-aster-internals.str -m main-`basename test-aster-internals` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'test-aster-internals.str'
[ strc | info ] Front-end succeeded         : [user/system] = [5.68s/0.11s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.46s/0.01s]
[ strc | info ] C compilation succeeded     : [user/system] = [1.62s/0.33s]
[ strc | info ] Compilation succeeded       : [user/system] = [7.76s/0.45s]
building test-attributes
strc -i test-attributes.str -m main-`basename test-attributes` -la stratego-lib -la strc -I ../syntax -I ../trans -I ../runtime --format-check 0 -O 0 -Xcc -O0 >/dev/null
[ strc | info ] Compiling 'test-attributes.str'
[ strc | info ] Front-end succeeded         : [user/system] = [2.28s/0.04s]
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.80s/0.05s]
[ strc | info ] C compilation succeeded     : [user/system] = [2.34s/0.27s]
[ strc | info ] Compilation succeeded       : [user/system] = [5.42s/0.36s]
building anonymous-rules.run

==== anonymous-rules ====
720
building binary-numbers.run

==== binary-numbers ====
building caching.run

==== caching ====
1("a_0"{"@2"},"a_0"{"@2"})
2("b_0"{"@3"},"b_0"{"@3"})
3("c_0","d_0")
4("e_0"{"@4"},"f_0"{"@5"})
5("g_0"{"@6"},"h_0"{"@7"})
6("i_0"{"@8"},"j_0"{"@9"})
7("k_0"{"@10"},"k_0"{"@10"})
8("l_0"{"@11"},"l_0"{"@11"})
9(("m_0"{"@12"},1{"@13"}),("m_0"{"@12"},1{"@13"}))
10("n_0"{"@14"},"n_0"{"@14"})
11("o_0"{"@15"},"o_0"{"@15"})
12("p_0"{"@16"},"p_0"{"@16"})
building circular-basic.run

==== circular-basic ====
C=3.000000000000000e+00
B=2.000000000000000e+00
B=2.000000000000000e+00
C=1.500000000000000e+00
A=1.700000000000000e+00
C=1.800000000000000e+00
B=1.700000000000000e+00
C=1.700000000000000e+00
(1.700000000000000e+00,1.700000000000000e+00,1.700000000000000e+00)
building circular-liveness-rewrites.run

==== circular-liveness-rewrites ====
Block([Assign("x","value"),While("x",Block([Assign("x","value")])),Return("x")])
building circular-liveness.run

==== circular-liveness ====
live-before: Block([Assign("bogus1","value"){"bogus3","value"},Assign("bogus2","bogus1"){"bogus1","bogus3","value"},Assign("x","value"){"bogus3","value"},While("x",Block([Assign("x","bogus3"){"bogus3","value"},Assign("x","value"){"bogus3","value"}]){"bogus3","value"}){"x","bogus3","value"},Return("x"){"x"}]){"bogus3","value"}
live-before matches
live-after: Block([Assign("bogus1","value"){"bogus1","bogus3","value"},Assign("bogus2","bogus1"){"bogus3","value"},Assign("x","value"){"x","bogus3","value"},While("x",Block([Assign("x","bogus3"){"bogus3","value"},Assign("x","value"){"x","bogus3","value"}]){"bogus3","value"}){"x","bogus3","value"},Return("x")]){"bogus3","value"}
live-after matches
building circular-propconst.run

==== circular-propconst ====
Block([Assign("x"{("x"{"@28"},Int(1{"@29"}))},Int(1{("x"{"@28"},Int(1{"@29"}))}){("x"{"@28"},Int(1{"@29"}))}){("x"{"@28"},Int(1{"@29"}))},Assign("y"{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Int(2{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))}){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))}){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Assign("x"{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Int(3{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))}){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))}){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},While("cond"{("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Block([Assign("x",Var("y")),Assign("x",Var("x"))])){("y"{"@30"},Int(2{"@31"})),("x"{"@28"},Int(1{"@29"}))},Return("x")])
building cons-nil.run

==== cons-nil ====
[1,2,3,4,5,6,7]
building contributes-to.run

==== contributes-to ====
[2,3,4]
[3,4]
[2,1]
[3,2,1]
building decorator-duplication.run

==== decorator-duplication ====
["./decorator-duplication","--verbose","2"]
building decorators.run

==== decorators ====
([1,2,3,4,1,2],[1,2,3,4,1,2])
building empty.run

==== empty ====
["./empty","--verbose","2"]
building find-minimum.run

==== find-minimum ====
42
building lookup-unordered.run

==== lookup-unordered ====
[Decl("x",1),Decl("x",2),Decl("y",3)]
[Decl("x",1),Decl("x",2),Decl("y",3)]
building nested-decorator.run

==== nested-decorator ====
Attribute("foo",[],[])
building repmin-anonymous.run

==== repmin-anonymous ====
Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42))
building repmin-hag-decorated.run

==== repmin-hag-decorated ====
(Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42)),Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42)))
building repmin-hag.run

==== repmin-hag ====
Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42))
building repmin-no-copy-rules.run

==== repmin-no-copy-rules ====
Tree(Fork(Fork(Leaf(70),Fork(Leaf(212),Leaf(83))),Leaf(42)))
Tree(Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42)))
building repmin.run

==== repmin ====
Fork(Fork(Leaf(70),Fork(Leaf(212),Leaf(83))),Leaf(42))
Fork(Fork(Leaf(42),Fork(Leaf(42),Leaf(42))),Leaf(42))
building signature-evaluation.run

==== signature-evaluation ====
1
2
3
4
5
5{"@5"}
building test-aster-internals.run

==== test-aster-internals ====
test suite: aster internals tests
term-depth (1)
term-depth (2)
term-depth (3)
term-depth (4)
term-depth (5)
term-depth (6)
term-depth (7)
term-depth (8)
term-depth (9)
term-depth (10)
eq-ignore-annos (1)
eq-ignore-annos (2)
eq-ignore-annos (3)
eq-ignore-annos (4)
eq-ignore-annos (5)
eq-ignore-annos (6)
eq-ignore-annos (7)
eq-ignore-annos (8)
has-foreign-operations (1)
has-foreign-operations (2)
has-foreign-operations (3)
has-foreign-operations (4)
has-foreign-operations (5)
has-foreign-operations (6)
has-foreign-operations (7)
has-foreign-operations (8)
has-foreign-operations (9)
has-foreign-operations (10)
has-foreign-operations (11)
has-foreign-operations (12)
has-foreign-operations (13)
has-foreign-operations (14)
has-foreign-operations (15)
equation-postprocess (1)
equation-postprocess (2)
equation-postprocess (3)
ordered-union (1)
ordered-union (2)
ordered-union (3)
ordered-union (4)
ordered-union (5)
ordered-union (6)
ordered-union (7)
ordered-union (8)
ordered-union (9)
successes: 45
failures: 0
building test-attributes.run

==== test-attributes ====
test suite: aster attribute tests
id.parent (1)
id.parent (2)
id.ancestor (1)
id.ancestor (2)
id.ancestor is not proper
id.prev-sibling
down copy rule
circular attribute initial value
down copy rule
up copy rule (1)
up copy rule (2)
up copy rule (3)
basic rewriting
attribute to get a child node
reference attribute
reference list attribute
reference tuple attribute
non-reference attribute
id refers to the whole pattern, not the pattern child
attribute parameter used in pattern (1)
attribute parameter used in pattern (2)
attribute parameter used in pattern is ignored for id.defined
patterns in attribute arguments
id.attribute does not refer to specified child
attribute on id child
attribute result is an initialized term (1)
attribute result is an initialized term (2)
attribute result is an initialized term (3)
attribute result is an initialized term (4)
attribute result is an initialized term (4)
attribute result is an initialized term (4)
non-reference attribute
id.signature
id.attribute-name
signature of remote attribute
id.signature simply fails if there are strategy arguments (1)
id.signature simply fails if there are strategy arguments (2)
successes: 37
failures: 0
make[1]: Leaving directory `/tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/tests'
make[1]: Entering directory `/tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669'
building all-local
/nix/store/p2ilyhcckkkab8y0bph6n4lkzkvh20z4-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC import /nix/store/p2ilyhcckkkab8y0bph6n4lkzkvh20z4-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC
Tools registered in repository /tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC:      
make[1]: Leaving directory `/tmp/nix-build-58jbv75j31z12jd8cfdvyip5g3kr3z96-aster.drv-0/aster-0.1pre18669'