check flags:    
building check-recursive
Making check in str-lazy
make[1]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy'
building check-recursive
Making check in src
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/src'
building check-recursive
Making check in lib
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/src/lib'
building liblazy.rtree
true
building all-local
Files registered in build repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: liblazy.rtree lazy.str liblazy-lib.la
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/src/lib'
Making check in native
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/src/native'
building all-local
Files registered in build repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: native-lazy.h liblazy-lib-native.la
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/src/native'
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/src'
make[3]: Nothing to be done for `check-am'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/src'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/src'
Making check in tests
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/tests'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
building check-am
make  lazy-test
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/tests'
building lazy-test.c
/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/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/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include    -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/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/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/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/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -L/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/src/lib -L/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/src/native /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/src/lib/.libs/liblazy-lib.so /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/src/native/.libs/liblazy-lib-native.so  -Wl,--rpath -Wl,/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/lib
creating lazy-test
rm lazy-test.c
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/tests'
make  check-TESTS
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/tests'
building check-TESTS
0 [Program("/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/tests/.libs/lt-lazy-test")]
1 Lazy("ÿ000000000016ÿ×Ƶ¤õ*��ðár�����")
2 Lazy("ÿ000000000016ÿ×Ƶ¤õ*��Pâr�����")
3 Lazy("ÿ000000000016ÿ×Ƶ¤õ*��°âr�����")
4 (Lazy("ÿ000000000016ÿ×Ƶ¤õ*��ðár�����"),Lazy("ÿ000000000016ÿ×Ƶ¤õ*��Pâr�����"))
5 []
5.5 []
6 2
a (Lazy("ÿ000000000016ÿ×Ƶ¤õ*��ðár�����"),Lazy("ÿ000000000016ÿ×Ƶ¤õ*��Pâr�����"))
7 3
8 3
3
PASS: lazy-test
==================
All 1 tests passed
==================
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/tests'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy/tests'
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy'
make[2]: Nothing to be done for `check-am'.
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy'
make[1]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-lazy'
Making check in str-ref
make[1]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref'
building check-recursive
Making check in src
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/src'
building check-recursive
Making check in native
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/src/native'
building all-local
Files registered in build repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: native-ref.h libref-lib-native.la
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/src/native'
Making check in lib
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/src/lib'
building all-local
Files registered in build repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: libref.rtree ref.str libref-lib.la
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/src/lib'
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/src'
make[3]: Nothing to be done for `check-am'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/src'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/src'
Making check in tests
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/tests'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
building check-am
make  ref-test
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/tests'
building ref-test.c
/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/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/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include    -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/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/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/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/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -L/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/src/lib -L/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/src/native /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/src/lib/.libs/libref-lib.so /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/src/native/.libs/libref-lib-native.so  -Wl,--rpath -Wl,/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/lib
creating ref-test
rm ref-test.c
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/tests'
make  check-TESTS
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/tests'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref/tests'
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref'
make[2]: Nothing to be done for `check-am'.
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref'
make[1]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-ref'
Making check in esdf
make[1]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf'
building check-recursive
Making check in src
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf/src'
building check-recursive
Making check in parse-esdf
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf/src/parse-esdf'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: parse-esdf   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf/src/parse-esdf'
Making check in sdf-strip
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf/src/sdf-strip'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: sdf-strip   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf/src/sdf-strip'
Making check in str-concrete
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf/src/str-concrete'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: str-concrete   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf/src/str-concrete'
Making check in pack-esdf
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf/src/pack-esdf'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: pack-esdf   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf/src/pack-esdf'
Making check in sdf-sorts-rename
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf/src/sdf-sorts-rename'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   rename 
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf/src/sdf-sorts-rename'
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf/src'
make[3]: Nothing to be done for `check-am'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf/src'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf/src'
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf'
make[2]: Nothing to be done for `check-am'.
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf'
make[1]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/esdf'
Making check in boxedsdf
make[1]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf'
building check-recursive
Making check in lib
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/lib'
building check-recursive
Making check in ppgen
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/lib/ppgen'
make[3]: Nothing to be done for `check'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/lib/ppgen'
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/lib'
make[3]: Nothing to be done for `check-am'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/lib'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/lib'
Making check in src
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src'
building check-recursive
Making check in syn
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src/syn'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   BoxedSdf2.tbl BoxedSdf2.def BoxedSdf2.rtree  BoxedSdf2.sdf 
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src/syn'
Making check in boxed2pp-table
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxed2pp-table'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: boxed2pp-table   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxed2pp-table'
Making check in pp
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src/pp'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: pp-boxedsdf   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   BoxedSdf2-pretty.pp.af  BoxedSdf2-pretty.pp 
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src/pp'
Making check in parser
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src/parser'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: parse-boxedsdf-module parse-boxedsdf-definition   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src/parser'
Making check in boxedsdf-merge
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxedsdf-merge'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: boxedsdf-merge   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxedsdf-merge'
Making check in boxedsdf-update
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxedsdf-update'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: boxedsdf-update   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxedsdf-update'
Making check in desugar
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src/desugar'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: boxed-desugar   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src/desugar'
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src'
make[3]: Nothing to be done for `check-am'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/src'
Making check in tests
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/tests'
building check-am
make  check-TESTS
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/tests'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf/tests'
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf'
make[2]: Nothing to be done for `check-am'.
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf'
make[1]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/boxedsdf'
Making check in sdf-detgen
make[1]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen'
building check-recursive
Making check in lib
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/lib'
building check-recursive
Making check in ppgen
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/lib/ppgen'
make[3]: Nothing to be done for `check'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/lib/ppgen'
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/lib'
make[3]: Nothing to be done for `check-am'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/lib'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/lib'
Making check in src
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src'
building check-recursive
Making check in syn
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src/syn'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   DetBoxedSdf.tbl DetBoxedSdf.def DetBoxedSdf.rtree  DetBoxedSdf.sdf 
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src/syn'
Making check in pp
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src/pp'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   DetBoxedSdf-pretty.pp.af  DetBoxedSdf-pretty.pp 
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src/pp'
Making check in lib
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src/lib'
make[3]: Nothing to be done for `check'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src/lib'
Making check in detgen
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src/detgen'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: detgen   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src/detgen'
Making check in genfilters
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src/genfilters'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   genfilters 
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src/genfilters'
Making check in xtc
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src/xtc'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src/xtc'
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src'
make[3]: Nothing to be done for `check-am'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/src'
Making check in tests
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/tests'
building check-am
make  check-TESTS
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/tests'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen/tests'
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen'
make[2]: Nothing to be done for `check-am'.
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen'
make[1]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-detgen'
Making check in sdf-attribute
make[1]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute'
building check-recursive
Making check in lib
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/lib'
building check-recursive
Making check in stratego-front
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/lib/stratego-front'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/lib/stratego-front'
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/lib'
make[3]: Nothing to be done for `check-am'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/lib'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/lib'
Making check in src
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src'
building check-recursive
Making check in lib
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/lib'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   attr-lib.rtree attr-tools.rtree   
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/lib'
Making check in syn
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/syn'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   AttrSdf.tbl AttrSdf.def AttrSdf.str AttrSdf.rtree  AttrSdf.sdf 
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/syn'
Making check in pp
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/pp'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: pp-attrsdf   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   AttrSdf.pp.af  AttrSdf.pp 
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/pp'
Making check in parser
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/parser'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: parse-attrsdf-module parse-attrsdf-definition   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/parser'
Making check in embedded
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/embedded'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   embed-attributes deembed-attributes 
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/embedded'
Making check in disamb
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/disamb'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: disamb-debug  attr-disamb clean-attrs attr-disamb-ast 
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/disamb'
Making check in xtc
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/xtc'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attrsdf2table attrsdf2sdf-detgen   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/xtc'
Making check in implode
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/implode'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attr-implode   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/implode'
Making check in desugar
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/desugar'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/desugar'
Making check in check
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/check'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   attr-defs 
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/check'
Making check in clean
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/clean'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/clean'
Making check in attrc
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/attrc'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   attrc 
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   libattrsdf-ast.rtree libattrsdf-asfix.rtree   
building all-local
Files registered in build repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: libattrsdf-ast.rtree libattrsdf-asfix.rtree libattrsdf-ast.la libattrsdf-asfix.la
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/attrc'
Making check in debug
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/debug'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attr-2-dot   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/debug'
Making check in tree2dot
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/tree2dot'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: tree2dot   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/tree2dot'
Making check in viewer
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/viewer'
make[3]: Nothing to be done for `check'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src/viewer'
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src'
make[3]: Nothing to be done for `check-am'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/src'
Making check in tests
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests'
building check-recursive
Making check in propagator
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/propagator'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
building check-am
make  check-TESTS
make[4]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/propagator'
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/propagator'
Making check in cycle
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/cycle'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
building check-am
make  check-TESTS
make[4]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/cycle'
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/cycle'
Making check in checker
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/checker'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
building check-am
make  check-TESTS
make[4]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/checker'
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/checker'
Making check in desugar
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/desugar'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
building check-am
make  check-TESTS
make[4]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-meta-rule-01 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-meta-rule-01
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 27 tests behaved as expected (5 expected failures)
======================================================
make[4]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/desugar'
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/desugar'
Making check in minicxx
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
building check-am
make  eval-TemplateStructs eval-TemplateStructs-ast
make[4]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx'
building TemplateStructs.edef.af
XTC_REPOSITORY=/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/libexec/sdf-cons \
	| XTC_REPOSITORY=/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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.100000000000000e-01 system 3.000000000000000e-02
