check flags: -
building check-recursive
-
Making check in aterm
-
make[1]: Entering directory `/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/aterm'
-
make[1]: Nothing to be done for `check'.
-
make[1]: Leaving directory `/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/aterm'
-
Making check in utils
-
make[1]: Entering directory `/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/utils'
-
make[1]: Nothing to be done for `check'.
-
make[1]: Leaving directory `/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/utils'
-
Making check in test
-
make[1]: Entering directory `/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/test'
-
building check
-
make check-am
-
make[2]: Entering directory `/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/test'
-
building check-am
-
make stress primes randgen termstats fib testsafio
-
make[3]: Entering directory `/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-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=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.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=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-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/aterm /tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/...-aterm/lib
-
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=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-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/aterm /tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/...-aterm/lib
-
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=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-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/aterm /tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/...-aterm/lib
-
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=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-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/aterm /tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/...-aterm/lib
-
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=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-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/aterm /tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/...-aterm/lib
-
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=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 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/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/aterm /tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/...-aterm/lib
-
creating testsafio
-
make[3]: Leaving directory `/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/test'
-
make check-TESTS
-
make[3]: Entering directory `/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/test'
-
building check-TESTS
-
destr_false_count=6, destr_true_count=3
-
Allocating 18 nodes of size 3:
-
Result: 0x651aa8
-
Result: 0x651ac0
-
Result: 0x651ad8
-
Result: 0x651af0
-
Result: 0x651b08
-
Result: 0x651b20
-
Result: 0x651b38
-
Result: 0x651b50
-
Result: 0x651b68
-
Result: 0x651b80
-
Result: 0x651b98
-
Result: 0x651bb0
-
Result: 0x651bc8
-
Result: 0x651be0
-
Result: 0x651bf8
-
Result: 0x651c10
-
Result: 0x651c28
-
Result: 0x651c40
-
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-4(fun-3(39,fun-4(57,58,56,fun-1(59)),fun-3(54,fun-4(fun-4(51,50,49,fun-1(fun-2(53,52))),fun-3(48,fun-1(47),fun-4(44,45,46,43)),fun-2(41,40),42),55)),fun-4(fun-4(32,31,fun-4(34,35,33,36),fun-2(fun-1(30),fun-4(28,29,fun-4(9,10,fun-4(12,13,fun-1(14),fun-3(16,15,fun-2(fun-2(17,fun-2(fun-2(19,18),20)),fun-3(21,fun-4(25,24,26,fun-1(23)),22)))),11),27))),8,38,37),fun-2(fun-1(fun-1(fun-3(5,fun-2(fun-1(fun-3(2,0,1)),fun-2(3,fun-1(4))),6))),7),60)
-
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 `/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/test'
-
make[2]: Leaving directory `/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/test'
-
make[1]: Leaving directory `/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6/test'
-
make[1]: Entering directory `/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6'
-
make[1]: Nothing to be done for `check-am'.
-
make[1]: Leaving directory `/tmp/nix-build-cg90c9lb53s0al4mfgw1y12igc4paq7k-aterm.drv-0/aterm-2.6'