<86>Apr 14 02:07:30 userdel[97016]: delete user 'rooter'
<86>Apr 14 02:07:30 groupadd[97021]: group added to /etc/group: name=rooter, GID=549
<86>Apr 14 02:07:30 groupadd[97021]: group added to /etc/gshadow: name=rooter
<86>Apr 14 02:07:30 groupadd[97021]: new group: name=rooter, GID=549
<86>Apr 14 02:07:30 useradd[97025]: new user: name=rooter, UID=549, GID=549, home=/root, shell=/bin/bash
<86>Apr 14 02:07:30 userdel[97031]: delete user 'builder'
<86>Apr 14 02:07:30 userdel[97031]: removed group 'builder' owned by 'builder'
<86>Apr 14 02:07:30 groupadd[97036]: group added to /etc/group: name=builder, GID=550
<86>Apr 14 02:07:30 groupadd[97036]: group added to /etc/gshadow: name=builder
<86>Apr 14 02:07:30 groupadd[97036]: new group: name=builder, GID=550
<86>Apr 14 02:07:30 useradd[97040]: new user: name=builder, UID=550, GID=550, home=/usr/src, shell=/bin/bash
<13>Apr 14 02:07:34 rpmi: perl-Encode-2.83-alt1 1459157776 installed
<13>Apr 14 02:07:34 rpmi: libjpeg-2:1.3.1-alt0.1 1388074033 installed
<13>Apr 14 02:07:34 rpmi: libpng15-1.5.28-alt1 1484572014 installed
<13>Apr 14 02:07:34 rpmi: libexpat-2.2.4-alt0.M80P.1 1503871120 installed
<13>Apr 14 02:07:34 rpmi: libsqlite3-3.15.2-alt1 1480432212 installed
<13>Apr 14 02:07:34 rpmi: perl-HTTP-Date-6.02-alt1 1348645274 installed
<13>Apr 14 02:07:34 rpmi: ca-certificates-2016.02.25-alt1 1462368370 installed
<13>Apr 14 02:07:34 rpmi: libcrypto10-1.0.2n-alt0.M80P.1 1512766129 installed
<13>Apr 14 02:07:35 rpmi: libicu56-1:5.6.1-alt1.1 1458012333 installed
<13>Apr 14 02:07:35 rpmi: libtasn1-4.9-alt1 1469555628 installed
<13>Apr 14 02:07:35 rpmi: perl-XML-NamespaceSupport-1.11-alt3 1322003535 installed
<13>Apr 14 02:07:35 rpmi: libwayland-client-1.14.0-alt0.M80P.1 1502720500 installed
<13>Apr 14 02:07:35 rpmi: libtiff5-4.0.3-alt1 1348347498 installed
<13>Apr 14 02:07:35 rpmi: liborc-0.4.27-alt1.M80P.1 1503911715 installed
<13>Apr 14 02:07:35 rpmi: libgstreamer-0.10.36-alt1 1329849845 installed
<13>Apr 14 02:07:35 rpmi: libnettle6-3.4.1-alt1 p8.217493.100 1544204548 installed
<13>Apr 14 02:07:35 rpmi: liblcms2-2.8-alt1 1471601528 installed
<13>Apr 14 02:07:35 rpmi: perl-LWP-MediaTypes-6.02-alt1 1329754558 installed
<13>Apr 14 02:07:35 rpmi: perl-Compress-Raw-Zlib-2.069-alt1.1 1448470036 installed
<13>Apr 14 02:07:35 rpmi: perl-libnet-1:3.08-alt1 1458419902 installed
<13>Apr 14 02:07:35 rpmi: perl-URI-1.71-alt1 1455181348 installed
<13>Apr 14 02:07:35 rpmi: perl-XML-SAX-Base-1.08-alt1 1317871344 installed
<13>Apr 14 02:07:35 rpmi: libwayland-server-1.14.0-alt0.M80P.1 1502720500 installed
<13>Apr 14 02:07:35 rpmi: libICE-1.0.9-alt1 1409902719 installed
<13>Apr 14 02:07:35 rpmi: libSM-1.2.2-alt1 1391072686 installed
<13>Apr 14 02:07:35 rpmi: libtcl-8.5.9-alt2 1351878901 installed
<13>Apr 14 02:07:35 rpmi: tcl-8.5.9-alt2 1351878901 installed
<13>Apr 14 02:07:35 rpmi: perl-WWW-RobotRules-6.02-alt1 1329756211 installed
<13>Apr 14 02:07:35 rpmi: libhogweed4-3.4.1-alt1 p8.217493.100 1544204548 installed
<13>Apr 14 02:07:35 rpmi: libgst-plugins-0.10.36-alt1 1329850327 installed
<13>Apr 14 02:07:35 rpmi: libwayland-cursor-1.14.0-alt0.M80P.1 1502720500 installed
<13>Apr 14 02:07:35 rpmi: libjavascriptcoregtk3-2.4.11-alt2.M80P.1 1504585300 installed
<13>Apr 14 02:07:35 rpmi: perl-File-Listing-6.04-alt1 1329758996 installed
<13>Apr 14 02:07:35 rpmi: libjasper-1.900.1-alt3 1391718482 installed
<13>Apr 14 02:07:35 rpmi: perl-Encode-Locale-1.05-alt1 1444608613 installed
<13>Apr 14 02:07:35 rpmi: perl-IO-HTML-1.001-alt1 1404821752 installed
<13>Apr 14 02:07:35 rpmi: rpm-macros-ubt-0.2-alt1.M80P.1 1488269670 installed
<13>Apr 14 02:07:35 rpmi: rpm-macros-erlang-0.8.0-alt1.M80P.1 1527521051 installed
<13>Apr 14 02:07:35 rpmi: libnatspec-0.3.1-alt2 1445691578 installed
<13>Apr 14 02:07:35 rpmi: unzip-6.0-alt2.qa1 1366155323 installed
<13>Apr 14 02:07:35 rpmi: libwebp7-0.6.0-alt0.M80P.1 1504535151 installed
<13>Apr 14 02:07:35 rpmi: libhunspell-1.3.1-alt1 1297079102 installed
<13>Apr 14 02:07:35 rpmi: libenchant-1.6.0-alt3.qa1 1460409846 installed
<13>Apr 14 02:07:35 rpmi: libmspack-0.5-alt1 1439653862 installed
<13>Apr 14 02:07:35 rpmi: libxkbcommon-0.7.2-alt0.M80P.1 1503524837 installed
<13>Apr 14 02:07:35 rpmi: libproxy-0.4.14-alt0.M80P.1 1491211278 installed
<13>Apr 14 02:07:35 rpmi: libnspr-1:4.20-alt1 p8.216526.40 1542382588 installed
<13>Apr 14 02:07:35 rpmi: libnss-3.40.0-alt0.M80P.1 p8.216526.44 1542814585 installed
<13>Apr 14 02:07:35 rpmi: libidn2-2.0.4-alt3.M80P.1 1520307194 installed
<13>Apr 14 02:07:35 rpmi: libdatrie-0.2.8-alt1_5 1410185969 installed
<13>Apr 14 02:07:35 rpmi: libthai-0.1.24-alt1_1 1459282110 installed
<13>Apr 14 02:07:35 rpmi: libepoxy-1.4.3-alt0.M80P.1 1498727071 installed
<13>Apr 14 02:07:35 rpmi: libverto-0.2.6-alt1_6 1455633234 installed
<13>Apr 14 02:07:35 rpmi: libkeyutils-1.5.10-alt0.M80P.2 p8+216694.100.6.1 1547827915 installed
<13>Apr 14 02:07:35 rpmi: libcom_err-1.42.13-alt2 1449075846 installed
<13>Apr 14 02:07:35 rpmi: libgudev-1:231-alt0.M80P.1 1487052830 installed
<13>Apr 14 02:07:35 rpmi: udev-rules-1:237-alt2.M80P.6 p8+221965.100.2.1 1550786259 installed
<13>Apr 14 02:07:35 rpmi: libusb-1.0.21-alt0.M80P.1 1485147102 installed
<13>Apr 14 02:07:35 rpmi: gtk+3-themes-incompatible-3.20-alt3 1461944560 installed
<13>Apr 14 02:07:35 rpmi: perl-IO-Socket-IP-0.37-alt1 1444921335 installed
<13>Apr 14 02:07:35 rpmi: perl-Compress-Raw-Bzip2-2.069-alt1.1 1448470068 installed
<13>Apr 14 02:07:35 rpmi: perl-IO-Compress-2.069-alt1 1444618007 installed
<13>Apr 14 02:07:35 rpmi: perl-HTTP-Message-6.11-alt1 1444616672 installed
<13>Apr 14 02:07:35 rpmi: perl-HTTP-Cookies-6.01-alt1 1329759964 installed
<13>Apr 14 02:07:35 rpmi: perl-HTTP-Negotiate-6.01-alt1 1329760563 installed
<13>Apr 14 02:07:35 rpmi: perl-Net-HTTP-6.09-alt1 1432310023 installed
<13>Apr 14 02:07:35 rpmi: perl-HTML-Tagset-3.20-alt2 1317725093 installed
<13>Apr 14 02:07:35 rpmi: perl-HTML-Parser-3.72-alt1 1455170565 installed
<13>Apr 14 02:07:35 rpmi: perl-libwww-6.15-alt1 1449505512 installed
<13>Apr 14 02:07:35 rpmi: libgdk-pixbuf-locales-2.36.11-alt0.M80P.1 1507198237 installed
<13>Apr 14 02:07:35 rpmi: libpixman-3:0.32.8-alt1 1447610691 installed
<13>Apr 14 02:07:35 rpmi: libxshmfence-1.2-alt1 1420972191 installed
<13>Apr 14 02:07:35 rpmi: libpciaccess-1:0.13.4-alt1 1431681688 installed
<13>Apr 14 02:07:35 rpmi: libdrm-1:2.4.89-alt1.M80P.1 1516609380 installed
<13>Apr 14 02:07:35 rpmi: libgbm-4:18.0.5-alt1.M80P.1 p8+226404.100.1.1 1554206332 installed
<13>Apr 14 02:07:35 rpmi: libgraphite2-1.3.10-alt0.M80P.1 1496411360 installed
<13>Apr 14 02:07:35 rpmi: libatk-locales-2.24.0-alt0.M80P.1 1504535386 installed
<13>Apr 14 02:07:35 rpmi: libatk-2.24.0-alt0.M80P.1 1504535253 installed
<13>Apr 14 02:07:35 rpmi: rpm-build-xdg-0.2-alt1 1250461503 installed
<13>Apr 14 02:07:35 rpmi: shared-mime-info-1.9-alt0.M80P.1 1506021412 installed
<13>Apr 14 02:07:36 rpmi: gsettings-desktop-schemas-data-3.24.1-alt0.M80P.1 1504768054 installed
<13>Apr 14 02:07:36 rpmi: liblz4-1:1.7.5-alt1 1488766699 installed
<13>Apr 14 02:07:36 rpmi: libgpg-error-1.31-alt1.M80P.1 1529024730 installed
<13>Apr 14 02:07:36 rpmi: libgcrypt20-1.8.3-alt4 p8+219793.200.6.1 1551112986 installed
<13>Apr 14 02:07:36 rpmi: libsystemd-1:237-alt2.M80P.6 p8+221965.100.2.1 1550786217 installed
<13>Apr 14 02:07:36 rpmi: libdbus-1.10.24-alt4.M80P.1 1518773282 installed
<13>Apr 14 02:07:36 rpmi: libavahi-0.6.31-alt7.M80P.1 1526318593 installed
<13>Apr 14 02:07:36 rpmi: libxslt-1.1.28-alt4 1448210404 installed
<13>Apr 14 02:07:36 rpmi: libX11-locales-3:1.6.3-alt1 1431956885 installed
<13>Apr 14 02:07:36 rpmi: libXdmcp-1.1.1-alt1 1334617699 installed
<13>Apr 14 02:07:36 rpmi: libXau-1.0.8-alt1 1369565807 installed
<13>Apr 14 02:07:36 rpmi: libxcb-1.12-alt2 p8.218219.300 1545313310 installed
<13>Apr 14 02:07:36 rpmi: libX11-3:1.6.3-alt1 1431956911 installed
<13>Apr 14 02:07:36 rpmi: libXext-1.3.3-alt1 1409902932 installed
<13>Apr 14 02:07:36 rpmi: libXrender-0.9.8-alt1 1371312110 installed
<13>Apr 14 02:07:36 rpmi: libXdamage-1.1.3-alt4 1297162596 installed
<13>Apr 14 02:07:36 rpmi: libXfixes-5.0.1-alt1 1369809606 installed
<13>Apr 14 02:07:36 rpmi: libXxf86vm-1.1.3-alt1 1369984824 installed
<13>Apr 14 02:07:36 rpmi: libGL-4:18.0.5-alt1.M80P.1 p8+226404.100.1.1 1554206332 installed
<13>Apr 14 02:07:36 rpmi: libEGL-4:18.0.5-alt1.M80P.1 p8+226404.100.1.1 1554206332 installed
<13>Apr 14 02:07:36 rpmi: libat-spi2-core-2.24.1-alt0.M80P.1 1504536015 installed
<13>Apr 14 02:07:36 rpmi: libXcomposite-0.4.3-alt3 1297306939 installed
<13>Apr 14 02:07:36 rpmi: libGLU-4:9.0.0-alt1 1347643776 installed
<13>Apr 14 02:07:36 rpmi: libwayland-egl-4:18.0.5-alt1.M80P.1 p8+226404.100.1.1 1554206332 installed
<13>Apr 14 02:07:36 rpmi: libXcursor-1.1.15-alt1.M80P.1 1512373713 installed
<13>Apr 14 02:07:36 rpmi: libXrandr-1.5.0-alt1 1431936188 installed
<13>Apr 14 02:07:36 rpmi: libXtst-1.2.2-alt1 1369984880 installed
<13>Apr 14 02:07:36 rpmi: libXi-1.7.9-alt1.M80P.1 1515766146 installed
<13>Apr 14 02:07:36 rpmi: libXinerama-1.1.3-alt1 1369984571 installed
<13>Apr 14 02:07:36 rpmi: libXt-1.1.4-alt1 1369984716 installed
<13>Apr 14 02:07:36 rpmi: rpm-build-erlang-0.7.10.1-alt2.M80P.1 1530038770 installed
<13>Apr 14 02:07:36 rpmi: rpm-build-ubt-0.3.1-alt1.M80P.1 1513692283 installed
<13>Apr 14 02:07:36 rpmi: libgio-2.52.3-alt0.M80P.1 1504533271 installed
<13>Apr 14 02:07:36 rpmi: libgdk-pixbuf-2.36.11-alt0.M80P.1 1507198160 installed
<13>Apr 14 02:07:36 rpmi: libharfbuzz-1.6.3-alt0.M80P.1 1509918814 installed
<13>Apr 14 02:07:36 rpmi: libfreetype-2.8-alt0.M80P.3 1505462817 installed
<13>Apr 14 02:07:36 rpmi: fontconfig-2.12.6-alt1.M80P.1 1506008910 installed
Updating fonts cache: <29>Apr 14 02:07:37 fontconfig: Updating fonts cache: succeeded
[ DONE ]
<13>Apr 14 02:07:37 rpmi: libcairo-1:1.14.4-alt1 1447005495 installed
<86>Apr 14 02:07:37 groupadd[111619]: group added to /etc/group: name=epmd, GID=499
<86>Apr 14 02:07:37 groupadd[111619]: group added to /etc/gshadow: name=epmd
<86>Apr 14 02:07:37 groupadd[111619]: new group: name=epmd, GID=499
<86>Apr 14 02:07:37 useradd[111646]: new user: name=epmd, UID=499, GID=499, home=/tmp, shell=/sbin/nologin
<13>Apr 14 02:07:37 rpmi: erlang-1:20.1.3-alt3.M80P.1 1530040830 installed
<13>Apr 14 02:07:39 rpmi: erlang-otp-1:20.1.3-alt3.M80P.1 1530040830 installed
<13>Apr 14 02:07:39 rpmi: libp11-kit-0.23.8-alt1.M80P.1 1504877563 installed
<86>Apr 14 02:07:39 groupadd[118610]: group added to /etc/group: name=_keytab, GID=498
<86>Apr 14 02:07:39 groupadd[118610]: group added to /etc/gshadow: name=_keytab
<86>Apr 14 02:07:39 groupadd[118610]: new group: name=_keytab, GID=498
<13>Apr 14 02:07:39 rpmi: libkrb5-1.14.6-alt1.M80P.1 1525355673 installed
<86>Apr 14 02:07:39 groupadd[118699]: group added to /etc/group: name=messagebus, GID=497
<86>Apr 14 02:07:39 groupadd[118699]: group added to /etc/gshadow: name=messagebus
<86>Apr 14 02:07:39 groupadd[118699]: new group: name=messagebus, GID=497
<86>Apr 14 02:07:39 useradd[118722]: new user: name=messagebus, UID=498, GID=497, home=/run/dbus, shell=/dev/null
<13>Apr 14 02:07:39 rpmi: dbus-1.10.24-alt4.M80P.1 1518773282 installed
<13>Apr 14 02:07:39 rpmi: libXft-2.3.2-alt1 1409902650 installed
<13>Apr 14 02:07:39 rpmi: libpango-1.40.14-alt0.M80P.1 1510824230 installed
<13>Apr 14 02:07:39 rpmi: gsettings-desktop-schemas-3.24.1-alt0.M80P.1 1504768052 installed
<13>Apr 14 02:07:39 rpmi: libgusb-0.2.11-alt0.M80P.1 1503526571 installed
<13>Apr 14 02:07:39 rpmi: libcolord-1.3.5-alt0.M80P.1 1488875506 installed
<13>Apr 14 02:07:39 rpmi: libgstreamer1.0-1.12.3-alt0.M80P.1 1505901068 installed
<13>Apr 14 02:07:39 rpmi: perl-XML-SAX-0.99-alt2 1384805188 installed
<13>Apr 14 02:07:39 rpmi: erlang-otp-common-1:20.1.3-alt3.M80P.1 1530040875 installed
<13>Apr 14 02:07:39 rpmi: perl-XML-Simple-2.22-alt1 1449506808 installed
<13>Apr 14 02:07:39 rpmi: icon-naming-utils-0.8.90-alt1 1236573102 installed
<13>Apr 14 02:07:40 rpmi: icon-theme-adwaita-3.24.0-alt0.M80P.1 1504567873 installed
<13>Apr 14 02:07:40 rpmi: libgst-plugins1.0-1.12.3-alt0.M80P.1 1505901518 installed
<13>Apr 14 02:07:40 rpmi: libtk-8.5.9-alt3 1308047279 installed
<13>Apr 14 02:07:40 rpmi: tk-8.5.9-alt3 1308047279 installed
<13>Apr 14 02:07:40 rpmi: dbus-tools-gui-1.10.24-alt4.M80P.1 1518773282 installed
<13>Apr 14 02:07:40 rpmi: at-spi2-core-2.24.1-alt0.M80P.1 1504536015 installed
<13>Apr 14 02:07:40 rpmi: at-spi2-atk-2.24.1-alt0.M80P.1 1504536077 installed
<13>Apr 14 02:07:40 rpmi: libcups-2.1.0-alt2.M80P.4 p8+223280.100.1.1 1551372192 installed
<13>Apr 14 02:07:40 rpmi: libgnutls30-3.6.7-alt0.M80P.1 p8+225835.100.2.1 1554226496 installed
<13>Apr 14 02:07:40 rpmi: glib-networking-2.50.0-alt1.M80P.1 1503575484 installed
<13>Apr 14 02:07:40 rpmi: libsoup-2.62.2-alt0.M80P.1 1528058397 installed
<13>Apr 14 02:07:40 rpmi: libsoup-gnome-2.62.2-alt0.M80P.1 1528058397 installed
<13>Apr 14 02:07:40 rpmi: librest-0.8.1-alt0.M80P.1 1509920808 installed
<13>Apr 14 02:07:40 rpmi: erlang-common_test-common-1:20.1.3-alt3.M80P.1 1530040875 installed
<13>Apr 14 02:07:40 rpmi: libcairo-gobject-1:1.14.4-alt1 1447005495 installed
<13>Apr 14 02:07:40 rpmi: libharfbuzz-icu-1.6.3-alt0.M80P.1 1509918814 installed
<13>Apr 14 02:07:40 rpmi: gtk-update-icon-cache-2.24.31-alt1 1473461609 installed
<13>Apr 14 02:07:40 rpmi: libnotify-0.7.7-alt0.M80P.1 1478614677 installed
<13>Apr 14 02:07:40 rpmi: libdconf-0.26.1-alt0.M80P.1 1507197872 installed
<13>Apr 14 02:07:40 rpmi: dconf-0.26.1-alt0.M80P.1 1507197872 installed
<13>Apr 14 02:07:40 rpmi: libgtk+3-schemas-3.22.26-alt0.M80P.1 1510825424 installed
<13>Apr 14 02:07:40 rpmi: libpolkit-0.113-alt2 1469643478 installed
<86>Apr 14 02:07:40 groupadd[120091]: group added to /etc/group: name=colord, GID=496
<86>Apr 14 02:07:40 groupadd[120091]: group added to /etc/gshadow: name=colord
<86>Apr 14 02:07:40 groupadd[120091]: new group: name=colord, GID=496
<86>Apr 14 02:07:40 useradd[120105]: new user: name=colord, UID=497, GID=496, home=/var/colord, shell=/dev/null
<13>Apr 14 02:07:40 rpmi: colord-1.3.5-alt0.M80P.1 1488875506 installed
<13>Apr 14 02:07:40 rpmi: libjson-glib-1.2.8-alt0.M80P.1 1489956779 installed
<13>Apr 14 02:07:41 rpmi: libgtk+3-3.22.26-alt0.M80P.1 1510825302 installed
<13>Apr 14 02:07:41 rpmi: libsecret-0.18.5-alt1 1458897261 installed
<13>Apr 14 02:07:42 rpmi: libwebkitgtk3-2.4.11-alt2.M80P.1 1504585300 installed
<13>Apr 14 02:07:42 rpmi: libwxGTK3.1-3.1.0-alt7 1456895823 installed
<13>Apr 14 02:07:42 rpmi: erlang-visual-common-1:20.1.3-alt3.M80P.1 1530040830 installed
<13>Apr 14 02:07:43 rpmi: erlang-visual-1:20.1.3-alt3.M80P.1 1530040830 installed
<13>Apr 14 02:07:43 rpmi: erlang-common_test-1:20.1.3-alt3.M80P.1 1530040875 installed
<13>Apr 14 02:07:43 rpmi: dbus-tools-1.10.24-alt4.M80P.1 1518773282 installed
<13>Apr 14 02:07:43 rpmi: erlang-otp-bin-1:20.1.3-alt3.M80P.1 1530040830 installed
<13>Apr 14 02:07:43 rpmi: perl-XML-LibXML-2.0124-alt1 1458750523 installed
<13>Apr 14 02:07:43 rpmi: libssl10-1.0.2n-alt0.M80P.1 1512766129 installed
<13>Apr 14 02:07:43 rpmi: libp11-kit-trust-0.23.8-alt1.M80P.1 1504877563 installed
<13>Apr 14 02:07:43 rpmi: erlang-devel-1:20.1.3-alt3.M80P.1 1530040830 installed
<13>Apr 14 02:07:43 rpmi: erlang-otp-devel-1:20.1.3-alt3.M80P.1 1530040830 installed
<13>Apr 14 02:07:43 rpmi: rebar-1:2.6.4-alt1.M80P.1 1527521104 installed
Installing erlang-proper-1.2-alt1.M80P.1.src.rpm
Building target platforms: x86_64
Building for target x86_64
Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.18477
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ rm -rf erlang-proper-1.2
+ echo 'Source #0 (erlang-proper-1.2.tar):'
Source #0 (erlang-proper-1.2.tar):
+ /bin/tar -xf /usr/src/RPM/SOURCES/erlang-proper-1.2.tar
+ cd erlang-proper-1.2
+ /bin/chmod -c -Rf u+rwX,go-w .
+ echo 'Patch #1 (erlang-proper-fedora-add-timeout-values-that-work-on-ARM.patch):'
Patch #1 (erlang-proper-fedora-add-timeout-values-that-work-on-ARM.patch):
+ /usr/bin/patch -p1
patching file test/proper_tests.erl
+ exit 0
Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.20227
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd erlang-proper-1.2
+ CFLAGS='-pipe -Wall -g -O2'
+ export CFLAGS
+ CXXFLAGS='-pipe -Wall -g -O2'
+ export CXXFLAGS
+ FFLAGS='-pipe -Wall -g -O2'
+ export FFLAGS
+ FCFLAGS='-pipe -Wall -g -O2'
+ export FCFLAGS
+ VSN=1.2
+ export VSN
+ REBAR_DEPS_PREFER_LIBS=TRUE
+ export REBAR_DEPS_PREFER_LIBS
+ ERL_LIBS=/usr/lib/erlang/lib/
+ export ERL_LIBS
+ /usr/bin/rebar compile -vv
DEBUG: Consult config file "/usr/src/RPM/BUILD/erlang-proper-1.2/rebar.config"
DEBUG: Rebar location: "/usr/bin/rebar"
DEBUG: Consult config file "/usr/src/RPM/BUILD/erlang-proper-1.2/src/proper.app.src"
DEBUG: Available deps: []
DEBUG: Missing deps  : []
DEBUG: Plugins requested while processing /usr/src/RPM/BUILD/erlang-proper-1.2: []
DEBUG: Predirs: []
==> erlang-proper-1.2 (compile)
INFO:  sh info:
	cwd: "/usr/src/RPM/BUILD/erlang-proper-1.2"
	cmd: make include/compile_flags.hrl