attrs-desugar-meta user 1.000000000000000e-02 system 0.000000000000000e+00
attrs-desugar-ns user 0.000000000000000e+00 system 1.000000000000000e-02
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 1.000000000000000e-02
sdf-strip user 0.000000000000000e+00 system 0.000000000000000e+00
pp-attrsdf user 1.200000000000000e-01 system 4.000000000000000e-02
SdfChecker:error: Main module not defined
--- Main
sdf2table user 8.400000000000000e-01 system 7.000000000000001e-02
deembed-attributes user 0.000000000000000e+00 system 0.000000000000000e+00
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 1.000000000000000e-02
attr-defs user 6.000000000000000e-02 system 0.000000000000000e+00
attrc user 1.000000000000000e-02 system 1.000000000000000e-02
pp-stratego user 1.500000000000000e-01 system 2.000000000000000e-02
clean-tbl-attributes user 1.000000000000000e-02 system 0.000000000000000e+00
total:  user 1.450000000000000e+00 system 2.200000000000000e-01
building eval-TemplateStructs.c
/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/strc -I . -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn -I ../../../sdf-attribute/src/attrc  --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/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include    -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/share/transformers-generic-tools/XTC\"" -O1   -o eval-TemplateStructs eval-TemplateStructs.o ../../../sdf-attribute/src/attrc/libattrsdf-asfix.la -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-TemplateStructs eval-TemplateStructs.o  ../../../sdf-attribute/src/attrc/.libs/libattrsdf-asfix.so -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/lib -Wl,--rpath -Wl,/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/libexec/sdf-cons \
	| XTC_REPOSITORY=/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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.200000000000000e-01 system 2.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 1.000000000000000e-02 system 0.000000000000000e+00
