check flags: building check-recursive Making check in aterm make[1]: Entering directory `/tmp/nix-18902-0/aterm-2.5/aterm' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-18902-0/aterm-2.5/aterm' Making check in utils make[1]: Entering directory `/tmp/nix-18902-0/aterm-2.5/utils' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-18902-0/aterm-2.5/utils' Making check in test make[1]: Entering directory `/tmp/nix-18902-0/aterm-2.5/test' building check make check-am make[2]: Entering directory `/tmp/nix-18902-0/aterm-2.5/test' building check-am make stress primes randgen termstats fib make[3]: Entering directory `/tmp/nix-18902-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=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -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=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -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-18902-0/aterm-2.5/aterm /tmp/nix-18902-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/y0mmwp9r3l0vk1vifhha67sv0y2p5gl0-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=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -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-18902-0/aterm-2.5/aterm /tmp/nix-18902-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/y0mmwp9r3l0vk1vifhha67sv0y2p5gl0-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=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -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-18902-0/aterm-2.5/aterm /tmp/nix-18902-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/y0mmwp9r3l0vk1vifhha67sv0y2p5gl0-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=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -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-18902-0/aterm-2.5/aterm /tmp/nix-18902-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/y0mmwp9r3l0vk1vifhha67sv0y2p5gl0-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=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -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-18902-0/aterm-2.5/aterm /tmp/nix-18902-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/y0mmwp9r3l0vk1vifhha67sv0y2p5gl0-aterm-2.5pre21238/lib creating fib make[3]: Leaving directory `/tmp/nix-18902-0/aterm-2.5/test' make check-TESTS make[3]: Entering directory `/tmp/nix-18902-0/aterm-2.5/test' building check-TESTS destr_false_count=6, destr_true_count=3 Allocating 18 nodes of size 3: Result: 0x8095984 Result: 0x8095990 Result: 0x809599c Result: 0x80959a8 Result: 0x80959b4 Result: 0x80959c0 Result: 0x80959cc Result: 0x80959d8 Result: 0x80959e4 Result: 0x80959f0 Result: 0x80959fc Result: 0x8095a08 Result: 0x8095a14 Result: 0x8095a20 Result: 0x8095a2c Result: 0x8095a38 Result: 0x8095a44 Result: 0x8095a50 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))) = 412 AT_calcCoreSize(1) = 12 AT_calcCoreSize(f(1,2)) = 66 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 reNext 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]}) ad: f(a,b){[1,2]} 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-4(fun-3(fun-2(32,33),fun-1(fun-2(30,fun-2(fun-4(19,fun-1(fun-3(22,fun-1(23),fun-1(21))),fun-2(fun-3(15,fun-4(fun-3(13,fun-1(12),fun-3(5,4,fun-1(fun-3(6,fun-2(11,10),fun-3(7,8,9))))),fun-1(14),3,2),fun-3(16,18,17)),fun-2(fun-1(0),1)),20),fun-3(fun-4(25,fun-1(27),26,24),29,fun-1(28))))),31),fun-3(36,56,fun-2(fun-4(53,fun-3(fun-1(fun-4(fun-3(42,40,41),fun-4(48,fun-3(43,47,fun-1(fun-2(fun-2(fun-1(45),44),46))),49,50),52,51)),39,38),54,55),37)),fun-1(35),34) PASS: randgen fib(32) == 3524578 PASS: fib ================== All 4 tests passed ================== make[3]: Leaving directory `/tmp/nix-18902-0/aterm-2.5/test' make[2]: Leaving directory `/tmp/nix-18902-0/aterm-2.5/test' make[1]: Leaving directory `/tmp/nix-18902-0/aterm-2.5/test' Making check in doc make[1]: Entering directory `/tmp/nix-18902-0/aterm-2.5/doc' building check-recursive Making check in examples make[2]: Entering directory `/tmp/nix-18902-0/aterm-2.5/doc/examples' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/tmp/nix-18902-0/aterm-2.5/doc/examples' Making check in spec make[2]: Entering directory `/tmp/nix-18902-0/aterm-2.5/doc/spec' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/tmp/nix-18902-0/aterm-2.5/doc/spec' make[2]: Entering directory `/tmp/nix-18902-0/aterm-2.5/doc' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/tmp/nix-18902-0/aterm-2.5/doc' make[1]: Leaving directory `/tmp/nix-18902-0/aterm-2.5/doc' make[1]: Entering directory `/tmp/nix-18902-0/aterm-2.5' make[1]: Nothing to be done for `check-am'. make[1]: Leaving directory `/tmp/nix-18902-0/aterm-2.5'