DEBUG: 	opts: [{env,[{"REBAR_DEPS_DIR",
                      "/usr/src/RPM/BUILD/erlang-proper-1.2/deps"},
                     {"ERL_LIBS",
                      "/usr/src/RPM/BUILD/erlang-proper-1.2/deps:/usr/lib/erlang/lib/"},
                     {"AR","ar"},
                     {"AS","as"},
                     {"BINDIR","/usr/lib/erlang/erts-9.1.3/bin"},
                     {"CC","cc"},
                     {"CFLAGS","-pipe -Wall -g -O2"},
                     {"CPP","cpp"},
                     {"CXX","c++"},
                     {"CXXFLAGS","-pipe -Wall -g -O2"},
                     {"DRV_CC_TEMPLATE",
                      "cc -c -pipe -Wall -g -O2 -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.10/include\" -I\"/usr/lib/erlang/erts-9.1.3/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
                     {"DRV_CFLAGS",
                      "-g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.10/include\" -I\"/usr/lib/erlang/erts-9.1.3/include\"  "},
                     {"DRV_CXX_TEMPLATE",
                      "c++ -c -pipe -Wall -g -O2 -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.10/include\" -I\"/usr/lib/erlang/erts-9.1.3/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
                     {"DRV_LDFLAGS",
                      "-shared  -L\"/usr/lib/erlang/lib/erl_interface-3.10/lib\" -lerl_interface -lei"},
                     {"DRV_LINK_CXX_TEMPLATE",
                      "c++ $PORT_IN_FILES $LDFLAGS -shared  -L\"/usr/lib/erlang/lib/erl_interface-3.10/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
                     {"DRV_LINK_TEMPLATE",
                      "cc $PORT_IN_FILES $LDFLAGS -shared  -L\"/usr/lib/erlang/lib/erl_interface-3.10/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
                     {"EMU","beam"},
                     {"ERLANG_ARCH","64"},
                     {"ERLANG_TARGET","20.1.3-x86_64-alt-linux-gnu-64"},
                     {"ERL_CFLAGS",
                      " -I\"/usr/lib/erlang/lib/erl_interface-3.10/include\" -I\"/usr/lib/erlang/erts-9.1.3/include\"  "},
                     {"ERL_EI_LIBDIR",
                      "\"/usr/lib/erlang/lib/erl_interface-3.10/lib\""},
                     {"ERL_LDFLAGS",
                      " -L\"/usr/lib/erlang/lib/erl_interface-3.10/lib\" -lerl_interface -lei"},
                     {"ESCRIPT_NAME","/usr/bin/rebar"},
                     {"EXE_CC_TEMPLATE",
                      "cc -c -pipe -Wall -g -O2 -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.10/include\" -I\"/usr/lib/erlang/erts-9.1.3/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
                     {"EXE_CFLAGS",
                      "-g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.10/include\" -I\"/usr/lib/erlang/erts-9.1.3/include\"  "},
                     {"EXE_CXX_TEMPLATE",
                      "c++ -c -pipe -Wall -g -O2 -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.10/include\" -I\"/usr/lib/erlang/erts-9.1.3/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
                     {"EXE_LDFLAGS",
                      " -L\"/usr/lib/erlang/lib/erl_interface-3.10/lib\" -lerl_interface -lei"},
                     {"EXE_LINK_CXX_TEMPLATE",
                      "c++ $PORT_IN_FILES $LDFLAGS  -L\"/usr/lib/erlang/lib/erl_interface-3.10/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
                     {"EXE_LINK_TEMPLATE",
                      "cc $PORT_IN_FILES $LDFLAGS  -L\"/usr/lib/erlang/lib/erl_interface-3.10/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
                     {"FCFLAGS","-pipe -Wall -g -O2"},
                     {"FFLAGS","-pipe -Wall -g -O2"},
                     {"G_BROKEN_FILENAMES","1"},
                     {"G_FILENAME_ENCODING","iso8859-1"},
                     {"HISTFILESIZE","9999"},
                     {"HISTSIZE","999"},
                     {"HOME","/usr/src"},
                     {"HOSTNAME","localhost.localdomain"},
                     {"LD","ld"},
                     {"LOGNAME","builder"},
                     {"MAIL","/var/mail/builder"},
                     {"MAKEFLAGS","-w PAM_SO_SUFFIX="},
                     {"NM","nm"},
                     {"OBJCOPY","objcopy"},
                     {"OBJDUMP","objdump"},
                     {"PAM_NAME_SUFFIX",[]},
                     {"PAM_SO_SUFFIX",[]},
                     {"PATH",
                      "/usr/lib/erlang/erts-9.1.3/bin:/usr/lib/erlang/bin:/usr/src/bin:/bin:/usr/bin:/usr/X11R6/bin:/usr/games"},
                     {"PROGNAME","erl"},
                     {"PWD","/usr/src/RPM/BUILD/erlang-proper-1.2"},
                     {"RANLIB","ranlib"},
                     {"REBAR_DEPS_PREFER_LIBS","TRUE"},
                     {"ROOTDIR","/usr/lib/erlang"},
                     {"RPM_ARCH","x86_64"},
                     {"RPM_BUILD_DIR","/usr/src/RPM/BUILD"},
                     {"RPM_BUILD_ROOT","/usr/src/tmp/erlang-proper-buildroot"},
                     {"RPM_CLEANUP_METHOD","auto"},
                     {"RPM_CLEANUP_SKIPLIST",[]},
                     {"RPM_CLEANUP_TOPDIR",[]},
                     {"RPM_COMPRESS_METHOD","auto"},
                     {"RPM_COMPRESS_SKIPLIST",[]},
                     {"RPM_COMPRESS_TOPDIR","/usr"},
                     {"RPM_DATADIR","/usr/share"},
                     {"RPM_DEBUGINFO_SKIPLIST",[]},
                     {"RPM_DOC_DIR","/usr/share/doc"},
                     {"RPM_ERLANG","/usr/bin/erl"},
                     {"RPM_ERLANG_LIB_DEBUG_DIR","/usr/lib/erlang/lib.debug"},
                     {"RPM_ERLANG_LIB_DIR","/usr/lib/erlang/lib"},
                     {"RPM_ERLANG_LIB_NATIVE_DIR",
                      "/usr/lib/erlang/lib.native"},
                     {"RPM_ERLANG_REQ_MODULES_SKIPLIST","hipe_bifs"},
                     {"RPM_ERLC","/usr/bin/erlc"},
                     {"RPM_FILES_TO_LD_PRELOAD_python",
                      " /usr/lib/python2.7/* /usr/lib/python2.7/site-packages/* /usr/lib/python2.7/site-packages/*"},
                     {"RPM_FINDPACKAGE_PATH",[]},
                     {"RPM_FINDPROV_LIB_PATH",[]},
                     {"RPM_FINDPROV_SKIPLIST","/usr/share/doc/*"},
                     {"RPM_FINDPROV_TOPDIR",[]},
                     {"RPM_FINDREQ_SKIPLIST","/usr/share/doc/*"},
                     {"RPM_FINDREQ_TOPDIR",[]},
                     {"RPM_FIXUP_METHOD",
                      "binconfig pkgconfig libtool desktop"},
                     {"RPM_FIXUP_SKIPLIST",[]},
                     {"RPM_FIXUP_TOPDIR",[]},
                     {"RPM_LD_PRELOAD_python","/usr/lib64/libpython2.7.so"},
                     {"RPM_LIB","lib64"},
                     {"RPM_LIBDIR","/usr/lib64"},
                     {"RPM_OPT_FLAGS","-pipe -Wall -g -O2"},
                     {"RPM_OS","linux"},
                     {"RPM_OTP_LIB_DEBUG_DIR","/usr/lib/erlang/lib.debug"},
                     {"RPM_OTP_LIB_DIR","/usr/lib/erlang/lib"},
                     {"RPM_OTP_LIB_NATIVE_DIR","/usr/lib/erlang/lib.native"},
                     {"RPM_PACKAGE_NAME","erlang-proper"},
                     {"RPM_PACKAGE_RELEASE","alt1.M80P.1"},
                     {"RPM_PACKAGE_VERSION","1.2"},
                     {"RPM_PERL_REQ_METHOD","normal"},
                     {"RPM_PKG_CONTENTS_INDEX_BIN",
                      "/.host/contents_index_bin"},
                     {"RPM_PYTHON","/usr/bin/python"},
                     {"RPM_PYTHON_COMPILE_CLEAN","1"},
                     {"RPM_PYTHON_COMPILE_DEEP","20"},
                     {"RPM_PYTHON_COMPILE_EXCLUDE","/usr/share/doc"},
                     {"RPM_PYTHON_COMPILE_INCLUDE","/usr/lib /usr/lib"},
                     {"RPM_PYTHON_COMPILE_METHOD","ALL"},
                     {"RPM_PYTHON_COMPILE_SKIP_X","1"},
                     {"RPM_PYTHON_LIB_PATH",[]},
                     {"RPM_PYTHON_MODULE_DECLARED",[]},
                     {"RPM_PYTHON_REQ_METHOD","slight"},
                     {"RPM_PYTHON_REQ_SKIP",[]},
                     {"RPM_SOURCE_DIR","/usr/src/RPM/SOURCES"},
                     {"RPM_TARGET_ARCH","noarch"},
                     {"RPM_TARGET_OS","linux"},
                     {"RPM_VERIFY_ELF_METHOD","default"},
                     {"RPM_VERIFY_ELF_SKIPLIST",[]},
                     {"RPM_VERIFY_ELF_TOPDIR",[]},
                     {"RPM_VERIFY_INFO_METHOD","normal"},
                     {"SHLVL","2"},
                     {"SOURCE_DATE_EPOCH","1527521938"},
                     {"STRIP","strip"},
                     {"TERM","dumb"},
                     {"TMPDIR","/usr/src/tmp"},
                     {"USER","builder"},
                     {"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",
                   "/usr/src/RPM/BUILD/erlang-proper-1.2/deps"},
                  {"ERL_LIBS",
                   "/usr/src/RPM/BUILD/erlang-proper-1.2/deps:/usr/lib/erlang/lib/"},
                  {"AR","ar"},
                  {"AS","as"},
                  {"BINDIR","/usr/lib/erlang/erts-9.1.3/bin"},
                  {"CC","cc"},
                  {"CFLAGS","-pipe -Wall -g -O2"},
                  {"CPP","cpp"},
                  {"CXX","c++"},
                  {"CXXFLAGS","-pipe -Wall -g -O2"},
                  {"DRV_CC_TEMPLATE",
                   "cc -c -pipe -Wall -g -O2 -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.10/include\" -I\"/usr/lib/erlang/erts-9.1.3/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
                  {"DRV_CFLAGS",
                   "-g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.10/include\" -I\"/usr/lib/erlang/erts-9.1.3/include\"  "},
                  {"DRV_CXX_TEMPLATE",
                   "c++ -c -pipe -Wall -g -O2 -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.10/include\" -I\"/usr/lib/erlang/erts-9.1.3/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
                  {"DRV_LDFLAGS",
                   "-shared  -L\"/usr/lib/erlang/lib/erl_interface-3.10/lib\" -lerl_interface -lei"},
                  {"DRV_LINK_CXX_TEMPLATE",
                   "c++ $PORT_IN_FILES $LDFLAGS -shared  -L\"/usr/lib/erlang/lib/erl_interface-3.10/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
                  {"DRV_LINK_TEMPLATE",
                   "cc $PORT_IN_FILES $LDFLAGS -shared  -L\"/usr/lib/erlang/lib/erl_interface-3.10/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
                  {"EMU","beam"},
                  {"ERLANG_ARCH","64"},
                  {"ERLANG_TARGET","20.1.3-x86_64-alt-linux-gnu-64"},
                  {"ERL_CFLAGS",
                   " -I\"/usr/lib/erlang/lib/erl_interface-3.10/include\" -I\"/usr/lib/erlang/erts-9.1.3/include\"  "},
                  {"ERL_EI_LIBDIR",
                   "\"/usr/lib/erlang/lib/erl_interface-3.10/lib\""},
                  {"ERL_LDFLAGS",
                   " -L\"/usr/lib/erlang/lib/erl_interface-3.10/lib\" -lerl_interface -lei"},
                  {"ESCRIPT_NAME","/usr/bin/rebar"},
                  {"EXE_CC_TEMPLATE",
                   "cc -c -pipe -Wall -g -O2 -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.10/include\" -I\"/usr/lib/erlang/erts-9.1.3/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
                  {"EXE_CFLAGS",
                   "-g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.10/include\" -I\"/usr/lib/erlang/erts-9.1.3/include\"  "},
                  {"EXE_CXX_TEMPLATE",
                   "c++ -c -pipe -Wall -g -O2 -g -Wall -fPIC -MMD  -I\"/usr/lib/erlang/lib/erl_interface-3.10/include\" -I\"/usr/lib/erlang/erts-9.1.3/include\"   $PORT_IN_FILES -o $PORT_OUT_FILE"},
                  {"EXE_LDFLAGS",
                   " -L\"/usr/lib/erlang/lib/erl_interface-3.10/lib\" -lerl_interface -lei"},
                  {"EXE_LINK_CXX_TEMPLATE",
                   "c++ $PORT_IN_FILES $LDFLAGS  -L\"/usr/lib/erlang/lib/erl_interface-3.10/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
                  {"EXE_LINK_TEMPLATE",
                   "cc $PORT_IN_FILES $LDFLAGS  -L\"/usr/lib/erlang/lib/erl_interface-3.10/lib\" -lerl_interface -lei -o $PORT_OUT_FILE"},
                  {"FCFLAGS","-pipe -Wall -g -O2"},
                  {"FFLAGS","-pipe -Wall -g -O2"},
                  {"G_BROKEN_FILENAMES","1"},
                  {"G_FILENAME_ENCODING","iso8859-1"},
                  {"HISTFILESIZE","9999"},
                  {"HISTSIZE","999"},
                  {"HOME","/usr/src"},
                  {"HOSTNAME","localhost.localdomain"},
                  {"LD","ld"},
                  {"LOGNAME","builder"},
                  {"MAIL","/var/mail/builder"},
                  {"MAKEFLAGS","-w PAM_SO_SUFFIX="},
                  {"NM","nm"},
                  {"OBJCOPY","objcopy"},
                  {"OBJDUMP","objdump"},
                  {"PAM_NAME_SUFFIX",[]},
                  {"PAM_SO_SUFFIX",[]},
                  {"PATH",
                   "/usr/lib/erlang/erts-9.1.3/bin:/usr/lib/erlang/bin:/usr/src/bin:/bin:/usr/bin:/usr/X11R6/bin:/usr/games"},
                  {"PROGNAME","erl"},
                  {"PWD","/usr/src/RPM/BUILD/erlang-proper-1.2"},
                  {"RANLIB","ranlib"},
                  {"REBAR_DEPS_PREFER_LIBS","TRUE"},
                  {"ROOTDIR","/usr/lib/erlang"},
                  {"RPM_ARCH","x86_64"},
                  {"RPM_BUILD_DIR","/usr/src/RPM/BUILD"},
                  {"RPM_BUILD_ROOT","/usr/src/tmp/erlang-proper-buildroot"},
                  {"RPM_CLEANUP_METHOD","auto"},
                  {"RPM_CLEANUP_SKIPLIST",[]},
                  {"RPM_CLEANUP_TOPDIR",[]},
                  {"RPM_COMPRESS_METHOD","auto"},
                  {"RPM_COMPRESS_SKIPLIST",[]},
                  {"RPM_COMPRESS_TOPDIR","/usr"},
                  {"RPM_DATADIR","/usr/share"},
                  {"RPM_DEBUGINFO_SKIPLIST",[]},
                  {"RPM_DOC_DIR","/usr/share/doc"},
                  {"RPM_ERLANG","/usr/bin/erl"},
                  {"RPM_ERLANG_LIB_DEBUG_DIR","/usr/lib/erlang/lib.debug"},
                  {"RPM_ERLANG_LIB_DIR","/usr/lib/erlang/lib"},
                  {"RPM_ERLANG_LIB_NATIVE_DIR","/usr/lib/erlang/lib.native"},
                  {"RPM_ERLANG_REQ_MODULES_SKIPLIST","hipe_bifs"},
                  {"RPM_ERLC","/usr/bin/erlc"},
                  {"RPM_FILES_TO_LD_PRELOAD_python",
                   " /usr/lib/python2.7/* /usr/lib/python2.7/site-packages/* /usr/lib/python2.7/site-packages/*"},
                  {"RPM_FINDPACKAGE_PATH",[]},
                  {"RPM_FINDPROV_LIB_PATH",[]},
                  {"RPM_FINDPROV_SKIPLIST","/usr/share/doc/*"},
                  {"RPM_FINDPROV_TOPDIR",[]},
                  {"RPM_FINDREQ_SKIPLIST","/usr/share/doc/*"},
                  {"RPM_FINDREQ_TOPDIR",[]},
                  {"RPM_FIXUP_METHOD","binconfig pkgconfig libtool desktop"},
                  {"RPM_FIXUP_SKIPLIST",[]},
                  {"RPM_FIXUP_TOPDIR",[]},
                  {"RPM_LD_PRELOAD_python","/usr/lib64/libpython2.7.so"},
                  {"RPM_LIB","lib64"},
                  {"RPM_LIBDIR","/usr/lib64"},
                  {"RPM_OPT_FLAGS","-pipe -Wall -g -O2"},
                  {"RPM_OS","linux"},
                  {"RPM_OTP_LIB_DEBUG_DIR","/usr/lib/erlang/lib.debug"},
                  {"RPM_OTP_LIB_DIR","/usr/lib/erlang/lib"},
                  {"RPM_OTP_LIB_NATIVE_DIR","/usr/lib/erlang/lib.native"},
                  {"RPM_PACKAGE_NAME","erlang-proper"},
                  {"RPM_PACKAGE_RELEASE","alt1.M80P.1"},
                  {"RPM_PACKAGE_VERSION","1.2"},
                  {"RPM_PERL_REQ_METHOD","normal"},
                  {"RPM_PKG_CONTENTS_INDEX_BIN","/.host/contents_index_bin"},
                  {"RPM_PYTHON","/usr/bin/python"},
                  {"RPM_PYTHON_COMPILE_CLEAN","1"},
                  {"RPM_PYTHON_COMPILE_DEEP","20"},
                  {"RPM_PYTHON_COMPILE_EXCLUDE","/usr/share/doc"},
                  {"RPM_PYTHON_COMPILE_INCLUDE","/usr/lib /usr/lib"},
                  {"RPM_PYTHON_COMPILE_METHOD","ALL"},
                  {"RPM_PYTHON_COMPILE_SKIP_X","1"},
                  {"RPM_PYTHON_LIB_PATH",[]},
                  {"RPM_PYTHON_MODULE_DECLARED",[]},
                  {"RPM_PYTHON_REQ_METHOD","slight"},
                  {"RPM_PYTHON_REQ_SKIP",[]},
                  {"RPM_SOURCE_DIR","/usr/src/RPM/SOURCES"},
                  {"RPM_TARGET_ARCH","noarch"},
                  {"RPM_TARGET_OS","linux"},
                  {"RPM_VERIFY_ELF_METHOD","default"},
                  {"RPM_VERIFY_ELF_SKIPLIST",[]},
                  {"RPM_VERIFY_ELF_TOPDIR",[]},
                  {"RPM_VERIFY_INFO_METHOD","normal"},
                  {"SHLVL","2"},
                  {"SOURCE_DATE_EPOCH","1527521938"},
                  {"STRIP","strip"},
                  {"TERM","dumb"},
                  {"TMPDIR","/usr/src/tmp"},
                  {"USER","builder"},
                  {"VSN","1.2"},
                  {"REBAR","/usr/bin/rebar"}]},
            exit_status,
            {line,16384},
            use_stdio,stderr_to_stdout,hide]
make: Entering directory `/usr/src/RPM/BUILD/erlang-proper-1.2'
./write_compile_flags include/compile_flags.hrl
make: Leaving directory `/usr/src/RPM/BUILD/erlang-proper-1.2'
DEBUG: Matched required ERTS version: 9.1.3 -> .*
DEBUG: Matched required OTP release: 20 -> .*
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_array.erl
Compiled src/proper_arith.erl
Compiled src/proper_dict.erl
Compiled src/proper_gb_sets.erl
Compiled src/proper_fsm.erl
Compiled src/proper_gb_trees.erl
Compiled src/proper_orddict.erl
Compiled src/proper_ordsets.erl
Compiled src/proper.erl
Compiled src/proper_prop_remover.erl
Compiled src/proper_queue.erl
Compiled src/proper_sets.erl
Compiled src/proper_gen.erl
Compiled src/proper_shrink.erl
Compiled src/proper_symb.erl
Compiled src/proper_statem.erl
Compiled src/proper_unicode.erl
Compiled src/proper_transformer.erl
DEBUG: Worker exited cleanly
Compiled src/proper_unused_imports_remover.erl
DEBUG: Worker exited cleanly
src/proper_typeserver.erl:553: Warning: erlang:get_stacktrace/0 used following a 'try' expression may stop working in a future release. (Use it inside 'try'.)
src/proper_typeserver.erl:556: Warning: erlang:get_stacktrace/0 used following a 'try' expression may stop working in a future release. (Use it inside 'try'.)
src/proper_typeserver.erl:553: Warning: erlang:get_stacktrace/0 used following a 'try' expression may stop working in a future release. (Use it inside 'try'.)
src/proper_typeserver.erl:556: Warning: erlang:get_stacktrace/0 used following a 'try' expression may stop working in a future release. (Use it inside 'try'.)
Compiled src/proper_typeserver.erl
DEBUG: Worker exited cleanly
INFO:  No app_vars_file defined.
DEBUG: Postdirs: []
+ exit 0
Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.31594
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ /bin/chmod -Rf u+rwX -- /usr/src/tmp/erlang-proper-buildroot
+ :
+ /bin/rm -rf -- /usr/src/tmp/erlang-proper-buildroot
+ cd erlang-proper-1.2
+ '[' proper '!=' '' ']'
+ mkdir -p /usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib/proper-1.2/
+ mkdir -p /usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib/proper-1.2/ebin/
+ '[' -f ebin/proper.app ']'
+ install -m 0644 -p ebin/proper.app /usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib/proper-1.2/ebin/
+ 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 /usr/src/tmp/erlang-proper-buildroot/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)'
+ install -D -m 0644 -p include/compile_flags.hrl /usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib/proper-1.2/include/compile_flags.hrl
+ for erlincludefile in '$(ls include/*.hrl)'
+ install -D -m 0644 -p include/proper.hrl /usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib/proper-1.2/include/proper.hrl
+ for erlincludefile in '$(ls include/*.hrl)'
+ install -D -m 0644 -p include/proper_common.hrl /usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib/proper-1.2/include/proper_common.hrl
+ for erlincludefile in '$(ls include/*.hrl)'
+ install -D -m 0644 -p include/proper_internal.hrl /usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib/proper-1.2/include/proper_internal.hrl
+ for erlincludefile in '$(ls include/*.hrl)'
+ install -D -m 0644 -p include/proper_param_adts.hrl /usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib/proper-1.2/include/proper_param_adts.hrl
+ '[' -d priv ']'
+ /usr/lib/rpm/brp-alt
Cleaning files in /usr/src/tmp/erlang-proper-buildroot (auto)
Verifying and fixing files in /usr/src/tmp/erlang-proper-buildroot (binconfig,pkgconfig,libtool,desktop)
Compressing files in /usr/src/tmp/erlang-proper-buildroot (auto)
Adjusting library links in /usr/src/tmp/erlang-proper-buildroot
./usr/lib:
./usr/lib/erlang/lib:
Verifying ELF objects in /usr/src/tmp/erlang-proper-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal)
Hardlinking identical .pyc and .pyo files
Executing(%check): /bin/sh -e /usr/src/tmp/rpm-tmp.98500
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd erlang-proper-1.2
+ export ERL_LIBS=/usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib
+ ERL_LIBS=/usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib
+ CFLAGS='-pipe -Wall -g -O2'
+ export CFLAGS
+ CXXFLAGS='-pipe -Wall -g -O2'
+ export CXXFLAGS
+ FFLAGS='-pipe -Wall -g -O2'
+ export FFLAGS
+ FCFLAGS='-pipe -Wall -g -O2'
+ export FCFLAGS
+ VSN=1.2
+ export VSN
+ REBAR_DEPS_PREFER_LIBS=TRUE
+ export REBAR_DEPS_PREFER_LIBS
+ /usr/bin/rebar eunit -vv -C rebar.test.config
DEBUG: Consult config file "/usr/src/RPM/BUILD/erlang-proper-1.2/rebar.test.config"
DEBUG: Rebar location: "/usr/bin/rebar"
DEBUG: Consult config file "/usr/src/RPM/BUILD/erlang-proper-1.2/src/proper.app.src"
DEBUG: Available deps: []
DEBUG: Missing deps  : []
DEBUG: Plugins requested while processing /usr/src/RPM/BUILD/erlang-proper-1.2: []
DEBUG: Predirs: []
==> erlang-proper-1.2 (eunit)
DEBUG: Matched required ERTS version: 9.1.3 -> .*
DEBUG: Matched required OTP release: 20 -> .*
DEBUG: Min OTP version unconfigured
DEBUG: Triq availability: false
DEBUG: PropEr availability: true
DEBUG: QuickCheck availability: false
INFO:  sh info:
	cwd: "/usr/src/RPM/BUILD/erlang-proper-1.2"
	cmd: cp -R src/proper.erl src/proper_arith.erl src/proper_array.erl src/proper_dict.erl src/proper_fsm.erl src/proper_gb_sets.erl src/proper_gb_trees.erl src/proper_gen.erl src/proper_orddict.erl src/proper_ordsets.erl src/proper_prop_remover.erl src/proper_queue.erl src/proper_sets.erl src/proper_shrink.erl src/proper_statem.erl src/proper_symb.erl src/proper_transformer.erl src/proper_types.erl src/proper_typeserver.erl src/proper_unicode.erl src/proper_unused_imports_remover.erl src/strip_types.erl src/vararg.erl test/auto_export_test1.erl test/auto_export_test2.erl test/command_props.erl test/error_statem.erl test/ets_counter.erl test/ets_statem.erl test/improper_lists_statem.erl test/let_tests.erl test/no_native_parse_test.erl test/nogen_statem.erl test/numbers_fsm.erl test/pdict_fsm.erl test/pdict_statem.erl test/perf_max_size.erl test/post_false.erl test/prec_false.erl test/proper_print.erl test/proper_specs_tests.erl test/rec_props_test1.erl test/rec_props_test2.erl test/rec_test1.erl test/rec_test2.erl test/symb_statem.erl test/to_remove.erl test/types_test1.erl test/types_test2.erl test/weird_types.erl test/proper_tests.erl ".eunit"
DEBUG: 	opts: [{use_stdout,false},abort_on_error]
DEBUG: Port Cmd: "cp -R src/proper.erl src/proper_arith.erl src/proper_array.erl src/proper_dict.erl src/proper_fsm.erl src/proper_gb_sets.erl src/proper_gb_trees.erl src/proper_gen.erl src/proper_orddict.erl src/proper_ordsets.erl src/proper_prop_remover.erl src/proper_queue.erl src/proper_sets.erl src/proper_shrink.erl src/proper_statem.erl src/proper_symb.erl src/proper_transformer.erl src/proper_types.erl src/proper_typeserver.erl src/proper_unicode.erl src/proper_unused_imports_remover.erl src/strip_types.erl src/vararg.erl test/auto_export_test1.erl test/auto_export_test2.erl test/command_props.erl test/error_statem.erl test/ets_counter.erl test/ets_statem.erl test/improper_lists_statem.erl test/let_tests.erl test/no_native_parse_test.erl test/nogen_statem.erl test/numbers_fsm.erl test/pdict_fsm.erl test/pdict_statem.erl test/perf_max_size.erl test/post_false.erl test/prec_false.erl test/proper_print.erl test/proper_specs_tests.erl test/rec_props_test1.erl test/rec_props_test2.erl test/rec_test1.erl test/rec_test2.erl test/symb_statem.erl test/to_remove.erl test/types_test1.erl test/types_test2.erl test/weird_types.erl test/proper_tests.erl \".eunit\""
Port Opts: [exit_status,{line,16384},use_stdio,stderr_to_stdout,hide]
DEBUG: erl_opts [{d,'TEST'},debug_info,{d,'PROPER'}]
DEBUG: Files to compile first: ["src/proper_symb.erl","src/proper_types.erl",
                                "src/proper_transformer.erl","src/vararg.erl",
                                "src/proper_prop_remover.erl",
                                "src/strip_types.erl",
                                "src/proper_unicode.erl",
                                "src/proper_unused_imports_remover.erl",
                                "src/proper.erl","src/proper_statem.erl"]
Compiled src/proper_symb.erl
Compiled src/proper_types.erl
Compiled src/proper_transformer.erl
Compiled src/vararg.erl
Compiled src/proper_prop_remover.erl
Compiled src/strip_types.erl
Compiled src/proper_unicode.erl
Compiled src/proper_unused_imports_remover.erl
Compiled src/proper.erl
Compiled src/proper_statem.erl
DEBUG: Starting 3 compile worker(s)
Compiled src/proper_array.erl
Compiled src/proper_dict.erl
Compiled src/proper_fsm.erl
Compiled src/proper_gb_trees.erl
Compiled src/proper_gb_sets.erl
Compiled src/proper_arith.erl
Compiled src/proper_orddict.erl
Compiled src/proper_ordsets.erl
Compiled src/proper_gen.erl
Compiled src/proper_queue.erl
Compiled src/proper_shrink.erl
Compiled src/proper_sets.erl
test/auto_export_test2.erl:32: Warning: function prop_1/0 is unused
Compiled test/auto_export_test2.erl
Compiled test/auto_export_test1.erl
test/error_statem.erl:25: Warning: export_all flag enabled - all functions will be exported
Compiled test/error_statem.erl
Compiled test/command_props.erl
test/ets_counter.erl:29: Warning: export_all flag enabled - all functions will be exported
Compiled test/ets_counter.erl
Compiled test/improper_lists_statem.erl
Compiled test/ets_statem.erl
src/proper_typeserver.erl:553: Warning: erlang:get_stacktrace/0 used following a 'try' expression may stop working in a future release. (Use it inside 'try'.)
src/proper_typeserver.erl:556: Warning: erlang:get_stacktrace/0 used following a 'try' expression may stop working in a future release. (Use it inside 'try'.)
Compiled src/proper_typeserver.erl
test/let_tests.erl:36: Warning: type rng() is unused
Compiled test/let_tests.erl
Compiled test/no_native_parse_test.erl
test/nogen_statem.erl:25: Warning: export_all flag enabled - all functions will be exported
Compiled test/nogen_statem.erl
Compiled test/pdict_fsm.erl
Compiled test/pdict_statem.erl
test/numbers_fsm.erl:26: Warning: export_all flag enabled - all functions will be exported
Compiled test/numbers_fsm.erl
test/post_false.erl:25: Warning: export_all flag enabled - all functions will be exported
Compiled test/post_false.erl
Compiled test/perf_max_size.erl
test/prec_false.erl:25: Warning: export_all flag enabled - all functions will be exported
Compiled test/prec_false.erl
Compiled test/rec_props_test1.erl
Compiled test/proper_print.erl
Compiled test/proper_specs_tests.erl
test/rec_test1.erl:39: Warning: type bb() is unused
Compiled test/rec_test1.erl
test/rec_test2.erl:29: Warning: opaque type b() is not exported
Compiled test/rec_test2.erl
Compiled test/rec_props_test2.erl
Compiled test/to_remove.erl
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
test/types_test2.erl:30: Warning: record rec1 is unused
Compiled test/types_test2.erl
test/symb_statem.erl:25: Warning: export_all flag enabled - all functions will be exported
Compiled test/symb_statem.erl
DEBUG: Worker exited cleanly
test/weird_types.erl:28: Warning: export_all flag enabled - all functions will be exported
test/weird_types.erl:35: Warning: type hd(_) is unused
Compiled test/weird_types.erl
DEBUG: Worker exited cleanly
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:845: Warning: type untyped() is unused
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:1028: Warning: this clause cannot match because a previous clause at line 1028 always matches
test/proper_tests.erl:1052: Warning: this clause cannot match because a previous clause at line 1052 always matches
test/proper_tests.erl:1319: Warning: type my_native_type() is unused
test/proper_tests.erl:1321: Warning: type type_and_fun() is unused
test/proper_tests.erl:1323: Warning: type type_only() is unused
test/proper_tests.erl:1324: Warning: type id(_) is unused
test/proper_tests.erl:1325: Warning: type lof() is unused
Compiled test/proper_tests.erl
DEBUG: Worker exited cleanly
======================== EUnit ========================
module 'proper_symb'
module 'proper_types'
module 'proper_transformer'
module 'vararg'
module 'proper_prop_remover'
module 'strip_types'
module 'proper_unicode'
module 'proper_unused_imports_remover'
module 'proper'
  module 'proper_tests'
    proper_tests:700: simple_types_test_...[0.031 s] ok
    proper_tests:700: simple_types_test_...[0.025 s] ok
    proper_tests:700: simple_types_test_...[0.019 s] ok
    proper_tests:700: simple_types_test_...[0.024 s] ok
    proper_tests:700: simple_types_test_...[0.020 s] ok
    proper_tests:700: simple_types_test_...[0.022 s] ok
    proper_tests:700: simple_types_test_...[0.019 s] ok
    proper_tests:700: simple_types_test_...[0.020 s] ok
    proper_tests:700: simple_types_test_...[0.038 s] ok
    proper_tests:700: simple_types_test_...[0.039 s] ok
    proper_tests:700: simple_types_test_...[0.025 s] ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...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.001 s] ok
    proper_tests:700: simple_types_test_...[0.001 s] ok
    proper_tests:700: simple_types_test_...[0.030 s] ok
    proper_tests:700: simple_types_test_...[0.021 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.031 s] ok
    proper_tests:700: simple_types_test_...[0.019 s] ok
    proper_tests:700: simple_types_test_...[0.028 s] ok
    proper_tests:700: simple_types_test_...[0.024 s] ok
    proper_tests:700: simple_types_test_...[0.034 s] ok
    proper_tests:700: simple_types_test_...[0.032 s] ok
    proper_tests:700: simple_types_test_...[0.026 s] ok
    proper_tests:700: simple_types_test_...[0.027 s] ok
    proper_tests:700: simple_types_test_...[0.052 s] ok
    proper_tests:700: simple_types_test_...[0.053 s] ok
    proper_tests:700: simple_types_test_...[0.003 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.041 s] ok
    proper_tests:700: simple_types_test_...[0.050 s] ok
    proper_tests:700: simple_types_test_...[0.001 s] ok
    proper_tests:700: simple_types_test_...[0.059 s] ok
    proper_tests:700: simple_types_test_...[0.029 s] ok
    proper_tests:700: simple_types_test_...[0.044 s] ok
    proper_tests:700: simple_types_test_...[0.002 s] ok
    proper_tests:700: simple_types_test_...[0.004 s] ok
    proper_tests:700: simple_types_test_...[0.012 s] ok
    proper_tests:700: simple_types_test_...[0.003 s] ok
    proper_tests:700: simple_types_test_...[0.001 s] ok
    proper_tests:700: simple_types_test_...[0.052 s] ok
    proper_tests:700: simple_types_test_...[0.001 s] ok
    proper_tests:700: simple_types_test_...[0.004 s] ok
    proper_tests:700: simple_types_test_...[0.001 s] ok
    proper_tests:700: simple_types_test_...[0.029 s] ok
    proper_tests:700: simple_types_test_...[0.028 s] ok
    proper_tests:700: simple_types_test_...[0.038 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.021 s] ok
    proper_tests:700: simple_types_test_...[0.002 s] ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...[0.022 s] ok
    proper_tests:700: simple_types_test_...[0.028 s] ok
    proper_tests:700: simple_types_test_...[0.020 s] ok
    proper_tests:700: simple_types_test_...ok
    proper_tests:700: simple_types_test_...[0.021 s] ok
    proper_tests:700: simple_types_test_...[0.001 s] ok
    proper_tests:700: simple_types_test_...[0.027 s] ok
    proper_tests:700: simple_types_test_...[0.143 s] ok
    proper_tests:700: simple_types_test_...[0.026 s] ok
    proper_tests:700: simple_types_test_...[0.023 s] ok
    proper_tests:700: simple_types_test_...[0.021 s] ok
    proper_tests:703: constructed_types_test_...[0.024 s] ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...[0.003 s] ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...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.034 s] ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...[0.003 s] ok
    proper_tests:703: constructed_types_test_...[0.150 s] ok
    proper_tests:703: constructed_types_test_...[0.200 s] ok
    proper_tests:703: constructed_types_test_...[0.026 s] ok
    proper_tests:703: constructed_types_test_...[0.024 s] ok
    proper_tests:703: constructed_types_test_...[0.044 s] ok
    proper_tests:703: constructed_types_test_...[0.028 s] ok
    proper_tests:703: constructed_types_test_...[0.030 s] ok
    proper_tests:703: constructed_types_test_...[0.027 s] ok
    proper_tests:703: constructed_types_test_...[0.025 s] ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...ok
    proper_tests:703: constructed_types_test_...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_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...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_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...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_...ok
    proper_tests:709: shrinks_to_test_...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_...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_...ok
    proper_tests:709: shrinks_to_test_...[0.003 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...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_...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_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.001 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.004 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...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_...ok
    proper_tests:709: shrinks_to_test_...[0.002 s] ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...[0.002 s] ok
    proper_tests:709: shrinks_to_test_...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_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:709: shrinks_to_test_...ok
    proper_tests:715: native_shrinks_to_test_...[0.147 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.117 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.117 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.100 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.094 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.099 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.105 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.164 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.101 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.096 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.098 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.095 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.096 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.099 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.109 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.114 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.104 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.126 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.104 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.136 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.111 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.118 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.106 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.100 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.108 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.113 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.113 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.122 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.136 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.155 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.159 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.132 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.122 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.143 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.133 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.123 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.122 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.152 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.141 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.150 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.124 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.116 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.125 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.103 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.101 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.124 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.127 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.118 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.112 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.114 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.103 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.110 s] ok
    proper_tests:715: native_shrinks_to_test_...[0.097 s] ok
    proper_tests:721: cant_generate_test_...ok
    proper_tests:721: cant_generate_test_...ok
    proper_tests:721: cant_generate_test_...ok
    proper_tests:721: cant_generate_test_...ok
    proper_tests:721: cant_generate_test_...ok
    proper_tests:721: cant_generate_test_...[0.003 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_...[0.002 s] ok
    proper_tests:721: cant_generate_test_...ok
    proper_tests:724: native_cant_translate_test_...ok
    proper_tests:724: native_cant_translate_test_...[0.099 s] ok
    proper_tests:724: native_cant_translate_test_...[0.001 s] ok
    proper_tests:724: native_cant_translate_test_...[0.002 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_...ok
    proper_tests:724: native_cant_translate_test_...ok
    proper_tests:724: native_cant_translate_test_...ok
    proper_tests:728: remote_native_types_test_...ok
    proper_tests:728: remote_native_types_test_...ok
    proper_tests:728: remote_native_types_test_...ok
    proper_tests:728: remote_native_types_test_...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.003 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:728: remote_native_types_test_...[0.002 s] ok
    proper_tests:728: remote_native_types_test_...ok
    proper_tests:728: remote_native_types_test_...[0.007 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:732: recursive_native_types_test_...[0.031 s] ok
    proper_tests:732: recursive_native_types_test_...[0.004 s] ok
    proper_tests:732: recursive_native_types_test_...[0.029 s] ok
    proper_tests:732: recursive_native_types_test_...[0.017 s] ok
    proper_tests:732: recursive_native_types_test_...[0.005 s] ok
    proper_tests:732: recursive_native_types_test_...[0.002 s] ok
    proper_tests:732: recursive_native_types_test_...[0.005 s] ok
    proper_tests:732: recursive_native_types_test_...[0.088 s] ok
    proper_tests:732: recursive_native_types_test_...[0.003 s] ok
    proper_tests:732: recursive_native_types_test_...[0.006 s] ok
    proper_tests:732: recursive_native_types_test_...[0.004 s] ok
    proper_tests:732: recursive_native_types_test_...[0.013 s] ok
    proper_tests:732: recursive_native_types_test_...[0.009 s] ok
    proper_tests:736: recursive_native_cant_translate_test_...[0.001 s] ok
    proper_tests:736: recursive_native_cant_translate_test_...[0.007 s] ok
    proper_tests:736: recursive_native_cant_translate_test_...[0.003 s] ok
    proper_tests:736: recursive_native_cant_translate_test_...[0.001 s] ok
    proper_tests:736: recursive_native_cant_translate_test_...[0.003 s] ok
    proper_tests:736: recursive_native_cant_translate_test_...ok
    proper_tests:736: recursive_native_cant_translate_test_...ok
    proper_tests:736: recursive_native_cant_translate_test_...ok
    proper_tests:741: random_functions_test_...ok
    proper_tests:742: random_functions_test_...[0.004 s] ok
    proper_tests:741: random_functions_test_...ok
    proper_tests:742: random_functions_test_...[0.003 s] ok
    proper_tests:741: random_functions_test_...ok
    proper_tests:742: random_functions_test_...[0.003 s] ok
    proper_tests:741: random_functions_test_...ok
    proper_tests:742: random_functions_test_...[0.004 s] ok
    proper_tests:746: parse_transform_test_...[0.002 s] ok
    proper_tests:747: parse_transform_test_...[0.001 s] ok
    proper_tests:748: parse_transform_test_...[0.002 s] ok
    proper_tests:749: parse_transform_test_...[0.039 s] ok
    proper_tests:750: parse_transform_test_...[0.005 s] ok
    proper_tests:753: native_type_props_test_...[0.068 s] ok
    proper_tests:755: native_type_props_test_...[0.050 s] ok
    proper_tests:758: native_type_props_test_...[0.063 s] ok
    proper_tests:763: native_type_props_test_...[0.069 s] ok
    proper_tests:765: native_type_props_test_...[0.006 s] ok
    proper_tests:766: native_type_props_test_...[0.047 s] ok
    proper_tests:767: native_type_props_test_...[0.002 s] ok
    proper_tests:768: native_type_props_test_...[0.054 s] ok
    proper_tests:769: native_type_props_test_...[0.077 s] ok
    proper_tests:770: native_type_props_test_...ok
    proper_tests:771: native_type_props_test_...[0.007 s] ok
    proper_tests:779: native_type_props_test_...[0.050 s] ok
    proper_tests:780: native_type_props_test_...[0.006 s] ok
    proper_tests:781: native_type_props_test_...[0.007 s] ok
    proper_tests:782: native_type_props_test_...[0.046 s] ok
    proper_tests:785: native_type_props_test_...[0.052 s] ok
    proper_tests:786: native_type_props_test_...[0.065 s] ok
    proper_tests:788: native_type_props_test_...ok
    proper_tests:793: native_type_props_test_...[0.111 s] ok
    proper_tests:795: native_type_props_test_...[0.051 s] ok
    proper_tests:796: native_type_props_test_...[0.058 s] ok
    proper_tests:798: native_type_props_test_...[0.054 s] ok
    Shrinking tuples
      All elements are generators
        proper_tests:801: native_type_props_test_...ok
        proper_tests:802: native_type_props_test_...ok
        [done in 0.006 s]
      Some elements are generators
        proper_tests:804: native_type_props_test_...ok
        proper_tests:805: native_type_props_test_...ok
        proper_tests:806: native_type_props_test_...ok
        proper_tests:807: native_type_props_test_...ok
        [done in 0.013 s]
      All elements are consts
        proper_tests:809: native_type_props_test_...[0.001 s] ok
        proper_tests:810: native_type_props_test_...ok
        [done in 0.007 s]
      [done in 0.026 s]
    Shrinking fixed lists
      All elements are generators
        proper_tests:813: native_type_props_test_...[0.001 s] ok
        proper_tests:814: native_type_props_test_...ok
        proper_tests:815: native_type_props_test_...[0.001 s] ok
        [done in 0.011 s]
      Some elements are generators
        proper_tests:817: native_type_props_test_...[0.001 s] ok
        proper_tests:818: native_type_props_test_...[0.001 s] ok
        proper_tests:819: native_type_props_test_...ok
        proper_tests:820: native_type_props_test_...ok
        proper_tests:821: native_type_props_test_...ok
        proper_tests:822: native_type_props_test_...ok
        [done in 0.020 s]
      All elements are consts
        proper_tests:824: native_type_props_test_...[0.001 s] ok
        proper_tests:825: native_type_props_test_...ok
        proper_tests:826: native_type_props_test_...ok
        [done in 0.010 s]
      [done in 0.042 s]
    proper_tests:827: native_type_props_test_...[0.009 s] ok
    proper_tests:828: native_type_props_test_...[0.018 s] ok
    proper_tests:830: native_type_props_test_...[0.012 s] ok
    proper_tests:831: native_type_props_test_...[0.003 s] ok
    proper_tests:832: native_type_props_test_...[0.003 s] ok
    proper_tests:833: native_type_props_test_...[0.003 s] ok
    proper_tests:834: native_type_props_test_...[0.004 s] ok
    proper_tests:835: native_type_props_test_...[0.015 s] ok
    proper_tests:848: true_props_test_...[0.002 s] ok
    proper_tests:849: true_props_test_...[0.009 s] ok
    proper_tests:850: true_props_test_...[0.055 s] ok
    proper_tests:851: true_props_test_...[0.060 s] ok
    proper_tests:852: true_props_test_...[0.076 s] ok
    proper_tests:853: true_props_test_...[0.115 s] ok
    proper_tests:854: true_props_test_...[0.007 s] ok
    proper_tests:855: true_props_test_...[0.009 s] ok
    proper_tests:856: true_props_test_...[0.008 s] ok
    proper_tests:857: true_props_test_...[0.027 s] ok
    proper_tests:860: true_props_test_...[0.006 s] ok
    proper_tests:863: true_props_test_...[0.007 s] ok
    proper_tests:866: true_props_test_...[0.010 s] ok
    proper_tests:868: true_props_test_...[0.002 s] ok
    proper_tests:870: true_props_test_...ok
    proper_tests:873: true_props_test_...ok
    proper_tests:877: true_props_test_...[0.002 s] ok
    proper_tests:878: true_props_test_...[0.005 s] ok
    proper_tests:879: true_props_test_...[0.007 s] ok
    proper_tests:880: true_props_test_...[0.007 s] ok
    proper_tests:881: true_props_test_...[0.014 s] ok
    proper_tests:882: true_props_test_...[0.004 s] ok
    proper_tests:887: true_props_test_...[0.226 s] ok
    proper_tests:888: true_props_test_...[0.265 s] ok
    proper_tests:889: true_props_test_...[0.383 s] ok
    proper_tests:890: true_props_test_...[0.351 s] ok
    proper_tests:891: true_props_test_...[0.716 s] ok
    proper_tests:892: true_props_test_...[1.911 s] ok
    proper_tests:893: true_props_test_...[8.151 s] ok
    proper_tests:894: true_props_test_...[4.410 s] ok
    proper_tests:897: false_props_test_...[0.003 s] ok
    proper_tests:899: false_props_test_...[0.002 s] ok
    proper_tests:903: false_props_test_...[0.006 s] ok
    proper_tests:906: false_props_test_...[0.003 s] ok
    proper_tests:911: false_props_test_...ok
    proper_tests:912: false_props_test_...[0.009 s] ok
    proper_tests:917: false_props_test_...[0.918 s] ok
    proper_tests:918: false_props_test_...[0.007 s] ok
    proper_tests:919: false_props_test_...ok
    proper_tests:925: false_props_test_...[0.009 s] ok
    proper_tests:928: false_props_test_...ok
    proper_tests:932: false_props_test_...[0.001 s] ok
    proper_tests:934: false_props_test_...[0.001 s] ok
    proper_tests:936: false_props_test_...[0.001 s] ok
    proper_tests:938: false_props_test_...[0.007 s] ok
    proper_tests:940: false_props_test_...[0.021 s] ok
    proper_tests:943: false_props_test_...ok
    proper_tests:944: false_props_test_...ok
    proper_tests:945: false_props_test_...ok
    proper_tests:946: false_props_test_...[0.001 s] ok
    proper_tests:947: false_props_test_...[0.001 s] ok
    proper_tests:949: false_props_test_...[0.001 s] ok
    proper_tests:950: false_props_test_...[0.005 s] ok
    proper_tests:974: false_props_test_...[0.384 s] ok
    proper_tests:975: false_props_test_...[0.024 s] ok
    proper_tests:976: false_props_test_...[0.012 s] ok
    proper_tests:979: error_props_test_...ok
    proper_tests:981: error_props_test_...[0.006 s] ok
    proper_tests:983: error_props_test_...ok
    proper_tests:985: error_props_test_...ok
    proper_tests:987: error_props_test_...ok
    proper_tests:989: error_props_test_...[0.007 s] ok
    proper_tests:990: error_props_test_...[0.001 s] ok
    proper_tests:991: error_props_test_...ok
    proper_tests:992: error_props_test_...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_...[0.001 s] ok
    proper_tests:1008: eval_test_...ok
    proper_tests:1008: eval_test_...[0.001 s] 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_...[0.001 s] ok
    proper_tests:1012: pretty_print_test_...ok
    proper_tests:1012: pretty_print_test_...ok
    proper_tests:1012: pretty_print_test_...[0.001 s] ok
    proper_tests:1012: pretty_print_test_...[0.001 s] 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_...[0.001 s] ok
    proper_tests:1020: options_test_...[0.010 s] ok
    proper_tests:1023: options_test_...[0.008 s] ok
    proper_tests:1026: options_test_...ok
    proper_tests:1027: options_test_...ok
    proper_tests:1028: options_test_...ok
    proper_tests:1029: options_test_...ok
    proper_tests:1032: options_test_...ok
    proper_tests:1046: adts_test_...[0.137 s] ok
    proper_tests:1049: adts_test_...[23.796 s] ok
    proper_tests:1052: adts_test_...[3.939 s] ok
    proper_tests:1056: parameter_test_...[0.012 s] ok
    proper_tests:1064: zip_test_...ok
    proper_tests:1064: zip_test_...ok
    proper_tests:1064: zip_test_...ok
    proper_tests:1064: zip_test_...ok
    proper_tests:1064: zip_test_...ok
    proper_tests:1064: zip_test_...ok
    proper_tests:1068: command_names_test_...ok
    proper_tests:1068: command_names_test_...ok
    proper_tests:1068: command_names_test_...ok
    proper_tests:1072: command_names_parallel1_test_...ok
    proper_tests:1072: command_names_parallel1_test_...ok
    proper_tests:1072: command_names_parallel1_test_...ok
    proper_tests:1076: command_names_parallel2_test_...ok
    proper_tests:1076: command_names_parallel2_test_...ok
    proper_tests:1076: command_names_parallel2_test_...ok
    proper_tests:1080: command_names_parallel3_test_...ok
    proper_tests:1080: command_names_parallel3_test_...ok
    proper_tests:1080: command_names_parallel3_test_...ok
    proper_tests:1084: command_names_parallel4_test_...ok
    proper_tests:1084: command_names_parallel4_test_...ok
    proper_tests:1084: command_names_parallel4_test_...ok
    proper_tests:1088: valid_cmds_test_...ok
    proper_tests:1088: valid_cmds_test_...ok
    proper_tests:1088: valid_cmds_test_...ok
    proper_tests:1092: invalid_cmds_test_...ok
    proper_tests:1094: invalid_cmds_test_...ok
    proper_tests:1094: invalid_cmds_test_...ok
    proper_tests:1098: state_after_test_...ok
    proper_tests:1098: state_after_test_...ok
    proper_tests:1098: state_after_test_...ok
    proper_tests:1102: cannot_generate_commands_test_...[0.001 s] ok
    proper_tests:1106: can_generate_commands0_test_...[0.027 s] ok
    proper_tests:1110: can_generate_commands1_test_...[0.070 s] ok
    proper_tests:1115: can_generate_parallel_commands0_test_...[0.073 s] ok
    proper_tests:1120: can_generate_parallel_commands1_test_...[0.078 s] ok
    proper_tests:1126: seeded_runs_return_same_result_test_...[0.046 s] ok
    proper_tests:1130: run_valid_commands_test_...ok
    proper_tests:1130: run_valid_commands_test_...ok
    proper_tests:1130: run_valid_commands_test_...ok
    proper_tests:1134: run_invalid_precondition_test_...ok
    proper_tests:1139: run_init_error_test_...[0.062 s] ok
    proper_tests: run_postcondition_false_test...ok
    proper_tests: run_exception_test...ok
    proper_tests:1153: get_next_test_...ok
    proper_tests:1153: get_next_test_...[0.001 s] ok
    proper_tests:1158: mk_first_comb_test_...ok
    proper_tests:1158: mk_first_comb_test_...ok
    proper_tests:1158: mk_first_comb_test_...ok
    proper_tests: args_not_defined_test...ok
    proper_tests:1166: command_props_test_...[3.842 s] ok
    proper_tests:1170: can_generate_fsm_commands_test_...[0.022 s] ok
    proper_tests:1170: can_generate_fsm_commands_test_...[0.010 s] ok
    proper_tests:1174: transition_target_test_...[0.010 s] ok
    proper_tests:1177: dollar_only_cp_test_...ok
    Test type with restrain
      proper_tests:1187: sampleshrink_test_ (Try another way to call shrinking (not sampleshrink))...[0.001 s] ok
      proper_tests:1190: sampleshrink_test_...ok
      [done in 0.007 s]
    proper_tests: max_size_test...[0.004 s] ok
    [done in 62.090 s]
  [done in 62.090 s]
module 'proper_statem'
module 'proper_array'
module 'proper_dict'
module 'proper_fsm'
module 'proper_gb_trees'
module 'proper_gb_sets'
module 'proper_arith'
module 'proper_orddict'
module 'proper_ordsets'
module 'proper_gen'
module 'proper_queue'
module 'proper_shrink'
module 'proper_sets'
module 'auto_export_test2'
module 'auto_export_test1'
module 'error_statem'
module 'command_props'
module 'ets_counter'
module 'improper_lists_statem'
module 'ets_statem'
module 'proper_typeserver'
module 'no_native_parse_test'
module 'nogen_statem'
module 'pdict_fsm'
module 'pdict_statem'
module 'numbers_fsm'
module 'post_false'
module 'perf_max_size'
module 'prec_false'
module 'rec_props_test1'
module 'proper_print'
  proper_print:34: stacktrace_test_...ok
  proper_print:36: stacktrace_test_...[0.013 s] ok
  [done in 0.019 s]
module 'rec_test1'
module 'rec_test2'
module 'rec_props_test2'
module 'to_remove'
module 'types_test1'
module 'types_test2'
module 'symb_statem'
module 'weird_types'
module 'let_tests'
module 'proper_specs_tests'
  proper_specs_tests:46: check1_specs_test_...[0.299 s] ok
  proper_specs_tests:49: check2_specs_test_...[0.113 s] ok
  proper_specs_tests:52: check3_specs_test_...[0.006 s] ok
  proper_specs_tests: check1_specs_test...[0.238 s] ok
  proper_specs_tests: check2_specs_test...[0.203 s] ok
  proper_specs_tests: check3_specs_test...[0.011 s] ok
  [done in 0.888 s]
=======================================================
  All 515 tests passed.
DEBUG: Reconstruct crypto [{fips_mode,false}]
DEBUG: Reconstruct kernel [{error_logger,tty}]
DEBUG: Reconstruct stdlib []
DEBUG: Reconstruct rebar []
DEBUG: No processes to kill
DEBUG: Postdirs: []
+ exit 0
Processing files: erlang-proper-1.2-alt1.M80P.1
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.6108
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd erlang-proper-1.2
+ DOCDIR=/usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.2
+ export DOCDIR
+ rm -rf /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.2
+ /bin/mkdir -p /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.2
+ cp -prL COPYING /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.2
+ chmod -R go-w /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.2
+ chmod -R a+rX /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.2
+ cp -prL doc README.md /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.2
+ chmod -R go-w /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.2
+ chmod -R a+rX /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.2
+ exit 0
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.I2M0cN
find-provides: running scripts (alternatives,debuginfo,erlang,lib,pam,perl,pkgconfig,python,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.neMmMU
find-requires: running scripts (cpp,debuginfo,erlang,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks)
Provides: erlang_app(proper) = 1.2, erlang_lib(proper) = 1.2, erlang_mod(proper) = 1.2, erlang_mod(proper_arith) = 1.2, erlang_mod(proper_array) = 1.2, erlang_mod(proper_dict) = 1.2, erlang_mod(proper_fsm) = 1.2, erlang_mod(proper_gb_sets) = 1.2, erlang_mod(proper_gb_trees) = 1.2, erlang_mod(proper_gen) = 1.2, erlang_mod(proper_orddict) = 1.2, erlang_mod(proper_ordsets) = 1.2, erlang_mod(proper_prop_remover) = 1.2, erlang_mod(proper_queue) = 1.2, erlang_mod(proper_sets) = 1.2, erlang_mod(proper_shrink) = 1.2, erlang_mod(proper_statem) = 1.2, erlang_mod(proper_symb) = 1.2, erlang_mod(proper_transformer) = 1.2, erlang_mod(proper_types) = 1.2, erlang_mod(proper_typeserver) = 1.2, erlang_mod(proper_unicode) = 1.2, erlang_mod(proper_unused_imports_remover) = 1.2, erlang_mod(strip_types) = 1.2, erlang_mod(vararg) = 1.2
Requires: erlang_app(compiler), erlang_app(kernel), erlang_app(stdlib), erlang_mod(array), erlang_mod(beam_lib), erlang_mod(code), erlang_mod(compile), erlang_mod(dict), erlang_mod(erl_anno), erlang_mod(erl_eval), erlang_mod(erl_internal), erlang_mod(erl_parse), erlang_mod(erl_pp), erlang_mod(erl_scan), erlang_mod(erlang), erlang_mod(gb_sets), erlang_mod(gb_trees), erlang_mod(gen_server), erlang_mod(io), erlang_mod(lists), erlang_mod(math), erlang_mod(orddict), erlang_mod(ordsets), erlang_mod(os), erlang_mod(proplists), erlang_mod(queue), erlang_mod(rand), erlang_mod(re), erlang_mod(sets), erlang_mod(unicode)
Wrote: /usr/src/RPM/RPMS/noarch/erlang-proper-1.2-alt1.M80P.1.noarch.rpm
50.00user 4.40system 1:19.07elapsed 68%CPU (0avgtext+0avgdata 1695836maxresident)k
0inputs+0outputs (0major+1188359minor)pagefaults 0swaps
61.01user 7.94system 1:38.25elapsed 70%CPU (0avgtext+0avgdata 1695836maxresident)k
0inputs+0outputs (0major+1540843minor)pagefaults 0swaps