attrs-desugar-decl user 0.000000000000000e+00 system 1.000000000000000e-02
attrs-desugar-dynattr user 0.000000000000000e+00 system 0.000000000000000e+00
embed-attributes user 1.000000000000000e-02 system 1.000000000000000e-02
sdf-strip user 0.000000000000000e+00 system 0.000000000000000e+00
pp-attrsdf user 1.300000000000000e-01 system 3.000000000000000e-02
SdfChecker:error: Main module not defined
--- Main
sdf2table user 8.300000000000000e-01 system 6.000000000000000e-02
deembed-attributes user 1.000000000000000e-02 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 1.000000000000000e-02
attr-defs user 6.000000000000000e-02 system 2.000000000000000e-02
attrc user 3.000000000000000e-02 system 0.000000000000000e+00
pp-stratego user 1.100000000000000e-01 system 2.000000000000000e-02
clean-tbl-attributes user 0.000000000000000e+00 system 1.000000000000000e-02
total:  user 1.430000000000000e+00 system 2.200000000000000e-01
building eval-TemplateStructs-ast.c
/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/strc -I . -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn -I ../../../sdf-attribute/src/attrc  --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/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include    -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/share/transformers-generic-tools/XTC\"" -O1   -o eval-TemplateStructs-ast eval-TemplateStructs-ast.o ../../../sdf-attribute/src/attrc/libattrsdf-ast.la -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-TemplateStructs-ast eval-TemplateStructs-ast.o  ../../../sdf-attribute/src/attrc/.libs/libattrsdf-ast.so -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/lib -Wl,--rpath -Wl,/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib
creating eval-TemplateStructs-ast
rm TemplateStructs.edef.af TemplateStructs-ast.edef.af
make[4]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx'
make  check-TESTS
make[4]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx'
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx'
Making check in exec
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec'
building lr-amb.edef.af
XTC_REPOSITORY=/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/libexec/sdf-cons \
	| XTC_REPOSITORY='/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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 7.000000000000001e-02 system 2.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 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 0.000000000000000e+00 system 0.000000000000000e+00
