• check flags:
  • Making check in aterm
  • make[1]: Entering directory `/tmp/nix-2908-1/aterm-2.5/aterm'
  • make[1]: Nothing to be done for `check'.
  • make[1]: Leaving directory `/tmp/nix-2908-1/aterm-2.5/aterm'
  • Making check in utils
  • make[1]: Entering directory `/tmp/nix-2908-1/aterm-2.5/utils'
  • make[1]: Nothing to be done for `check'.
  • make[1]: Leaving directory `/tmp/nix-2908-1/aterm-2.5/utils'
  • Making check in test
  • make[1]: Entering directory `/tmp/nix-2908-1/aterm-2.5/test'
  • make check-am
  • make[2]: Entering directory `/tmp/nix-2908-1/aterm-2.5/test'
  • make stress.exe primes.exe randgen.exe termstats.exe fib.exe
  • make[3]: Entering directory `/tmp/nix-2908-1/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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=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-2908-1/aterm-2.5/aterm /tmp/nix-2908-1/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/jcg54dw96zh435pf85z0zxypi91im8bm-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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=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-2908-1/aterm-2.5/aterm /tmp/nix-2908-1/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/jcg54dw96zh435pf85z0zxypi91im8bm-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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=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-2908-1/aterm-2.5/aterm /tmp/nix-2908-1/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/jcg54dw96zh435pf85z0zxypi91im8bm-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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=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-2908-1/aterm-2.5/aterm /tmp/nix-2908-1/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/jcg54dw96zh435pf85z0zxypi91im8bm-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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_STRDUP=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-2908-1/aterm-2.5/aterm /tmp/nix-2908-1/aterm-2.5/aterm/.libs/libATerm.dll.a -L/nix/store/jcg54dw96zh435pf85z0zxypi91im8bm-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-2908-1/aterm-2.5/test'
  • make check-TESTS
  • make[3]: Entering directory `/tmp/nix-2908-1/aterm-2.5/test'
  • 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: 005ADF44�
  • Result: 005ADF50�
  • Result: 005ADF5C�
  • Result: 005ADF68�
  • Result: 005ADF74�
  • Result: 005ADF80�
  • Result: 005ADF8C�
  • Result: 005ADF98�
  • Result: 005ADFA4�
  • Result: 005ADFB0�
  • Result: 005ADFBC�
  • Result: 005ADFC8�
  • Result: 005ADFD4�
  • Result: 005ADFE0�
  • Result: 005ADFEC�
  • Result: 005ADFF8�
  • Result: 005AE004�
  • Result: 005AE010�
  • 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+000�
  • <int>�
  • "�000000000009�123456789"�
  • AT_calcCoreSize(f(1,[2,3],<[a,b]>,1.243000000000000e+000,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+000�
  • term read: -1.230000000000000e+000�
  • term read: -1.200000000000000e+004�
  • term read: 1.230000000000000e+005�
  • term read: 1.230000000000000e-003�
  • 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-001,"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-3(fun-1(fun-4(47,fun-4(fun-1(45),44,46,fun-2(42,43)),fun-1(fun-1(fun-4(fun-3(50,49,48),57,56,fun-3(fun-3(52,53,fun-1(fun-1(51))),55,54)))),41)),fun-1(fun-1(fun-4(fun-4(6,40,fun-3(38,37,39),fun-3(fun-4(fun-3(30,25,fun-4(fun-1(29),27,28,26)),fun-1(fun-3(fun-1(fun-3(21,22,fun-4(fun-4(10,fun-2(12,11),14,13),9,8,fun-2(15,fun-1(fun-4(19,16,fun-2(17,18),20)))))),7,23)),24,31),36,fun-2(35,fun-3(33,34,fun-1(32))))),5,4,fun-3(3,fun-1(fun-2(1,0)),2)))),58)�
  • PASS: randgen
  • fib(32) == 3524578�
  • PASS: fib
  • ==================
  • All 4 tests passed
  • ==================
  • make[3]: Leaving directory `/tmp/nix-2908-1/aterm-2.5/test'
  • make[2]: Leaving directory `/tmp/nix-2908-1/aterm-2.5/test'
  • make[1]: Leaving directory `/tmp/nix-2908-1/aterm-2.5/test'
  • Making check in doc
  • make[1]: Entering directory `/tmp/nix-2908-1/aterm-2.5/doc'
  • Making check in examples
  • make[2]: Entering directory `/tmp/nix-2908-1/aterm-2.5/doc/examples'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-2908-1/aterm-2.5/doc/examples'
  • Making check in spec
  • make[2]: Entering directory `/tmp/nix-2908-1/aterm-2.5/doc/spec'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-2908-1/aterm-2.5/doc/spec'
  • make[2]: Entering directory `/tmp/nix-2908-1/aterm-2.5/doc'
  • make[2]: Nothing to be done for `check-am'.
  • make[2]: Leaving directory `/tmp/nix-2908-1/aterm-2.5/doc'
  • make[1]: Leaving directory `/tmp/nix-2908-1/aterm-2.5/doc'
  • make[1]: Entering directory `/tmp/nix-2908-1/aterm-2.5'
  • make[1]: Nothing to be done for `check-am'.
  • make[1]: Leaving directory `/tmp/nix-2908-1/aterm-2.5'