check flags: [pbuilding check-recursive Making check in aterm [pmake[1]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/aterm' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/aterm' [qMaking check in utils [pmake[1]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/utils' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/utils' [qMaking check in test [pmake[1]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' [pbuilding check [3s[amake check-am[b [pmake[2]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' [pbuilding check-am [3s[amake stress primes randgen termstats fib[b [pmake[3]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' [pbuilding stress.o [3s[agcc -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[b [q[pbuilding terms.o [3s[agcc -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[b [q[pbuilding stress [3s[a/bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o stress stress.o terms.o -lATerm [b mkdir .libs gcc -g -O2 -o .libs/stress stress.o terms.o -L/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.dylib creating stress [q[pbuilding primes.o [3s[agcc -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[b [q[pbuilding primes [3s[a/bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o primes primes.o -lATerm [b gcc -g -O2 -o .libs/primes primes.o -L/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.dylib creating primes [q[pbuilding randgen.o [3s[agcc -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[b [q[pbuilding randgen [3s[a/bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o randgen randgen.o -lATerm [b gcc -g -O2 -o .libs/randgen randgen.o -L/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.dylib creating randgen [q[pbuilding termstats.o [3s[agcc -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[b [q[pbuilding termstats [3s[a/bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o termstats termstats.o -lATerm [b gcc -g -O2 -o .libs/termstats termstats.o -L/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.dylib creating termstats [q[pbuilding fib.o [3s[agcc -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[b [q[pbuilding fib [3s[a/bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o fib fib.o -lATerm [b gcc -g -O2 -o .libs/fib fib.o -L/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.dylib creating fib [qmake[3]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' [q[3s[amake check-TESTS[b [pmake[3]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' [pbuilding check-TESTS destr_false_count=6, destr_true_count=3 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: <int ^ ATreadFromString: parse error at or near: f(<int>,<int>,<int>,<int>,<int>,<int>,<int>,<int>,<int>,<int>,<int>,<int>,<int>,<int>,<int>,<int>,<int>,<int>,<int>,<int>asdfaksdjfhasjkhf) ^ term written to binary string: f(1,a,<abc>,[24,g]{[a,b]}), size=110 term read from binary string : f(1,a,<abc>,[24,g]{[a,b]}) Allocating 18 nodes of size 3: Result: 0xf000c Result: 0xf0018 Result: 0xf0024 Result: 0xf0030 Result: 0xf003c Result: 0xf0048 Result: 0xf0054 Result: 0xf0060 Result: 0xf006c Result: 0xf0078 Result: 0xf0084 Result: 0xf0090 Result: 0xf009c Result: 0xf00a8 Result: 0xf00b4 Result: 0xf00c0 Result: 0xf00cc Result: 0xf00d8 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 <int> "ÿ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 read: 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"{[<just-a-test>,"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: <int> 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-1(fun-2(fun-4(52,54,fun-1(55),53),fun-4(fun-2(46,fun-1(45)),fun-2(fun-1(fun-3(fun-1(fun-3(fun-3(27,fun-4(40,29,fun-4(fun-1(39),fun-2(fun-2(fun-4(fun-2(36,37),34,38,35),33),32),31,30),41),fun-1(28)),fun-4(fun-4(fun-2(14,fun-4(13,11,12,fun-3(5,fun-3(8,fun-2(fun-1(9),10),7),6))),18,fun-2(fun-1(15),fun-2(17,16)),fun-1(fun-1(fun-1(fun-3(4,fun-3(1,0,2),3))))),21,fun-4(fun-1(24),23,25,22),fun-2(20,fun-1(19))),26)),43,42)),44),fun-1(fun-4(50,47,fun-1(48),49)),51))) PASS: randgen fib(32) == 3524578 PASS: fib ================== All 4 tests passed ================== [qmake[3]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' [q[qmake[2]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' [q[qmake[1]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' [qMaking check in doc [pmake[1]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/doc' [pbuilding check-recursive Making check in examples [pmake[2]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/doc/examples' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/doc/examples' [qMaking check in spec [pmake[2]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/doc/spec' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/doc/spec' [q[pmake[2]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/doc' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/doc' [q[qmake[1]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/doc' [q[pmake[1]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5' make[1]: Nothing to be done for `check-am'. make[1]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5' [q[q