sdf-strip user 0.000000000000000e+00 system 1.000000000000000e-02
pp-attrsdf user 4.000000000000000e-02 system 3.000000000000000e-02
SdfChecker:error: Main module not defined
--- Main
SdfChecker:warning: deprecated declaration of complex symbol
--- LAYOUT [file: /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/StrategoXTSrnsWi line: 5 col: 68]
sdf2table user 1.100000000000000e-01 system 4.000000000000000e-02
deembed-attributes user 0.000000000000000e+00 system 0.000000000000000e+00
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 0.000000000000000e+00 system 1.000000000000000e-02
attr-defs user 2.000000000000000e-02 system 0.000000000000000e+00
attrc user 1.000000000000000e-02 system 0.000000000000000e+00
pp-stratego user 5.000000000000000e-02 system 2.000000000000000e-02
clean-tbl-attributes user 0.000000000000000e+00 system 1.000000000000000e-02
total:  user 3.200000000000000e-01 system 1.800000000000000e-01
building eval-lr-amb.c
/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn -I ../../../sdf-attribute/src/attrc  --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/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include    -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/share/transformers-generic-tools/XTC\"" -O1   -o eval-lr-amb eval-lr-amb.o -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la ../../../sdf-attribute/src/attrc/libattrsdf-asfix.la 
mkdir .libs
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-lr-amb eval-lr-amb.o  -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so ../../../sdf-attribute/src/attrc/.libs/libattrsdf-asfix.so  -Wl,--rpath -Wl,/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/lib
creating eval-lr-amb
building lr-prop.edef.af
XTC_REPOSITORY=/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/libexec/sdf-cons \
	| XTC_REPOSITORY='/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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 5.000000000000000e-02 system 3.000000000000000e-02
