check flags: building check-recursive Making check in aterm make[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' Making check in utils make[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' Making check in test make[1]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' building check make check-am make[2]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' building check-am make stress primes randgen termstats fib make[3]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-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=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/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 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/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 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/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 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/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 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/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 make[3]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' make check-TESTS make[3]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' building 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: ,,,,,,,,,,,,,,,,,,,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]}) 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 "ÿ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"{[,"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-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 ================== make[3]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' make[2]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' make[1]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/test' Making check in doc make[1]: Entering directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/doc' building check-recursive Making check in examples make[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' Making check in spec make[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' make[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' make[1]: Leaving directory `/private/tmp/nix-build-5x3p8flvknhxxlrkkmchyd5qi3yas3kw-aterm-2.5pre21238.drv-0/aterm-2.5/doc' make[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'