check flags: building check-recursive Making check in aterm make[1]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm' Making check in utils make[1]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/utils' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/utils' Making check in test make[1]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test' building check make check-am make[2]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test' building check-am make stress primes randgen termstats fib make[3]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test' building stress.o gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"aterm\" -DVERSION=\"2.5\" -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 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -I. -I. -I.. -I../aterm -DSRCDIR="\"../test/\"" -g -O2 -c stress.c building terms.o gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"aterm\" -DVERSION=\"2.5\" -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 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -I. -I. -I.. -I../aterm -DSRCDIR="\"../test/\"" -g -O2 -c terms.c building stress /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o stress stress.o terms.o -lATerm  mkdir .libs gcc -g -O2 -o .libs/stress stress.o terms.o -L/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/vqi8ajm0z7jccvywlmq2msdy6vf1a7wd-aterm-2.5pre21238/lib creating stress building primes.o gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"aterm\" -DVERSION=\"2.5\" -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 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -I. -I. -I.. -I../aterm -DSRCDIR="\"../test/\"" -g -O2 -c primes.c building primes /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o primes primes.o -lATerm  gcc -g -O2 -o .libs/primes primes.o -L/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/vqi8ajm0z7jccvywlmq2msdy6vf1a7wd-aterm-2.5pre21238/lib creating primes building randgen.o gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"aterm\" -DVERSION=\"2.5\" -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 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -I. -I. -I.. -I../aterm -DSRCDIR="\"../test/\"" -g -O2 -c randgen.c building randgen /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o randgen randgen.o -lATerm  gcc -g -O2 -o .libs/randgen randgen.o -L/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/vqi8ajm0z7jccvywlmq2msdy6vf1a7wd-aterm-2.5pre21238/lib creating randgen building termstats.o gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"aterm\" -DVERSION=\"2.5\" -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 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -I. -I. -I.. -I../aterm -DSRCDIR="\"../test/\"" -g -O2 -c termstats.c building termstats /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o termstats termstats.o -lATerm  gcc -g -O2 -o .libs/termstats termstats.o -L/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/vqi8ajm0z7jccvywlmq2msdy6vf1a7wd-aterm-2.5pre21238/lib creating termstats building fib.o gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"aterm\" -DVERSION=\"2.5\" -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 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -I. -I. -I.. -I../aterm -DSRCDIR="\"../test/\"" -g -O2 -c fib.c building fib /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o fib fib.o -lATerm  gcc -g -O2 -o .libs/fib fib.o -L/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/vqi8ajm0z7jccvywlmq2msdy6vf1a7wd-aterm-2.5pre21238/lib creating fib make[3]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test' make check-TESTS make[3]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test' building check-TESTS destr_false_count=6, destr_true_count=3 Allocating 18 nodes of size 3: Result: 0x66f2d8 Result: 0x66f2f0 Result: 0x66f308 Result: 0x66f320 Result: 0x66f338 Result: 0x66f350 Result: 0x66f368 Result: 0x66f380 Result: 0x66f398 Result: 0x66f3b0 Result: 0x66f3c8 Result: 0x66f3e0 Result: 0x66f3f8 Result: 0x66f410 Result: 0x66f428 Result: 0x66f440 Result: 0x66f458 Result: 0x66f470 test succeeded. symmies[0]: application symmies[1]: "application" symmies[2]: "An \" \n \r \t \\ application" symmies[3]: "application" symmies[4]: application symbol tests ok. application tests ok. list nodes: [...(0)], [...(1)], [...(2)], [...(3)] result of ATremoveElement: [1,3,2] list tests ok. aint[0] = 1234 real[0] = 1.234567800000000e+00 "ÿ000000000009ÿ123456789" AT_calcCoreSize(f(1,[2,3],<[a,b]>,1.243000000000000e+00,g(h(i(a,a),a),a,a))) = 756 AT_calcCoreSize(1) = 24 AT_calcCoreSize(f(1,2)) = 122 term read: [] term read: f(a) term read: "f x"(b) term read: "f \r \n \t \\ q" term read: [a,b,c] term read: f(a,b,1,2) term read: <"just a test"> term read: f(a,b){[1,2]}Next term should give a parse error at line 0, col 17 readFromTextFile: parse error at line 0, col 17: f("Error",[2,3] [ The following two tests should generate parse errors. ATreadFromString: parse error at or near: ,,,,,,,,,,,,,,,,,,,asdfaksdjfhasjkhf) ^ term written to binary string: f(1,a,,[24,g]{[a,b]}), size=110 term read from binary string : f(1,a,,[24,g]{[a,b]}) term read: 1 term read: -123 term read: 1.230000000000000e+00 term read: -1.230000000000000e+00 term read: -1.200000000000000e+04 term read: 1.230000000000000e+05 term read: 1.230000000000000e-03 term read: 9{[type,abcdefghi]} term read: 0{[type,f{[a,1],[b,2],[c,3]}]} term read: "abc"{[,"what a test!"]} term read: abc term read: "the end" read from string: f(1) read from string: f read from string: f(a,b,<123>,4.560000000000000e-01,"f") read from string: [] read from string: f{[a,1],[b,ab{[1,2]}]} read from string: read from string: "quoted: \"abc\"" dictionary tests ok. annotation tests ok. ATmake with 9 args: f(1,2,3,4,5,6,7,8,9) ATmakeAppl: f(1,2,3,4,5,6,7,8,9) make tests ok. match tests ok. baffle tests ok. taf tests ok. gc tests ok. mark tests ok. table tests ok. indexedSet tests ok. dicttoc tests ok. TB legacy tests ok. checksum tests ok. diff tests ok. compare tests ok. PASS: stress primes up to 100: 1, 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97 PASS: primes fun-2(fun-4(32,fun-3(13,fun-4(15,16,17,fun-2(fun-4(31,30,fun-3(23,27,fun-3(25,24,26)),fun-2(28,29)),fun-1(fun-4(19,20,18,fun-2(22,21))))),14),fun-1(fun-4(10,fun-2(8,fun-1(fun-3(fun-4(5,6,7,4),fun-3(fun-1(2),3,1),0))),9,11)),12),fun-3(fun-1(fun-4(60,58,59,fun-3(fun-2(fun-2(49,50),fun-4(fun-4(43,fun-4(fun-2(37,38),39,40,41),fun-1(42),fun-1(fun-4(47,46,48,fun-1(fun-2(45,44))))),35,34,36)),57,fun-4(56,55,fun-3(53,fun-1(51),52),54)))),61,33)) PASS: randgen fib(32) == 3524578 PASS: fib ================== All 4 tests passed ================== make[3]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test' make[2]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test' make[1]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test' Making check in doc make[1]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc' building check-recursive Making check in examples make[2]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc/examples' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc/examples' Making check in spec make[2]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc/spec' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc/spec' make[2]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc' make[1]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc' make[1]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5' make[1]: Nothing to be done for `check-am'. make[1]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5'