attrs-desugar-meta user 1.000000000000000e-02 system 0.000000000000000e+00
attrs-desugar-ns user 0.000000000000000e+00 system 1.000000000000000e-02
attrs-desugar-lr_in user 0.000000000000000e+00 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 2.000000000000000e-02 system 3.000000000000000e-02
SdfChecker:error: Main module not defined
--- Main
sdf2table user 8.000000000000000e-02 system 3.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 0.000000000000000e+00 system 0.000000000000000e+00
reject-useless-prods user 0.000000000000000e+00 system 1.000000000000000e-02
attr-defs user 1.000000000000000e-02 system 1.000000000000000e-02
attrc user 1.000000000000000e-02 system 1.000000000000000e-02
pp-stratego user 3.000000000000000e-02 system 2.000000000000000e-02
clean-tbl-attributes user 1.000000000000000e-02 system 0.000000000000000e+00
total:  user 2.400000000000000e-01 system 1.800000000000000e-01
building eval-lr-prop.c
/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn -I ../../../sdf-attribute/src/attrc  --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/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include    -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/share/transformers-generic-tools/XTC\"" -O1   -o eval-lr-prop eval-lr-prop.o -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la ../../../sdf-attribute/src/attrc/libattrsdf-asfix.la 
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-lr-prop eval-lr-prop.o  -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so ../../../sdf-attribute/src/attrc/.libs/libattrsdf-asfix.so  -Wl,--rpath -Wl,/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/lib
creating eval-lr-prop
building bad-alias.edef.af
XTC_REPOSITORY=/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/libexec/sdf-cons \
	| XTC_REPOSITORY='/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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 6.000000000000000e-02 system 3.000000000000000e-02
attrs-desugar-meta user 0.000000000000000e+00 system 0.000000000000000e+00
attrs-desugar-ns user 0.000000000000000e+00 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 0.000000000000000e+00
embed-attributes user 0.000000000000000e+00 system 1.000000000000000e-02
sdf-strip user 0.000000000000000e+00 system 0.000000000000000e+00
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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/StrategoXTKwjq7y line: 5 col: 25]
sdf2table user 8.000000000000000e-02 system 3.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 1.000000000000000e-02 system 0.000000000000000e+00
reject-useless-prods user 0.000000000000000e+00 system 0.000000000000000e+00
[ lt-attr-defs | warning ] Useless code (can be generated) written for "root.disamb:bu_val" on the production:
	B -> Stm
[ lt-attr-defs | warning ] Useless code (can be generated) written for "root.disamb:bu_val" on the production:
	A -> Stm
attr-defs user 1.000000000000000e-02 system 1.000000000000000e-02
attrc user 1.000000000000000e-02 system 0.000000000000000e+00
pp-stratego user 3.000000000000000e-02 system 2.000000000000000e-02
clean-tbl-attributes user 0.000000000000000e+00 system 0.000000000000000e+00
total:  user 2.400000000000000e-01 system 1.500000000000000e-01
building eval-bad-alias.c
/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn -I ../../../sdf-attribute/src/attrc  --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/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include    -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/share/transformers-generic-tools/XTC\"" -O1   -o eval-bad-alias eval-bad-alias.o -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la ../../../sdf-attribute/src/attrc/libattrsdf-asfix.la 
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-bad-alias eval-bad-alias.o  -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so ../../../sdf-attribute/src/attrc/.libs/libattrsdf-asfix.so  -Wl,--rpath -Wl,/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/lib
creating eval-bad-alias
building assertions.edef.af
XTC_REPOSITORY=/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/libexec/sdf-cons \
	| XTC_REPOSITORY='/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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 4.000000000000000e-02 system 4.000000000000000e-02
