check flags: Making check in aterm make[1]: Entering directory `/tmp/nix-2120-0/aterm-2.5/aterm' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-2120-0/aterm-2.5/aterm' Making check in utils make[1]: Entering directory `/tmp/nix-2120-0/aterm-2.5/utils' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-2120-0/aterm-2.5/utils' Making check in test make[1]: Entering directory `/tmp/nix-2120-0/aterm-2.5/test' make check-am make[2]: Entering directory `/tmp/nix-2120-0/aterm-2.5/test' make stress.exe primes.exe randgen.exe termstats.exe fib.exe make[3]: Entering directory `/tmp/nix-2120-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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=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-2120-0/aterm-2.5/aterm /tmp/nix-2120-0/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/77qfwan43jibxz9akkr3grzhhqqczhy2-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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=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-2120-0/aterm-2.5/aterm /tmp/nix-2120-0/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/77qfwan43jibxz9akkr3grzhhqqczhy2-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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=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-2120-0/aterm-2.5/aterm /tmp/nix-2120-0/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/77qfwan43jibxz9akkr3grzhhqqczhy2-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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=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-2120-0/aterm-2.5/aterm /tmp/nix-2120-0/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/77qfwan43jibxz9akkr3grzhhqqczhy2-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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=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-2120-0/aterm-2.5/aterm /tmp/nix-2120-0/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/77qfwan43jibxz9akkr3grzhhqqczhy2-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-2120-0/aterm-2.5/test' make check-TESTS make[3]: Entering directory `/tmp/nix-2120-0/aterm-2.5/test' 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: 005ADF44 Result: 005ADF50 Result: 005ADF5C Result: 005ADF68 Result: 005ADF74 Result: 005ADF80 Result: 005ADF8C Result: 005ADF98 Result: 005ADFA4 Result: 005ADFB0 Result: 005ADFBC Result: 005ADFC8 Result: 005ADFD4 Result: 005ADFE0 Result: 005ADFEC Result: 005ADFF8 Result: 005AE004 Result: 005AE010 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+000 "ÿ000000000009ÿ123456789" AT_calcCoreSize(f(1,[2,3],<[a,b]>,1.243000000000000e+000,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+000 term read: -1.230000000000000e+000 term read: -1.200000000000000e+004 term read: 1.230000000000000e+005 term read: 1.230000000000000e-003 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-001,"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-3(fun-4(fun-4(fun-2(fun-2(14,13),15),16,17,fun-4(22,fun-2(26,fun-3(25,23,24)),21,fun-2(fun-2(19,18),20))),fun-2(fun-2(fun-1(fun-1(fun-4(2,0,1,3))),4),5),fun-2(fun-3(fun-1(fun-2(7,fun-2(8,9))),11,10),6),12),27,fun-2(fun-2(30,fun-2(29,28)),fun-3(59,31,fun-2(fun-4(57,fun-3(fun-3(52,fun-3(fun-3(49,33,fun-2(fun-3(fun-2(fun-4(43,44,fun-4(37,fun-1(36),35,fun-4(41,40,fun-1(fun-1(42)),fun-2(39,38))),45),46),47,34),48)),50,32),51),53,54),56,55),58)))) PASS: randgen fib(32) == 3524578 PASS: fib ================== All 4 tests passed ================== make[3]: Leaving directory `/tmp/nix-2120-0/aterm-2.5/test' make[2]: Leaving directory `/tmp/nix-2120-0/aterm-2.5/test' make[1]: Leaving directory `/tmp/nix-2120-0/aterm-2.5/test' Making check in doc make[1]: Entering directory `/tmp/nix-2120-0/aterm-2.5/doc' Making check in examples make[2]: Entering directory `/tmp/nix-2120-0/aterm-2.5/doc/examples' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/tmp/nix-2120-0/aterm-2.5/doc/examples' Making check in spec make[2]: Entering directory `/tmp/nix-2120-0/aterm-2.5/doc/spec' make[2]: Nothing to be done for `check'. make[2]: Leaving directory `/tmp/nix-2120-0/aterm-2.5/doc/spec' make[2]: Entering directory `/tmp/nix-2120-0/aterm-2.5/doc' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/tmp/nix-2120-0/aterm-2.5/doc' make[1]: Leaving directory `/tmp/nix-2120-0/aterm-2.5/doc' make[1]: Entering directory `/tmp/nix-2120-0/aterm-2.5' make[1]: Nothing to be done for `check-am'. make[1]: Leaving directory `/tmp/nix-2120-0/aterm-2.5'