check flags:    
building check-recursive
Making check in aterm
make[1]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm'
make[1]: Nothing to be done for `check'.
make[1]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm'
Making check in utils
make[1]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/utils'
make[1]: Nothing to be done for `check'.
make[1]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/utils'
Making check in test
make[1]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test'
building check
make  check-am
make[2]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test'
building check-am
make  stress primes randgen termstats fib
make[3]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-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=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -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=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -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/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so  -Wl,--rpath -Wl,/nix/store/vqi8ajm0z7jccvywlmq2msdy6vf1a7wd-aterm-2.5pre21238/lib
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=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -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/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so  -Wl,--rpath -Wl,/nix/store/vqi8ajm0z7jccvywlmq2msdy6vf1a7wd-aterm-2.5pre21238/lib
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=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -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/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so  -Wl,--rpath -Wl,/nix/store/vqi8ajm0z7jccvywlmq2msdy6vf1a7wd-aterm-2.5pre21238/lib
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=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -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/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so  -Wl,--rpath -Wl,/nix/store/vqi8ajm0z7jccvywlmq2msdy6vf1a7wd-aterm-2.5pre21238/lib
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=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=1 -DHAVE_LRAND48=1 -DHAVE_SRAND48=1 -DALIGNOF_VOID_P=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -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/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so  -Wl,--rpath -Wl,/nix/store/vqi8ajm0z7jccvywlmq2msdy6vf1a7wd-aterm-2.5pre21238/lib
creating fib
make[3]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test'
make  check-TESTS
make[3]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test'
building check-TESTS
destr_false_count=6, destr_true_count=3
Allocating 18 nodes of size 3:
Result: 0x66f2d8
Result: 0x66f2f0
Result: 0x66f308
Result: 0x66f320
Result: 0x66f338
Result: 0x66f350
Result: 0x66f368
Result: 0x66f380
Result: 0x66f398
Result: 0x66f3b0
Result: 0x66f3c8
Result: 0x66f3e0
Result: 0x66f3f8
Result: 0x66f410
Result: 0x66f428
Result: 0x66f440
Result: 0x66f458
Result: 0x66f470
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))) = 756
AT_calcCoreSize(1) = 24
AT_calcCoreSize(f(1,2)) = 122
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:
<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]})

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-4(32,fun-3(13,fun-4(15,16,17,fun-2(fun-4(31,30,fun-3(23,27,fun-3(25,24,26)),fun-2(28,29)),fun-1(fun-4(19,20,18,fun-2(22,21))))),14),fun-1(fun-4(10,fun-2(8,fun-1(fun-3(fun-4(5,6,7,4),fun-3(fun-1(2),3,1),0))),9,11)),12),fun-3(fun-1(fun-4(60,58,59,fun-3(fun-2(fun-2(49,50),fun-4(fun-4(43,fun-4(fun-2(37,38),39,40,41),fun-1(42),fun-1(fun-4(47,46,48,fun-1(fun-2(45,44))))),35,34,36)),57,fun-4(56,55,fun-3(53,fun-1(51),52),54)))),61,33))
PASS: randgen
fib(32) == 3524578
PASS: fib
==================
All 4 tests passed
==================
make[3]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test'
make[2]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test'
make[1]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/test'
Making check in doc
make[1]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc'
building check-recursive
Making check in examples
make[2]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc/examples'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc/examples'
Making check in spec
make[2]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc/spec'
make[2]: Nothing to be done for `check'.
make[2]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc/spec'
make[2]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc'
make[2]: Nothing to be done for `check-am'.
make[2]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc'
make[1]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5/doc'
make[1]: Entering directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5'
make[1]: Nothing to be done for `check-am'.
make[1]: Leaving directory `/tmp/nix-build-mmv1cbmrb4qxrspz4lmfxis4mh8piw7l-aterm-2.5pre21238.drv-0/aterm-2.5'