check flags:    
building check-recursive
Making check in aterm
make[1]: Entering directory `/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/aterm'
make[1]: Nothing to be done for `check'.
make[1]: Leaving directory `/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/aterm'
Making check in utils
make[1]: Entering directory `/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/utils'
make[1]: Nothing to be done for `check'.
make[1]: Leaving directory `/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/utils'
Making check in test
make[1]: Entering directory `/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/test'
building check
make  check-am
make[2]: Entering directory `/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/test'
building check-am
make  stress primes randgen termstats fib testsafio
make[3]: Entering directory `/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/test'
building stress.o
gcc -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
building terms.o
gcc -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
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-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/aterm /private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.dylib 
creating stress
building primes.o
gcc -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
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-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/aterm /private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.dylib 
creating primes
building randgen.o
gcc -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
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-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/aterm /private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.dylib 
creating randgen
building termstats.o
gcc -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
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-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/aterm /private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.dylib 
creating termstats
building fib.o
gcc -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
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-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/aterm /private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.dylib 
creating fib
building testsafio.o
gcc -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
building testsafio
/bin/sh ../libtool --tag=CC --mode=link gcc  -g -O2 -L../aterm  -o testsafio  testsafio.o -lATerm 
gcc -g -O2 -o .libs/testsafio testsafio.o  -L/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/aterm /private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.dylib 
creating testsafio
make[3]: Leaving directory `/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/test'
make  check-TESTS
make[3]: Entering directory `/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/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:
<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]})
Allocating 18 nodes of size 3:
Result: 0x2f000c
Result: 0x2f0018
Result: 0x2f0024
Result: 0x2f0030
Result: 0x2f003c
Result: 0x2f0048
Result: 0x2f0054
Result: 0x2f0060
Result: 0x2f006c
Result: 0x2f0078
Result: 0x2f0084
Result: 0x2f0090
Result: 0x2f009c
Result: 0x2f00a8
Result: 0x2f00b4
Result: 0x2f00c0
Result: 0x2f00cc
Result: 0x2f00d8
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 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"{[<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(15,17,16,fun-4(fun-1(fun-4(fun-4(fun-1(44),fun-4(fun-3(43,fun-1(42),41),fun-3(36,37,38),39,fun-1(40)),35,34),33,57,fun-2(fun-4(55,fun-1(fun-4(fun-3(46,45,47),fun-1(51),48,fun-2(49,50))),52,fun-2(53,54)),56))),32,fun-3(25,fun-3(30,31,fun-4(27,29,26,28)),fun-1(fun-2(24,23))),fun-1(fun-2(18,fun-1(fun-4(21,19,22,20)))))),fun-3(fun-1(fun-1(fun-3(11,fun-2(10,fun-2(9,fun-3(fun-2(5,fun-2(7,6)),fun-4(fun-2(1,2),3,4,fun-1(0)),8))),12))),13,fun-1(14)))
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
==================
make[3]: Leaving directory `/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/test'
make[2]: Leaving directory `/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/test'
make[1]: Leaving directory `/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6/test'
make[1]: Entering directory `/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6'
make[1]: Nothing to be done for `check-am'.
make[1]: Leaving directory `/private/tmp/nix-build-f5dra9an395pwhhcpfvp4fwq7rpfviyl-aterm.drv-0/aterm-2.6'