check flags: building check-recursive Making check in str-lazy make[1]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy' building check-recursive Making check in src make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/src' building check-recursive Making check in lib make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/src/lib' building all-local Files registered in build repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: liblazy.rtree lazy.str liblazy-lib.la make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/src/lib' Making check in native make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/src/native' building all-local Files registered in build repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: native-lazy.h liblazy-lib-native.la make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/src/native' make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/src' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/src' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/src' Making check in tests make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/tests' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: building check-am make lazy-test make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/tests' building lazy-test.c /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/bin/strc -I ../../str-lazy/src/lib -I ../../str-lazy/src/lib --main lazy-test --verbose 0 -i lazy-test.str -o lazy-test.c -c building lazy-test.o gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -g -O2 -I../../str-lazy/src/native -I../../str-lazy/src/lib -g -O0 -c lazy-test.c building lazy-test /bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -g -O2 -I../../str-lazy/src/native -I../../str-lazy/src/lib -g -O0 -o lazy-test lazy-test.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L../../str-lazy/src/lib -L../../str-lazy/src/native -llazy-lib -llazy-lib-native  mkdir .libs gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\" -g -O2 -I../../str-lazy/src/native -I../../str-lazy/src/lib -g -O0 -o .libs/lazy-test lazy-test.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib-native.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-runtime.so -lm /nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -L/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/src/lib -L/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/src/native /tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/src/lib/.libs/liblazy-lib.so /tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -Wl,--rpath -Wl,/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/lib creating lazy-test rm lazy-test.c make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/tests' make check-TESTS make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/tests' building check-TESTS 0 [Program("/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/tests/.libs/lt-lazy-test")] 1 Lazy("000000000016Ƶx+r") 2 Lazy("000000000016Ƶx+0r") 3 Lazy("000000000016Ƶx+r") 4 (Lazy("000000000016Ƶx+r"),Lazy("000000000016Ƶx+0r")) 5 [] 5.5 [] 6 2 a (Lazy("000000000016Ƶx+r"),Lazy("000000000016Ƶx+0r")) 7 3 8 3 3 PASS: lazy-test ================== All 1 tests passed ================== make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/tests' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy/tests' make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy' make[1]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-lazy' Making check in str-ref make[1]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref' building check-recursive Making check in src make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/src' building check-recursive Making check in native make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/src/native' building all-local Files registered in build repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: native-ref.h libref-lib-native.la make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/src/native' Making check in lib make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/src/lib' building all-local Files registered in build repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: libref.rtree ref.str libref-lib.la make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/src/lib' make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/src' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/src' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/src' Making check in tests make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/tests' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: building check-am make ref-test make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/tests' building ref-test.c /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/bin/strc -I ../../str-ref/src/lib -I ../../str-ref/src/lib --main ref-test --verbose 0 -i ref-test.str -o ref-test.c -c building ref-test.o gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -g -O2 -I../../str-ref/src/native -I../../str-ref/src/lib -g -O0 -c ref-test.c building ref-test /bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -g -O2 -I../../str-ref/src/native -I../../str-ref/src/lib -g -O0 -o ref-test ref-test.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L../../str-ref/src/lib -L../../str-ref/src/native -lref-lib -lref-lib-native  mkdir .libs gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\" -g -O2 -I../../str-ref/src/native -I../../str-ref/src/lib -g -O0 -o .libs/ref-test ref-test.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib-native.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-runtime.so -lm /nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -L/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/src/lib -L/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/src/native /tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/src/lib/.libs/libref-lib.so /tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/src/native/.libs/libref-lib-native.so -Wl,--rpath -Wl,/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -Wl,--rpath -Wl,/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/lib creating ref-test rm ref-test.c make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/tests' make check-TESTS make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/tests' building check-TESTS test suite: lib-ref Test Suite Create Create & Destroy Bind Dereference Create & Bind Dereference & Destroy Is-Ref Apply-on-ref successes: 8 failures: 0 (8,0) PASS: ref-test ================== All 1 tests passed ================== make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/tests' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref/tests' make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref' make[1]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/str-ref' Making check in esdf make[1]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf' building check-recursive Making check in src make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf/src' building check-recursive Making check in parse-esdf make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf/src/parse-esdf' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: parse-esdf Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf/src/parse-esdf' Making check in sdf-strip make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf/src/sdf-strip' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: sdf-strip Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf/src/sdf-strip' Making check in str-concrete make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf/src/str-concrete' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: str-concrete Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf/src/str-concrete' Making check in pack-esdf make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf/src/pack-esdf' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: pack-esdf Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf/src/pack-esdf' Making check in sdf-sorts-rename make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf/src/sdf-sorts-rename' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: rename Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf/src/sdf-sorts-rename' make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf/src' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf/src' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf/src' make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf' make[1]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/esdf' Making check in boxedsdf make[1]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf' building check-recursive Making check in lib make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/lib' building check-recursive Making check in ppgen make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/lib/ppgen' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/lib/ppgen' make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/lib' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/lib' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/lib' Making check in src make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src' building check-recursive Making check in syn make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src/syn' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: BoxedSdf2.tbl BoxedSdf2.def BoxedSdf2.rtree BoxedSdf2.sdf make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src/syn' Making check in boxed2pp-table make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxed2pp-table' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: boxed2pp-table Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxed2pp-table' Making check in pp make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src/pp' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: pp-boxedsdf Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: BoxedSdf2-pretty.pp.af BoxedSdf2-pretty.pp make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src/pp' Making check in parser make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src/parser' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: parse-boxedsdf-module parse-boxedsdf-definition Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src/parser' Making check in boxedsdf-merge make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxedsdf-merge' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: boxedsdf-merge Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxedsdf-merge' Making check in boxedsdf-update make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxedsdf-update' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: boxedsdf-update Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxedsdf-update' Making check in desugar make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src/desugar' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: boxed-desugar Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src/desugar' make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/src' Making check in tests make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/tests' building check-am make check-TESTS make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/tests' building check-TESTS including ./simple.sdf including ./inclusion.sdf PASS: 2pp.test PASS: merge.test PASS: desugar.test ================== All 3 tests passed ================== make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/tests' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf/tests' make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf' make[1]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/boxedsdf' Making check in sdf-detgen make[1]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen' building check-recursive Making check in lib make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/lib' building check-recursive Making check in ppgen make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/lib/ppgen' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/lib/ppgen' make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/lib' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/lib' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/lib' Making check in src make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src' building check-recursive Making check in syn make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src/syn' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: DetBoxedSdf.tbl DetBoxedSdf.def DetBoxedSdf.rtree DetBoxedSdf.sdf make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src/syn' Making check in pp make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src/pp' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: DetBoxedSdf-pretty.pp.af DetBoxedSdf-pretty.pp make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src/pp' Making check in lib make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src/lib' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src/lib' Making check in detgen make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src/detgen' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: detgen Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src/detgen' Making check in genfilters make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src/genfilters' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: genfilters Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src/genfilters' Making check in xtc make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src/xtc' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: det-gen parse-detboxedsdf-module parse-detboxedsdf-definition pp-detboxedsdf gen-filters Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src/xtc' make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/src' Making check in tests make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/tests' building check-am make check-TESTS make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/tests' building gen.sdf.run ln -s -f ./check.sh gen.sdf.run ln -s -f ./check.sh f.str.run ln -s -f ./check.sh d.str.run building check-TESTS PASS: gen.sdf.run PASS: f.str.run PASS: d.str.run ================== All 3 tests passed ================== make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/tests' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen/tests' make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen' make[1]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-detgen' Making check in sdf-attribute make[1]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute' building check-recursive Making check in lib make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/lib' building check-recursive Making check in stratego-front make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/lib/stratego-front' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/lib/stratego-front' make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/lib' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/lib' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/lib' Making check in src make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src' building check-recursive Making check in lib make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/lib' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attr-lib.rtree attr-tools.rtree make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/lib' Making check in syn make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/syn' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: AttrSdf.tbl AttrSdf.def AttrSdf.str AttrSdf.rtree AttrSdf.sdf make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/syn' Making check in pp make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/pp' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: pp-attrsdf Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: AttrSdf.pp.af AttrSdf.pp make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/pp' Making check in parser make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/parser' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: parse-attrsdf-module parse-attrsdf-definition Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/parser' Making check in embedded make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/embedded' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: embed-attributes deembed-attributes Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/embedded' Making check in disamb make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/disamb' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: disamb-debug attr-disamb clean-attrs attr-disamb-ast Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/disamb' Making check in xtc make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/xtc' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attrsdf2table attrsdf2sdf-detgen Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/xtc' Making check in implode make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/implode' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attr-implode Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/implode' Making check in desugar make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/desugar' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attrs-desugar-decl attrs-desugar-ns attrs-desugar-magic attrs-desugar-meta attrs-desugar-lr_in attrs-desugar-dynattr sdf-labelize Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/desugar' Making check in check make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/check' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attr-defs Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/check' Making check in clean make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/clean' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attr2detgen clean-tbl-attributes clean-bad-parse-rules reject-useless-prods Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/clean' Making check in attrc make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/attrc' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attrc Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/attrc' Making check in debug make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/debug' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attr-2-dot Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/debug' Making check in tree2dot make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/tree2dot' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: tree2dot Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/tree2dot' Making check in viewer make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/viewer' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src/viewer' make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/src' Making check in tests make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests' building check-recursive Making check in propagator make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/propagator' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: building check-am make check-TESTS make[4]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/propagator' building bu_ok_0 for i in bu_ok_0 bu_ok_1 bu_ok_2 bu_ok_3 bu_ok_4 bu_ok_5 bu_ok_6 bu_ko_7 bu_ok_8 bu_ok_9 td_ok_0 td_ok_1 td_ok_2 td_ok_3 td_ok_4 td_ko_5 td_ko_6 lr_ok_0 lr_ok_1 lr_ok_2 lr_ok_3 lr_ok_4 lr_ok_5 lr_ok_6 lr_ok_7 lr_ok_8 lr_ok_9 lr_ok_10 lr_ok_11 lr_ok_12 lr_ok_13 lr_ok_14 lr_ko_15 noname_ok_0 noname_ok_1 noname_ko_2 noname_ko_3 noname_ko_4 noname_ok_5 noname_ko_6 properties_ok_0 properties_ok_1 properties_ko_2 sdf_ok_0 messy_ok_01; do ln -s -f check.sh $i; done; building check-TESTS PASS: bu_ok_0 PASS: bu_ok_1 PASS: bu_ok_2 PASS: bu_ok_3 PASS: bu_ok_4 PASS: bu_ok_5 PASS: bu_ok_6 XFAIL: bu_ko_7 PASS: bu_ok_8 PASS: bu_ok_9 PASS: td_ok_0 PASS: td_ok_1 PASS: td_ok_2 PASS: td_ok_3 PASS: td_ok_4 XFAIL: td_ko_5 XFAIL: td_ko_6 PASS: lr_ok_0 PASS: lr_ok_1 PASS: lr_ok_2 PASS: lr_ok_3 PASS: lr_ok_4 PASS: lr_ok_5 PASS: lr_ok_6 PASS: lr_ok_7 PASS: lr_ok_8 PASS: lr_ok_9 PASS: lr_ok_10 PASS: lr_ok_11 PASS: lr_ok_12 PASS: lr_ok_13 PASS: lr_ok_14 XFAIL: lr_ko_15 PASS: noname_ok_0 PASS: noname_ok_1 XFAIL: noname_ko_2 XFAIL: noname_ko_3 XFAIL: noname_ko_4 PASS: noname_ok_5 XFAIL: noname_ko_6 PASS: properties_ok_0 PASS: properties_ok_1 XFAIL: properties_ko_2 PASS: sdf_ok_0 PASS: messy_ok_01 ====================================================== All 45 tests behaved as expected (9 expected failures) ====================================================== make[4]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/propagator' make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/propagator' Making check in cycle make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/cycle' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: building check-am make check-TESTS make[4]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/cycle' building no-cycle-00 for i in no-cycle-00 no-cycle-01 no-cycle-02 no-cycle-03 no-cycle-04 no-cycle-05 no-cycle-06 conservative-00 conservative-01 conservative-02 conservative-03 attribute-00 attribute-01 attribute-02 productions-00 productions-01 productions-02 productions-03 productions-04 productions-05; do ln -s -f check.sh $i; done; building check-TESTS PASS: no-cycle-00 PASS: no-cycle-01 PASS: no-cycle-02 PASS: no-cycle-03 PASS: no-cycle-04 PASS: no-cycle-05 PASS: no-cycle-06 XFAIL: conservative-00 XFAIL: conservative-01 XFAIL: conservative-02 XFAIL: conservative-03 XFAIL: attribute-00 XFAIL: attribute-01 XFAIL: attribute-02 XFAIL: productions-00 XFAIL: productions-01 XFAIL: productions-02 XFAIL: productions-03 XFAIL: productions-04 XFAIL: productions-05 ======================================================= All 20 tests behaved as expected (13 expected failures) ======================================================= make[4]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/cycle' make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/cycle' Making check in checker make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/checker' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: building check-am make check-TESTS make[4]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/checker' building attrname-ok-01 for i in attrname-ok-01 attrname-ok-02 attrname-bad-01 attrname-bad-02 cycle-01 cycle-02 cycle-03 cycle-04 cycle-05; do ln -s -f test $i; done; building check-TESTS PASS: attrname-ok-01 PASS: attrname-ok-02 XFAIL: attrname-bad-01 XFAIL: attrname-bad-02 XFAIL: cycle-01 XFAIL: cycle-02 XFAIL: cycle-03 XFAIL: cycle-04 XFAIL: cycle-05 ===================================================== All 9 tests behaved as expected (7 expected failures) ===================================================== make[4]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/checker' make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/checker' Making check in desugar make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/desugar' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: building check-am make check-TESTS make[4]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/desugar' building desugar-ok-01 for i in desugar-ok-01 desugar-ok-02 desugar-ok-03 desugar-ok-04 desugar-ok-05 desugar-ok-06 desugar-ok-td desugar-ok-bu desugar-ok-lr desugar-ok-multiple-ns desugar-local-01 desugar-local-02 desugar-local-03 desugar-local-04 desugar-meta-01 desugar-meta-02 desugar-decl-01 desugar-decl-02 desugar-decl-03 desugar-decl-04 desugar-decl-05 desugar-decl-06 desugar-decl-07 desugar-decl-08 desugar-decl-09 desugar-decl-10; do ln -s -f test $i; done; building check-TESTS PASS: desugar-ok-01 PASS: desugar-ok-02 PASS: desugar-ok-03 PASS: desugar-ok-04 PASS: desugar-ok-05 PASS: desugar-ok-06 PASS: desugar-ok-td PASS: desugar-ok-bu PASS: desugar-ok-lr PASS: desugar-ok-multiple-ns PASS: desugar-local-01 PASS: desugar-local-02 XFAIL: desugar-local-03 PASS: desugar-local-04 PASS: desugar-meta-01 PASS: desugar-meta-02 PASS: desugar-decl-01 PASS: desugar-decl-02 PASS: desugar-decl-03 XFAIL: desugar-decl-04 PASS: desugar-decl-05 PASS: desugar-decl-06 XFAIL: desugar-decl-07 PASS: desugar-decl-08 XFAIL: desugar-decl-09 XFAIL: desugar-decl-10 ====================================================== All 26 tests behaved as expected (5 expected failures) ====================================================== make[4]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/desugar' make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/desugar' Making check in minicxx make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: building check-am make eval-TemplateStructs eval-TemplateStructs-ast make[4]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx' building TemplateStructs.edef.af XTC_REPOSITORY=/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../esdf/src/pack-esdf/pack-esdf \ -of ast \ -s AttrSdf \ -I ../../../sdf-attribute/src/syn \ -i TemplateStructs.esdf \ | /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/libexec/sdf-cons \ | XTC_REPOSITORY=/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../boxedsdf/src/desugar/boxed-desugar -o TemplateStructs.edef.af including ./TemplateStructs.esdf building TemplateStructs.edef XTC_REPOSITORY=/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC \ ../../../sdf-attribute/src/pp/pp-attrsdf -i TemplateStructs.edef.af -o TemplateStructs.edef building TemplateStructs.tbl XTC_REPOSITORY=/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC \ ../../../sdf-attribute/src/xtc/attrsdf2table -m TemplateStructs -i TemplateStructs.edef -o TemplateStructs.tbl \ --imp TSLib --Werror parse-attrsdf-definition user 2.500000000000000e-01 system 5.000000000000000e-02 attrs-desugar-meta user 0.000000000000000e+00 system 1.000000000000000e-02 attrs-desugar-ns user 0.000000000000000e+00 system 0.000000000000000e+00 attrs-desugar-lr_in user 1.000000000000000e-02 system 1.000000000000000e-02 attrs-desugar-decl user 0.000000000000000e+00 system 0.000000000000000e+00 attrs-desugar-dynattr user 1.000000000000000e-02 system 1.000000000000000e-02 embed-attributes user 0.000000000000000e+00 system 0.000000000000000e+00 sdf-strip user 0.000000000000000e+00 system 0.000000000000000e+00 pp-attrsdf user 1.500000000000000e-01 system 4.000000000000000e-02 SdfChecker:error: Main module not defined --- Main sdf2table user 1.030000000000000e+00 system 5.000000000000000e-02 deembed-attributes user 1.000000000000000e-02 system 1.000000000000000e-02 sdf-labelize user 1.000000000000000e-02 system 0.000000000000000e+00 clean-bad-parse-rules user 0.000000000000000e+00 system 1.000000000000000e-02 reject-useless-prods user 1.000000000000000e-02 system 0.000000000000000e+00 attr-defs user 8.000000000000000e-02 system 2.000000000000000e-02 attrc user 2.000000000000000e-02 system 1.000000000000000e-02 pp-stratego user 1.800000000000000e-01 system 4.000000000000000e-02 clean-tbl-attributes user 0.000000000000000e+00 system 0.000000000000000e+00 total: user 1.760000000000000e+00 system 2.600000000000000e-01 building eval-TemplateStructs.c /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn --verbose 0 -O 2 -m eval-TemplateStructs -i eval-TemplateStructs.str -o eval-TemplateStructs.c -c building eval-TemplateStructs.o gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -O1 -c eval-TemplateStructs.c building eval-TemplateStructs /bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -O1 -o eval-TemplateStructs eval-TemplateStructs.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la  mkdir .libs gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-TemplateStructs eval-TemplateStructs.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-xtc.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib-native.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-runtime.so -lm /nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -Wl,--rpath -Wl,/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/lib creating eval-TemplateStructs building TemplateStructs-ast.esdf sed 's/TemplateStructs/TemplateStructs-ast/' TemplateStructs.esdf > TemplateStructs-ast.esdf building TemplateStructs-ast.edef.af XTC_REPOSITORY=/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../esdf/src/pack-esdf/pack-esdf \ -of ast \ -s AttrSdf \ -I ../../../sdf-attribute/src/syn \ -i TemplateStructs-ast.esdf \ | /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/libexec/sdf-cons \ | XTC_REPOSITORY=/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../boxedsdf/src/desugar/boxed-desugar -o TemplateStructs-ast.edef.af including ./TemplateStructs-ast.esdf building TemplateStructs-ast.edef XTC_REPOSITORY=/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC \ ../../../sdf-attribute/src/pp/pp-attrsdf -i TemplateStructs-ast.edef.af -o TemplateStructs-ast.edef building TemplateStructs-ast.tbl XTC_REPOSITORY=/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC \ ../../../sdf-attribute/src/xtc/attrsdf2table -m TemplateStructs-ast -i TemplateStructs-ast.edef -o TemplateStructs-ast.tbl \ --ast --imp TSLib --Werror parse-attrsdf-definition user 2.400000000000000e-01 system 3.000000000000000e-02 attrs-desugar-meta user 0.000000000000000e+00 system 1.000000000000000e-02 attrs-desugar-ns user 0.000000000000000e+00 system 0.000000000000000e+00 attrs-desugar-lr_in user 0.000000000000000e+00 system 0.000000000000000e+00 attrs-desugar-decl user 1.000000000000000e-02 system 1.000000000000000e-02 attrs-desugar-dynattr user 0.000000000000000e+00 system 1.000000000000000e-02 embed-attributes user 1.000000000000000e-02 system 0.000000000000000e+00 sdf-strip user 0.000000000000000e+00 system 1.000000000000000e-02 pp-attrsdf user 1.600000000000000e-01 system 3.000000000000000e-02 SdfChecker:error: Main module not defined --- Main sdf2table user 1.010000000000000e+00 system 7.000000000000001e-02 deembed-attributes user 1.000000000000000e-02 system 1.000000000000000e-02 sdf-labelize user 0.000000000000000e+00 system 0.000000000000000e+00 clean-bad-parse-rules user 1.000000000000000e-02 system 1.000000000000000e-02 reject-useless-prods user 1.000000000000000e-02 system 1.000000000000000e-02 attr-defs user 7.000000000000001e-02 system 2.000000000000000e-02 attrc user 2.000000000000000e-02 system 1.000000000000000e-02 pp-stratego user 1.400000000000000e-01 system 3.000000000000000e-02 clean-tbl-attributes user 1.000000000000000e-02 system 0.000000000000000e+00 total: user 1.700000000000000e+00 system 2.600000000000000e-01 building eval-TemplateStructs-ast.c /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn --verbose 0 -O 2 -m eval-TemplateStructs-ast -i eval-TemplateStructs-ast.str -o eval-TemplateStructs-ast.c -c building eval-TemplateStructs-ast.o gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -O1 -c eval-TemplateStructs-ast.c building eval-TemplateStructs-ast /bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -O1 -o eval-TemplateStructs-ast eval-TemplateStructs-ast.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la  gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-TemplateStructs-ast eval-TemplateStructs-ast.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-xtc.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib-native.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-runtime.so -lm /nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -Wl,--rpath -Wl,/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/lib creating eval-TemplateStructs-ast rm TemplateStructs.edef.af TemplateStructs-ast.edef.af make[4]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx' make check-TESTS make[4]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx' building 1 ln -s -f ./check.sh 1 ln -s -f ./check.sh 2 ln -s -f ./check.sh 3 ln -s -f ./check.sh 4 ln -s -f ./check.sh 5 ln -s -f ./check.sh 6 ln -s -f ./check.sh 7 ln -s -f ./check.sh 8 ln -s -f ./check.sh 9 ln -s -f ./check.sh 10 ln -s -f ./check.sh 11 ln -s -f ./check.sh amb_1 ln -s -f ./check.sh amb_2 ln -s -f ./check.sh 1-ast ln -s -f ./check.sh 2-ast ln -s -f ./check.sh 3-ast ln -s -f ./check.sh 4-ast ln -s -f ./check.sh 5-ast ln -s -f ./check.sh 6-ast ln -s -f ./check.sh 7-ast ln -s -f ./check.sh 8-ast ln -s -f ./check.sh 9-ast ln -s -f ./check.sh 10-ast ln -s -f ./check.sh 11-ast ln -s -f ./check.sh amb_1-ast ln -s -f ./check.sh amb_2-ast building check-TESTS PASS: 1 PASS: 2 PASS: 3 PASS: 4 PASS: 5 PASS: 6 PASS: 7 PASS: 8 PASS: 9 PASS: 10 XFAIL: 11 PASS: amb_1 PASS: amb_2 PASS: 1-ast PASS: 2-ast PASS: 3-ast PASS: 4-ast PASS: 5-ast PASS: 6-ast PASS: 7-ast PASS: 8-ast PASS: 9-ast PASS: 10-ast XFAIL: 11-ast PASS: amb_1-ast PASS: amb_2-ast ====================================================== All 26 tests behaved as expected (2 expected failures) ====================================================== make[4]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx' make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx' Making check in exec make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: building check-am make eval-lr-amb eval-lr-prop eval-bad-alias eval-assertions eval-many-instantiation-traversal make[4]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec' building lr-amb.edef.af XTC_REPOSITORY=/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../esdf/src/pack-esdf/pack-esdf \ -of ast \ -s AttrSdf \ -I ../../../sdf-attribute/src/syn \ -i lr-amb.esdf \ | /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/libexec/sdf-cons \ | XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../boxedsdf/src/desugar/boxed-desugar -o lr-amb.edef.af including ./lr-amb.esdf building lr-amb.edef XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../sdf-attribute/src/pp/pp-attrsdf -i lr-amb.edef.af -o lr-amb.edef building lr-amb.tbl XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../sdf-attribute/src/xtc/attrsdf2table -m lr-amb -i lr-amb.edef -o lr-amb.tbl parse-attrsdf-definition user 6.000000000000000e-02 system 6.000000000000000e-02 attrs-desugar-meta user 0.000000000000000e+00 system 0.000000000000000e+00 attrs-desugar-ns user 1.000000000000000e-02 system 0.000000000000000e+00 attrs-desugar-lr_in user 0.000000000000000e+00 system 1.000000000000000e-02 attrs-desugar-decl user 1.000000000000000e-02 system 0.000000000000000e+00 attrs-desugar-dynattr user 0.000000000000000e+00 system 1.000000000000000e-02 embed-attributes user 0.000000000000000e+00 system 0.000000000000000e+00 sdf-strip user 1.000000000000000e-02 system 0.000000000000000e+00 pp-attrsdf user 4.000000000000000e-02 system 2.000000000000000e-02 SdfChecker:error: Main module not defined --- Main SdfChecker:warning: deprecated declaration of complex symbol --- LAYOUT [file: /tmp/nix-20435-0/StrategoXTLIJei6 line: 5 col: 68] sdf2table user 1.500000000000000e-01 system 4.000000000000000e-02 deembed-attributes user 0.000000000000000e+00 system 1.000000000000000e-02 sdf-labelize user 0.000000000000000e+00 system 1.000000000000000e-02 clean-bad-parse-rules user 0.000000000000000e+00 system 0.000000000000000e+00 reject-useless-prods user 0.000000000000000e+00 system 1.000000000000000e-02 attr-defs user 2.000000000000000e-02 system 1.000000000000000e-02 attrc user 1.000000000000000e-02 system 1.000000000000000e-02 pp-stratego user 6.000000000000000e-02 system 4.000000000000000e-02 clean-tbl-attributes user 0.000000000000000e+00 system 0.000000000000000e+00 total: user 3.700000000000000e-01 system 2.300000000000000e-01 building eval-lr-amb.c /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn --verbose 0 -O 2 -m eval-lr-amb -i eval-lr-amb.str -o eval-lr-amb.c -c building eval-lr-amb.o gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -O1 -c eval-lr-amb.c building eval-lr-amb /bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -O1 -o eval-lr-amb eval-lr-amb.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la  mkdir .libs gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-lr-amb eval-lr-amb.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-xtc.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib-native.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-runtime.so -lm /nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -Wl,--rpath -Wl,/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/lib creating eval-lr-amb building lr-prop.edef.af XTC_REPOSITORY=/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../esdf/src/pack-esdf/pack-esdf \ -of ast \ -s AttrSdf \ -I ../../../sdf-attribute/src/syn \ -i lr-prop.esdf \ | /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/libexec/sdf-cons \ | XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../boxedsdf/src/desugar/boxed-desugar -o lr-prop.edef.af including ./lr-prop.esdf building lr-prop.edef XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../sdf-attribute/src/pp/pp-attrsdf -i lr-prop.edef.af -o lr-prop.edef building lr-prop.tbl XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../sdf-attribute/src/xtc/attrsdf2table -m lr-prop -i lr-prop.edef -o lr-prop.tbl parse-attrsdf-definition user 7.000000000000001e-02 system 4.000000000000000e-02 attrs-desugar-meta user 0.000000000000000e+00 system 1.000000000000000e-02 attrs-desugar-ns user 0.000000000000000e+00 system 1.000000000000000e-02 attrs-desugar-lr_in user 1.000000000000000e-02 system 1.000000000000000e-02 attrs-desugar-decl user 0.000000000000000e+00 system 0.000000000000000e+00 attrs-desugar-dynattr user 0.000000000000000e+00 system 1.000000000000000e-02 embed-attributes user 0.000000000000000e+00 system 0.000000000000000e+00 sdf-strip user 0.000000000000000e+00 system 1.000000000000000e-02 pp-attrsdf user 2.000000000000000e-02 system 3.000000000000000e-02 SdfChecker:error: Main module not defined --- Main sdf2table user 1.000000000000000e-01 system 3.000000000000000e-02 deembed-attributes user 0.000000000000000e+00 system 1.000000000000000e-02 sdf-labelize user 1.000000000000000e-02 system 1.000000000000000e-02 clean-bad-parse-rules user 0.000000000000000e+00 system 0.000000000000000e+00 reject-useless-prods user 0.000000000000000e+00 system 0.000000000000000e+00 attr-defs user 1.000000000000000e-02 system 2.000000000000000e-02 attrc user 1.000000000000000e-02 system 1.000000000000000e-02 pp-stratego user 7.000000000000001e-02 system 2.000000000000000e-02 clean-tbl-attributes user 0.000000000000000e+00 system 1.000000000000000e-02 total: user 3.100000000000000e-01 system 2.400000000000000e-01 building eval-lr-prop.c /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn --verbose 0 -O 2 -m eval-lr-prop -i eval-lr-prop.str -o eval-lr-prop.c -c building eval-lr-prop.o gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -O1 -c eval-lr-prop.c building eval-lr-prop /bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -O1 -o eval-lr-prop eval-lr-prop.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la  gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-lr-prop eval-lr-prop.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-xtc.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib-native.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-runtime.so -lm /nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -Wl,--rpath -Wl,/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/lib creating eval-lr-prop building bad-alias.edef.af XTC_REPOSITORY=/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../esdf/src/pack-esdf/pack-esdf \ -of ast \ -s AttrSdf \ -I ../../../sdf-attribute/src/syn \ -i bad-alias.esdf \ | /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/libexec/sdf-cons \ | XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../boxedsdf/src/desugar/boxed-desugar -o bad-alias.edef.af including ./bad-alias.esdf building bad-alias.edef XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../sdf-attribute/src/pp/pp-attrsdf -i bad-alias.edef.af -o bad-alias.edef building bad-alias.tbl XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../sdf-attribute/src/xtc/attrsdf2table -m bad-alias -i bad-alias.edef -o bad-alias.tbl parse-attrsdf-definition user 8.000000000000000e-02 system 3.000000000000000e-02 attrs-desugar-meta user 0.000000000000000e+00 system 1.000000000000000e-02 attrs-desugar-ns user 0.000000000000000e+00 system 0.000000000000000e+00 attrs-desugar-lr_in user 1.000000000000000e-02 system 0.000000000000000e+00 attrs-desugar-decl user 0.000000000000000e+00 system 0.000000000000000e+00 attrs-desugar-dynattr user 0.000000000000000e+00 system 1.000000000000000e-02 embed-attributes user 1.000000000000000e-02 system 0.000000000000000e+00 sdf-strip user 0.000000000000000e+00 system 1.000000000000000e-02 pp-attrsdf user 3.000000000000000e-02 system 2.000000000000000e-02 SdfChecker:error: Main module not defined --- Main SdfChecker:warning: deprecated declaration of complex symbol --- LAYOUT [file: /tmp/nix-20435-0/StrategoXT0VkbUf line: 5 col: 25] sdf2table user 9.000000000000000e-02 system 4.000000000000000e-02 deembed-attributes user 0.000000000000000e+00 system 1.000000000000000e-02 sdf-labelize user 1.000000000000000e-02 system 1.000000000000000e-02 clean-bad-parse-rules user 0.000000000000000e+00 system 0.000000000000000e+00 reject-useless-prods user 0.000000000000000e+00 system 1.000000000000000e-02 [ lt-attr-defs | warning ] Useless code (can be generated) written for "root.bu_val" on the production: B -> Stm [ lt-attr-defs | warning ] Useless code (can be generated) written for "root.bu_val" on the production: A -> Stm attr-defs user 1.000000000000000e-02 system 2.000000000000000e-02 attrc user 1.000000000000000e-02 system 0.000000000000000e+00 pp-stratego user 3.000000000000000e-02 system 4.000000000000000e-02 clean-tbl-attributes user 1.000000000000000e-02 system 0.000000000000000e+00 total: user 3.100000000000000e-01 system 2.100000000000000e-01 building eval-bad-alias.c /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn --verbose 0 -O 2 -m eval-bad-alias -i eval-bad-alias.str -o eval-bad-alias.c -c building eval-bad-alias.o gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -O1 -c eval-bad-alias.c building eval-bad-alias /bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -O1 -o eval-bad-alias eval-bad-alias.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la  gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-bad-alias eval-bad-alias.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-xtc.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib-native.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-runtime.so -lm /nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -Wl,--rpath -Wl,/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/lib creating eval-bad-alias building assertions.edef.af XTC_REPOSITORY=/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../esdf/src/pack-esdf/pack-esdf \ -of ast \ -s AttrSdf \ -I ../../../sdf-attribute/src/syn \ -i assertions.esdf \ | /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/libexec/sdf-cons \ | XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../boxedsdf/src/desugar/boxed-desugar -o assertions.edef.af including ./assertions.esdf building assertions.edef XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../sdf-attribute/src/pp/pp-attrsdf -i assertions.edef.af -o assertions.edef building assertions.tbl XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../sdf-attribute/src/xtc/attrsdf2table -m assertions -i assertions.edef -o assertions.tbl parse-attrsdf-definition user 6.000000000000000e-02 system 4.000000000000000e-02 attrs-desugar-meta user 0.000000000000000e+00 system 1.000000000000000e-02 attrs-desugar-ns user 1.000000000000000e-02 system 0.000000000000000e+00 attrs-desugar-lr_in user 0.000000000000000e+00 system 0.000000000000000e+00 attrs-desugar-decl user 1.000000000000000e-02 system 1.000000000000000e-02 attrs-desugar-dynattr user 0.000000000000000e+00 system 0.000000000000000e+00 embed-attributes user 0.000000000000000e+00 system 0.000000000000000e+00 sdf-strip user 0.000000000000000e+00 system 2.000000000000000e-02 pp-attrsdf user 4.000000000000000e-02 system 2.000000000000000e-02 SdfChecker:error: Main module not defined --- Main sdf2table user 1.000000000000000e-01 system 4.000000000000000e-02 deembed-attributes user 1.000000000000000e-02 system 0.000000000000000e+00 sdf-labelize user 0.000000000000000e+00 system 1.000000000000000e-02 clean-bad-parse-rules user 1.000000000000000e-02 system 0.000000000000000e+00 reject-useless-prods user 0.000000000000000e+00 system 1.000000000000000e-02 attr-defs user 0.000000000000000e+00 system 1.000000000000000e-02 attrc user 1.000000000000000e-02 system 2.000000000000000e-02 pp-stratego user 6.000000000000000e-02 system 2.000000000000000e-02 clean-tbl-attributes user 0.000000000000000e+00 system 0.000000000000000e+00 total: user 3.100000000000000e-01 system 2.100000000000000e-01 building eval-assertions.c /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn --verbose 0 -O 2 -m eval-assertions -i eval-assertions.str -o eval-assertions.c -c building eval-assertions.o gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -O1 -c eval-assertions.c building eval-assertions /bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -O1 -o eval-assertions eval-assertions.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la  gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-assertions eval-assertions.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-xtc.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib-native.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-runtime.so -lm /nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -Wl,--rpath -Wl,/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/lib creating eval-assertions building many-instantiation-traversal.edef.af XTC_REPOSITORY=/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../esdf/src/pack-esdf/pack-esdf \ -of ast \ -s AttrSdf \ -I ../../../sdf-attribute/src/syn \ -i many-instantiation-traversal.esdf \ | /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/libexec/sdf-cons \ | XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../boxedsdf/src/desugar/boxed-desugar -o many-instantiation-traversal.edef.af including ./many-instantiation-traversal.esdf building many-instantiation-traversal.edef XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../sdf-attribute/src/pp/pp-attrsdf -i many-instantiation-traversal.edef.af -o many-instantiation-traversal.edef building many-instantiation-traversal.tbl XTC_REPOSITORY='/tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \ ../../../sdf-attribute/src/xtc/attrsdf2table -m many-instantiation-traversal -i many-instantiation-traversal.edef -o many-instantiation-traversal.tbl parse-attrsdf-definition user 1.000000000000000e-01 system 3.000000000000000e-02 attrs-desugar-meta user 0.000000000000000e+00 system 0.000000000000000e+00 attrs-desugar-ns user 1.000000000000000e-02 system 1.000000000000000e-02 attrs-desugar-lr_in user 0.000000000000000e+00 system 0.000000000000000e+00 attrs-desugar-decl user 1.000000000000000e-02 system 0.000000000000000e+00 attrs-desugar-dynattr user 0.000000000000000e+00 system 1.000000000000000e-02 embed-attributes user 0.000000000000000e+00 system 0.000000000000000e+00 sdf-strip user 0.000000000000000e+00 system 1.000000000000000e-02 pp-attrsdf user 5.000000000000000e-02 system 3.000000000000000e-02 SdfChecker:error: Main module not defined --- Main SdfChecker:warning: undeclared sort --- IDENTIFIER [file: /tmp/nix-20435-0/StrategoXTNKBf3l line: 17 col: 4] sdf2table user 1.900000000000000e-01 system 6.000000000000000e-02 deembed-attributes user 0.000000000000000e+00 system 0.000000000000000e+00 sdf-labelize user 1.000000000000000e-02 system 1.000000000000000e-02 clean-bad-parse-rules user 0.000000000000000e+00 system 1.000000000000000e-02 reject-useless-prods user 0.000000000000000e+00 system 0.000000000000000e+00 attr-defs user 1.000000000000000e-02 system 2.000000000000000e-02 attrc user 1.000000000000000e-02 system 0.000000000000000e+00 pp-stratego user 7.000000000000001e-02 system 2.000000000000000e-02 clean-tbl-attributes user 1.000000000000000e-02 system 0.000000000000000e+00 total: user 4.700000000000000e-01 system 2.100000000000000e-01 building eval-many-instantiation-traversal.c /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn --verbose 0 -O 2 -m eval-many-instantiation-traversal -i eval-many-instantiation-traversal.str -o eval-many-instantiation-traversal.c -c building eval-many-instantiation-traversal.o gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -I/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -O1 -c eval-many-instantiation-traversal.c building eval-many-instantiation-traversal /bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\"" -O1 -o eval-many-instantiation-traversal eval-many-instantiation-traversal.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lstratego-runtime -lm -lATerm -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -lATerm ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la  gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-many-instantiation-traversal eval-many-instantiation-traversal.o -L/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -L/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-xtc.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-lib-native.so /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib/libstratego-runtime.so -lm /nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/lib -Wl,--rpath -Wl,/nix/store/zhzsf1zv75hpzrh7wdjzk46ynnbcl57w-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/nix/store/l1xp9wkxiyqfp9jczbrr692jz1xlhkhs-transformers-generic-tools-0.5M2pre1888/lib creating eval-many-instantiation-traversal rm eval-lr-prop.c eval-assertions.c many-instantiation-traversal.edef bad-alias.edef bad-alias.edef.af many-instantiation-traversal.edef.af lr-amb.edef eval-many-instantiation-traversal.c lr-amb.edef.af lr-prop.edef.af assertions.edef eval-bad-alias.c eval-lr-amb.c lr-prop.edef assertions.edef.af make[4]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec' make check-TESTS make[4]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec' building eval-lr-amb.1 ln -s -f ./check.sh eval-lr-amb.1 ln -s -f ./check.sh eval-lr-amb.2 ln -s -f ./check.sh eval-lr-prop.1 ln -s -f ./check.sh eval-lr-prop.2 ln -s -f ./check.sh eval-bad-alias.1 ln -s -f ./check.sh eval-assertions.1 ln -s -f ./check.sh eval-assertions.2 ln -s -f ./check.sh eval-assertions.3 ln -s -f ./check.sh eval-assertions.4 ln -s -f ./check.sh eval-assertions.5 ln -s -f ./check.sh eval-many-instantiation-traversal.1 ln -s -f ./check.sh eval-many-instantiation-traversal.2 ln -s -f ./check.sh eval-many-instantiation-traversal.3 ln -s -f ./check.sh eval-many-instantiation-traversal.4 ln -s -f ./check.sh eval-many-instantiation-traversal.5 building check-TESTS PASS: eval-lr-amb.1 PASS: eval-lr-amb.2 PASS: eval-lr-prop.1 PASS: eval-lr-prop.2 XFAIL: eval-bad-alias.1 PASS: eval-assertions.1 XFAIL: eval-assertions.2 XFAIL: eval-assertions.3 XFAIL: eval-assertions.4 XFAIL: eval-assertions.5 PASS: eval-many-instantiation-traversal.1 XFAIL: eval-many-instantiation-traversal.2 PASS: eval-many-instantiation-traversal.3 PASS: eval-many-instantiation-traversal.4 PASS: eval-many-instantiation-traversal.5 ====================================================== All 15 tests behaved as expected (6 expected failures) ====================================================== make[4]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec' make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec' make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute/tests' make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute' make[1]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-attribute' Making check in sdf-option make[1]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-option' building check-recursive Making check in src make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-option/src' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: sdf-option Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-option/src' Making check in tests make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-option/tests' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: building check-am make check-TESTS make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-option/tests' building basic building opt building check-TESTS make[4]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-option/tests' building basic.sdf.res.af /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/bin/parse-sdf-definition -i "basic.sdf.res" | \ /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/libexec/sdf-ensugar -o "basic.sdf.res.af" make[4]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-option/tests'  including ./basic.sdf PASS: basic make[4]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-option/tests' building opt.sdf.res.af /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/bin/parse-sdf-definition -i "opt.sdf.res" | \ /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/libexec/sdf-ensugar -o "opt.sdf.res.af" make[4]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-option/tests'  including ./opt.sdf PASS: opt ================== All 2 tests passed ================== make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-option/tests' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-option/tests' make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-option' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-option' make[1]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-option' Making check in sdf-astgen make[1]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen' building check-recursive Making check in src make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/src' building check-recursive Making check in syn make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/src/syn' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Stratego-Stratego-AstSdf2.tbl Stratego-AstSdf2.tbl AstSdf2.tbl Stratego-Stratego-AstSdf2.def Stratego-AstSdf2.def AstSdf2.def Stratego-Stratego-AstSdf2.sdf Stratego-AstSdf2.sdf AstSdf2.sdf make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/src/syn' Making check in sig make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/src/sig' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: AstSdf2.rtree make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/src/sig' Making check in pp make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/src/pp' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: pp-astsdf Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: AstSdf2-pretty.pp.af AstSdf2-pretty.pp make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/src/pp' Making check in parser make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/src/parser' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: parse-astsdf-module parse-astsdf-definition Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/src/parser' Making check in sdf-astgen make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/src/sdf-astgen' building all-local Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: sdf-astgen Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/src/sdf-astgen' make[3]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/src' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/src' make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/src' Making check in tests make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/tests' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen/tests' make[2]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen' make[1]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2/sdf-astgen' make[1]: Entering directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2' building all-local /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/bin/xtc -r /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC import /nix/store/bs2jkaky3afj3bx30hb4hm5ch9mnxilz-strategoxt-0.17M3pre17662-4cjkwz42/share/strategoxt/XTC Tools registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Data registered in repository /tmp/nix-20435-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: make[1]: Leaving directory `/tmp/nix-20435-0/transformers-generic-tools-0.5M2'