check flags: building check-recursive Making check in syntax make[1]: Entering directory `/tmp/nix-build-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/syntax' building all-local Tools registered in repository /tmp/nix-build-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/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-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/syntax' Making check in runtime make[1]: Entering directory `/tmp/nix-build-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/runtime' building all-local Tools registered in repository /tmp/nix-build-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/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-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/runtime' Making check in trans make[1]: Entering directory `/tmp/nix-build-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/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-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/BUILDTIME_XTC: aster Data registered in repository /tmp/nix-build-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/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-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/trans' Making check in tests make[1]: Entering directory `/tmp/nix-build-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/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. (1)) * OK : test 26 (Attribute definition vs. (2)) * OK : test 27 (Attribute definition vs. (3)) * OK : test 28 (Attribute definition vs. (4)) * OK : test 29 (Attribute reference vs. (1)) * OK : test 30 (Attribute reference vs. (2)) * OK : test 31 (Attribute as annotation list) * OK : test 32 (Attribute pattern definitions vs. (1)) * OK : test 33 (Attribute pattern definitions vs. (2)) * OK : test 34 (Attribute pattern definitions vs. (3)) * OK : test 35 (Attribute pattern definitions vs. (4)) * OK : test 36 (Attribute pattern definitions vs. (5)) * OK : test 37 (Attribute pattern definitions vs. (6)) * OK : test 38 (Attribute pattern definitions vs. (7)) * OK : test 39 (Attribute pattern definitions vs. (8)) * OK : test 40 (Attribute pattern definitions vs. (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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.51s/0.04s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.53s/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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.56s/0.08s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.49s/0.06s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.52s/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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.56s/0.05s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.57s/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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.50s/0.05s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.52s/0.04s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | warning ] Definition has duplicate decorators; merging of declared decorators not is allowed in attribute 'decorator-duplication' Type(Def,[Decorator("foo",[],[]),Decorator("foo",[],[]),Decorator("bar",[],[])],NoSort) [ strc | warning ] Definition has duplicate decorators; merging of declared decorators not is allowed in attribute 'decorator-duplication' Type(Def,[Decorator("foo",[],[]),Decorator("foo",[],[]),Decorator("bar",[],[])],NoSort) [ strc | info ] compilation succeeded : [user/system] = [0.48s/0.07s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.55s/0.02s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.48s/0.06s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.51s/0.04s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.51s/0.06s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.50s/0.06s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.51s/0.06s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.46s/0.10s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.52s/0.05s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.52s/0.06s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.50s/0.06s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | info ] compilation succeeded : [user/system] = [0.50s/0.07s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes-in-Stratego.tbl [ strc | info ] compilation succeeded : [user/system] = [0.64s/0.08s] 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/hsd5rqfvvwqqwbps2hk0wmhvn5wfbhic-aster/share/aster/Stratego-Attributes.tbl [ strc | warning ] Pattern child equals pattern in attribute 'silly' "silly" [ strc | info ] compilation succeeded : [user/system] = [0.67s/0.06s] 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.45s/0.03s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.06s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.50s/0.18s] [ strc | info ] Compilation succeeded : [user/system] = [2.01s/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.41s/0.06s] [ 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.74s/0.21s] [ strc | info ] Compilation succeeded : [user/system] = [2.32s/0.29s] 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.73s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.38s/0.03s] [ strc | info ] C compilation succeeded : [user/system] = [1.26s/0.22s] [ strc | info ] Compilation succeeded : [user/system] = [3.37s/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.44s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.20s/0.02s] [ strc | info ] C compilation succeeded : [user/system] = [0.80s/0.26s] [ strc | info ] Compilation succeeded : [user/system] = [2.44s/0.32s] 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] = [2.78s/0.06s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.48s/0.02s] [ strc | info ] C compilation succeeded : [user/system] = [1.27s/0.29s] [ strc | info ] Compilation succeeded : [user/system] = [4.53s/0.37s] 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.54s/0.05s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.22s/0.03s] [ strc | info ] C compilation succeeded : [user/system] = [1.13s/0.22s] [ strc | info ] Compilation succeeded : [user/system] = [2.90s/0.30s] 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.59s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.28s/0.03s] [ strc | info ] C compilation succeeded : [user/system] = [1.27s/0.26s] [ strc | info ] Compilation succeeded : [user/system] = [3.14s/0.33s] 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.36s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.12s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.62s/0.24s] [ strc | info ] Compilation succeeded : [user/system] = [2.10s/0.29s] 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.38s/0.05s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.20s/0.00s] [ strc | info ] C compilation succeeded : [user/system] = [0.82s/0.24s] [ strc | info ] Compilation succeeded : [user/system] = [2.40s/0.29s] 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.33s/0.06s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.01s/0.00s] [ strc | info ] C compilation succeeded : [user/system] = [0.30s/0.16s] [ strc | info ] Compilation succeeded : [user/system] = [1.64s/0.22s] 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.43s/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.23s] [ strc | info ] Compilation succeeded : [user/system] = [2.34s/0.28s] 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.32s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.00s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.27s/0.17s] [ strc | info ] Compilation succeeded : [user/system] = [1.59s/0.22s] 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.36s/0.04s] [ 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.61s/0.21s] [ strc | info ] Compilation succeeded : [user/system] = [2.08s/0.25s] 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.44s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.25s/0.03s] [ strc | info ] C compilation succeeded : [user/system] = [0.96s/0.23s] [ strc | info ] Compilation succeeded : [user/system] = [2.65s/0.30s] 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.39s/0.06s] [ 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.67s/0.21s] [ strc | info ] Compilation succeeded : [user/system] = [2.19s/0.28s] 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.48s/0.03s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.16s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.64s/0.28s] [ strc | info ] Compilation succeeded : [user/system] = [2.28s/0.32s] 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.44s/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.78s/0.25s] [ strc | info ] Compilation succeeded : [user/system] = [2.36s/0.31s] 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.44s/0.03s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.11s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.67s/0.21s] [ strc | info ] Compilation succeeded : [user/system] = [2.22s/0.25s] 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.45s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.19s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.77s/0.23s] [ strc | info ] Compilation succeeded : [user/system] = [2.42s/0.28s] 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.38s/0.03s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.14s/0.01s] [ strc | info ] C compilation succeeded : [user/system] = [0.68s/0.21s] [ strc | info ] Compilation succeeded : [user/system] = [2.20s/0.25s] 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.49s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.20s/0.03s] [ strc | info ] C compilation succeeded : [user/system] = [0.83s/0.19s] [ strc | info ] Compilation succeeded : [user/system] = [2.52s/0.26s] 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.03s/0.13s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.50s/0.03s] [ strc | info ] C compilation succeeded : [user/system] = [1.69s/0.33s] [ strc | info ] Compilation succeeded : [user/system] = [7.22s/0.49s] 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] = [1.97s/0.04s] [ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s] [ strc | info ] Back-end succeeded : [user/system] = [0.83s/0.04s] [ strc | info ] C compilation succeeded : [user/system] = [2.36s/0.34s] [ strc | info ] Compilation succeeded : [user/system] = [5.16s/0.42s] 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-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/tests' make[1]: Entering directory `/tmp/nix-build-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586' building all-local /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/BUILDTIME_XTC import /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC Tools registered in repository /tmp/nix-build-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586/BUILDTIME_XTC: make[1]: Leaving directory `/tmp/nix-build-99d8fw7b4kc5c9sqg06v7820wl850zxv-aster.drv-0/aster-0.1pre18586'