• 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/nix/store/1qnsc6yq7xl1x4070qclry218igazfiq-aterm/lib/...-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/nix/store/1qnsc6yq7xl1x4070qclry218igazfiq-aterm/lib/...-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/nix/store/1qnsc6yq7xl1x4070qclry218igazfiq-aterm/lib/...-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/nix/store/1qnsc6yq7xl1x4070qclry218igazfiq-aterm/lib/...-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/nix/store/1qnsc6yq7xl1x4070qclry218igazfiq-aterm/lib/...-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'