check flags: [pbuilding check-recursive Making check in aterm [pmake[1]: Entering directory `/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/aterm' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/aterm' [qMaking check in utils [pmake[1]: Entering directory `/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/utils' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/utils' [qMaking check in test [pmake[1]: Entering directory `/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/test' [pbuilding check [3s[amake check-am[b [pmake[2]: Entering directory `/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/test' [pbuilding check-am [3s[amake stress primes randgen termstats fib testsafio[b [pmake[3]: Entering directory `/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/test' [pbuilding stress.o [3s[agcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"aterm\" -DVERSION=\"2.6\" -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 -D__EXTENSIONS__=1 -D_ALL_SOURCE=1 -D_GNU_SOURCE=1 -D_POSIX_PTHREAD_SEMANTICS=1 -D_TANDEM_SOURCE=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.6\" -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 -D__EXTENSIONS__=1 -D_ALL_SOURCE=1 -D_GNU_SOURCE=1 -D_POSIX_PTHREAD_SEMANTICS=1 -D_TANDEM_SOURCE=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/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/aterm /tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/aanvs72vadrag651xplbj2j9lq3b6h2y-aterm/lib creating stress [q[pbuilding primes.o [3s[agcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"aterm\" -DVERSION=\"2.6\" -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 -D__EXTENSIONS__=1 -D_ALL_SOURCE=1 -D_GNU_SOURCE=1 -D_POSIX_PTHREAD_SEMANTICS=1 -D_TANDEM_SOURCE=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/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/aterm /tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/aanvs72vadrag651xplbj2j9lq3b6h2y-aterm/lib creating primes [q[pbuilding randgen.o [3s[agcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"aterm\" -DVERSION=\"2.6\" -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 -D__EXTENSIONS__=1 -D_ALL_SOURCE=1 -D_GNU_SOURCE=1 -D_POSIX_PTHREAD_SEMANTICS=1 -D_TANDEM_SOURCE=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/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/aterm /tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/aanvs72vadrag651xplbj2j9lq3b6h2y-aterm/lib creating randgen [q[pbuilding termstats.o [3s[agcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"aterm\" -DVERSION=\"2.6\" -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 -D__EXTENSIONS__=1 -D_ALL_SOURCE=1 -D_GNU_SOURCE=1 -D_POSIX_PTHREAD_SEMANTICS=1 -D_TANDEM_SOURCE=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/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/aterm /tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/aanvs72vadrag651xplbj2j9lq3b6h2y-aterm/lib creating termstats [q[pbuilding fib.o [3s[agcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"aterm\" -DVERSION=\"2.6\" -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 -D__EXTENSIONS__=1 -D_ALL_SOURCE=1 -D_GNU_SOURCE=1 -D_POSIX_PTHREAD_SEMANTICS=1 -D_TANDEM_SOURCE=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/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/aterm /tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/aanvs72vadrag651xplbj2j9lq3b6h2y-aterm/lib creating fib [q[pbuilding testsafio.o [3s[agcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"aterm\" -DVERSION=\"2.6\" -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 -D__EXTENSIONS__=1 -D_ALL_SOURCE=1 -D_GNU_SOURCE=1 -D_POSIX_PTHREAD_SEMANTICS=1 -D_TANDEM_SOURCE=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 testsafio.c[b [q[pbuilding testsafio [3s[a/bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -L../aterm -o testsafio testsafio.o -lATerm [b gcc -g -O2 -o .libs/testsafio testsafio.o -L/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/aterm /tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/aanvs72vadrag651xplbj2j9lq3b6h2y-aterm/lib creating testsafio [qmake[3]: Leaving directory `/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/test' [q[3s[amake check-TESTS[b [pmake[3]: Entering directory `/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/test' [pbuilding check-TESTS destr_false_count=6, destr_true_count=3 Allocating 18 nodes of size 3: Result: 0x8097174 Result: 0x8097180 Result: 0x809718c Result: 0x8097198 Result: 0x80971a4 Result: 0x80971b0 Result: 0x80971bc Result: 0x80971c8 Result: 0x80971d4 Result: 0x80971e0 Result: 0x80971ec Result: 0x80971f8 Result: 0x8097204 Result: 0x8097210 Result: 0x809721c Result: 0x8097228 Result: 0x8097234 Result: 0x8097240 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 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: <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]}) 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"{[<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-2(fun-1(fun-1(fun-1(fun-2(5,fun-1(fun-2(4,fun-4(0,3,1,2))))))),fun-3(59,fun-4(fun-3(fun-3(34,7,fun-4(33,8,fun-2(fun-3(32,31,30),fun-4(28,fun-1(fun-3(fun-4(26,fun-1(fun-4(14,fun-3(15,16,fun-1(fun-4(fun-1(fun-4(22,21,20,23)),19,18,17))),13,24)),25,fun-1(fun-1(27))),11,12)),29,10)),9)),35,6),56,fun-4(55,fun-2(52,fun-3(fun-4(48,50,fun-1(49),51),47,fun-2(fun-4(37,46,fun-2(44,45),fun-3(fun-3(fun-1(42),43,fun-2(41,40)),39,38)),36))),53,54),57),58)) PASS: randgen fib(32) == 3524578 PASS: fib Integer encoding and decoding OK. Fixed point double encoding and decoding OK. Floating point double encoding and decoding OK. Writing OK for: line(box(rect(2),square(4,3)),circle(6)) Writing OK for: line(line,line) Writing OK for: line(line(0),line(1)) Writing OK for: line(10,11{childAnno}){termAnno{annoOfAnno}} Writing OK for: integer(-1) Writing OK for: real(-1.000000000000000e+00) Writing OK for: line(0){1} Reading OK for: line(box(rect(2),square(4,3)),circle(6)) Reading OK for: line(line,line) Reading OK for: line(line(0),line(1)) Reading OK for: line(10,11{childAnno}){termAnno{annoOfAnno}} Reading OK for: integer(-1) Reading OK for: real(-1.000000000000000e+00) Reading OK for: line(0){1} Chunkification OK Deep nesting OK PASS: testsafio ================== All 5 tests passed ================== [qmake[3]: Leaving directory `/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/test' [q[qmake[2]: Leaving directory `/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/test' [q[qmake[1]: Leaving directory `/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6/test' [q[pmake[1]: Entering directory `/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6' make[1]: Nothing to be done for `check-am'. make[1]: Leaving directory `/tmp/nix-build-d0sr18cw1dfrss1fnbdrkxcwwnb1kmrk-aterm.drv-0/aterm-2.6' [q[q