• check flags:
• building check-recursive
  • Making check in aterm
  • make[1]: Entering directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/aterm'
    • make[1]: Nothing to be done for `check'.
    • make[1]: Leaving directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/aterm'
  • Making check in utils
  • make[1]: Entering directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/utils'
    • make[1]: Nothing to be done for `check'.
    • make[1]: Leaving directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/utils'
  • Making check in test
  • make[1]: Entering directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/test'
    • building check
      • make check-am
      • make[2]: Entering directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/test'
        • building check-am
          • make stress primes randgen termstats fib
          • make[3]: Entering directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/test'
            • building stress.o
              • 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 -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.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 -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-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/aterm /private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/aterm/.libs/libATerm.dylib
              • creating stress
            • building primes.o
              • 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 -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-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/aterm /private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/aterm/.libs/libATerm.dylib
              • creating primes
            • building randgen.o
              • 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 -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-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/aterm /private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/aterm/.libs/libATerm.dylib
              • creating randgen
            • building termstats.o
              • 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 -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-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/aterm /private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/aterm/.libs/libATerm.dylib
              • creating termstats
            • building fib.o
              • 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 -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-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/aterm /private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/aterm/.libs/libATerm.dylib
              • creating fib
            • make[3]: Leaving directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/test'
          • make check-TESTS
          • make[3]: Entering directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/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: 0xf000c
              • Result: 0xf0018
              • Result: 0xf0024
              • Result: 0xf0030
              • Result: 0xf003c
              • Result: 0xf0048
              • Result: 0xf0054
              • Result: 0xf0060
              • Result: 0xf006c
              • Result: 0xf0078
              • Result: 0xf0084
              • Result: 0xf0090
              • Result: 0xf009c
              • Result: 0xf00a8
              • Result: 0xf00b4
              • Result: 0xf00c0
              • Result: 0xf00cc
              • Result: 0xf00d8
              • 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-4(fun-3(54,fun-1(55),fun-4(43,fun-4(51,fun-1(50),52,53),42,fun-3(44,fun-1(45),fun-3(46,49,fun-2(fun-1(47),48))))),fun-1(fun-2(fun-2(fun-2(35,fun-1(fun-1(36))),fun-1(fun-1(fun-1(fun-3(34,fun-3(fun-1(fun-4(fun-4(14,fun-2(fun-4(23,fun-1(24),21,22),fun-3(fun-1(fun-2(fun-3(16,17,18),19)),20,15)),13,12),fun-3(10,fun-2(fun-4(1,fun-4(5,4,2,3),7,fun-1(6)),8),9),11,0)),25,26),fun-3(fun-2(fun-2(fun-2(30,31),29),28),fun-2(33,32),27)))))),fun-4(38,37,39,40))),41,56)
              • PASS: randgen
              • fib(32) == 3524578
              • PASS: fib
              • ==================
              • All 4 tests passed
              • ==================
            • make[3]: Leaving directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/test'
        • make[2]: Leaving directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/test'
    • make[1]: Leaving directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/test'
  • Making check in doc
  • make[1]: Entering directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/doc'
    • building check-recursive
      • Making check in examples
      • make[2]: Entering directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/doc/examples'
        • make[2]: Nothing to be done for `check'.
        • make[2]: Leaving directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/doc/examples'
      • Making check in spec
      • make[2]: Entering directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/doc/spec'
        • make[2]: Nothing to be done for `check'.
        • make[2]: Leaving directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/doc/spec'
      • make[2]: Entering directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/doc'
        • make[2]: Nothing to be done for `check-am'.
        • make[2]: Leaving directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/doc'
    • make[1]: Leaving directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5/doc'
  • make[1]: Entering directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5'
    • make[1]: Nothing to be done for `check-am'.
    • make[1]: Leaving directory `/private/tmp/nix-build-bxs9n5r7zwxkzymic5cysrwahahnnlky-aterm.drv-0/aterm-2.5'