attrs-desugar-meta user 0.000000000000000e+00 system 0.000000000000000e+00
attrs-desugar-ns user 0.000000000000000e+00 system 1.000000000000000e-02
attrs-desugar-lr_in user 0.000000000000000e+00 system 0.000000000000000e+00
attrs-desugar-decl user 0.000000000000000e+00 system 1.000000000000000e-02
attrs-desugar-dynattr user 0.000000000000000e+00 system 0.000000000000000e+00
embed-attributes user 1.000000000000000e-02 system 0.000000000000000e+00
sdf-strip user 1.000000000000000e-02 system 0.000000000000000e+00
pp-attrsdf user 2.000000000000000e-02 system 4.000000000000000e-02
SdfChecker:error: Main module not defined
--- Main
sdf2table user 9.000000000000000e-02 system 3.000000000000000e-02
deembed-attributes user 0.000000000000000e+00 system 1.000000000000000e-02
sdf-labelize user 0.000000000000000e+00 system 0.000000000000000e+00
clean-bad-parse-rules user 0.000000000000000e+00 system 1.000000000000000e-02
reject-useless-prods user 0.000000000000000e+00 system 1.000000000000000e-02
attr-defs user 1.000000000000000e-02 system 0.000000000000000e+00
attrc user 0.000000000000000e+00 system 1.000000000000000e-02
pp-stratego user 2.000000000000000e-02 system 3.000000000000000e-02
clean-tbl-attributes user 1.000000000000000e-02 system 0.000000000000000e+00
total:  user 2.100000000000000e-01 system 2.000000000000000e-01
building eval-assertions.c
/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn -I ../../../sdf-attribute/src/attrc  --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/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include    -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/share/transformers-generic-tools/XTC\"" -O1   -o eval-assertions eval-assertions.o -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la ../../../sdf-attribute/src/attrc/libattrsdf-asfix.la 
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-assertions eval-assertions.o  -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so ../../../sdf-attribute/src/attrc/.libs/libattrsdf-asfix.so  -Wl,--rpath -Wl,/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/lib
creating eval-assertions
building many-instantiation-traversal.edef.af
XTC_REPOSITORY=/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/libexec/sdf-cons \
	| XTC_REPOSITORY='/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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 0.000000000000000e+00 system 1.000000000000000e-02
attrs-desugar-lr_in user 0.000000000000000e+00 system 0.000000000000000e+00
attrs-desugar-decl user 0.000000000000000e+00 system 1.000000000000000e-02
attrs-desugar-dynattr user 1.000000000000000e-02 system 0.000000000000000e+00
embed-attributes user 0.000000000000000e+00 system 1.000000000000000e-02
sdf-strip user 0.000000000000000e+00 system 0.000000000000000e+00
pp-attrsdf user 3.000000000000000e-02 system 4.000000000000000e-02
SdfChecker:error: Main module not defined
--- Main
SdfChecker:warning: undeclared sort
--- IDENTIFIER [file: /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/StrategoXTMc5y1U line: 17 col: 4]
sdf2table user 1.800000000000000e-01 system 2.000000000000000e-02
deembed-attributes user 0.000000000000000e+00 system 0.000000000000000e+00
sdf-labelize user 0.000000000000000e+00 system 2.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 0.000000000000000e+00
attrc user 0.000000000000000e+00 system 1.000000000000000e-02
pp-stratego user 4.000000000000000e-02 system 3.000000000000000e-02
clean-tbl-attributes user 0.000000000000000e+00 system 1.000000000000000e-02
total:  user 3.800000000000000e-01 system 2.000000000000000e-01
building eval-many-instantiation-traversal.c
/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn -I ../../../sdf-attribute/src/attrc  --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/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include    -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/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/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/share/transformers-generic-tools/XTC\"" -O1   -o eval-many-instantiation-traversal eval-many-instantiation-traversal.o -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm   ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la ../../../sdf-attribute/src/attrc/libattrsdf-asfix.la 
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-many-instantiation-traversal eval-many-instantiation-traversal.o  -L/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so ../../../sdf-attribute/src/attrc/.libs/libattrsdf-asfix.so  -Wl,--rpath -Wl,/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hrjy2zkfghh9c7nj09ab22c8sh6azy64-transformers-generic-tools/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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec'
make  check-TESTS
make[4]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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
XFAIL: eval-many-instantiation-traversal.1
XFAIL: eval-many-instantiation-traversal.2
XFAIL: eval-many-instantiation-traversal.3
XFAIL: eval-many-instantiation-traversal.4
PASS: eval-many-instantiation-traversal.5
======================================================
All 15 tests behaved as expected (9 expected failures)
======================================================
make[4]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec'
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec'
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests'
make[3]: Nothing to be done for `check-am'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute/tests'
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute'
make[2]: Nothing to be done for `check-am'.
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute'
make[1]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-attribute'
Making check in sdf-option
make[1]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-option'
building check-recursive
Making check in src
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-option/src'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: sdf-option   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-option/src'
Making check in tests
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-option/tests'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
building check-am
make  check-TESTS
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-option/tests'
building basic
building opt
building check-TESTS
make[4]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-option/tests'
building basic.sdf.res.af
/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/parse-sdf-definition -i "basic.sdf.res" | \
	  /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/libexec/sdf-ensugar -o "basic.sdf.res.af"
