• check flags:
  • +- building check-recursive
    • Making check in aterm
    • +- make[1]: Entering directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/aterm'
      • make[1]: Nothing to be done for `check'.
      • make[1]: Leaving directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/aterm'
    • Making check in utils
    • +- make[1]: Entering directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/utils'
      • make[1]: Nothing to be done for `check'.
      • make[1]: Leaving directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/utils'
    • Making check in test
    • +- make[1]: Entering directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/test'
      • +- building check
        • make check-am
        • +- make[2]: Entering directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/test'
          • +- building check-am
            • make stress primes randgen termstats fib
            • +- make[3]: Entering directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.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 -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 -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/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/sf8vwnqm104v06p8842wx4zvm7d7wzwi-aterm-2.5pre21238/lib/...-aterm-2.5pre21238/lib
                • 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 -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/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/sf8vwnqm104v06p8842wx4zvm7d7wzwi-aterm-2.5pre21238/lib/...-aterm-2.5pre21238/lib
                • 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 -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/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/sf8vwnqm104v06p8842wx4zvm7d7wzwi-aterm-2.5pre21238/lib/...-aterm-2.5pre21238/lib
                • 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 -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/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/sf8vwnqm104v06p8842wx4zvm7d7wzwi-aterm-2.5pre21238/lib/...-aterm-2.5pre21238/lib
                • 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 -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/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/aterm /tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/aterm/.libs/libATerm.so -Wl,--rpath -Wl,/nix/store/sf8vwnqm104v06p8842wx4zvm7d7wzwi-aterm-2.5pre21238/lib/...-aterm-2.5pre21238/lib
                • creating fib
              • make[3]: Leaving directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/test'
            • make check-TESTS
            • +- make[3]: Entering directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/test'
              • +- building check-TESTS
                • destr_false_count=6, destr_true_count=3
                • Allocating 18 nodes of size 3:
                • Result: 0x8095984
                • Result: 0x8095990
                • Result: 0x809599c
                • Result: 0x80959a8
                • Result: 0x80959b4
                • Result: 0x80959c0
                • Result: 0x80959cc
                • Result: 0x80959d8
                • Result: 0x80959e4
                • Result: 0x80959f0
                • Result: 0x80959fc
                • Result: 0x8095a08
                • Result: 0x8095a14
                • Result: 0x8095a20
                • Result: 0x8095a2c
                • Result: 0x8095a38
                • Result: 0x8095a44
                • Result: 0x8095a50
                • 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 reNext 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]})
                • ad: 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-3(26,fun-1(fun-3(61,62,fun-4(fun-4(58,56,57,fun-4(29,28,30,fun-4(53,55,fun-2(fun-3(31,fun-3(fun-4(fun-4(32,fun-4(fun-3(fun-3(41,42,fun-1(fun-1(fun-2(fun-1(fun-3(38,39,37)),40)))),36,43),45,35,44),34,33),47,46,48),50,49),51),52),54))),60,59,27))),fun-1(fun-3(fun-1(fun-2(fun-4(8,fun-1(fun-2(fun-3(4,6,5),7)),fun-2(10,9),fun-2(16,fun-3(fun-3(fun-1(12),13,11),14,15))),fun-4(0,1,3,2))),fun-4(fun-2(25,24),22,23,21),fun-4(17,19,18,20))))
                • PASS: randgen
                • fib(32) == 3524578
                • PASS: fib
                • ==================
                • All 4 tests passed
                • ==================
              • make[3]: Leaving directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/test'
          • make[2]: Leaving directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/test'
      • make[1]: Leaving directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/test'
    • Making check in doc
    • +- make[1]: Entering directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/doc'
      • +- building check-recursive
        • Making check in examples
        • +- make[2]: Entering directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/doc/examples'
          • make[2]: Nothing to be done for `check'.
          • make[2]: Leaving directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/doc/examples'
        • Making check in spec
        • +- make[2]: Entering directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/doc/spec'
          • make[2]: Nothing to be done for `check'.
          • make[2]: Leaving directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/doc/spec'
        • +- make[2]: Entering directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/doc'
          • make[2]: Nothing to be done for `check-am'.
          • make[2]: Leaving directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/doc'
      • make[1]: Leaving directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5/doc'
    • +- make[1]: Entering directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5'
      • make[1]: Nothing to be done for `check-am'.
      • make[1]: Leaving directory `/tmp/nix-build-bzc489fn53mfpdq582f394idp45f14sd-aterm-2.5pre21238.drv-0/aterm-2.5'