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/...-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/...-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/...-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/...-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/...-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
<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]}
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-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'