make[4]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-option/tests'
  including ./basic.sdf
PASS: basic
make[4]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-option/tests'
building opt.sdf.res.af
/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/parse-sdf-definition -i "opt.sdf.res" | \
	  /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/libexec/sdf-ensugar -o "opt.sdf.res.af"
make[4]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-option/tests'
  including ./opt.sdf
PASS: opt
==================
All 2 tests passed
==================
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-option/tests'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-option/tests'
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-option'
make[2]: Nothing to be done for `check-am'.
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-option'
make[1]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-option'
Making check in sdf-astgen
make[1]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen'
building check-recursive
Making check in src
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/src'
building check-recursive
Making check in syn
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/src/syn'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-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-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/src/syn'
Making check in sig
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/src/sig'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   AstSdf2.rtree   
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/src/sig'
Making check in pp
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/src/pp'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: pp-astsdf   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   AstSdf2-pretty.pp.af  AstSdf2-pretty.pp 
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/src/pp'
Making check in parser
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/src/parser'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: parse-astsdf-module parse-astsdf-definition   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/src/parser'
Making check in sdf-astgen
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/src/sdf-astgen'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: sdf-astgen   
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/src/sdf-astgen'
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/src'
make[3]: Nothing to be done for `check-am'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/src'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/src'
Making check in tests
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/tests'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen/tests'
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen'
make[2]: Nothing to be done for `check-am'.
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen'
make[1]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/sdf-astgen'
Making check in inline-sglr
make[1]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/inline-sglr'
building check-recursive
Making check in sglr
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/inline-sglr/sglr'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
building all-local
Files registered in build repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:  libinlinejustsglr.la
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/inline-sglr/sglr'
Making check in lib
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/inline-sglr/lib'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   libstratego-inline-sglr.rtree libstratego-inline-sglr.ctree   
building all-local
Files registered in build repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: libstratego-inline-sglr.rtree libstratego-inline-sglr.ctree libstratego-inline-sglr.la
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/inline-sglr/lib'
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/inline-sglr'
make[2]: Nothing to be done for `check-am'.
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/inline-sglr'
make[1]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/inline-sglr'
Making check in str-shared-hashmap
make[1]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-shared-hashmap'
building check-recursive
Making check in src
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-shared-hashmap/src'
building check-recursive
Making check in lib
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-shared-hashmap/src/lib'
building all-local
Files registered in build repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: libshared-table.rtree shared-table.str libshared-table-lib.la
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-shared-hashmap/src/lib'
Making check in native
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-shared-hashmap/src/native'
building all-local
Files registered in build repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: stable.h libshared-table-native.la
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-shared-hashmap/src/native'
Making check in clean
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-shared-hashmap/src/clean'
building all-local
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:   clean-hashmap-blobs 
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-shared-hashmap/src/clean'
make[3]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-shared-hashmap/src'
make[3]: Nothing to be done for `check-am'.
make[3]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-shared-hashmap/src'
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-shared-hashmap/src'
make[2]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-shared-hashmap'
make[2]: Nothing to be done for `check-am'.
make[2]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-shared-hashmap'
make[1]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/str-shared-hashmap'
make[1]: Entering directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2'
building all-local
/nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC import /nix/store/kpj18di4nxibh6kc7zl0mn2b2i6wq3xs-strategoxt-0.17pre18583-i573smdl/share/strategoxt/XTC
Tools registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:      
make[1]: Leaving directory `/tmp/nix-build-kpq9xqrnfwcbg184nrbcm3gn5zj9akcy-transformers-generic-tools.drv-0/transformers-generic-tools-0.5M2'