check flags: Making check in aterm make[1]: Entering directory `/tmp/nix-2456-0/aterm-2.5/aterm' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-2456-0/aterm-2.5/aterm' Making check in utils make[1]: Entering directory `/tmp/nix-2456-0/aterm-2.5/utils' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-2456-0/aterm-2.5/utils' Making check in test make[1]: Entering directory `/tmp/nix-2456-0/aterm-2.5/test' make check-am make[2]: Entering directory `/tmp/nix-2456-0/aterm-2.5/test' make stress.exe primes.exe randgen.exe termstats.exe fib.exe make[3]: Entering directory `/tmp/nix-2456-0/aterm-2.5/test' if 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 -MT stress.o -MD -MP -MF ".deps/stress.Tpo" -c -o stress.o stress.c; \ then mv -f ".deps/stress.Tpo" ".deps/stress.Po"; else rm -f ".deps/stress.Tpo"; exit 1; fi if 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 -MT terms.o -MD -MP -MF ".deps/terms.Tpo" -c -o terms.o terms.c; \ then mv -f ".deps/terms.Tpo" ".deps/terms.Po"; else rm -f ".deps/terms.Tpo"; exit 1; fi /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o stress.exe stress.o terms.o -lATerm mkdir .libs gcc -g -O2 -o .libs/stress.exe stress.o terms.o -L/tmp/nix-2456-0/aterm-2.5/aterm /tmp/nix-2456-0/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/1qnsc6yq7xl1x4070qclry218igazfiq-aterm/lib Info: resolving _ATempty by linking to __imp__ATempty (auto-import) Info: resolving _at_lookup_table by linking to __imp__at_lookup_table (auto-import) creating stress.exe if 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 -MT primes.o -MD -MP -MF ".deps/primes.Tpo" -c -o primes.o primes.c; \ then mv -f ".deps/primes.Tpo" ".deps/primes.Po"; else rm -f ".deps/primes.Tpo"; exit 1; fi /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o primes.exe primes.o -lATerm gcc -g -O2 -o .libs/primes.exe primes.o -L/tmp/nix-2456-0/aterm-2.5/aterm /tmp/nix-2456-0/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/1qnsc6yq7xl1x4070qclry218igazfiq-aterm/lib Info: resolving _ATempty by linking to __imp__ATempty (auto-import) creating primes.exe if 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 -MT randgen.o -MD -MP -MF ".deps/randgen.Tpo" -c -o randgen.o randgen.c; \ then mv -f ".deps/randgen.Tpo" ".deps/randgen.Po"; else rm -f ".deps/randgen.Tpo"; exit 1; fi /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o randgen.exe randgen.o -lATerm gcc -g -O2 -o .libs/randgen.exe randgen.o -L/tmp/nix-2456-0/aterm-2.5/aterm /tmp/nix-2456-0/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/1qnsc6yq7xl1x4070qclry218igazfiq-aterm/lib Info: resolving _silent by linking to __imp__silent (auto-import) creating randgen.exe if 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 -MT termstats.o -MD -MP -MF ".deps/termstats.Tpo" -c -o termstats.o termstats.c; \ then mv -f ".deps/termstats.Tpo" ".deps/termstats.Po"; else rm -f ".deps/termstats.Tpo"; exit 1; fi /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o termstats.exe termstats.o -lATerm gcc -g -O2 -o .libs/termstats.exe termstats.o -L/tmp/nix-2456-0/aterm-2.5/aterm /tmp/nix-2456-0/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/1qnsc6yq7xl1x4070qclry218igazfiq-aterm/lib creating termstats.exe if 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 -MT fib.o -MD -MP -MF ".deps/fib.Tpo" -c -o fib.o fib.c; \ then mv -f ".deps/fib.Tpo" ".deps/fib.Po"; else rm -f ".deps/fib.Tpo"; exit 1; fi /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o fib.exe fib.o -lATerm gcc -g -O2 -o .libs/fib.exe fib.o -L/tmp/nix-2456-0/aterm-2.5/aterm /tmp/nix-2456-0/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/1qnsc6yq7xl1x4070qclry218igazfiq-aterm/lib Info: resolving _at_lookup_table by linking to __imp__at_lookup_table (auto-import) Info: resolving _at_lookup_table_alias by linking to __imp__at_lookup_table_alias (auto-import) Info: resolving _ATempty by linking to __imp__ATempty (auto-import) creating fib.exe make[3]: Leaving directory `/tmp/nix-2456-0/aterm-2.5/test' make check-TESTS make[3]: Entering directory `/tmp/nix-2456-0/aterm-2.5/test' destr_false_count=6, destr_true_count=3 Allocating 18 nodes of size 3: Result: 0x6a4acc Result: 0x6a4ad8 Result: 0x6a4ae4 Result: 0x6a4af0 Result: 0x6a4afc Result: 0x6a4b08 Result: 0x6a4b14 Result: 0x6a4b20 Result: 0x6a4b2c Result: 0x6a4b38 Result: 0x6a4b44 Result: 0x6a4b50 Result: 0x6a4b5c Result: 0x6a4b68 Result: 0x6a4b74 Result: 0x6a4b80 Result: 0x6a4b8c Result: 0x6a4b98 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]} 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-4(40,fun-4(37,fun-3(4,3,fun-2(1,2)),fun-4(fun-4(6,7,9,8),fun-3(fun-3(18,17,19),fun-4(fun-2(fun-4(33,32,31,34),fun-1(fun-1(35))),21,fun-4(30,29,28,fun-1(fun-4(23,22,fun-1(fun-3(25,26,24)),27))),36),20),fun-4(fun-1(fun-4(15,14,12,fun-1(13))),11,16,10),fun-1(5)),0),fun-2(38,39),fun-2(fun-3(fun-2(41,42),fun-3(fun-2(fun-3(58,57,fun-4(fun-3(49,fun-2(fun-1(fun-3(52,53,51)),50),54),55,48,56)),59),fun-3(fun-3(46,47,45),43,44),60),61),62)) PASS: randgen fib(32) == 3524578 PASS: fib ================== All 4 tests passed ================== make[3]: Leaving directory `/tmp/nix-2456-0/aterm-2.5/test' make[2]: Leaving directory `/tmp/nix-2456-0/aterm-2.5/test' make[1]: Leaving directory `/tmp/nix-2456-0/aterm-2.5/test' Making check in doc make[1]: Entering directory `/tmp/nix-2456-0/aterm-2.5/doc' Making check in examples make[2]: Entering directory `/tmp/nix-2456-0/aterm-2.5/doc/examples' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/tmp/nix-2456-0/aterm-2.5/doc/examples' Making check in spec make[2]: Entering directory `/tmp/nix-2456-0/aterm-2.5/doc/spec' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/tmp/nix-2456-0/aterm-2.5/doc/spec' make[2]: Entering directory `/tmp/nix-2456-0/aterm-2.5/doc' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/tmp/nix-2456-0/aterm-2.5/doc' make[1]: Leaving directory `/tmp/nix-2456-0/aterm-2.5/doc' make[1]: Entering directory `/tmp/nix-2456-0/aterm-2.5' make[1]: Nothing to be done for `check-am'. make[1]: Leaving directory `/tmp/nix-2456-0/aterm-2.5'