Attachment 1251987 Details for Bug 1423535 – build.log

build.log

<fdopen> (text/plain), 91.04 KB, created by Fedora Release Engineering on 2017-02-17 13:47:54 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Fedora Release Engineering

Created: 2017-02-17 13:47:54 UTC

Size: 91.04 KB

patch

obsolete

>Mock Version: 1.3.3
>Mock Version: 1.3.3
>ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv7hl --nodeps /builddir/build/SPECS/erlang-proper.spec'], shell=Falsegid=425printOutput=Falseuid=1000env={'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOME': '/builddir', 'TERM': 'vt100', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"'}logger=<mockbuild.trace_decorator.getLog object at 0xb5e6c550>chrootPath='/var/lib/mock/f26-build-7601457-694154/root'timeout=172800user='mockbuild')
>Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv7hl --nodeps /builddir/build/SPECS/erlang-proper.spec'] with env {'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOME': '/builddir', 'TERM': 'vt100', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"'} and shell False
>Building target platforms: armv7hl
>Building for target armv7hl
>Wrote: /builddir/build/SRPMS/erlang-proper-1.2-2.fc26.src.rpm
>Child return code was: 0
>ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv7hl --nodeps /builddir/build/SPECS/erlang-proper.spec'], shell=Falsegid=425printOutput=Falseuid=1000private_network=Truelogger=<mockbuild.trace_decorator.getLog object at 0xb5e6c550>env={'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOME': '/builddir', 'TERM': 'vt100', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"'}chrootPath='/var/lib/mock/f26-build-7601457-694154/root'timeout=172800user='mockbuild')
>Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv7hl --nodeps /builddir/build/SPECS/erlang-proper.spec'] with env {'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOME': '/builddir', 'TERM': 'vt100', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"'} and shell False
>Building target platforms: armv7hl
>Building for target armv7hl
>Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.YZQui8
>+ umask 022
>+ cd /builddir/build/BUILD
>+ cd /builddir/build/BUILD
>+ rm -rf proper-1.2
>+ /usr/bin/gzip -dc /builddir/build/SOURCES/proper-1.2.tar.gz
>+ /usr/bin/tar -xof -
>+ STATUS=0
>+ '[' 0 -ne 0 ']'
>+ cd proper-1.2
>+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
>+ exit 0
>Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.eU8qR7
>+ umask 022
>+ cd /builddir/build/BUILD
>*.app file (or *.app.src template) was found.
>+ cd proper-1.2
>+ '[' '!' -f src/proper.app.src -a '!' -f src/proper.app -a '!' -f ebin/proper.app ']'
>+ echo '*.app file (or *.app.src template) was found.'
>+ CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard'
>+ export CFLAGS
>+ CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard'
>+ export CXXFLAGS
>+ FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -I/usr/lib/gfortran/modules'
>+ export FFLAGS
>+ FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -I/usr/lib/gfortran/modules'
>+ export FCFLAGS
>+ LDFLAGS='-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
>+ export LDFLAGS
>+ VSN=1.2
>+ export VSN
>+ REBAR_VSN_CACHE_FILE=/builddir/build/BUILD/proper-1.2/vsn.cache
>+ export REBAR_VSN_CACHE_FILE
>+ echo '{{git, "/builddir/build/BUILD/proper-1.2"}, "1.2"}.'
>+ REBAR_DEPS_PREFER_LIBS=TRUE
>+ export REBAR_DEPS_PREFER_LIBS
>+ IGNORE_MISSING_DEPS=TRUE
>+ export IGNORE_MISSING_DEPS
>+ /usr/bin/rebar compile skip_deps=true -vv
>DEBUG: Consult config file "/builddir/build/BUILD/proper-1.2/rebar.config"
>DEBUG: Rebar location: "/usr/bin/rebar"
>DEBUG: Consult config file "/builddir/build/BUILD/proper-1.2/src/proper.app.src"
>DEBUG: Available deps: []
>DEBUG: Missing deps  : []
>DEBUG: Plugins requested while processing /builddir/build/BUILD/proper-1.2: []
>DEBUG: Predirs: []
>==> proper-1.2 (compile)
>INFO:  sh info:
>	cwd: "/builddir/build/BUILD/proper-1.2"
>	cmd: make include/compile_flags.hrl
>DEBUG: 	opts: [{env,[{"REBAR_DEPS_DIR",
>                      "/builddir/build/BUILD/proper-1.2/deps"},
>                     {"ERL_LIBS","/builddir/build/BUILD/proper-1.2/deps"},
>                     {"AR","ar"},
>                     {"AS","as"},
>                     {"BINDIR","/usr/lib/erlang/erts-8.2.2/bin"},
>                     {"CC","cc"},
>                     {"CFLAGS",
>                      "-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard"},
>                     {"CONFIG_SITE","NONE"},
>                     {"CPP","cpp"},
>                     {"CXX","c++"},
>                     {"CXXFLAGS",
>                      "-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard"},
>                     {"DRV_CC_TEMPLATE",
>                      "cc -c -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.9.2/include\" -I\"/usr/lib/erlang/erts-8.2.2/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
>                     {"DRV_CFLAGS",
>                      "-g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.9.2/include\" -I\"/usr/lib/erlang/erts-8.2.2/include\"  "},
>                     {"DRV_CXX_TEMPLATE",
>                      "c++ -c -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.9.2/include\" -I\"/usr/lib/erlang/erts-8.2.2/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
>                     {"DRV_LDFLAGS",
>                      "-shared  -L\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\" -lerl_interface -lei"},
>                     {"DRV_LINK_CXX_TEMPLATE",
>                      "c++ $PORT_IN_FILES -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -shared  -L\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
>                     {"DRV_LINK_TEMPLATE",
>                      "cc $PORT_IN_FILES -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -shared  -L\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
>                     {"EMU","beam"},
>                     {"ERLANG_ARCH","32"},
>                     {"ERLANG_TARGET","19.2.3-armv7hl-redhat-linux-gnu-32"},
>                     {"ERL_CFLAGS",
>                      " -I\"/usr/lib/erlang/lib/erl_interface-3.9.2/include\" -I\"/usr/lib/erlang/erts-8.2.2/include\"  "},
>                     {"ERL_EI_LIBDIR",
>                      "\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\""},
>                     {"ERL_LDFLAGS",
>                      " -L\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\" -lerl_interface -lei"},
>                     {"EXE_CC_TEMPLATE",
>                      "cc -c -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.9.2/include\" -I\"/usr/lib/erlang/erts-8.2.2/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
>                     {"EXE_CFLAGS",
>                      "-g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.9.2/include\" -I\"/usr/lib/erlang/erts-8.2.2/include\"  "},
>                     {"EXE_CXX_TEMPLATE",
>                      "c++ -c -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.9.2/include\" -I\"/usr/lib/erlang/erts-8.2.2/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
>                     {"EXE_LDFLAGS",
>                      " -L\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\" -lerl_interface -lei"},
>                     {"EXE_LINK_CXX_TEMPLATE",
>                      "c++ $PORT_IN_FILES -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld  -L\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
>                     {"EXE_LINK_TEMPLATE",
>                      "cc $PORT_IN_FILES -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld  -L\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
>                     {"FCFLAGS",
>                      "-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -I/usr/lib/gfortran/modules"},
>                     {"FFLAGS",
>                      "-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -I/usr/lib/gfortran/modules"},
>                     {"HISTCONTROL","ignoredups"},
>                     {"HISTSIZE","1000"},
>                     {"HOME","/builddir"},
>                     {"HOSTNAME",[]},
>                     {"IGNORE_MISSING_DEPS","TRUE"},
>                     {"LANG","C"},
>                     {"LD","ld"},
>                     {"LDFLAGS",
>                      "-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld"},
>                     {"LOGNAME","mockbuild"},
>                     {"MAIL","/var/spool/mail/mockbuild"},
>                     {"NM","nm"},
>                     {"OBJCOPY","objcopy"},
>                     {"OBJDUMP","objdump"},
>                     {"OLDPWD","/builddir/build/BUILD"},
>                     {"PATH",
>                      "/usr/lib/erlang/erts-8.2.2/bin:/usr/lib/erlang/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/sbin"},
>                     {"PKG_CONFIG_PATH",
>                      ":/usr/lib/pkgconfig:/usr/share/pkgconfig"},
>                     {"PROGNAME","erl"},
>                     {"PROMPT_COMMAND",
>                      "printf \"\\033]0;<mock-chroot>\\007\""},
>                     {"PWD","/builddir/build/BUILD/proper-1.2"},
>                     {"RANLIB","ranlib"},
>                     {"REBAR_DEPS_PREFER_LIBS","TRUE"},
>                     {"REBAR_VSN_CACHE_FILE",
>                      "/builddir/build/BUILD/proper-1.2/vsn.cache"},
>                     {"ROOTDIR","/usr/lib/erlang"},
>                     {"RPM_ARCH","arm"},
>                     {"RPM_BUILD_DIR","/builddir/build/BUILD"},
>                     {"RPM_BUILD_ROOT",
>                      "/builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm"},
>                     {"RPM_DOC_DIR","/usr/share/doc"},
>                     {"RPM_LD_FLAGS",
>                      "-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld"},
>                     {"RPM_OPT_FLAGS",
>                      "-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard"},
>                     {"RPM_OS","linux"},
>                     {"RPM_PACKAGE_NAME","erlang-proper"},
>                     {"RPM_PACKAGE_RELEASE","2.fc26"},
>                     {"RPM_PACKAGE_VERSION","1.2"},
>                     {"RPM_SOURCE_DIR","/builddir/build/SOURCES"},
>                     {"SHELL","/bin/bash"},
>                     {"SHLVL","2"},
>                     {"STRIP","strip"},
>                     {"TERM","vt100"},
>                     {"USER","mockbuild"},
>                     {"VSN","1.2"},
>                     {"REBAR","/usr/bin/rebar"}]},
>               {abort_on_error,"Command [compile] failed!\n"}]
>DEBUG: Port Cmd: "make include/compile_flags.hrl"
>Port Opts: [{env,[{"REBAR_DEPS_DIR","/builddir/build/BUILD/proper-1.2/deps"},
>                  {"ERL_LIBS","/builddir/build/BUILD/proper-1.2/deps"},
>                  {"AR","ar"},
>                  {"AS","as"},
>                  {"BINDIR","/usr/lib/erlang/erts-8.2.2/bin"},
>                  {"CC","cc"},
>                  {"CFLAGS",
>                   "-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard"},
>                  {"CONFIG_SITE","NONE"},
>                  {"CPP","cpp"},
>                  {"CXX","c++"},
>                  {"CXXFLAGS",
>                   "-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard"},
>                  {"DRV_CC_TEMPLATE",
>                   "cc -c -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.9.2/include\" -I\"/usr/lib/erlang/erts-8.2.2/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
>                  {"DRV_CFLAGS",
>                   "-g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.9.2/include\" -I\"/usr/lib/erlang/erts-8.2.2/include\"  "},
>                  {"DRV_CXX_TEMPLATE",
>                   "c++ -c -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.9.2/include\" -I\"/usr/lib/erlang/erts-8.2.2/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
>                  {"DRV_LDFLAGS",
>                   "-shared  -L\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\" -lerl_interface -lei"},
>                  {"DRV_LINK_CXX_TEMPLATE",
>                   "c++ $PORT_IN_FILES -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -shared  -L\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
>                  {"DRV_LINK_TEMPLATE",
>                   "cc $PORT_IN_FILES -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -shared  -L\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
>                  {"EMU","beam"},
>                  {"ERLANG_ARCH","32"},
>                  {"ERLANG_TARGET","19.2.3-armv7hl-redhat-linux-gnu-32"},
>                  {"ERL_CFLAGS",
>                   " -I\"/usr/lib/erlang/lib/erl_interface-3.9.2/include\" -I\"/usr/lib/erlang/erts-8.2.2/include\"  "},
>                  {"ERL_EI_LIBDIR",
>                   "\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\""},
>                  {"ERL_LDFLAGS",
>                   " -L\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\" -lerl_interface -lei"},
>                  {"EXE_CC_TEMPLATE",
>                   "cc -c -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.9.2/include\" -I\"/usr/lib/erlang/erts-8.2.2/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
>                  {"EXE_CFLAGS",
>                   "-g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.9.2/include\" -I\"/usr/lib/erlang/erts-8.2.2/include\"  "},
>                  {"EXE_CXX_TEMPLATE",
>                   "c++ -c -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.9.2/include\" -I\"/usr/lib/erlang/erts-8.2.2/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
>                  {"EXE_LDFLAGS",
>                   " -L\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\" -lerl_interface -lei"},
>                  {"EXE_LINK_CXX_TEMPLATE",
>                   "c++ $PORT_IN_FILES -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld  -L\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
>                  {"EXE_LINK_TEMPLATE",
>                   "cc $PORT_IN_FILES -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld  -L\"/usr/lib/erlang/lib/erl_interface-3.9.2/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
>                  {"FCFLAGS",
>                   "-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -I/usr/lib/gfortran/modules"},
>                  {"FFLAGS",
>                   "-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -I/usr/lib/gfortran/modules"},
>                  {"HISTCONTROL","ignoredups"},
>                  {"HISTSIZE","1000"},
>                  {"HOME","/builddir"},
>                  {"HOSTNAME",[]},
>                  {"IGNORE_MISSING_DEPS","TRUE"},
>                  {"LANG","C"},
>                  {"LD","ld"},
>                  {"LDFLAGS",
>                   "-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld"},
>                  {"LOGNAME","mockbuild"},
>                  {"MAIL","/var/spool/mail/mockbuild"},
>                  {"NM","nm"},
>                  {"OBJCOPY","objcopy"},
>                  {"OBJDUMP","objdump"},
>                  {"OLDPWD","/builddir/build/BUILD"},
>                  {"PATH",
>                   "/usr/lib/erlang/erts-8.2.2/bin:/usr/lib/erlang/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/sbin"},
>                  {"PKG_CONFIG_PATH",
>                   ":/usr/lib/pkgconfig:/usr/share/pkgconfig"},
>                  {"PROGNAME","erl"},
>                  {"PROMPT_COMMAND","printf \"\\033]0;<mock-chroot>\\007\""},
>                  {"PWD","/builddir/build/BUILD/proper-1.2"},
>                  {"RANLIB","ranlib"},
>                  {"REBAR_DEPS_PREFER_LIBS","TRUE"},
>                  {"REBAR_VSN_CACHE_FILE",
>                   "/builddir/build/BUILD/proper-1.2/vsn.cache"},
>                  {"ROOTDIR","/usr/lib/erlang"},
>                  {"RPM_ARCH","arm"},
>                  {"RPM_BUILD_DIR","/builddir/build/BUILD"},
>                  {"RPM_BUILD_ROOT",
>                   "/builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm"},
>                  {"RPM_DOC_DIR","/usr/share/doc"},
>                  {"RPM_LD_FLAGS",
>                   "-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld"},
>                  {"RPM_OPT_FLAGS",
>                   "-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard"},
>                  {"RPM_OS","linux"},
>                  {"RPM_PACKAGE_NAME","erlang-proper"},
>                  {"RPM_PACKAGE_RELEASE","2.fc26"},
>                  {"RPM_PACKAGE_VERSION","1.2"},
>                  {"RPM_SOURCE_DIR","/builddir/build/SOURCES"},
>                  {"SHELL","/bin/bash"},
>                  {"SHLVL","2"},
>                  {"STRIP","strip"},
>                  {"TERM","vt100"},
>                  {"USER","mockbuild"},
>                  {"VSN","1.2"},
>                  {"REBAR","/usr/bin/rebar"}]},
>            exit_status,
>            {line,16384},
>            use_stdio,stderr_to_stdout,hide]
>./write_compile_flags include/compile_flags.hrl
>DEBUG: Matched required ERTS version: 8.2.2 -> .*
>DEBUG: Matched required OTP release: 19 -> .*
>DEBUG: Min OTP version unconfigured
>DEBUG: erl_opts [debug_info,debug_info,report_warnings,
>                 {warn_format,1},
>                 warn_export_vars,warn_obsolete_guard,warn_unused_import,
>                 warn_missing_spec,warn_untyped_record]
>DEBUG: Files to compile first: ["src/strip_types.erl","src/vararg.erl",
>                                "src/proper_types.erl"]
>Compiled src/strip_types.erl
>Compiled src/vararg.erl
>Compiled src/proper_types.erl
>DEBUG: Starting 3 compile worker(s)
>Compiled src/proper_orddict.erl
>Compiled src/proper_dict.erl
>Compiled src/proper_sets.erl
>Compiled src/proper_ordsets.erl
>Compiled src/proper_queue.erl
>Compiled src/proper_unused_imports_remover.erl
>Compiled src/proper_unicode.erl
>Compiled src/proper_gb_sets.erl
>Compiled src/proper_arith.erl
>Compiled src/proper_gb_trees.erl
>Compiled src/proper_gen.erl
>Compiled src/proper_statem.erl
>Compiled src/proper_transformer.erl
>Compiled src/proper_fsm.erl
>Compiled src/proper_prop_remover.erl
>Compiled src/proper_shrink.erl
>Compiled src/proper_array.erl
>Compiled src/proper_symb.erl
>DEBUG: Worker exited cleanly
>Compiled src/proper.erl
>DEBUG: Worker exited cleanly
>Compiled src/proper_typeserver.erl
>DEBUG: Worker exited cleanly
>INFO:  No app_vars_file defined.
>DEBUG: Postdirs: []
>+ '[' -f doc/overview.edoc ']'
>+ /usr/bin/rebar doc -vv
>DEBUG: Consult config file "/builddir/build/BUILD/proper-1.2/rebar.config"
>DEBUG: Rebar location: "/usr/bin/rebar"
>DEBUG: Consult config file "/builddir/build/BUILD/proper-1.2/src/proper.app.src"
>DEBUG: Available deps: []
>DEBUG: Missing deps  : []
>DEBUG: Plugins requested while processing /builddir/build/BUILD/proper-1.2: []
>DEBUG: Predirs: []
>==> proper-1.2 (doc)
>DEBUG: "doc/overview.edoc" is more recent than "doc/edoc-info": {{2016,6,13},{23,4,49}} > 0
>INFO:  Regenerating edocs for proper
>./src/proper_array.erl: at line 44: warning: duplicated type array/1
>./src/proper_typeserver.erl, function start/0: at line 271: warning: tag @private_type not recognized.
>./src/proper_typeserver.erl, function start/0: at line 274: warning: tag @private_type not recognized.
>./src/proper_typeserver.erl, function start/0: at line 278: warning: tag @private_type not recognized.
>./src/proper_typeserver.erl, function start/0: at line 281: warning: tag @private_type not recognized.
>./src/proper_typeserver.erl, function start/0: at line 315: warning: tag @private_type not recognized.
>./src/proper_typeserver.erl, function start/0: at line 317: warning: tag @alias not recognized.
>./src/proper_typeserver.erl, function start/0: at line 321: warning: tag @alias not recognized.
>./src/proper_typeserver.erl: at line 275: warning: duplicated type mod_exp_funs
>./src/proper_typeserver.erl: at line 272: warning: duplicated type mod_exp_types
>./src/proper.erl, function grow_size/1: at line 389: warning: tag @alias not recognized.
>./src/proper.erl, function grow_size/1: at line 391: warning: tag @alias not recognized.
>./src/proper.erl, function grow_size/1: at line 518: warning: tag @alias not recognized.
>./src/proper.erl, function grow_size/1: at line 524: warning: tag @private_type not recognized.
>./src/proper.erl: at line 530: warning: duplicated type call_record
>./src/proper_gb_trees.erl: at line 43: warning: duplicated type gb_tree/2
>./src/proper_gen.erl, function safe_generate/1: at line 61: warning: tag @private_type not recognized.
>./src/proper_gen.erl, function safe_generate/1: at line 70: warning: tag @private_type not recognized.
>./src/proper_gen.erl, function safe_generate/1: at line 72: warning: tag @private_type not recognized.
>./src/proper_gen.erl, function safe_generate/1: at line 76: warning: tag @private_type not recognized.
>./src/proper_gen.erl, function safe_generate/1: at line 78: warning: tag @private_type not recognized.
>./src/proper_gen.erl, function safe_generate/1: at line 82: warning: tag @private_type not recognized.
>./src/proper_gen.erl, function safe_generate/1: at line 87: warning: tag @private_type not recognized.
>./src/proper_gen.erl, function safe_generate/1: at line 89: warning: tag @private_type not recognized.
>./src/proper_gen.erl, function safe_generate/1: at line 93: warning: tag @private_type not recognized.
>./src/proper_gen.erl, function safe_generate/1: at line 95: warning: tag @private_type not recognized.
>./src/proper_gen.erl, function safe_generate/1: at line 97: warning: tag @private_type not recognized.
>./src/proper_gen.erl, function safe_generate/1: at line 99: warning: tag @private_type not recognized.
>./src/proper_gb_sets.erl: at line 46: warning: duplicated type gb_set/1
>./src/proper_unicode.erl, function unicode_codepoint/1: at line 47: warning: tag @private_type not recognized.
>./src/proper_unicode.erl, function unicode_codepoint/1: at line 48: warning: tag @alias not recognized.
>./src/proper_queue.erl: at line 43: warning: duplicated type queue/1
>./src/proper_types.erl, function cook_outer/1: at line 214: warning: tag @alias not recognized.
>./src/proper_types.erl, function cook_outer/1: at line 216: warning: tag @private_type not recognized.
>./src/proper_types.erl, function cook_outer/1: at line 217: warning: tag @alias not recognized.
>./src/proper_types.erl, function cook_outer/1: at line 219: warning: tag @private_type not recognized.
>./src/proper_types.erl, function cook_outer/1: at line 220: warning: tag @alias not recognized.
>./src/proper_dict.erl: at line 47: warning: duplicated type dict/2
>./src/proper_sets.erl: at line 44: warning: duplicated type set/1
>DEBUG: Postdirs: []
>+ ./make_doc
>+ exit 0
>Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.T8Y4DB
>+ umask 022
>+ cd /builddir/build/BUILD
>+ '[' /builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm '!=' / ']'
>+ rm -rf /builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm
>++ dirname /builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm
>+ mkdir -p /builddir/build/BUILDROOT
>+ mkdir /builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm
>+ cd proper-1.2
>+ '[' proper '!=' '' ']'
>+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm/usr/lib/erlang/lib/proper-1.2/
>+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm/usr/lib/erlang/lib/proper-1.2/ebin/
>+ '[' -f ebin/proper.app ']'
>+ /usr/bin/install -m 0644 -p ebin/proper.app /builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm/usr/lib/erlang/lib/proper-1.2/ebin/
>+ /usr/bin/install -m 0644 -p ebin/proper.beam ebin/proper_arith.beam ebin/proper_array.beam ebin/proper_dict.beam ebin/proper_fsm.beam ebin/proper_gb_sets.beam ebin/proper_gb_trees.beam ebin/proper_gen.beam ebin/proper_orddict.beam ebin/proper_ordsets.beam ebin/proper_prop_remover.beam ebin/proper_queue.beam ebin/proper_sets.beam ebin/proper_shrink.beam ebin/proper_statem.beam ebin/proper_symb.beam ebin/proper_transformer.beam ebin/proper_types.beam ebin/proper_typeserver.beam ebin/proper_unicode.beam ebin/proper_unused_imports_remover.beam ebin/strip_types.beam ebin/vararg.beam /builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm/usr/lib/erlang/lib/proper-1.2/ebin/
>+ '[' -d include/ ']'
>++ ls include/compile_flags.hrl include/proper.hrl include/proper_common.hrl include/proper_internal.hrl include/proper_param_adts.hrl
>+ for erlincludefile in `ls include/*.hrl`
>+ /usr/bin/install -D -m 0644 -p include/compile_flags.hrl /builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm/usr/lib/erlang/lib/proper-1.2/include/compile_flags.hrl
>+ for erlincludefile in `ls include/*.hrl`
>+ /usr/bin/install -D -m 0644 -p include/proper.hrl /builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm/usr/lib/erlang/lib/proper-1.2/include/proper.hrl
>+ for erlincludefile in `ls include/*.hrl`
>+ /usr/bin/install -D -m 0644 -p include/proper_common.hrl /builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm/usr/lib/erlang/lib/proper-1.2/include/proper_common.hrl
>+ for erlincludefile in `ls include/*.hrl`
>+ /usr/bin/install -D -m 0644 -p include/proper_internal.hrl /builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm/usr/lib/erlang/lib/proper-1.2/include/proper_internal.hrl
>+ for erlincludefile in `ls include/*.hrl`
>+ /usr/bin/install -D -m 0644 -p include/proper_param_adts.hrl /builddir/build/BUILDROOT/erlang-proper-1.2-2.fc26.arm/usr/lib/erlang/lib/proper-1.2/include/proper_param_adts.hrl
>+ '[' -d priv/ ']'
>+ /usr/lib/rpm/check-buildroot
>+ /usr/lib/rpm/brp-compress
>+ /usr/lib/rpm/brp-strip /usr/bin/strip
>+ /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump
>+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
>+ /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1
>+ /usr/lib/rpm/brp-python-hardlink
>Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.Ak971C
>+ umask 022
>+ cd /builddir/build/BUILD
>+ cd proper-1.2
>+ CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard'
>+ export CFLAGS
>+ CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard'
>+ export CXXFLAGS
>+ FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -I/usr/lib/gfortran/modules'
>+ export FFLAGS
>+ FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16  -mfloat-abi=hard -I/usr/lib/gfortran/modules'
>+ export FCFLAGS
>+ LDFLAGS='-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld'
>+ export LDFLAGS
>+ VSN=1.2
>+ export VSN
>+ REBAR_VSN_CACHE_FILE=/builddir/build/BUILD/proper-1.2/vsn.cache
>+ export REBAR_VSN_CACHE_FILE
>+ REBAR_DEPS_PREFER_LIBS=TRUE
>+ export REBAR_DEPS_PREFER_LIBS
>+ /usr/bin/rebar eunit skip_deps=true -vv
>DEBUG: Consult config file "/builddir/build/BUILD/proper-1.2/rebar.config"
>DEBUG: Rebar location: "/usr/bin/rebar"
>DEBUG: Consult config file "/builddir/build/BUILD/proper-1.2/src/proper.app.src"
>DEBUG: Available deps: []
>DEBUG: Missing deps  : []
>DEBUG: Plugins requested while processing /builddir/build/BUILD/proper-1.2: []
>DEBUG: Predirs: []
>==> proper-1.2 (eunit)
>DEBUG: Matched required ERTS version: 8.2.2 -> .*
>DEBUG: Matched required OTP release: 19 -> .*
>DEBUG: Min OTP version unconfigured
>DEBUG: Triq availability: false
>DEBUG: PropEr availability: true
>DEBUG: QuickCheck availability: false
>INFO:  sh info:
>	cwd: "/builddir/build/BUILD/proper-1.2"
>	cmd: cp -R src/proper_sets.erl src/proper_orddict.erl src/proper_dict.erl src/proper_types.erl src/vararg.erl src/proper_queue.erl src/proper_unused_imports_remover.erl src/strip_types.erl src/proper_ordsets.erl src/proper_unicode.erl src/proper_gb_sets.erl src/proper_statem.erl src/proper_arith.erl src/proper_gen.erl src/proper_gb_trees.erl src/proper_transformer.erl src/proper_fsm.erl src/proper.erl src/proper_prop_remover.erl src/proper_shrink.erl src/proper_typeserver.erl src/proper_array.erl src/proper_symb.erl test/rec_test1.erl test/rec_props_test2.erl test/proper_specs_tests.erl test/no_native_parse_test.erl test/types_test2.erl test/post_false.erl test/types_test1.erl test/prec_false.erl test/proper_print.erl test/ets_statem.erl test/rec_test2.erl test/weird_types.erl test/error_statem.erl test/let_tests.erl test/symb_statem.erl test/ets_counter.erl test/nogen_statem.erl test/pdict_statem.erl test/command_props.erl test/perf_max_size.erl test/auto_export_test1.erl test/pdict_fsm.erl test/rec_props_test1.erl test/proper_tests.erl test/improper_lists_statem.erl test/numbers_fsm.erl test/auto_export_test2.erl test/to_remove.erl ".eunit"
>DEBUG: 	opts: [{use_stdout,false},abort_on_error]
>DEBUG: Port Cmd: "cp -R src/proper_sets.erl src/proper_orddict.erl src/proper_dict.erl src/proper_types.erl src/vararg.erl src/proper_queue.erl src/proper_unused_imports_remover.erl src/strip_types.erl src/proper_ordsets.erl src/proper_unicode.erl src/proper_gb_sets.erl src/proper_statem.erl src/proper_arith.erl src/proper_gen.erl src/proper_gb_trees.erl src/proper_transformer.erl src/proper_fsm.erl src/proper.erl src/proper_prop_remover.erl src/proper_shrink.erl src/proper_typeserver.erl src/proper_array.erl src/proper_symb.erl test/rec_test1.erl test/rec_props_test2.erl test/proper_specs_tests.erl test/no_native_parse_test.erl test/types_test2.erl test/post_false.erl test/types_test1.erl test/prec_false.erl test/proper_print.erl test/ets_statem.erl test/rec_test2.erl test/weird_types.erl test/error_statem.erl test/let_tests.erl test/symb_statem.erl test/ets_counter.erl test/nogen_statem.erl test/pdict_statem.erl test/command_props.erl test/perf_max_size.erl test/auto_export_test1.erl test/pdict_fsm.erl test/rec_props_test1.erl test/proper_tests.erl test/improper_lists_statem.erl test/numbers_fsm.erl test/auto_export_test2.erl test/to_remove.erl \".eunit\""
>Port Opts: [exit_status,{line,16384},use_stdio,stderr_to_stdout,hide]
>DEBUG: erl_opts [{d,'TEST'},
>                 debug_info,debug_info,report_warnings,
>                 {warn_format,1},
>                 warn_export_vars,warn_obsolete_guard,warn_unused_import,
>                 warn_missing_spec,warn_untyped_record,
>                 {d,'PROPER'}]
>DEBUG: Files to compile first: ["src/strip_types.erl","src/vararg.erl",
>                                "src/strip_types.erl","src/vararg.erl",
>                                "src/proper_transformer.erl",
>                                "src/proper_prop_remover.erl",
>                                "src/proper_typeserver.erl","src/proper.erl",
>                                "src/proper_symb.erl","src/proper_types.erl",
>                                "src/proper_unicode.erl",
>                                "src/proper_unused_imports_remover.erl",
>                                "src/proper_statem.erl"]
>Compiled src/strip_types.erl
>Compiled src/vararg.erl
>Compiled src/strip_types.erl
>Compiled src/vararg.erl
>Compiled src/proper_transformer.erl
>Compiled src/proper_prop_remover.erl
>Compiled src/proper_typeserver.erl
>Compiled src/proper.erl
>Compiled src/proper_symb.erl
>Compiled src/proper_types.erl
>Compiled src/proper_unicode.erl
>Compiled src/proper_unused_imports_remover.erl
>Compiled src/proper_statem.erl
>DEBUG: Starting 3 compile worker(s)
>Compiled src/proper_orddict.erl
>Compiled src/proper_sets.erl
>Compiled src/proper_dict.erl
>Compiled src/proper_ordsets.erl
>Compiled src/proper_gb_sets.erl
>Compiled src/proper_queue.erl
>Compiled src/proper_gb_trees.erl
>Compiled src/proper_arith.erl
>Compiled src/proper_fsm.erl
>Compiled src/proper_array.erl
>test/rec_test1.erl:39: Warning: type bb() is unused
>test/rec_test1.erl:39: Warning: type bb() is unused
>Compiled test/rec_test1.erl
>Compiled src/proper_gen.erl
>Compiled src/proper_shrink.erl
>test/rec_props_test2.erl:33: Warning: missing specification for function prop_2/0
>test/rec_props_test2.erl:33: Warning: missing specification for function prop_2/0
>Compiled test/rec_props_test2.erl
>test/types_test2.erl:30: Warning: record rec1 is unused
>test/types_test2.erl:30: Warning: record rec1 is unused
>Compiled test/types_test2.erl
>test/no_native_parse_test.erl:33: Warning: missing specification for function prop_1/0
>test/no_native_parse_test.erl:33: Warning: missing specification for function prop_1/0
>Compiled test/no_native_parse_test.erl
>test/types_test1.erl:28: Warning: record rec1 has field(s) without type information
>test/types_test1.erl:31: Warning: type type1() is unused
>test/types_test1.erl:32: Warning: type type2(_) is unused
>test/types_test1.erl:33: Warning: type rem1() is unused
>test/types_test1.erl:34: Warning: type rem2() is unused
>test/types_test1.erl:28: Warning: record rec1 has field(s) without type information
>test/types_test1.erl:31: Warning: type type1() is unused
>test/types_test1.erl:32: Warning: type type2(_) is unused
>test/types_test1.erl:33: Warning: type rem1() is unused
>test/types_test1.erl:34: Warning: type rem2() is unused
>Compiled test/types_test1.erl
>Compiled test/post_false.erl
>Compiled test/prec_false.erl
>test/proper_specs_tests.erl:0: Warning: missing specification for function test/0
>test/proper_specs_tests.erl:45: Warning: missing specification for function check1_specs_test_/0
>test/proper_specs_tests.erl:48: Warning: missing specification for function check2_specs_test_/0
>test/proper_specs_tests.erl:51: Warning: missing specification for function check3_specs_test_/0
>test/proper_specs_tests.erl:58: Warning: missing specification for function check1_specs_test/0
>test/proper_specs_tests.erl:76: Warning: missing specification for function check2_specs_test/0
>test/proper_specs_tests.erl:100: Warning: missing specification for function check3_specs_test/0
>test/proper_specs_tests.erl:0: Warning: missing specification for function test/0
>test/proper_specs_tests.erl:45: Warning: missing specification for function check1_specs_test_/0
>test/proper_specs_tests.erl:48: Warning: missing specification for function check2_specs_test_/0
>test/proper_specs_tests.erl:51: Warning: missing specification for function check3_specs_test_/0
>test/proper_specs_tests.erl:58: Warning: missing specification for function check1_specs_test/0
>test/proper_specs_tests.erl:76: Warning: missing specification for function check2_specs_test/0
>test/proper_specs_tests.erl:100: Warning: missing specification for function check3_specs_test/0
>Compiled test/proper_specs_tests.erl
>test/rec_test2.erl:29: Warning: opaque type b() is not exported
>test/rec_test2.erl:29: Warning: opaque type b() is not exported
>Compiled test/rec_test2.erl
>test/weird_types.erl:35: Warning: type hd(_) is unused
>test/weird_types.erl:35: Warning: type hd(_) is unused
>Compiled test/weird_types.erl
>test/error_statem.erl:29: Warning: record state has field(s) without type information
>test/error_statem.erl:29: Warning: record state has field(s) without type information
>Compiled test/error_statem.erl
>test/proper_print.erl:0: Warning: missing specification for function test/0
>test/proper_print.erl:33: Warning: missing specification for function stacktrace_test_/0
>test/proper_print.erl:0: Warning: missing specification for function test/0
>test/proper_print.erl:33: Warning: missing specification for function stacktrace_test_/0
>Compiled test/proper_print.erl
>test/let_tests.erl:33: Warning: missing specification for function prop_1/0
>test/let_tests.erl:36: Warning: type rng() is unused
>test/let_tests.erl:40: Warning: missing specification for function prop_2/0
>test/let_tests.erl:33: Warning: missing specification for function prop_1/0
>test/let_tests.erl:36: Warning: type rng() is unused
>test/let_tests.erl:40: Warning: missing specification for function prop_2/0
>Compiled test/let_tests.erl
>test/symb_statem.erl:29: Warning: record state has field(s) without type information
>test/symb_statem.erl:29: Warning: record state has field(s) without type information
>Compiled test/symb_statem.erl
>Compiled test/nogen_statem.erl
>test/ets_statem.erl:76: Warning: missing specification for function initial_state/1
>test/ets_statem.erl:79: Warning: missing specification for function command/1
>test/ets_statem.erl:89: Warning: missing specification for function precondition/2
>test/ets_statem.erl:100: Warning: missing specification for function next_state/3
>test/ets_statem.erl:175: Warning: missing specification for function postcondition/3
>test/ets_statem.erl:218: Warning: missing specification for function prop_ets/0
>test/ets_statem.erl:231: Warning: missing specification for function prop_parallel_ets/0
>test/ets_statem.erl:247: Warning: missing specification for function set_up/0
>test/ets_statem.erl:253: Warning: missing specification for function clean_up/0
>test/ets_statem.erl:76: Warning: missing specification for function initial_state/1
>test/ets_statem.erl:79: Warning: missing specification for function command/1
>test/ets_statem.erl:89: Warning: missing specification for function precondition/2
>test/ets_statem.erl:100: Warning: missing specification for function next_state/3
>test/ets_statem.erl:175: Warning: missing specification for function postcondition/3
>test/ets_statem.erl:218: Warning: missing specification for function prop_ets/0
>test/ets_statem.erl:231: Warning: missing specification for function prop_parallel_ets/0
>test/ets_statem.erl:247: Warning: missing specification for function set_up/0
>test/ets_statem.erl:253: Warning: missing specification for function clean_up/0
>Compiled test/ets_statem.erl
>Compiled test/ets_counter.erl
>test/perf_max_size.erl:34: Warning: missing specification for function prop_identity/0
>test/perf_max_size.erl:34: Warning: missing specification for function prop_identity/0
>Compiled test/perf_max_size.erl
>test/pdict_statem.erl:39: Warning: missing specification for function test/0
>test/pdict_statem.erl:42: Warning: missing specification for function test/1
>test/pdict_statem.erl:45: Warning: missing specification for function prop_pdict/0
>test/pdict_statem.erl:56: Warning: missing specification for function set_up/0
>test/pdict_statem.erl:58: Warning: missing specification for function clean_up/0
>test/pdict_statem.erl:64: Warning: missing specification for function initial_state/0
>test/pdict_statem.erl:67: Warning: missing specification for function command/1
>test/pdict_statem.erl:76: Warning: missing specification for function precondition/2
>test/pdict_statem.erl:83: Warning: missing specification for function postcondition/3
>test/pdict_statem.erl:92: Warning: missing specification for function next_state/3
>test/pdict_statem.erl:39: Warning: missing specification for function test/0
>test/pdict_statem.erl:42: Warning: missing specification for function test/1
>test/pdict_statem.erl:45: Warning: missing specification for function prop_pdict/0
>test/pdict_statem.erl:56: Warning: missing specification for function set_up/0
>test/pdict_statem.erl:58: Warning: missing specification for function clean_up/0
>test/pdict_statem.erl:64: Warning: missing specification for function initial_state/0
>test/pdict_statem.erl:67: Warning: missing specification for function command/1
>test/pdict_statem.erl:76: Warning: missing specification for function precondition/2
>test/pdict_statem.erl:83: Warning: missing specification for function postcondition/3
>test/pdict_statem.erl:92: Warning: missing specification for function next_state/3
>test/auto_export_test1.erl:31: Warning: missing specification for function prop_1/0
>Compiled test/pdict_statem.erl
>test/auto_export_test1.erl:31: Warning: missing specification for function prop_1/0
>Compiled test/auto_export_test1.erl
>test/rec_props_test1.erl:33: Warning: missing specification for function prop_1/0
>test/rec_props_test1.erl:33: Warning: missing specification for function prop_1/0
>Compiled test/rec_props_test1.erl
>test/command_props.erl:40: Warning: missing specification for function prop_index/0
>test/command_props.erl:45: Warning: missing specification for function prop_all_insertions/0
>test/command_props.erl:57: Warning: missing specification for function prop_insert_all/0
>test/command_props.erl:72: Warning: missing specification for function prop_zip/0
>test/command_props.erl:87: Warning: missing specification for function prop_state_after/0
>test/command_props.erl:96: Warning: missing specification for function prop_parallel_ets_counter/0
>test/command_props.erl:104: Warning: missing specification for function prop_check_true/0
>test/command_props.erl:40: Warning: missing specification for function prop_index/0
>test/command_props.erl:45: Warning: missing specification for function prop_all_insertions/0
>test/command_props.erl:57: Warning: missing specification for function prop_insert_all/0
>test/command_props.erl:72: Warning: missing specification for function prop_zip/0
>test/command_props.erl:87: Warning: missing specification for function prop_state_after/0
>test/command_props.erl:96: Warning: missing specification for function prop_parallel_ets_counter/0
>test/command_props.erl:104: Warning: missing specification for function prop_check_true/0
>Compiled test/command_props.erl
>test/improper_lists_statem.erl:14: Warning: missing specification for function command/1
>test/improper_lists_statem.erl:17: Warning: missing specification for function initial_state/0
>test/improper_lists_statem.erl:20: Warning: missing specification for function next_state/3
>test/improper_lists_statem.erl:23: Warning: missing specification for function precondition/2
>test/improper_lists_statem.erl:26: Warning: missing specification for function postcondition/3
>test/improper_lists_statem.erl:29: Warning: missing specification for function foo/1
>test/improper_lists_statem.erl:32: Warning: missing specification for function prop_simple/0
>test/improper_lists_statem.erl:14: Warning: missing specification for function command/1
>test/improper_lists_statem.erl:17: Warning: missing specification for function initial_state/0
>test/improper_lists_statem.erl:20: Warning: missing specification for function next_state/3
>test/improper_lists_statem.erl:23: Warning: missing specification for function precondition/2
>test/improper_lists_statem.erl:26: Warning: missing specification for function postcondition/3
>test/improper_lists_statem.erl:29: Warning: missing specification for function foo/1
>test/improper_lists_statem.erl:32: Warning: missing specification for function prop_simple/0
>Compiled test/improper_lists_statem.erl
>test/pdict_fsm.erl:39: Warning: missing specification for function test/0
>test/pdict_fsm.erl:42: Warning: missing specification for function test/1
>test/pdict_fsm.erl:45: Warning: missing specification for function prop_pdict/0
>test/pdict_fsm.erl:58: Warning: missing specification for function set_up/0
>test/pdict_fsm.erl:60: Warning: missing specification for function clean_up/0
>test/pdict_fsm.erl:69: Warning: missing specification for function initial_state/0
>test/pdict_fsm.erl:71: Warning: missing specification for function initial_state_data/0
>test/pdict_fsm.erl:73: Warning: missing specification for function empty_pdict/1
>test/pdict_fsm.erl:76: Warning: missing specification for function non_empty_pdict/1
>test/pdict_fsm.erl:82: Warning: missing specification for function precondition/4
>test/pdict_fsm.erl:91: Warning: missing specification for function postcondition/5
>test/pdict_fsm.erl:100: Warning: missing specification for function next_state_data/5
>test/pdict_fsm.erl:110: Warning: missing specification for function weight/3
>test/pdict_fsm.erl:114: Warning: missing specification for function sample_commands/0
>test/pdict_fsm.erl:39: Warning: missing specification for function test/0
>test/pdict_fsm.erl:42: Warning: missing specification for function test/1
>test/pdict_fsm.erl:45: Warning: missing specification for function prop_pdict/0
>test/pdict_fsm.erl:58: Warning: missing specification for function set_up/0
>test/pdict_fsm.erl:60: Warning: missing specification for function clean_up/0
>test/pdict_fsm.erl:69: Warning: missing specification for function initial_state/0
>test/pdict_fsm.erl:71: Warning: missing specification for function initial_state_data/0
>test/pdict_fsm.erl:73: Warning: missing specification for function empty_pdict/1
>test/pdict_fsm.erl:76: Warning: missing specification for function non_empty_pdict/1
>test/pdict_fsm.erl:82: Warning: missing specification for function precondition/4
>test/pdict_fsm.erl:91: Warning: missing specification for function postcondition/5
>test/pdict_fsm.erl:100: Warning: missing specification for function next_state_data/5
>test/pdict_fsm.erl:110: Warning: missing specification for function weight/3
>test/pdict_fsm.erl:114: Warning: missing specification for function sample_commands/0
>Compiled test/pdict_fsm.erl
>test/auto_export_test2.erl:32: Warning: function prop_1/0 is unused
>test/auto_export_test2.erl:32: Warning: function prop_1/0 is unused
>Compiled test/auto_export_test2.erl
>Compiled test/to_remove.erl
>DEBUG: Worker exited cleanly
>Compiled test/numbers_fsm.erl
>DEBUG: Worker exited cleanly
>test/proper_tests.erl:0: Warning: missing specification for function test/0
>test/proper_tests.erl:699: Warning: missing specification for function simple_types_test_/0
>test/proper_tests.erl:702: Warning: missing specification for function constructed_types_test_/0
>test/proper_tests.erl:708: Warning: missing specification for function shrinks_to_test_/0
>test/proper_tests.erl:714: Warning: missing specification for function native_shrinks_to_test_/0
>test/proper_tests.erl:720: Warning: missing specification for function cant_generate_test_/0
>test/proper_tests.erl:723: Warning: missing specification for function native_cant_translate_test_/0
>test/proper_tests.erl:727: Warning: missing specification for function remote_native_types_test_/0
>test/proper_tests.erl:731: Warning: missing specification for function recursive_native_types_test_/0
>test/proper_tests.erl:735: Warning: missing specification for function recursive_native_cant_translate_test_/0
>test/proper_tests.erl:740: Warning: missing specification for function random_functions_test_/0
>test/proper_tests.erl:745: Warning: missing specification for function parse_transform_test_/0
>test/proper_tests.erl:752: Warning: missing specification for function native_type_props_test_/0
>test/proper_tests.erl:768: Warning: this clause cannot match because a previous clause at line 768 always matches
>test/proper_tests.erl:839: Warning: type bin4() is unused
>test/proper_tests.erl:840: Warning: type bits42() is unused
>test/proper_tests.erl:841: Warning: type bits5x() is unused
>test/proper_tests.erl:842: Warning: type bits7x() is unused
>test/proper_tests.erl:844: Warning: record untyped has field(s) without type information
>test/proper_tests.erl:845: Warning: type untyped() is unused
>test/proper_tests.erl:847: Warning: missing specification for function true_props_test_/0
>test/proper_tests.erl:896: Warning: missing specification for function false_props_test_/0
>test/proper_tests.erl:911: Warning: this clause cannot match because a previous clause at line 911 always matches
>test/proper_tests.erl:917: Warning: this clause cannot match because a previous clause at line 917 always matches
>test/proper_tests.erl:932: Warning: this clause cannot match because a previous clause at line 932 always matches
>test/proper_tests.erl:938: Warning: this clause cannot match because a previous clause at line 938 always matches
>test/proper_tests.erl:943: Warning: this clause cannot match because a previous clause at line 943 always matches
>test/proper_tests.erl:944: Warning: this clause cannot match because a previous clause at line 944 always matches
>test/proper_tests.erl:945: Warning: this clause cannot match because a previous clause at line 945 always matches
>test/proper_tests.erl:974: Warning: this clause cannot match because a previous clause at line 974 always matches
>test/proper_tests.erl:975: Warning: this clause cannot match because a previous clause at line 975 always matches
>test/proper_tests.erl:976: Warning: this clause cannot match because a previous clause at line 976 always matches
>test/proper_tests.erl:978: Warning: missing specification for function error_props_test_/0
>test/proper_tests.erl:1007: Warning: missing specification for function eval_test_/0
>test/proper_tests.erl:1011: Warning: missing specification for function pretty_print_test_/0
>test/proper_tests.erl:1015: Warning: missing specification for function not_defined_test_/0
>test/proper_tests.erl:1019: Warning: missing specification for function options_test_/0
>test/proper_tests.erl:1028: Warning: this clause cannot match because a previous clause at line 1028 always matches
>test/proper_tests.erl:1044: Warning: missing specification for function adts_test_/0
>test/proper_tests.erl:1052: Warning: this clause cannot match because a previous clause at line 1052 always matches
>test/proper_tests.erl:1056: Warning: missing specification for function parameter_test_/0
>test/proper_tests.erl:1064: Warning: missing specification for function zip_test_/0
>test/proper_tests.erl:1068: Warning: missing specification for function command_names_test_/0
>test/proper_tests.erl:1072: Warning: missing specification for function command_names_parallel1_test_/0
>test/proper_tests.erl:1076: Warning: missing specification for function command_names_parallel2_test_/0
>test/proper_tests.erl:1080: Warning: missing specification for function command_names_parallel3_test_/0
>test/proper_tests.erl:1084: Warning: missing specification for function command_names_parallel4_test_/0
>test/proper_tests.erl:1088: Warning: missing specification for function valid_cmds_test_/0
>test/proper_tests.erl:1092: Warning: missing specification for function invalid_cmds_test_/0
>test/proper_tests.erl:1098: Warning: missing specification for function state_after_test_/0
>test/proper_tests.erl:1102: Warning: missing specification for function cannot_generate_commands_test_/0
>test/proper_tests.erl:1106: Warning: missing specification for function can_generate_commands0_test_/0
>test/proper_tests.erl:1110: Warning: missing specification for function can_generate_commands1_test_/0
>test/proper_tests.erl:1114: Warning: missing specification for function can_generate_parallel_commands0_test_/0
>test/proper_tests.erl:1119: Warning: missing specification for function can_generate_parallel_commands1_test_/0
>test/proper_tests.erl:1126: Warning: missing specification for function seeded_runs_return_same_result_test_/0
>test/proper_tests.erl:1130: Warning: missing specification for function run_valid_commands_test_/0
>test/proper_tests.erl:1134: Warning: missing specification for function run_invalid_precondition_test_/0
>test/proper_tests.erl:1139: Warning: missing specification for function run_init_error_test_/0
>test/proper_tests.erl:1144: Warning: missing specification for function run_postcondition_false_test/0
>test/proper_tests.erl:1148: Warning: missing specification for function run_exception_test/0
>test/proper_tests.erl:1153: Warning: missing specification for function get_next_test_/0
>test/proper_tests.erl:1158: Warning: missing specification for function mk_first_comb_test_/0
>test/proper_tests.erl:1162: Warning: missing specification for function args_not_defined_test/0
>test/proper_tests.erl:1166: Warning: missing specification for function command_props_test_/0
>test/proper_tests.erl:1170: Warning: missing specification for function can_generate_fsm_commands_test_/0
>test/proper_tests.erl:1174: Warning: missing specification for function transition_target_test_/0
>test/proper_tests.erl:1177: Warning: missing specification for function dollar_only_cp_test_/0
>test/proper_tests.erl:1185: Warning: missing specification for function sampleshrink_test_/0
>test/proper_tests.erl:1200: Warning: missing specification for function max_size_test/0
>test/proper_tests.erl:1320: Warning: type my_native_type() is unused
>test/proper_tests.erl:1322: Warning: type type_and_fun() is unused
>test/proper_tests.erl:1324: Warning: type type_only() is unused
>test/proper_tests.erl:1325: Warning: type id(_) is unused
>test/proper_tests.erl:1326: Warning: type lof() is unused
>test/proper_tests.erl:0: Warning: missing specification for function test/0
>test/proper_tests.erl:699: Warning: missing specification for function simple_types_test_/0
>test/proper_tests.erl:702: Warning: missing specification for function constructed_types_test_/0
>test/proper_tests.erl:708: Warning: missing specification for function shrinks_to_test_/0
>test/proper_tests.erl:714: Warning: missing specification for function native_shrinks_to_test_/0
>test/proper_tests.erl:720: Warning: missing specification for function cant_generate_test_/0
>test/proper_tests.erl:723: Warning: missing specification for function native_cant_translate_test_/0
>test/proper_tests.erl:727: Warning: missing specification for function remote_native_types_test_/0
>test/proper_tests.erl:731: Warning: missing specification for function recursive_native_types_test_/0
>test/proper_tests.erl:735: Warning: missing specification for function recursive_native_cant_translate_test_/0
>test/proper_tests.erl:740: Warning: missing specification for function random_functions_test_/0
>test/proper_tests.erl:745: Warning: missing specification for function parse_transform_test_/0
>test/proper_tests.erl:752: Warning: missing specification for function native_type_props_test_/0
>test/proper_tests.erl:768: Warning: this clause cannot match because a previous clause at line 768 always matches
>test/proper_tests.erl:839: Warning: type bin4() is unused
>test/proper_tests.erl:840: Warning: type bits42() is unused
>test/proper_tests.erl:841: Warning: type bits5x() is unused
>test/proper_tests.erl:842: Warning: type bits7x() is unused
>test/proper_tests.erl:844: Warning: record untyped has field(s) without type information
>test/proper_tests.erl:845: Warning: type untyped() is unused
>test/proper_tests.erl:847: Warning: missing specification for function true_props_test_/0
>test/proper_tests.erl:896: Warning: missing specification for function false_props_test_/0
>test/proper_tests.erl:911: Warning: this clause cannot match because a previous clause at line 911 always matches
>test/proper_tests.erl:917: Warning: this clause cannot match because a previous clause at line 917 always matches
>test/proper_tests.erl:932: Warning: this clause cannot match because a previous clause at line 932 always matches
>test/proper_tests.erl:938: Warning: this clause cannot match because a previous clause at line 938 always matches
>test/proper_tests.erl:943: Warning: this clause cannot match because a previous clause at line 943 always matches
>test/proper_tests.erl:944: Warning: this clause cannot match because a previous clause at line 944 always matches
>test/proper_tests.erl:945: Warning: this clause cannot match because a previous clause at line 945 always matches
>test/proper_tests.erl:974: Warning: this clause cannot match because a previous clause at line 974 always matches
>test/proper_tests.erl:975: Warning: this clause cannot match because a previous clause at line 975 always matches
>test/proper_tests.erl:976: Warning: this clause cannot match because a previous clause at line 976 always matches
>test/proper_tests.erl:978: Warning: missing specification for function error_props_test_/0
>test/proper_tests.erl:1007: Warning: missing specification for function eval_test_/0
>test/proper_tests.erl:1011: Warning: missing specification for function pretty_print_test_/0
>test/proper_tests.erl:1015: Warning: missing specification for function not_defined_test_/0
>test/proper_tests.erl:1019: Warning: missing specification for function options_test_/0
>test/proper_tests.erl:1028: Warning: this clause cannot match because a previous clause at line 1028 always matches
>test/proper_tests.erl:1044: Warning: missing specification for function adts_test_/0
>test/proper_tests.erl:1052: Warning: this clause cannot match because a previous clause at line 1052 always matches
>test/proper_tests.erl:1056: Warning: missing specification for function parameter_test_/0
>test/proper_tests.erl:1064: Warning: missing specification for function zip_test_/0
>test/proper_tests.erl:1068: Warning: missing specification for function command_names_test_/0
>test/proper_tests.erl:1072: Warning: missing specification for function command_names_parallel1_test_/0
>test/proper_tests.erl:1076: Warning: missing specification for function command_names_parallel2_test_/0
>test/proper_tests.erl:1080: Warning: missing specification for function command_names_parallel3_test_/0
>test/proper_tests.erl:1084: Warning: missing specification for function command_names_parallel4_test_/0
>test/proper_tests.erl:1088: Warning: missing specification for function valid_cmds_test_/0
>test/proper_tests.erl:1092: Warning: missing specification for function invalid_cmds_test_/0
>test/proper_tests.erl:1098: Warning: missing specification for function state_after_test_/0
>test/proper_tests.erl:1102: Warning: missing specification for function cannot_generate_commands_test_/0
>test/proper_tests.erl:1106: Warning: missing specification for function can_generate_commands0_test_/0
>test/proper_tests.erl:1110: Warning: missing specification for function can_generate_commands1_test_/0
>test/proper_tests.erl:1114: Warning: missing specification for function can_generate_parallel_commands0_test_/0
>test/proper_tests.erl:1119: Warning: missing specification for function can_generate_parallel_commands1_test_/0
>test/proper_tests.erl:1126: Warning: missing specification for function seeded_runs_return_same_result_test_/0
>test/proper_tests.erl:1130: Warning: missing specification for function run_valid_commands_test_/0
>test/proper_tests.erl:1134: Warning: missing specification for function run_invalid_precondition_test_/0
>test/proper_tests.erl:1139: Warning: missing specification for function run_init_error_test_/0
>test/proper_tests.erl:1144: Warning: missing specification for function run_postcondition_false_test/0
>test/proper_tests.erl:1148: Warning: missing specification for function run_exception_test/0
>test/proper_tests.erl:1153: Warning: missing specification for function get_next_test_/0
>test/proper_tests.erl:1158: Warning: missing specification for function mk_first_comb_test_/0
>test/proper_tests.erl:1162: Warning: missing specification for function args_not_defined_test/0
>test/proper_tests.erl:1166: Warning: missing specification for function command_props_test_/0
>test/proper_tests.erl:1170: Warning: missing specification for function can_generate_fsm_commands_test_/0
>test/proper_tests.erl:1174: Warning: missing specification for function transition_target_test_/0
>test/proper_tests.erl:1177: Warning: missing specification for function dollar_only_cp_test_/0
>test/proper_tests.erl:1185: Warning: missing specification for function sampleshrink_test_/0
>test/proper_tests.erl:1200: Warning: missing specification for function max_size_test/0
>test/proper_tests.erl:1320: Warning: type my_native_type() is unused
>test/proper_tests.erl:1322: Warning: type type_and_fun() is unused
>test/proper_tests.erl:1324: Warning: type type_only() is unused
>test/proper_tests.erl:1325: Warning: type id(_) is unused
>test/proper_tests.erl:1326: Warning: type lof() is unused
>Compiled test/proper_tests.erl
>DEBUG: Worker exited cleanly
>======================== EUnit ========================
>module 'proper_ordsets'
>module 'numbers_fsm'
>module 'perf_max_size'
>module 'proper_statem'
>module 'proper_gb_trees'
>module 'proper'
>  module 'proper_tests'
>    proper_tests:700: simple_types_test_...[0.225 s] ok
>    proper_tests:700: simple_types_test_...[0.220 s] ok
>    proper_tests:700: simple_types_test_...[0.221 s] ok
>    proper_tests:700: simple_types_test_...[0.215 s] ok
>    proper_tests:700: simple_types_test_...[0.217 s] ok
>    proper_tests:700: simple_types_test_...[0.207 s] ok
>    proper_tests:700: simple_types_test_...[0.270 s] ok
>    proper_tests:700: simple_types_test_...[0.227 s] ok
>    proper_tests:700: simple_types_test_...[0.227 s] ok
>    proper_tests:700: simple_types_test_...[0.211 s] ok
>    proper_tests:700: simple_types_test_...[0.212 s] ok
>    proper_tests:700: simple_types_test_...[0.002 s] ok
>    proper_tests:700: simple_types_test_...[0.001 s] ok
>    proper_tests:700: simple_types_test_...[0.001 s] ok
>    proper_tests:700: simple_types_test_...[0.001 s] ok
>    proper_tests:700: simple_types_test_...[0.002 s] ok
>    proper_tests:700: simple_types_test_...[0.001 s] ok
>    proper_tests:700: simple_types_test_...[0.002 s] ok
>    proper_tests:700: simple_types_test_...[0.208 s] ok
>    proper_tests:700: simple_types_test_...[0.208 s] ok
>    proper_tests:700: simple_types_test_...[0.208 s] ok
>    proper_tests:700: simple_types_test_...[0.215 s] ok
>    proper_tests:700: simple_types_test_...[0.207 s] ok
>    proper_tests:700: simple_types_test_...[0.220 s] ok
>    proper_tests:700: simple_types_test_...[0.222 s] ok
>    proper_tests:700: simple_types_test_...[0.214 s] ok
>    proper_tests:700: simple_types_test_...[0.210 s] ok
>    proper_tests:700: simple_types_test_...[0.218 s] ok
>    proper_tests:700: simple_types_test_...[0.224 s] ok
>    proper_tests:700: simple_types_test_...[0.257 s] ok
>    proper_tests:700: simple_types_test_...[0.236 s] ok
>    proper_tests:700: simple_types_test_...[0.008 s] ok
>    proper_tests:700: simple_types_test_...[0.002 s] ok
>    proper_tests:700: simple_types_test_...[0.002 s] ok
>    proper_tests:700: simple_types_test_...[0.220 s] ok
>    proper_tests:700: simple_types_test_...[0.227 s] ok
>    proper_tests:700: simple_types_test_...[0.003 s] ok
>    proper_tests:700: simple_types_test_...[0.250 s] ok
>    proper_tests:700: simple_types_test_...[0.230 s] ok
>    proper_tests:700: simple_types_test_...[0.216 s] ok
>    proper_tests:700: simple_types_test_...[0.004 s] ok
>    proper_tests:700: simple_types_test_...[0.009 s] ok
>    proper_tests:700: simple_types_test_...[0.018 s] ok
>    proper_tests:700: simple_types_test_...[0.035 s] ok
>    proper_tests:700: simple_types_test_...[0.002 s] ok
>    proper_tests:700: simple_types_test_...[0.210 s] ok
>    proper_tests:700: simple_types_test_...[0.002 s] ok
>    proper_tests:700: simple_types_test_...[0.005 s] ok
>    proper_tests:700: simple_types_test_...[0.004 s] ok
>    proper_tests:700: simple_types_test_...[0.209 s] ok
>    proper_tests:700: simple_types_test_...[0.206 s] ok
>    proper_tests:700: simple_types_test_...[0.208 s] ok
>    proper_tests:700: simple_types_test_...[0.206 s] ok
>    proper_tests:700: simple_types_test_...[0.214 s] ok
>    proper_tests:700: simple_types_test_...[0.007 s] ok
>    proper_tests:700: simple_types_test_...[0.002 s] ok
>    proper_tests:700: simple_types_test_...[0.003 s] ok
>    proper_tests:700: simple_types_test_...[0.207 s] ok
>    proper_tests:700: simple_types_test_...[0.209 s] ok
>    proper_tests:700: simple_types_test_...[0.208 s] ok
>    proper_tests:700: simple_types_test_...[0.002 s] ok
>    proper_tests:700: simple_types_test_...[0.219 s] ok
>    proper_tests:700: simple_types_test_...[0.011 s] ok
>    proper_tests:700: simple_types_test_...[0.255 s] ok
>    proper_tests:700: simple_types_test_...[0.387 s] ok
>    proper_tests:700: simple_types_test_...[0.241 s] ok
>    proper_tests:700: simple_types_test_...[0.222 s] ok
>    proper_tests:700: simple_types_test_...[0.229 s] ok
>    proper_tests:703: constructed_types_test_...[0.225 s] ok
>    proper_tests:703: constructed_types_test_...[0.003 s] ok
>    proper_tests:703: constructed_types_test_...[0.008 s] ok
>    proper_tests:703: constructed_types_test_...[0.002 s] ok
>    proper_tests:703: constructed_types_test_...[0.001 s] ok
>    proper_tests:703: constructed_types_test_...[0.001 s] ok
>    proper_tests:703: constructed_types_test_...[0.003 s] ok
>    proper_tests:703: constructed_types_test_...[0.256 s] ok
>    proper_tests:703: constructed_types_test_...[0.001 s] ok
>    proper_tests:703: constructed_types_test_...[0.011 s] ok
>    proper_tests:703: constructed_types_test_...[1.068 s] ok
>    proper_tests:703: constructed_types_test_...[0.403 s] ok
>    proper_tests:703: constructed_types_test_...[0.241 s] ok
>    proper_tests:703: constructed_types_test_...[0.220 s] ok
>    proper_tests:703: constructed_types_test_...[0.218 s] ok
>    proper_tests:703: constructed_types_test_...[0.214 s] ok
>    proper_tests:703: constructed_types_test_...[0.217 s] ok
>    proper_tests:703: constructed_types_test_...[0.221 s] ok
>    proper_tests:703: constructed_types_test_...[0.218 s] ok
>    proper_tests:703: constructed_types_test_...[0.003 s] ok
>    proper_tests:703: constructed_types_test_...[0.001 s] ok
>    proper_tests:703: constructed_types_test_...[0.002 s] ok
>    proper_tests:703: constructed_types_test_...[0.002 s] ok
>    proper_tests:703: constructed_types_test_...[0.002 s] ok
>    proper_tests:703: constructed_types_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.010 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.003 s] ok
>    proper_tests:709: shrinks_to_test_...[0.003 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.005 s] ok
>    proper_tests:709: shrinks_to_test_...[0.006 s] ok
>    proper_tests:709: shrinks_to_test_...[0.004 s] ok
>    proper_tests:709: shrinks_to_test_...[0.005 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.003 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.011 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.003 s] ok
>    proper_tests:709: shrinks_to_test_...[0.004 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.003 s] ok
>    proper_tests:709: shrinks_to_test_...[0.007 s] ok
>    proper_tests:709: shrinks_to_test_...[0.007 s] ok
>    proper_tests:709: shrinks_to_test_...[0.007 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.006 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.003 s] ok
>    proper_tests:709: shrinks_to_test_...[0.009 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.004 s] ok
>    proper_tests:709: shrinks_to_test_...[0.012 s] ok
>    proper_tests:709: shrinks_to_test_...[0.009 s] ok
>    proper_tests:709: shrinks_to_test_...[0.008 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.006 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.017 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.004 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.003 s] ok
>    proper_tests:709: shrinks_to_test_...[0.003 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.001 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:709: shrinks_to_test_...[0.002 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.039 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.108 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.116 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.030 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.019 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.015 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.098 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.035 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.097 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.030 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.020 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.061 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.065 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.056 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.043 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.039 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.125 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.045 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.036 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.040 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.119 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.134 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.059 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.140 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.141 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.143 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.123 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.132 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.053 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.039 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.043 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.037 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.040 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.048 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.030 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.039 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.051 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.055 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.119 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.186 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.059 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.100 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.057 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.040 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.041 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.130 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.074 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.066 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.134 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.062 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.044 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.063 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.052 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.054 s] ok
>    proper_tests:715: native_shrinks_to_test_...[1.055 s] ok
>    proper_tests:721: cant_generate_test_...[0.002 s] ok
>    proper_tests:721: cant_generate_test_...[0.001 s] ok
>    proper_tests:721: cant_generate_test_...ok
>    proper_tests:721: cant_generate_test_...ok
>    proper_tests:721: cant_generate_test_...[0.001 s] ok
>    proper_tests:721: cant_generate_test_...[0.008 s] ok
>    proper_tests:721: cant_generate_test_...[0.004 s] ok
>    proper_tests:721: cant_generate_test_...ok
>    proper_tests:721: cant_generate_test_...[0.009 s] ok
>    proper_tests:721: cant_generate_test_...[0.002 s] ok
>    proper_tests:724: native_cant_translate_test_...ok
>    proper_tests:724: native_cant_translate_test_...[0.058 s] ok
>    proper_tests:724: native_cant_translate_test_...[0.002 s] ok
>    proper_tests:724: native_cant_translate_test_...[0.010 s] ok
>    proper_tests:724: native_cant_translate_test_...[0.001 s] ok
>    proper_tests:724: native_cant_translate_test_...[0.001 s] ok
>    proper_tests:724: native_cant_translate_test_...[0.001 s] ok
>    proper_tests:724: native_cant_translate_test_...[0.001 s] ok
>    proper_tests:724: native_cant_translate_test_...[0.001 s] ok
>    proper_tests:728: remote_native_types_test_...[0.001 s] ok
>    proper_tests:728: remote_native_types_test_...[0.002 s] ok
>    proper_tests:728: remote_native_types_test_...[0.001 s] ok
>    proper_tests:728: remote_native_types_test_...[0.001 s] ok
>    proper_tests:728: remote_native_types_test_...[0.001 s] ok
>    proper_tests:728: remote_native_types_test_...[0.002 s] ok
>    proper_tests:728: remote_native_types_test_...[0.002 s] ok
>    proper_tests:728: remote_native_types_test_...[0.001 s] ok
>    proper_tests:728: remote_native_types_test_...[0.002 s] ok
>    proper_tests:728: remote_native_types_test_...[0.002 s] ok
>    proper_tests:728: remote_native_types_test_...[0.002 s] ok
>    proper_tests:728: remote_native_types_test_...[0.002 s] ok
>    proper_tests:728: remote_native_types_test_...[0.002 s] ok
>    proper_tests:728: remote_native_types_test_...[0.002 s] ok
>    proper_tests:728: remote_native_types_test_...[0.001 s] ok
>    proper_tests:728: remote_native_types_test_...[0.003 s] ok
>    proper_tests:732: recursive_native_types_test_...[0.172 s] ok
>    proper_tests:732: recursive_native_types_test_...[0.008 s] ok
>    proper_tests:732: recursive_native_types_test_...[0.094 s] ok
>    proper_tests:732: recursive_native_types_test_...[0.080 s] ok
>    proper_tests:732: recursive_native_types_test_...[0.034 s] ok
>    proper_tests:732: recursive_native_types_test_...[0.011 s] ok
>    proper_tests:732: recursive_native_types_test_...[0.034 s] ok
>    proper_tests:732: recursive_native_types_test_...[0.112 s] ok
>    proper_tests:732: recursive_native_types_test_...[0.009 s] ok
>    proper_tests:732: recursive_native_types_test_...[0.039 s] ok
>    proper_tests:732: recursive_native_types_test_...[0.014 s] ok
>    proper_tests:732: recursive_native_types_test_...[0.036 s] ok
>    proper_tests:732: recursive_native_types_test_...[0.012 s] ok
>    proper_tests:736: recursive_native_cant_translate_test_...[0.002 s] ok
>    proper_tests:736: recursive_native_cant_translate_test_...[0.001 s] ok
>    proper_tests:736: recursive_native_cant_translate_test_...[0.001 s] ok
>    proper_tests:736: recursive_native_cant_translate_test_...[0.001 s] ok
>    proper_tests:736: recursive_native_cant_translate_test_...[0.002 s] ok
>    proper_tests:736: recursive_native_cant_translate_test_...[0.001 s] ok
>    proper_tests:736: recursive_native_cant_translate_test_...[0.001 s] ok
>    proper_tests:736: recursive_native_cant_translate_test_...[0.001 s] ok
>    proper_tests:741: random_functions_test_...[0.001 s] ok
>    proper_tests:742: random_functions_test_...[0.023 s] ok
>    proper_tests:741: random_functions_test_...[0.002 s] ok
>    proper_tests:742: random_functions_test_...[0.023 s] ok
>    proper_tests:741: random_functions_test_...ok
>    proper_tests:742: random_functions_test_...[0.022 s] ok
>    proper_tests:741: random_functions_test_...ok
>    proper_tests:742: random_functions_test_...[0.022 s] ok
>    proper_tests:746: parse_transform_test_...[0.012 s] ok
>    proper_tests:747: parse_transform_test_...[0.002 s] ok
>    proper_tests:748: parse_transform_test_...[0.003 s] ok
>    proper_tests:749: parse_transform_test_...[0.160 s] ok
>    proper_tests:750: parse_transform_test_...[0.006 s] ok
>    proper_tests:753: native_type_props_test_...[0.498 s] ok
>    proper_tests:755: native_type_props_test_...[0.523 s] ok
>    proper_tests:758: native_type_props_test_...[0.545 s] ok
>    proper_tests:763: native_type_props_test_...[0.517 s] ok
>    proper_tests:765: native_type_props_test_...[0.036 s] ok
>    proper_tests:766: native_type_props_test_...[0.470 s] ok
>    proper_tests:767: native_type_props_test_...[0.012 s] ok
>    proper_tests:768: native_type_props_test_...[0.439 s] ok
>    proper_tests:769: native_type_props_test_...[0.572 s] ok
>    proper_tests:770: native_type_props_test_...ok
>    proper_tests:771: native_type_props_test_...[0.008 s] ok
>    proper_tests:779: native_type_props_test_...[0.488 s] ok
>    proper_tests:780: native_type_props_test_...[0.024 s] ok
>    proper_tests:781: native_type_props_test_...[0.024 s] ok
>    proper_tests:782: native_type_props_test_...[0.480 s] ok
>    proper_tests:785: native_type_props_test_...[0.483 s] ok
>    proper_tests:786: native_type_props_test_...[0.487 s] ok
>    proper_tests:788: native_type_props_test_...ok
>    proper_tests:793: native_type_props_test_...[0.788 s] ok
>    proper_tests:795: native_type_props_test_...[0.524 s] ok
>    proper_tests:796: native_type_props_test_...[0.504 s] ok
>    proper_tests:798: native_type_props_test_...[0.457 s] ok
>    Shrinking tuples
>      All elements are generators
>        proper_tests:801: native_type_props_test_...[0.005 s] ok
>        proper_tests:802: native_type_props_test_...[0.004 s] ok
>        [done in 0.015 s]
>      Some elements are generators
>        proper_tests:804: native_type_props_test_...[0.003 s] ok
>        proper_tests:805: native_type_props_test_...[0.002 s] ok
>        proper_tests:806: native_type_props_test_...[0.002 s] ok
>        proper_tests:807: native_type_props_test_...[0.002 s] ok
>        [done in 0.021 s]
>      All elements are consts
>        proper_tests:809: native_type_props_test_...[0.002 s] ok
>        proper_tests:810: native_type_props_test_...[0.001 s] ok
>        [done in 0.009 s]
>      [done in 0.045 s]
>    Shrinking fixed lists
>      All elements are generators
>        proper_tests:813: native_type_props_test_...[0.003 s] ok
>        proper_tests:814: native_type_props_test_...[0.002 s] ok
>        proper_tests:815: native_type_props_test_...[0.003 s] ok
>        [done in 0.017 s]
>      Some elements are generators
>        proper_tests:817: native_type_props_test_...[0.002 s] ok
>        proper_tests:818: native_type_props_test_...[0.002 s] ok
>        proper_tests:819: native_type_props_test_...[0.002 s] ok
>        proper_tests:820: native_type_props_test_...[0.002 s] ok
>        proper_tests:821: native_type_props_test_...[0.002 s] ok
>        proper_tests:822: native_type_props_test_...[0.002 s] ok
>        [done in 0.030 s]
>      All elements are consts
>        proper_tests:824: native_type_props_test_...[0.002 s] ok
>        proper_tests:825: native_type_props_test_...[0.001 s] ok
>        proper_tests:826: native_type_props_test_...[0.001 s] ok
>        [done in 0.013 s]
>      [done in 0.060 s]
>    proper_tests:827: native_type_props_test_...[0.013 s] ok
>    proper_tests:828: native_type_props_test_...[0.033 s] ok
>    proper_tests:830: native_type_props_test_...[0.075 s] ok
>    proper_tests:831: native_type_props_test_...[0.018 s] ok
>    proper_tests:832: native_type_props_test_...[0.015 s] ok
>    proper_tests:833: native_type_props_test_...[0.017 s] ok
>    proper_tests:834: native_type_props_test_...[0.021 s] ok
>    proper_tests:835: native_type_props_test_...[0.121 s] ok
>    proper_tests:848: true_props_test_...[0.010 s] ok
>    proper_tests:849: true_props_test_...[0.034 s] ok
>    proper_tests:850: true_props_test_...[0.471 s] ok
>    proper_tests:851: true_props_test_...[0.455 s] ok
>    proper_tests:852: true_props_test_...[0.564 s] ok
>    proper_tests:853: true_props_test_...[0.585 s] ok
>    proper_tests:854: true_props_test_...[0.041 s] ok
>    proper_tests:855: true_props_test_...[0.043 s] ok
>    proper_tests:856: true_props_test_...[0.038 s] ok
>    proper_tests:857: true_props_test_...[0.133 s] ok
>    proper_tests:860: true_props_test_...[0.027 s] ok
>    proper_tests:863: true_props_test_...[0.042 s] ok
>    proper_tests:866: true_props_test_...[0.043 s] ok
>    proper_tests:868: true_props_test_...[0.010 s] ok
>    proper_tests:870: true_props_test_...[0.001 s] ok
>    proper_tests:873: true_props_test_...ok
>    proper_tests:877: true_props_test_...[0.012 s] ok
>    proper_tests:878: true_props_test_...[0.018 s] ok
>    proper_tests:879: true_props_test_...[0.013 s] ok
>    proper_tests:880: true_props_test_...[0.013 s] ok
>    proper_tests:881: true_props_test_...[0.041 s] ok
>    proper_tests:882: true_props_test_...[0.016 s] ok
>    proper_tests:887: true_props_test_...[0.871 s] ok
>    proper_tests:888: true_props_test_...[1.483 s] ok
>    proper_tests:889: true_props_test_...[1.522 s] ok
>    proper_tests:890: true_props_test_...[1.537 s] ok
>    proper_tests:891: true_props_test_...[3.424 s] ok
>    proper_tests:892: true_props_test_...[5.412 s] ok
>    proper_tests:893: true_props_test_...[11.051 s] ok
>    proper_tests:894: true_props_test_...[3.538 s] ok
>    proper_tests:897: false_props_test_...[0.005 s] ok
>    proper_tests:899: false_props_test_...[0.003 s] ok
>    proper_tests:903: false_props_test_...[0.006 s] ok
>    proper_tests:906: false_props_test_...[0.004 s] ok
>    proper_tests:911: false_props_test_...[0.003 s] ok
>    proper_tests:912: false_props_test_...[0.004 s] ok
>    proper_tests:917: false_props_test_...[0.808 s] ok
>    proper_tests:918: false_props_test_...[0.016 s] ok
>    proper_tests:919: false_props_test_...[0.001 s] ok
>    proper_tests:925: false_props_test_...[0.008 s] ok
>    proper_tests:928: false_props_test_...ok
>    proper_tests:932: false_props_test_...[0.003 s] ok
>    proper_tests:934: false_props_test_...[0.002 s] ok
>    proper_tests:936: false_props_test_...[0.002 s] ok
>    proper_tests:938: false_props_test_...[0.002 s] ok
>    proper_tests:940: false_props_test_...[0.039 s] ok
>    proper_tests:943: false_props_test_...[0.001 s] ok
>    proper_tests:944: false_props_test_...[0.001 s] ok
>    proper_tests:945: false_props_test_...[0.001 s] ok
>    proper_tests:946: false_props_test_...[0.002 s] ok
>    proper_tests:947: false_props_test_...[0.002 s] ok
>    proper_tests:949: false_props_test_...[0.001 s] ok
>    proper_tests:950: false_props_test_...[0.008 s] ok
>    proper_tests:974: false_props_test_...[0.459 s] ok
>    proper_tests:975: false_props_test_...[0.051 s] ok
>    proper_tests:976: false_props_test_...[0.055 s] ok
>    proper_tests:979: error_props_test_...[0.002 s] ok
>    proper_tests:981: error_props_test_...[0.039 s] ok
>    proper_tests:983: error_props_test_...[0.001 s] ok
>    proper_tests:985: error_props_test_...ok
>    proper_tests:987: error_props_test_...ok
>    proper_tests:989: error_props_test_...[0.028 s] ok
>    proper_tests:990: error_props_test_...[0.005 s] ok
>    proper_tests:991: error_props_test_...ok
>    proper_tests:992: error_props_test_...[0.001 s] ok
>    proper_tests:995: error_props_test_...ok
>    proper_tests:999: error_props_test_...ok
>    proper_tests:1003: error_props_test_...ok
>    proper_tests:1008: eval_test_...ok
>    proper_tests:1008: eval_test_...ok
>    proper_tests:1008: eval_test_...ok
>    proper_tests:1008: eval_test_...ok
>    proper_tests:1008: eval_test_...ok
>    proper_tests:1008: eval_test_...ok
>    proper_tests:1008: eval_test_...ok
>    proper_tests:1012: pretty_print_test_...ok
>    proper_tests:1012: pretty_print_test_...ok
>    proper_tests:1012: pretty_print_test_...ok
>    proper_tests:1012: pretty_print_test_...ok
>    proper_tests:1012: pretty_print_test_...ok
>    proper_tests:1012: pretty_print_test_...ok
>    proper_tests:1012: pretty_print_test_...ok
>    proper_tests:1016: not_defined_test_...ok
>    proper_tests:1016: not_defined_test_...ok
>    proper_tests:1016: not_defined_test_...ok
>    proper_tests:1016: not_defined_test_...ok
>    proper_tests:1016: not_defined_test_...ok
>    proper_tests:1020: options_test_...[0.010 s] ok
>    proper_tests:1023: options_test_...[0.010 s] ok
>    proper_tests:1026: options_test_...[0.001 s] ok
>    proper_tests:1027: options_test_...[0.001 s] ok
>    proper_tests:1028: options_test_...[0.001 s] ok
>    proper_tests:1029: options_test_...ok
>    proper_tests:1032: options_test_...[0.001 s] ok
>    proper_tests:1046: adts_test_...[0.471 s] ok
>    proper_tests:1049: adts_test_...*timed out*
>undefined
>=======================================================
>  Failed: 0.  Skipped: 0.  Passed: 447.
>One or more tests were cancelled.
>DEBUG: Reconstruct stdlib []
>DEBUG: Reconstruct crypto []
>DEBUG: Reconstruct rebar [{log_level,warn},
>                          {log_colored,uncolored},
>                          {any_dir_modules,
>                              [rebar_require_vsn,rebar_deps,rebar_subdirs,
>                               rebar_templater,rebar_cleaner]},
>                          {modules,
>                              [{app_dir,
>                                   [rebar_proto_compiler,
>                                    rebar_protobuffs_compiler,
>                                    rebar_neotoma_compiler,
>                                    rebar_asn1_compiler,rebar_dia_compiler,
>                                    rebar_dialyzer,rebar_erlc_compiler,
>                                    rebar_lfe_compiler,rebar_erlydtl_compiler,
>                                    rebar_port_compiler,rebar_otp_app,
>                                    rebar_otp_appup,rebar_ct,rebar_eunit,
>                                    rebar_qc,rebar_escripter,rebar_edoc,
>                                    rebar_shell,rebar_xref,rebar_metacmds]},
>                               {rel_dir,
>                                   [rebar_appups,rebar_reltool,
>                                    rebar_upgrade]}]},
>                          {recursive_cmds,
>                              ['check-deps',compile,'delete-deps','get-deps',
>                               'list-deps','update-deps']}]
>ERROR: One or more eunit tests failed.
>ERROR: eunit failed while processing /builddir/build/BUILD/proper-1.2: rebar_abort
>error: Bad exit status from /var/tmp/rpm-tmp.Ak971C (%check)
>    Bad exit status from /var/tmp/rpm-tmp.Ak971C (%check)
>RPM build errors:
>Child return code was: 1
>EXCEPTION: [Error()]
>Traceback (most recent call last):
>  File "/usr/lib/python3.5/site-packages/mockbuild/trace_decorator.py", line 89, in trace
>    result = func(*args, **kw)
>  File "/usr/lib/python3.5/site-packages/mockbuild/util.py", line 578, in do
>    raise exception.Error("Command failed. See logs for output.\n # %s" % (command,), child.returncode)
>mockbuild.exception.Error: Command failed. See logs for output.
> # bash --login -c /usr/bin/rpmbuild -bb --target armv7hl --nodeps /builddir/build/SPECS/erlang-proper.spec

Actions: View

Attachments on bug 1423535: 1251987 | 1251988 | 1251989