check flags: -
building check-recursive
-
Making check in syntax
-
make[1]: Entering directory `/tmp/nix-build-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-aster.drv-0/aster-0.1pre18669/syntax'
-
building all-local
-
Tools registered in repository /tmp/nix-build-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-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-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-aster.drv-0/aster-0.1pre18669/syntax'
-
Making check in runtime
-
make[1]: Entering directory `/tmp/nix-build-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-aster.drv-0/aster-0.1pre18669/runtime'
-
building all-local
-
Tools registered in repository /tmp/nix-build-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-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-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-aster.drv-0/aster-0.1pre18669/runtime'
-
Making check in trans
-
make[1]: Entering directory `/tmp/nix-build-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-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-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC: aster
-
Data registered in repository /tmp/nix-build-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-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-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-aster.drv-0/aster-0.1pre18669/trans'
-
Making check in tests
-
make[1]: Entering directory `/tmp/nix-build-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.53s/0.05s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.54s/0.05s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.58s/0.05s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.53s/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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.54s/0.05s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.54s/0.07s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.59s/0.06s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.49s/0.07s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.50s/0.06s]
-
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: /...-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.51s/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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.54s/0.05s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.51s/0.04s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.51s/0.05s]
-
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: /...-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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.51s/0.05s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.52s/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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.54s/0.04s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.51s/0.06s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.54s/0.04s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.51s/0.05s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.53s/0.05s]
-
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: /...-aster/share/aster/Stratego-Attributes-in-Stratego.tbl
-
[ strc | info ] compilation succeeded : [user/system] = [0.67s/0.06s]
-
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: /...-aster/share/aster/Stratego-Attributes.tbl
-
[ strc | warning ] Pattern child equals pattern
-
"silly"{"@7082"}
-
[ strc | info ] compilation succeeded : [user/system] = [0.67s/0.07s]
-
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.49s/0.04s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.10s/0.02s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.54s/0.18s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.13s/0.24s]
-
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.54s/0.04s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.13s/0.00s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.75s/0.21s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.42s/0.25s]
-
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.77s/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.29s/0.24s]
-
[ strc | info ] Compilation succeeded : [user/system] = [3.45s/0.31s]
-
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.06s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.23s/0.00s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.88s/0.20s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.55s/0.26s]
-
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.85s/0.07s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.39s/0.03s]
-
[ strc | info ] C compilation succeeded : [user/system] = [1.33s/0.27s]
-
[ strc | info ] Compilation succeeded : [user/system] = [4.57s/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.60s/0.03s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.24s/0.01s]
-
[ strc | info ] C compilation succeeded : [user/system] = [1.10s/0.25s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.94s/0.29s]
-
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.63s/0.04s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.29s/0.02s]
-
[ strc | info ] C compilation succeeded : [user/system] = [1.28s/0.22s]
-
[ strc | info ] Compilation succeeded : [user/system] = [3.20s/0.28s]
-
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.43s/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.60s/0.23s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.15s/0.28s]
-
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.44s/0.04s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.22s/0.00s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.82s/0.21s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.48s/0.25s]
-
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.40s/0.04s]
-
[ 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.16s]
-
[ strc | info ] Compilation succeeded : [user/system] = [1.68s/0.20s]
-
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.44s/0.06s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.18s/0.02s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.72s/0.25s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.34s/0.33s]
-
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.37s/0.02s]
-
[ 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.26s/0.17s]
-
[ strc | info ] Compilation succeeded : [user/system] = [1.64s/0.19s]
-
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.43s/0.04s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.09s/0.00s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.64s/0.18s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.16s/0.22s]
-
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.48s/0.04s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.26s/0.02s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.93s/0.25s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.67s/0.31s]
-
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.42s/0.06s]
-
[ 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.64s/0.20s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.22s/0.26s]
-
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.56s/0.06s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.10s/0.01s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.65s/0.23s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.31s/0.30s]
-
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.46s/0.05s]
-
[ 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.81s/0.17s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.48s/0.22s]
-
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.46s/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.64s/0.22s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.27s/0.26s]
-
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.47s/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.80s/0.19s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.46s/0.24s]
-
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.41s/0.06s]
-
[ 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.63s/0.26s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.20s/0.33s]
-
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.58s/0.04s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.15s/0.02s]
-
[ strc | info ] C compilation succeeded : [user/system] = [0.81s/0.22s]
-
[ strc | info ] Compilation succeeded : [user/system] = [2.54s/0.28s]
-
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.10s/0.10s]
-
[ 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.65s/0.30s]
-
[ strc | info ] Compilation succeeded : [user/system] = [7.25s/0.43s]
-
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.98s/0.05s]
-
[ strc | info ] Optimization succeeded -O 0 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.79s/0.07s]
-
[ strc | info ] C compilation succeeded : [user/system] = [2.38s/0.35s]
-
[ strc | info ] Compilation succeeded : [user/system] = [5.15s/0.47s]
-
building anonymous-rules.run
-
-
==== anonymous-rules ====
-
720
-
building binary-numbers.run
-
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-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-aster.drv-0/aster-0.1pre18669/tests'
-
make[1]: Entering directory `/tmp/nix-build-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-aster.drv-0/aster-0.1pre18669'
-
building all-local
-
/...-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC import /...-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC
-
Tools registered in repository /tmp/nix-build-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-aster.drv-0/aster-0.1pre18669/BUILDTIME_XTC:
-
make[1]: Leaving directory `/tmp/nix-build-miywlhsqhl5vzi3wzabs2zwchf2gbg4m-aster.drv-0/aster-0.1pre18669'