<86>Jul 6 11:14:45 userdel[2232416]: delete user 'rooter' <86>Jul 6 11:14:45 userdel[2232416]: removed group 'rooter' owned by 'rooter' <86>Jul 6 11:14:45 userdel[2232416]: removed shadow group 'rooter' owned by 'rooter' <86>Jul 6 11:14:45 groupadd[2232423]: group added to /etc/group: name=rooter, GID=585 <86>Jul 6 11:14:45 groupadd[2232423]: group added to /etc/gshadow: name=rooter <86>Jul 6 11:14:45 groupadd[2232423]: new group: name=rooter, GID=585 <86>Jul 6 11:14:45 useradd[2232432]: new user: name=rooter, UID=585, GID=585, home=/root, shell=/bin/bash <86>Jul 6 11:14:45 userdel[2232448]: delete user 'builder' <86>Jul 6 11:14:45 userdel[2232448]: removed group 'builder' owned by 'builder' <86>Jul 6 11:14:45 userdel[2232448]: removed shadow group 'builder' owned by 'builder' <86>Jul 6 11:14:45 groupadd[2232457]: group added to /etc/group: name=builder, GID=586 <86>Jul 6 11:14:45 groupadd[2232457]: group added to /etc/gshadow: name=builder <86>Jul 6 11:14:45 groupadd[2232457]: new group: name=builder, GID=586 <86>Jul 6 11:14:45 useradd[2232463]: new user: name=builder, UID=586, GID=586, home=/usr/src, shell=/bin/bash <13>Jul 6 11:14:47 rpmi: rpm-macros-erlang-0.8.0-alt2 sisyphus+219490.300.1.1 1547649942 installed <13>Jul 6 11:14:47 rpmi: libnatspec-0.3.1-alt2 1445691580 installed <13>Jul 6 11:14:47 rpmi: unzip-6.0-alt3 sisyphus+244330.100.1.1 1579094108 installed <13>Jul 6 11:14:47 rpmi: rpm-build-erlang-0.7.10.1-alt4 sisyphus+233041.100.1.1 1561328489 installed <13>Jul 6 11:14:49 rpmi: libexpat-2.2.9-alt1 sisyphus+252464.200.2.1 1590958865 installed <13>Jul 6 11:14:49 rpmi: libjpeg-2:2.0.2-alt1 sisyphus+226996.100.1.1 1554902907 installed <13>Jul 6 11:14:49 rpmi: perl-HTTP-Date-6.04-alt1 sisyphus+241046.100.1.1 1574192946 installed <13>Jul 6 11:14:49 rpmi: libpng16-1.6.37-alt1 sisyphus+236677.100.2.1 1566917998 installed <13>Jul 6 11:14:49 rpmi: perl-XML-NamespaceSupport-1.12-alt1 1491296348 installed <13>Jul 6 11:14:49 rpmi: libwxBase3.0-3.0.4-alt5 sisyphus+228213.200.3.1 1556883461 installed <13>Jul 6 11:14:49 rpmi: libidn2-2.3.0-alt1 sisyphus+240846.100.1.2 1573870475 installed <13>Jul 6 11:14:49 rpmi: libnettle8-3.6-alt1 sisyphus+251637.100.3.1 1590060253 installed <13>Jul 6 11:14:49 rpmi: libfribidi-1.0.9-alt1 sisyphus+247242.1500.7.1 1583840860 installed <13>Jul 6 11:14:50 rpmi: libsqlite3-3.32.3-alt1 sisyphus+253798.100.1.1 1592756163 installed <13>Jul 6 11:14:50 rpmi: liblcms2-2.11-alt1 sisyphus+253499.100.1.1 1592287020 installed <13>Jul 6 11:14:50 rpmi: perl-LWP-MediaTypes-6.04-alt1 sisyphus+225468.100.1.1 1553186684 installed <13>Jul 6 11:14:50 rpmi: perl-Compress-Raw-Zlib-2.093-alt1 sisyphus+242766.100.1.1 1576089368 installed <13>Jul 6 11:14:50 rpmi: perl-libnet-1:3.11-alt1 1511423541 installed <13>Jul 6 11:14:50 rpmi: perl-XML-SAX-Base-1.09-alt1 1494364363 installed <13>Jul 6 11:14:50 rpmi: libffi6-1:3.2.1-alt4 sisyphus+251953.300.2.1 1589891360 installed <13>Jul 6 11:14:50 rpmi: libwayland-client-1.18.0-alt1 sisyphus+245906.100.1.1 1581492503 installed <13>Jul 6 11:14:50 rpmi: libwayland-server-1.18.0-alt1 sisyphus+245906.100.1.1 1581492503 installed <13>Jul 6 11:14:50 rpmi: libglvnd-7:1.3.1-alt2 sisyphus+252520.100.1.1 1590837007 installed <13>Jul 6 11:14:50 rpmi: libtcl-8.6.10-alt1 sisyphus+241485.100.1.1 1574408316 installed <13>Jul 6 11:14:50 rpmi: libp11-kit-0.23.15-alt2 sisyphus+252784.100.2.2 1591274901 installed <13>Jul 6 11:14:50 rpmi: libtasn1-4.16.0-alt1 sisyphus+245480.100.1.1 1580825062 installed <13>Jul 6 11:14:50 rpmi: libICE-1.0.10-alt1 sisyphus+247690.100.1.1 1584000387 installed <13>Jul 6 11:14:50 rpmi: libSM-1.2.3-alt1 sisyphus+226734.100.2.1 1554586158 installed <13>Jul 6 11:14:50 rpmi: tcl-8.6.10-alt1 sisyphus+241485.100.1.1 1574408316 installed <13>Jul 6 11:14:50 rpmi: libwayland-cursor-1.18.0-alt1 sisyphus+245906.100.1.1 1581492503 installed <13>Jul 6 11:14:50 rpmi: libwayland-egl-4:18.1.0-alt1 sisyphus+245906.100.1.1 1581492503 installed <13>Jul 6 11:14:50 rpmi: libhogweed6-3.6-alt1 sisyphus+251637.100.3.1 1590060253 installed <13>Jul 6 11:14:50 rpmi: libgnutls30-3.6.14-alt1 sisyphus+252951.100.1.1 1591438090 installed <13>Jul 6 11:14:50 rpmi: perl-File-Listing-6.04-alt1 1329758996 installed <13>Jul 6 11:14:50 rpmi: libjasper-2.0.16-alt1 sisyphus+231386.100.1.1 1559568070 installed <13>Jul 6 11:14:50 rpmi: libmspack-0.6-alt1 1530626814 installed <13>Jul 6 11:14:50 rpmi: libxkbcommon-0.10.0-alt1 sisyphus+244530.100.1.1 1579516274 installed <13>Jul 6 11:14:50 rpmi: publicsuffix-list-dafsa-20200401-alt1 sisyphus+249161.100.1.1 1585815856 installed <13>Jul 6 11:14:50 rpmi: libpsl-0.21.0-alt2 sisyphus+237083.100.1.1 1567531657 installed <13>Jul 6 11:14:50 rpmi: libverto-0.3.0-alt1_7 sisyphus+225932.100.1.1 1553994919 installed <13>Jul 6 11:14:50 rpmi: libkeyutils-1.6-alt2 sisyphus+226520.100.2.1 1554512089 installed <13>Jul 6 11:14:50 rpmi: libcom_err-1.44.6-alt1 sisyphus+224154.100.1.1 1552091678 installed <13>Jul 6 11:14:50 rpmi: libproxy-0.4.15-alt3.1 sisyphus+249308.100.1.1 1585930360 installed <13>Jul 6 11:14:50 rpmi: libdatrie-0.2.9-alt1_6 1511686676 installed <13>Jul 6 11:14:50 rpmi: libthai-0.1.28-alt1_1 sisyphus+226107.100.1.1 1554123079 installed <13>Jul 6 11:14:50 rpmi: libwebp7-1.1.0-alt1 sisyphus+243895.100.1.1 1578410873 installed <13>Jul 6 11:14:50 rpmi: libjbig-2.1-alt1 1401380926 installed <13>Jul 6 11:14:50 rpmi: libtiff5-4.1.0-alt1 sisyphus+240802.100.1.1 1573743635 installed <13>Jul 6 11:14:50 rpmi: libgdk-pixbuf-locales-2.40.0-alt1 sisyphus+238952.140.2.1 1570644607 installed <13>Jul 6 11:14:50 rpmi: libepoxy-1.5.4-alt1 sisyphus+242061.100.1.1 1575190160 installed <13>Jul 6 11:14:50 rpmi: libusb-1.0.23-alt1 sisyphus+237317.100.1.1 1568059905 installed <13>Jul 6 11:14:50 rpmi: libgudev-1:233-alt1 sisyphus+235422.100.1.1 1564855273 installed <13>Jul 6 11:14:50 rpmi: udev-rules-1:245.6-alt1 sisyphus+252793.100.1.1 1591265128 installed <13>Jul 6 11:14:50 rpmi: gtk+3-themes-incompatible-3.20-alt3 1461944560 installed <13>Jul 6 11:14:50 rpmi: perl-Try-Tiny-0.30-alt1 1514318058 installed <13>Jul 6 11:14:50 rpmi: perl-IO-Socket-IP-0.39-alt1 1494508514 installed <13>Jul 6 11:14:50 rpmi: perl-Compress-Raw-Bzip2-2.093-alt1 sisyphus+242765.100.1.1 1576089363 installed <13>Jul 6 11:14:50 rpmi: perl-HTML-Tagset-3.20-alt2 1317725093 installed <13>Jul 6 11:14:50 rpmi: perl-Term-ANSIColor-5.01-alt1 sisyphus+244783.100.1.2 1579747505 installed <13>Jul 6 11:14:50 rpmi: perl-Data-Dump-1.23-alt1 1444601978 installed <13>Jul 6 11:14:50 rpmi: perl-Filter-1.59-alt1.1 sisyphus+219907.400.1.1 1548343389 installed <13>Jul 6 11:14:50 rpmi: perl-Encode-3.04-alt1 sisyphus+247835.100.1.1 1584190307 installed <13>Jul 6 11:14:50 rpmi: perl-URI-1.76-alt1 sisyphus+220243.100.1.1 1548863244 installed <13>Jul 6 11:14:50 rpmi: perl-IO-Compress-2.093-alt1 sisyphus+243543.100.1.1 1577294382 installed <13>Jul 6 11:14:50 rpmi: perl-Net-HTTP-6.19-alt1 sisyphus+229756.100.1.1 1558454558 installed <13>Jul 6 11:14:50 rpmi: perl-HTML-Parser-3.72-alt1.2 sisyphus+219907.600.1.1 1548343581 installed <13>Jul 6 11:14:50 rpmi: perl-WWW-RobotRules-6.02-alt1 1329756211 installed <13>Jul 6 11:14:50 rpmi: perl-Encode-Locale-1.05-alt1 1444608613 installed <13>Jul 6 11:14:50 rpmi: perl-IO-HTML-1.001-alt1 1404821752 installed <13>Jul 6 11:14:50 rpmi: perl-HTTP-Message-6.25-alt1 sisyphus+254521.100.1.1 1593894315 installed <13>Jul 6 11:14:50 rpmi: perl-HTTP-Cookies-6.08-alt1 sisyphus+242242.100.1.1 1575454022 installed <13>Jul 6 11:14:50 rpmi: perl-HTTP-Negotiate-6.01-alt1 1329760563 installed <13>Jul 6 11:14:50 rpmi: perl-libwww-6.46-alt1 sisyphus+254012.100.1.1 1593105927 installed <13>Jul 6 11:14:50 rpmi: perl-XML-LibXML-2.0202-alt1 sisyphus+246834.100.1.1 1582544040 installed <13>Jul 6 11:14:50 rpmi: perl-XML-SAX-1.02-alt1 sisyphus+232322.100.1.1 1560758406 installed <13>Jul 6 11:14:50 rpmi: perl-XML-Simple-2.25-alt1 1521437714 installed <13>Jul 6 11:14:50 rpmi: icon-naming-utils-0.8.90-alt1 1236573102 installed <13>Jul 6 11:14:51 rpmi: icon-theme-adwaita-3.36.1-alt1 sisyphus+250137.100.1.1 1587127395 installed <13>Jul 6 11:14:51 rpmi: libpixman-3:0.40.0-alt1 sisyphus+250700.100.1.1 1587971055 installed <13>Jul 6 11:14:51 rpmi: libxshmfence-1.3-alt1 sisyphus+223149.1000.2.1 1551268571 installed <13>Jul 6 11:14:51 rpmi: libpciaccess-1:0.16-alt1 sisyphus+234814.100.1.1 1563438291 installed <13>Jul 6 11:14:51 rpmi: libdrm-1:2.4.102-alt1 sisyphus+252307.100.1.1 1590574828 installed <13>Jul 6 11:14:51 rpmi: libgbm-4:20.1.2-alt1 sisyphus+254503.100.1.1 1593872959 installed <13>Jul 6 11:14:51 rpmi: libbrotlicommon-1.0.7-alt1 sisyphus+226738.100.2.1 1554554568 installed <13>Jul 6 11:14:51 rpmi: libbrotlidec-1.0.7-alt1 sisyphus+226738.100.2.1 1554554568 installed <13>Jul 6 11:14:51 rpmi: libgraphite2-1.3.14-alt2 sisyphus+250009.100.1.1 1586943065 installed <13>Jul 6 11:14:51 rpmi: libharfbuzz-2.6.8-alt1 sisyphus+254028.100.1.1 1593106819 installed <13>Jul 6 11:14:51 rpmi: libfreetype-2.10.2-alt1 sisyphus+251736.100.1.1 1589531905 installed <13>Jul 6 11:14:51 rpmi: fontconfig-2.13.1-alt1 sisyphus+247349.100.1.2 1583841221 installed Updating fonts cache: <29>Jul 6 11:14:52 fontconfig: Updating fonts cache: succeeded [ DONE ] <13>Jul 6 11:14:53 rpmi: libatk-locales-2.36.0-alt1 sisyphus+249208.100.1.1 1585840405 installed <13>Jul 6 11:14:53 rpmi: libatk-2.36.0-alt1 sisyphus+249208.100.1.1 1585840406 installed <13>Jul 6 11:14:54 rpmi: shared-mime-info-2.0-alt1 sisyphus+251302.100.1.1 1588847607 installed <13>Jul 6 11:14:55 rpmi: gsettings-desktop-schemas-data-3.36.1-alt1 sisyphus+250870.100.1.1 1588227108 installed <13>Jul 6 11:14:55 rpmi: libgio-2.64.4-alt1 sisyphus+254365.100.1.1 1593701078 installed <13>Jul 6 11:14:55 rpmi: gsettings-desktop-schemas-3.36.1-alt1 sisyphus+250870.100.1.1 1588227105 installed <13>Jul 6 11:14:55 rpmi: libgdk-pixbuf-2.40.0-alt1 sisyphus+238952.140.2.1 1570644615 installed <13>Jul 6 11:14:55 rpmi: libgusb-0.3.4-alt1 sisyphus+247875.100.1.1 1584292779 installed <13>Jul 6 11:14:55 rpmi: libcolord-1.4.4-alt2 sisyphus+229904.100.1.1 1558606569 installed <13>Jul 6 11:14:55 rpmi: gtk-update-icon-cache-3.24.21-alt1 sisyphus+254255.100.1.1 1593514352 installed <13>Jul 6 11:14:55 rpmi: libnotify-0.7.9-alt1 sisyphus+247235.100.1.1 1583225654 installed <13>Jul 6 11:14:55 rpmi: libdconf-0.36.0-alt1 sisyphus+247780.1000.3.2 1584199861 installed <13>Jul 6 11:14:55 rpmi: libjson-glib-1.4.4-alt1 sisyphus.213175.100 1537249589 installed <13>Jul 6 11:14:55 rpmi: liblz4-1:1.9.2-alt1 sisyphus+238585.100.2.2 1570066927 installed <13>Jul 6 11:14:55 rpmi: libgpg-error-1.36-alt1 sisyphus+225621.300.1.1 1553521082 installed <13>Jul 6 11:14:55 rpmi: libgcrypt20-1.8.5-alt3 sisyphus+239622.100.1.1 1571746654 installed <13>Jul 6 11:14:55 rpmi: libsystemd-1:245.6-alt1 sisyphus+252793.100.1.1 1591265141 installed <13>Jul 6 11:14:55 rpmi: libdbus-1.12.18-alt1 sisyphus+252758.100.1.1 1591203693 installed <13>Jul 6 11:14:55 rpmi: dbus-tools-1.12.18-alt1 sisyphus+252758.100.1.1 1591203693 installed <86>Jul 6 11:14:55 groupadd[2248999]: group added to /etc/group: name=messagebus, GID=499 <86>Jul 6 11:14:55 groupadd[2248999]: group added to /etc/gshadow: name=messagebus <86>Jul 6 11:14:55 groupadd[2248999]: new group: name=messagebus, GID=499 <86>Jul 6 11:14:55 useradd[2249003]: new user: name=messagebus, UID=499, GID=499, home=/run/dbus, shell=/dev/null <13>Jul 6 11:14:55 rpmi: dbus-1.12.18-alt1 sisyphus+252758.100.1.1 1591203693 installed <13>Jul 6 11:14:55 rpmi: dconf-0.36.0-alt1 sisyphus+247780.1000.3.2 1584199861 installed <13>Jul 6 11:14:55 rpmi: libgtk+3-schemas-3.24.21-alt1 sisyphus+254255.100.1.1 1593514263 installed <13>Jul 6 11:14:56 rpmi: libavahi-0.7-alt3 sisyphus+250384.100.2.1 1587547019 installed <13>Jul 6 11:14:56 rpmi: libcups-2.3.1-alt1 sisyphus+247381.100.2.2 1583841455 installed <13>Jul 6 11:14:56 rpmi: libpolkit-0.116-alt3 sisyphus+253546.100.1.1 1592424198 installed <86>Jul 6 11:14:56 groupadd[2250548]: group added to /etc/group: name=colord, GID=498 <86>Jul 6 11:14:56 groupadd[2250548]: group added to /etc/gshadow: name=colord <86>Jul 6 11:14:56 groupadd[2250548]: new group: name=colord, GID=498 <86>Jul 6 11:14:56 useradd[2250610]: new user: name=colord, UID=498, GID=498, home=/var/colord, shell=/dev/null <13>Jul 6 11:14:57 rpmi: colord-1.4.4-alt2 sisyphus+229904.100.1.1 1558606569 installed <13>Jul 6 11:14:57 rpmi: libX11-locales-3:1.6.9-alt1 sisyphus+239210.100.1.1 1571056781 installed <13>Jul 6 11:14:57 rpmi: libXdmcp-1.1.3-alt1 sisyphus+225206.600.1.2 1552949353 installed <13>Jul 6 11:14:57 rpmi: libXau-1.0.9-alt1 sisyphus+223149.200.2.1 1551268152 installed <13>Jul 6 11:14:57 rpmi: libxcb-1.14-alt1 sisyphus+247358.200.1.3 1583854228 installed <13>Jul 6 11:14:57 rpmi: libX11-3:1.6.9-alt1 sisyphus+239210.100.1.1 1571056801 installed <13>Jul 6 11:14:57 rpmi: libXext-1.3.4-alt1 sisyphus+225206.700.1.2 1552949429 installed <13>Jul 6 11:14:57 rpmi: libXrender-0.9.8-alt1 1371312112 installed <13>Jul 6 11:14:57 rpmi: libXfixes-5.0.3-alt1 sisyphus+226736.100.2.2 1554614841 installed <13>Jul 6 11:14:57 rpmi: libXft-2.3.3-alt1 sisyphus+225206.1000.3.2 1552987708 installed <13>Jul 6 11:14:57 rpmi: libXxf86vm-1.1.4-alt2 1527672187 installed <13>Jul 6 11:14:57 rpmi: libat-spi2-core-2.36.0-alt1 sisyphus+247780.1600.3.2 1584200495 installed <13>Jul 6 11:14:57 rpmi: libXdamage-1.1.5-alt1 sisyphus+225206.500.1.2 1552949286 installed <13>Jul 6 11:14:57 rpmi: libGLX-mesa-4:20.1.2-alt1 sisyphus+254503.100.1.1 1593872959 installed <13>Jul 6 11:14:57 rpmi: libGLX-7:1.3.1-alt2 sisyphus+252520.100.1.1 1590837007 installed <13>Jul 6 11:14:57 rpmi: libGL-7:1.3.1-alt2 sisyphus+252520.100.1.1 1590837007 installed <13>Jul 6 11:14:57 rpmi: libGLU-4:9.0.1-alt1 sisyphus+248864.100.1.1 1585556461 installed <13>Jul 6 11:14:57 rpmi: libEGL-mesa-4:20.1.2-alt1 sisyphus+254503.100.1.1 1593872959 installed <13>Jul 6 11:14:58 rpmi: libEGL-7:1.3.1-alt2 sisyphus+252520.100.1.1 1590837007 installed <13>Jul 6 11:14:58 rpmi: libcairo-1:1.16.0-alt1 sisyphus+226534.100.2.3 1554515535 installed <13>Jul 6 11:14:58 rpmi: libpango-1.44.7-alt1 sisyphus+239731.100.1.1 1571986949 installed <13>Jul 6 11:14:58 rpmi: libcairo-gobject-1:1.16.0-alt1 sisyphus+226534.100.2.3 1554515535 installed <13>Jul 6 11:14:59 rpmi: libtk-8.6.10-alt1 sisyphus+241485.200.1.1 1574408436 installed <13>Jul 6 11:14:59 rpmi: tk-8.6.10-alt1 sisyphus+241485.200.1.1 1574408436 installed <13>Jul 6 11:14:59 rpmi: libXcursor-1.2.0-alt1 sisyphus+225206.400.1.2 1552949218 installed <13>Jul 6 11:14:59 rpmi: libXrandr-1.5.2-alt1 sisyphus+225206.1300.1.2 1552949710 installed <13>Jul 6 11:14:59 rpmi: libXtst-1.2.2-alt1 1369984893 installed <13>Jul 6 11:14:59 rpmi: libXi-1.7.10-alt1 sisyphus+232786.300.1.1 1561106978 installed <13>Jul 6 11:15:00 rpmi: libXinerama-1.1.4-alt1 sisyphus+223149.300.2.1 1551268216 installed <13>Jul 6 11:15:00 rpmi: dbus-tools-gui-1.12.18-alt1 sisyphus+252758.100.1.1 1591203693 installed <13>Jul 6 11:15:00 rpmi: at-spi2-core-2.36.0-alt1 sisyphus+247780.1600.3.2 1584200495 installed <13>Jul 6 11:15:00 rpmi: at-spi2-atk-2.34.2-alt1 sisyphus+247242.200.7.1 1583839952 installed <13>Jul 6 11:15:00 rpmi: libXcomposite-0.4.5-alt1 sisyphus+225206.300.1.2 1552949137 installed <13>Jul 6 11:15:00 rpmi: rpm-macros-alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed <13>Jul 6 11:15:00 rpmi: alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed <13>Jul 6 11:15:00 rpmi: ca-certificates-2020.06.29-alt1 sisyphus+254237.300.1.1 1593450881 installed <13>Jul 6 11:15:00 rpmi: ca-trust-0.1.2-alt1 sisyphus+233348.100.1.1 1561653823 installed <13>Jul 6 11:15:00 rpmi: p11-kit-trust-0.23.15-alt2 sisyphus+252784.100.2.2 1591274901 installed <13>Jul 6 11:15:00 rpmi: libcrypto1.1-1.1.1g-alt1 sisyphus+249982.60.8.1 1587743711 installed <13>Jul 6 11:15:00 rpmi: erlang-otp-common-1:21.3.6-alt3 sisyphus+253926.100.2.1 1592996218 installed <13>Jul 6 11:15:00 rpmi: erlang-otp-bin-1:21.3.6-alt3 sisyphus+253926.100.2.1 1592996367 installed <13>Jul 6 11:15:03 rpmi: erlang-otp-1:21.3.6-alt3 sisyphus+253926.100.2.1 1592996367 installed <86>Jul 6 11:15:03 groupadd[2257965]: group added to /etc/group: name=epmd, GID=497 <86>Jul 6 11:15:03 groupadd[2257965]: group added to /etc/gshadow: name=epmd <86>Jul 6 11:15:03 groupadd[2257965]: new group: name=epmd, GID=497 <86>Jul 6 11:15:03 useradd[2257974]: new user: name=epmd, UID=497, GID=497, home=/tmp, shell=/sbin/nologin <13>Jul 6 11:15:03 rpmi: erlang-1:21.3.6-alt3 sisyphus+253926.100.2.1 1592996367 installed <13>Jul 6 11:15:03 rpmi: erlang-common_test-common-1:21.3.6-alt3 sisyphus+253926.100.2.1 1592996218 installed <13>Jul 6 11:15:03 rpmi: libssl1.1-1.1.1g-alt1 sisyphus+249982.60.8.1 1587743711 installed <86>Jul 6 11:15:03 groupadd[2258261]: group added to /etc/group: name=_keytab, GID=496 <86>Jul 6 11:15:03 groupadd[2258261]: group added to /etc/gshadow: name=_keytab <86>Jul 6 11:15:03 groupadd[2258261]: new group: name=_keytab, GID=496 <13>Jul 6 11:15:04 rpmi: libkrb5-1.17.1-alt1 sisyphus+242784.100.1.1 1576137330 installed <13>Jul 6 11:15:04 rpmi: glib-networking-2.64.3-alt1 sisyphus+251581.1300.3.3 1590773671 installed <13>Jul 6 11:15:04 rpmi: libsoup-2.70.0-alt1 sisyphus+247780.1300.3.2 1584200094 installed <13>Jul 6 11:15:04 rpmi: libsoup-gnome-2.70.0-alt1 sisyphus+247780.1300.3.2 1584200094 installed <13>Jul 6 11:15:04 rpmi: librest-0.8.1-alt1 1508266400 installed <13>Jul 6 11:15:04 rpmi: libgtk+3-3.24.21-alt1 sisyphus+254255.100.1.1 1593514352 installed <13>Jul 6 11:15:05 rpmi: libwxGTK3.0-3.0.4-alt5 sisyphus+228213.200.3.1 1556883461 installed <13>Jul 6 11:15:05 rpmi: libwxGTK3.0-gl-3.0.4-alt5 sisyphus+228213.200.3.1 1556883461 installed <13>Jul 6 11:15:05 rpmi: erlang-visual-common-1:21.3.6-alt3 sisyphus+253926.100.2.1 1592996367 installed <13>Jul 6 11:15:06 rpmi: erlang-visual-1:21.3.6-alt3 sisyphus+253926.100.2.1 1592996367 installed <13>Jul 6 11:15:06 rpmi: erlang-common_test-1:21.3.6-alt3 sisyphus+253926.100.2.1 1592996218 installed <13>Jul 6 11:15:06 rpmi: rebar2-1:2.6.4-alt3 sisyphus+249094.400.3.2 1585742033 installed <13>Jul 6 11:15:06 rpmi: erlang-devel-1:21.3.6-alt3 sisyphus+253926.100.2.1 1592996367 installed <13>Jul 6 11:15:06 rpmi: erlang-otp-devel-1:21.3.6-alt3 sisyphus+253926.100.2.1 1592996367 installed Building target platforms: i586 Building for target i586 Wrote: /usr/src/in/nosrpm/erlang-proper-1.3-alt2.nosrc.rpm Installing erlang-proper-1.3-alt2.src.rpm Building target platforms: i586 Building for target i586 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.77219 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf erlang-proper-1.3 + echo 'Source #0 (erlang-proper-1.3.tar):' Source #0 (erlang-proper-1.3.tar): + /bin/tar -xf /usr/src/RPM/SOURCES/erlang-proper-1.3.tar + cd erlang-proper-1.3 + /bin/chmod -c -Rf u+rwX,go-w . + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.97449 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd erlang-proper-1.3 + CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic' + export FFLAGS + FCFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic' + export FCFLAGS + VSN=1.3 + 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.3/rebar.config" DEBUG: Rebar location: "/usr/bin/rebar" DEBUG: Consult config file "/usr/src/RPM/BUILD/erlang-proper-1.3/src/proper.app.src" DEBUG: Available deps: [] DEBUG: Missing deps : [] DEBUG: Plugins requested while processing /usr/src/RPM/BUILD/erlang-proper-1.3: [] DEBUG: Predirs: [] ==> erlang-proper-1.3 (compile) DEBUG: Matched required ERTS version: 10.3.4 -> .* DEBUG: Matched required OTP release: 21 -> .* 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, {d,'AT_LEAST_19'}, {d,'AT_LEAST_20'}, {d,'AT_LEAST_21'}] DEBUG: Files to compile first: ["src/vararg.erl","src/proper_types.erl", "src/proper_target.erl"] Compiled src/vararg.erl Compiled src/proper_types.erl Compiled src/proper_target.erl DEBUG: Starting 3 compile worker(s) Compiled src/proper_array.erl Compiled src/proper_dict.erl Compiled src/proper_arith.erl Compiled src/proper_gb_sets.erl Compiled src/proper_fsm.erl Compiled src/proper_gb_trees.erl Compiled src/proper.erl Compiled src/proper_orddict.erl Compiled src/proper_ordsets.erl Compiled src/proper_gen_next.erl Compiled src/proper_queue.erl Compiled src/proper_prop_remover.erl Compiled src/proper_sets.erl Compiled src/proper_shrink.erl Compiled src/proper_statem.erl Compiled src/proper_symb.erl Compiled src/proper_transformer.erl Compiled src/proper_sa.erl Compiled src/proper_unicode.erl Compiled src/proper_gen.erl DEBUG: Worker exited cleanly Compiled src/proper_unused_imports_remover.erl DEBUG: Worker exited cleanly 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.59072 + 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.3 + '[' proper '!=' '' ']' + mkdir -p /usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib/proper-1.3/ + mkdir -p /usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib/proper-1.3/ebin/ + '[' -f ebin/proper.app ']' + install -m 0644 -p ebin/proper.app /usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib/proper-1.3/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_gen_next.beam ebin/proper_orddict.beam ebin/proper_ordsets.beam ebin/proper_prop_remover.beam ebin/proper_queue.beam ebin/proper_sa.beam ebin/proper_sets.beam ebin/proper_shrink.beam ebin/proper_statem.beam ebin/proper_symb.beam ebin/proper_target.beam ebin/proper_transformer.beam ebin/proper_types.beam ebin/proper_typeserver.beam ebin/proper_unicode.beam ebin/proper_unused_imports_remover.beam ebin/vararg.beam /usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib/proper-1.3/ebin/ + '[' -d include/ ']' ++ ls 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/proper.hrl /usr/src/tmp/erlang-proper-buildroot/usr/lib/erlang/lib/proper-1.3/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.3/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.3/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.3/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) Checking contents of files in /usr/src/tmp/erlang-proper-buildroot/ (default) 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.59072 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd erlang-proper-1.3 + 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 -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic' + export FFLAGS + FCFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -march=i586 -mtune=generic' + export FCFLAGS + VSN=1.3 + 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.3/rebar.test.config" DEBUG: Rebar location: "/usr/bin/rebar" DEBUG: Consult config file "/usr/src/RPM/BUILD/erlang-proper-1.3/src/proper.app.src" DEBUG: Available deps: [] DEBUG: Missing deps : [] DEBUG: Plugins requested while processing /usr/src/RPM/BUILD/erlang-proper-1.3: [] DEBUG: Predirs: [] ==> erlang-proper-1.3 (eunit) DEBUG: Matched required ERTS version: 10.3.4 -> .* DEBUG: Matched required OTP release: 21 -> .* 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.3" 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_gen_next.erl src/proper_orddict.erl src/proper_ordsets.erl src/proper_prop_remover.erl src/proper_queue.erl src/proper_sa.erl src/proper_sets.erl src/proper_shrink.erl src/proper_statem.erl src/proper_symb.erl src/proper_target.erl src/proper_transformer.erl src/proper_types.erl src/proper_typeserver.erl src/proper_unicode.erl src/proper_unused_imports_remover.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/exists_tests.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/proper_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/symb_statem_maps.erl test/to_remove.erl test/types_test1.erl test/types_test2.erl test/weird_types.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_gen_next.erl src/proper_orddict.erl src/proper_ordsets.erl src/proper_prop_remover.erl src/proper_queue.erl src/proper_sa.erl src/proper_sets.erl src/proper_shrink.erl src/proper_statem.erl src/proper_symb.erl src/proper_target.erl src/proper_transformer.erl src/proper_types.erl src/proper_typeserver.erl src/proper_unicode.erl src/proper_unused_imports_remover.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/exists_tests.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/proper_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/symb_statem_maps.erl test/to_remove.erl test/types_test1.erl test/types_test2.erl test/weird_types.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.erl","src/proper_symb.erl", "src/proper_types.erl", "src/proper_unicode.erl", "src/proper_prop_remover.erl", "src/proper_unused_imports_remover.erl", "src/proper_target.erl", "src/proper_transformer.erl", "src/proper_statem.erl","src/vararg.erl"] src/proper.erl:1546: Warning: erlang:get_stacktrace/0: deprecated; use the new try/catch syntax for retrieving the stack backtrace src/proper.erl:1561: Warning: erlang:get_stacktrace/0: deprecated; use the new try/catch syntax for retrieving the stack backtrace Compiled src/proper.erl Compiled src/proper_symb.erl Compiled src/proper_types.erl Compiled src/proper_unicode.erl Compiled src/proper_prop_remover.erl Compiled src/proper_unused_imports_remover.erl Compiled src/proper_target.erl Compiled src/proper_transformer.erl src/proper_statem.erl:565: Warning: erlang:get_stacktrace/0: deprecated; use the new try/catch syntax for retrieving the stack backtrace src/proper_statem.erl:574: Warning: erlang:get_stacktrace/0: deprecated; use the new try/catch syntax for retrieving the stack backtrace src/proper_statem.erl:584: Warning: erlang:get_stacktrace/0: deprecated; use the new try/catch syntax for retrieving the stack backtrace Compiled src/proper_statem.erl Compiled src/vararg.erl DEBUG: Starting 3 compile worker(s) Compiled src/proper_dict.erl Compiled src/proper_array.erl Compiled src/proper_gb_sets.erl src/proper_arith.erl:233: Warning: random:seed/1: the 'random' module is deprecated; use the 'rand' module instead src/proper_arith.erl:258: Warning: random:seed/1: the 'random' module is deprecated; use the 'rand' module instead src/proper_arith.erl:286: Warning: random:uniform/1: the 'random' module is deprecated; use the 'rand' module instead src/proper_arith.erl:304: Warning: random:uniform/1: the 'random' module is deprecated; use the 'rand' module instead src/proper_arith.erl:312: Warning: random:uniform/1: the 'random' module is deprecated; use the 'rand' module instead src/proper_arith.erl:319: Warning: random:uniform/0: the 'random' module is deprecated; use the 'rand' module instead src/proper_arith.erl:326: Warning: random:uniform/0: the 'random' module is deprecated; use the 'rand' module instead src/proper_arith.erl:354: Warning: random:uniform/0: the 'random' module is deprecated; use the 'rand' module instead Compiled src/proper_arith.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_queue.erl Compiled src/proper_gen.erl src/proper_gen_next.erl:324: Warning: random:uniform/0: the 'random' module is deprecated; use the 'rand' module instead src/proper_gen_next.erl:331: Warning: random:uniform/0: the 'random' module is deprecated; use the 'rand' module instead src/proper_gen_next.erl:344: Warning: random:uniform/0: the 'random' module is deprecated; use the 'rand' module instead src/proper_gen_next.erl:357: Warning: random:uniform/0: the 'random' module is deprecated; use the 'rand' module instead src/proper_gen_next.erl:571: Warning: random:uniform/0: the 'random' module is deprecated; use the 'rand' module instead src/proper_gen_next.erl:576: Warning: random:uniform/0: the 'random' module is deprecated; use the 'rand' module instead src/proper_gen_next.erl:585: Warning: random:uniform/0: the 'random' module is deprecated; use the 'rand' module instead src/proper_gen_next.erl:591: Warning: random:uniform/0: the 'random' module is deprecated; use the 'rand' module instead src/proper_gen_next.erl:769: Warning: random:uniform/0: the 'random' module is deprecated; use the 'rand' module instead src/proper_gen_next.erl:773: Warning: random:uniform/0: the 'random' module is deprecated; use the 'rand' module instead Compiled src/proper_gen_next.erl src/proper_sa.erl:122: Warning: random:uniform/0: the 'random' module is deprecated; use the 'rand' module instead Compiled src/proper_sa.erl Compiled src/proper_sets.erl Compiled test/auto_export_test1.erl test/auto_export_test2.erl:35: Warning: function prop_1/0 is unused Compiled test/auto_export_test2.erl Compiled src/proper_shrink.erl test/error_statem.erl:28: Warning: export_all flag enabled - all functions will be exported Compiled test/error_statem.erl Compiled test/command_props.erl test/ets_counter.erl:32: Warning: export_all flag enabled - all functions will be exported Compiled test/ets_counter.erl Compiled test/ets_statem.erl Compiled test/improper_lists_statem.erl Compiled test/exists_tests.erl src/proper_typeserver.erl:515: Warning: erlang:get_stacktrace/0: deprecated; use the new try/catch syntax for retrieving the stack backtrace Compiled src/proper_typeserver.erl test/let_tests.erl:39: Warning: type rng() is unused Compiled test/let_tests.erl Compiled test/no_native_parse_test.erl test/nogen_statem.erl:28: Warning: export_all flag enabled - all functions will be exported Compiled test/nogen_statem.erl test/numbers_fsm.erl:29: Warning: export_all flag enabled - all functions will be exported Compiled test/numbers_fsm.erl Compiled test/pdict_statem.erl Compiled test/pdict_fsm.erl Compiled test/perf_max_size.erl test/post_false.erl:28: Warning: export_all flag enabled - all functions will be exported Compiled test/post_false.erl test/prec_false.erl:28: Warning: export_all flag enabled - all functions will be exported Compiled test/prec_false.erl Compiled test/proper_print.erl Compiled test/proper_specs_tests.erl Compiled test/rec_props_test1.erl test/rec_test1.erl:42: Warning: type bb() is unused Compiled test/rec_test1.erl Compiled test/rec_test2.erl Compiled test/rec_props_test2.erl Compiled test/symb_statem_maps.erl Compiled test/symb_statem.erl Compiled test/to_remove.erl test/types_test1.erl:34: Warning: type type1() is unused test/types_test1.erl:35: Warning: type type2(_) is unused test/types_test1.erl:36: Warning: type rem1() is unused test/types_test1.erl:37: Warning: type rem2() is unused Compiled test/types_test1.erl test/types_test2.erl:33: Warning: record rec1 is unused Compiled test/types_test2.erl DEBUG: Worker exited cleanly test/weird_types.erl:31: Warning: export_all flag enabled - all functions will be exported test/weird_types.erl:38: Warning: type hd(_) is unused Compiled test/weird_types.erl DEBUG: Worker exited cleanly test/proper_tests.erl:770: Warning: this clause cannot match because a previous clause at line 770 always matches test/proper_tests.erl:841: Warning: type bin4() is unused test/proper_tests.erl:842: Warning: type bits42() is unused test/proper_tests.erl:843: Warning: type bits5x() is unused test/proper_tests.erl:844: Warning: type bits7x() is unused test/proper_tests.erl:847: Warning: type untyped() is unused test/proper_tests.erl:917: Warning: this clause cannot match because a previous clause at line 917 always matches test/proper_tests.erl:923: Warning: this clause cannot match because a previous clause at line 923 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:944: Warning: this clause cannot match because a previous clause at line 944 always matches test/proper_tests.erl:949: Warning: this clause cannot match because a previous clause at line 949 always matches test/proper_tests.erl:950: Warning: this clause cannot match because a previous clause at line 950 always matches test/proper_tests.erl:951: Warning: this clause cannot match because a previous clause at line 951 always matches test/proper_tests.erl:980: Warning: this clause cannot match because a previous clause at line 980 always matches test/proper_tests.erl:981: Warning: this clause cannot match because a previous clause at line 981 always matches test/proper_tests.erl:982: Warning: this clause cannot match because a previous clause at line 982 always matches test/proper_tests.erl:1034: Warning: this clause cannot match because a previous clause at line 1034 always matches test/proper_tests.erl:1083: Warning: this clause cannot match because a previous clause at line 1083 always matches test/proper_tests.erl:1113: Warning: this clause cannot match because a previous clause at line 1113 always matches test/proper_tests.erl:1381: Warning: type my_native_type() is unused test/proper_tests.erl:1383: Warning: type type_and_fun() is unused test/proper_tests.erl:1385: Warning: type type_only() is unused test/proper_tests.erl:1386: Warning: type id(_) is unused test/proper_tests.erl:1387: Warning: type lof() is unused Compiled test/proper_tests.erl DEBUG: Worker exited cleanly ======================== EUnit ======================== module 'proper' module 'proper_tests' proper_tests:702: simple_types_test_...[0.066 s] ok proper_tests:702: simple_types_test_...[0.051 s] ok proper_tests:702: simple_types_test_...[0.052 s] ok proper_tests:702: simple_types_test_...[0.053 s] ok proper_tests:702: simple_types_test_...[0.062 s] ok proper_tests:702: simple_types_test_...[0.056 s] ok proper_tests:702: simple_types_test_...[0.047 s] ok proper_tests:702: simple_types_test_...[0.046 s] ok proper_tests:702: simple_types_test_...[0.047 s] ok proper_tests:702: simple_types_test_...[0.050 s] ok proper_tests:702: simple_types_test_...[0.058 s] ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...[0.047 s] ok proper_tests:702: simple_types_test_...[0.059 s] ok proper_tests:702: simple_types_test_...[0.060 s] ok proper_tests:702: simple_types_test_...[0.061 s] ok proper_tests:702: simple_types_test_...[0.060 s] ok proper_tests:702: simple_types_test_...[0.050 s] ok proper_tests:702: simple_types_test_...[0.058 s] ok proper_tests:702: simple_types_test_...[0.064 s] ok proper_tests:702: simple_types_test_...[0.059 s] ok proper_tests:702: simple_types_test_...[0.051 s] ok proper_tests:702: simple_types_test_...[0.051 s] ok proper_tests:702: simple_types_test_...[0.063 s] ok proper_tests:702: simple_types_test_...[0.049 s] ok proper_tests:702: simple_types_test_...[0.001 s] ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...[0.045 s] ok proper_tests:702: simple_types_test_...[0.045 s] ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...[0.061 s] ok proper_tests:702: simple_types_test_...[0.046 s] ok proper_tests:702: simple_types_test_...[0.045 s] ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...[0.001 s] ok proper_tests:702: simple_types_test_...[0.003 s] ok proper_tests:702: simple_types_test_...[0.004 s] ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...[0.045 s] ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...[0.054 s] ok proper_tests:702: simple_types_test_...[0.056 s] ok proper_tests:702: simple_types_test_...[0.056 s] ok proper_tests:702: simple_types_test_...[0.057 s] ok proper_tests:702: simple_types_test_...[0.056 s] ok proper_tests:702: simple_types_test_...[0.001 s] ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...[0.055 s] ok proper_tests:702: simple_types_test_...[0.046 s] ok proper_tests:702: simple_types_test_...[0.046 s] ok proper_tests:702: simple_types_test_...ok proper_tests:702: simple_types_test_...[0.045 s] ok proper_tests:702: simple_types_test_...[0.001 s] ok proper_tests:702: simple_types_test_...[0.050 s] ok proper_tests:702: simple_types_test_...[0.130 s] ok proper_tests:702: simple_types_test_...[0.060 s] ok proper_tests:702: simple_types_test_...[0.057 s] ok proper_tests:702: simple_types_test_...[0.057 s] ok proper_tests:705: constructed_types_test_...[0.058 s] ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...[0.002 s] ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...[0.059 s] ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...[0.002 s] ok proper_tests:705: constructed_types_test_...[0.154 s] ok proper_tests:705: constructed_types_test_...[0.102 s] ok proper_tests:705: constructed_types_test_...[0.064 s] ok proper_tests:705: constructed_types_test_...[0.049 s] ok proper_tests:705: constructed_types_test_...[0.053 s] ok proper_tests:705: constructed_types_test_...[0.055 s] ok proper_tests:705: constructed_types_test_...[0.054 s] ok proper_tests:705: constructed_types_test_...[0.053 s] ok proper_tests:705: constructed_types_test_...[0.056 s] ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...ok proper_tests:705: constructed_types_test_...[0.001 s] ok proper_tests:705: constructed_types_test_...ok proper_tests:711: shrinks_to_test_...[0.005 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.002 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.002 s] ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.003 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...[0.003 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...ok proper_tests:711: shrinks_to_test_...[0.001 s] ok proper_tests:711: shrinks_to_test_...ok proper_tests:717: native_shrinks_to_test_...[0.321 s] ok proper_tests:717: native_shrinks_to_test_...[0.262 s] ok proper_tests:717: native_shrinks_to_test_...[0.254 s] ok proper_tests:717: native_shrinks_to_test_...[0.252 s] ok proper_tests:717: native_shrinks_to_test_...[0.304 s] ok proper_tests:717: native_shrinks_to_test_...[0.275 s] ok proper_tests:717: native_shrinks_to_test_...[0.260 s] ok proper_tests:717: native_shrinks_to_test_...[0.234 s] ok proper_tests:717: native_shrinks_to_test_...[0.243 s] ok proper_tests:717: native_shrinks_to_test_...[0.252 s] ok proper_tests:717: native_shrinks_to_test_...[0.312 s] ok proper_tests:717: native_shrinks_to_test_...[0.255 s] ok proper_tests:717: native_shrinks_to_test_...[0.314 s] ok proper_tests:717: native_shrinks_to_test_...[0.312 s] ok proper_tests:717: native_shrinks_to_test_...[0.299 s] ok proper_tests:717: native_shrinks_to_test_...[0.316 s] ok proper_tests:717: native_shrinks_to_test_...[0.255 s] ok proper_tests:717: native_shrinks_to_test_...[0.276 s] ok proper_tests:717: native_shrinks_to_test_...[0.275 s] ok proper_tests:717: native_shrinks_to_test_...[0.272 s] ok proper_tests:717: native_shrinks_to_test_...[0.226 s] ok proper_tests:717: native_shrinks_to_test_...[0.224 s] ok proper_tests:717: native_shrinks_to_test_...[0.274 s] ok proper_tests:717: native_shrinks_to_test_...[0.227 s] ok proper_tests:717: native_shrinks_to_test_...[0.231 s] ok proper_tests:717: native_shrinks_to_test_...[0.253 s] ok proper_tests:717: native_shrinks_to_test_...[0.314 s] ok proper_tests:717: native_shrinks_to_test_...[0.261 s] ok proper_tests:717: native_shrinks_to_test_...[0.252 s] ok proper_tests:717: native_shrinks_to_test_...[0.248 s] ok proper_tests:717: native_shrinks_to_test_...[0.312 s] ok proper_tests:717: native_shrinks_to_test_...[0.309 s] ok proper_tests:717: native_shrinks_to_test_...[0.315 s] ok proper_tests:717: native_shrinks_to_test_...[0.312 s] ok proper_tests:717: native_shrinks_to_test_...[0.302 s] ok proper_tests:717: native_shrinks_to_test_...[0.286 s] ok proper_tests:717: native_shrinks_to_test_...[0.255 s] ok proper_tests:717: native_shrinks_to_test_...[0.237 s] ok proper_tests:717: native_shrinks_to_test_...[0.250 s] ok proper_tests:717: native_shrinks_to_test_...[0.253 s] ok proper_tests:717: native_shrinks_to_test_...[0.326 s] ok proper_tests:717: native_shrinks_to_test_...[0.296 s] ok proper_tests:717: native_shrinks_to_test_...[0.320 s] ok proper_tests:717: native_shrinks_to_test_...[0.302 s] ok proper_tests:717: native_shrinks_to_test_...[0.316 s] ok proper_tests:717: native_shrinks_to_test_...[0.250 s] ok proper_tests:717: native_shrinks_to_test_...[0.266 s] ok proper_tests:717: native_shrinks_to_test_...[0.255 s] ok proper_tests:717: native_shrinks_to_test_...[0.312 s] ok proper_tests:717: native_shrinks_to_test_...[0.235 s] ok proper_tests:717: native_shrinks_to_test_...[0.254 s] ok proper_tests:717: native_shrinks_to_test_...[0.257 s] ok proper_tests:717: native_shrinks_to_test_...[0.256 s] ok proper_tests:717: native_shrinks_to_test_...[0.247 s] ok proper_tests:717: native_shrinks_to_test_...[0.232 s] ok proper_tests:723: cant_generate_test_...ok proper_tests:723: cant_generate_test_...ok proper_tests:723: cant_generate_test_...ok proper_tests:723: cant_generate_test_...ok proper_tests:723: cant_generate_test_...ok proper_tests:723: cant_generate_test_...[0.001 s] ok proper_tests:723: cant_generate_test_...ok proper_tests:723: cant_generate_test_...ok proper_tests:723: cant_generate_test_...[0.001 s] ok proper_tests:723: cant_generate_test_...ok proper_tests:726: native_cant_translate_test_...ok proper_tests:726: native_cant_translate_test_...[0.009 s] ok proper_tests:726: native_cant_translate_test_...ok proper_tests:726: native_cant_translate_test_...ok proper_tests:726: native_cant_translate_test_...ok proper_tests:726: native_cant_translate_test_...ok proper_tests:726: native_cant_translate_test_...ok proper_tests:726: native_cant_translate_test_...ok proper_tests:726: native_cant_translate_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:730: remote_native_types_test_...ok proper_tests:734: recursive_native_types_test_...[0.027 s] ok proper_tests:734: recursive_native_types_test_...[0.001 s] ok proper_tests:734: recursive_native_types_test_...[0.001 s] ok proper_tests:734: recursive_native_types_test_...[0.013 s] ok proper_tests:734: recursive_native_types_test_...[0.002 s] ok proper_tests:734: recursive_native_types_test_...[0.001 s] ok proper_tests:734: recursive_native_types_test_...[0.002 s] ok proper_tests:734: recursive_native_types_test_...[0.022 s] ok proper_tests:734: recursive_native_types_test_...[0.007 s] ok proper_tests:734: recursive_native_types_test_...[0.004 s] ok proper_tests:734: recursive_native_types_test_...[0.001 s] ok proper_tests:734: recursive_native_types_test_...[0.004 s] ok proper_tests:734: recursive_native_types_test_...[0.004 s] ok proper_tests:738: recursive_native_cant_translate_test_...ok proper_tests:738: recursive_native_cant_translate_test_...ok proper_tests:738: recursive_native_cant_translate_test_...ok proper_tests:738: recursive_native_cant_translate_test_...ok proper_tests:738: recursive_native_cant_translate_test_...[0.001 s] ok proper_tests:738: recursive_native_cant_translate_test_...ok proper_tests:738: recursive_native_cant_translate_test_...[0.002 s] ok proper_tests:738: recursive_native_cant_translate_test_...ok proper_tests:743: random_functions_test_...ok proper_tests:744: random_functions_test_...[0.006 s] ok proper_tests:743: random_functions_test_...ok proper_tests:744: random_functions_test_...[0.006 s] ok proper_tests:743: random_functions_test_...ok proper_tests:744: random_functions_test_...[0.006 s] ok proper_tests:743: random_functions_test_...ok proper_tests:744: random_functions_test_...[0.005 s] ok proper_tests:748: parse_transform_test_...[0.002 s] ok proper_tests:749: parse_transform_test_...ok proper_tests:750: parse_transform_test_...[0.001 s] ok proper_tests:751: parse_transform_test_...[0.022 s] ok proper_tests:752: parse_transform_test_...[0.002 s] ok proper_tests:755: native_type_props_test_...[0.099 s] ok proper_tests:757: native_type_props_test_...[0.099 s] ok proper_tests:760: native_type_props_test_...[0.103 s] ok proper_tests:765: native_type_props_test_...[0.095 s] ok proper_tests:767: native_type_props_test_...[0.005 s] ok proper_tests:768: native_type_props_test_...[0.095 s] ok proper_tests:769: native_type_props_test_...[0.002 s] ok proper_tests:770: native_type_props_test_...[0.109 s] ok proper_tests:771: native_type_props_test_...[0.119 s] ok proper_tests:772: native_type_props_test_...ok proper_tests:773: native_type_props_test_...[0.004 s] ok proper_tests:781: native_type_props_test_...[0.098 s] ok proper_tests:782: native_type_props_test_...[0.005 s] ok proper_tests:783: native_type_props_test_...[0.004 s] ok proper_tests:784: native_type_props_test_...[0.094 s] ok proper_tests:787: native_type_props_test_...[0.093 s] ok proper_tests:788: native_type_props_test_...[0.098 s] ok proper_tests:790: native_type_props_test_...ok proper_tests:795: native_type_props_test_...[0.141 s] ok proper_tests:797: native_type_props_test_...[0.104 s] ok proper_tests:798: native_type_props_test_...[0.103 s] ok proper_tests:800: native_type_props_test_...[0.094 s] ok Shrinking tuples All elements are generators proper_tests:803: native_type_props_test_...ok proper_tests:804: native_type_props_test_...ok [done in 0.006 s] Some elements are generators proper_tests:806: native_type_props_test_...ok proper_tests:807: native_type_props_test_...ok proper_tests:808: native_type_props_test_...ok proper_tests:809: native_type_props_test_...ok [done in 0.012 s] All elements are consts proper_tests:811: native_type_props_test_...ok proper_tests:812: native_type_props_test_...ok [done in 0.006 s] [done in 0.024 s] Shrinking fixed lists All elements are generators proper_tests:815: native_type_props_test_...ok proper_tests:816: native_type_props_test_...ok proper_tests:817: native_type_props_test_...ok [done in 0.009 s] Some elements are generators 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 proper_tests:823: native_type_props_test_...ok proper_tests:824: native_type_props_test_...ok [done in 0.020 s] All elements are consts proper_tests:826: native_type_props_test_...ok proper_tests:827: native_type_props_test_...ok proper_tests:828: native_type_props_test_...ok [done in 0.009 s] [done in 0.038 s] proper_tests:829: native_type_props_test_...[0.002 s] ok proper_tests:830: native_type_props_test_...[0.006 s] ok proper_tests:832: native_type_props_test_...[0.012 s] ok proper_tests:833: native_type_props_test_...[0.002 s] ok proper_tests:834: native_type_props_test_...[0.002 s] ok proper_tests:835: native_type_props_test_...[0.003 s] ok proper_tests:836: native_type_props_test_...[0.003 s] ok proper_tests:837: native_type_props_test_...[0.012 s] ok proper_tests:850: true_props_test_...[0.001 s] ok proper_tests:851: true_props_test_...[0.005 s] ok proper_tests:852: true_props_test_...[0.108 s] ok proper_tests:853: true_props_test_...[0.131 s] ok proper_tests:854: true_props_test_...[0.150 s] ok proper_tests:855: true_props_test_...[0.148 s] ok proper_tests:856: true_props_test_...[0.006 s] ok proper_tests:857: true_props_test_...[0.006 s] ok proper_tests:858: true_props_test_...[0.005 s] ok proper_tests:859: true_props_test_...[0.018 s] ok proper_tests:862: true_props_test_...[0.004 s] ok proper_tests:865: true_props_test_...[0.006 s] ok proper_tests:868: true_props_test_...[0.006 s] ok proper_tests:870: true_props_test_...[0.002 s] ok proper_tests:872: true_props_test_...ok proper_tests:875: true_props_test_...ok proper_tests:879: true_props_test_...[0.002 s] ok proper_tests:880: true_props_test_...[0.003 s] ok proper_tests:881: true_props_test_...[0.002 s] ok proper_tests:882: true_props_test_...[0.002 s] ok proper_tests:883: true_props_test_...[0.006 s] ok proper_tests:884: true_props_test_...[0.003 s] ok proper_tests:889: true_props_test_...[0.179 s] ok proper_tests:890: true_props_test_...[0.137 s] ok proper_tests:891: true_props_test_...[0.233 s] ok proper_tests:892: true_props_test_...[0.187 s] ok proper_tests:893: true_props_test_...[0.492 s] ok proper_tests:894: true_props_test_...[0.671 s] ok proper_tests:895: true_props_test_...[1.739 s] ok proper_tests:896: true_props_test_...[0.563 s] ok proper_tests:899: map_in_nextstate3_test_...[0.211 s] ok proper_tests:900: map_in_nextstate3_test_...[0.636 s] ok proper_tests:903: false_props_test_...[0.003 s] ok proper_tests:905: false_props_test_...[0.001 s] ok proper_tests:909: false_props_test_...[0.001 s] ok proper_tests:912: false_props_test_...[0.001 s] ok proper_tests:917: false_props_test_...ok proper_tests:918: false_props_test_...[0.001 s] ok proper_tests:923: false_props_test_...[0.707 s] ok proper_tests:924: false_props_test_...[0.002 s] ok proper_tests:925: false_props_test_...ok proper_tests:931: false_props_test_...[0.001 s] ok proper_tests:934: false_props_test_...ok proper_tests:938: false_props_test_...ok proper_tests:940: false_props_test_...ok proper_tests:942: false_props_test_...ok proper_tests:944: false_props_test_...ok proper_tests:946: false_props_test_...[0.009 s] ok proper_tests:949: false_props_test_...ok proper_tests:950: false_props_test_...ok proper_tests:951: false_props_test_...ok proper_tests:952: false_props_test_...ok proper_tests:953: false_props_test_...ok proper_tests:955: false_props_test_...ok proper_tests:956: false_props_test_...[0.002 s] ok proper_tests:980: false_props_test_...[0.067 s] ok proper_tests:981: false_props_test_...[0.012 s] ok proper_tests:982: false_props_test_...[0.012 s] ok proper_tests:985: error_props_test_...ok proper_tests:987: error_props_test_...[0.007 s] ok proper_tests:989: error_props_test_...ok proper_tests:991: error_props_test_...ok proper_tests:993: error_props_test_...ok proper_tests:995: error_props_test_...[0.008 s] ok proper_tests:996: error_props_test_...[0.001 s] ok proper_tests:997: error_props_test_...ok proper_tests:998: error_props_test_...ok proper_tests:1001: error_props_test_...ok proper_tests:1005: error_props_test_...ok proper_tests:1009: error_props_test_...ok proper_tests:1014: eval_test_...ok proper_tests:1014: eval_test_...ok proper_tests:1014: eval_test_...ok proper_tests:1014: eval_test_...ok proper_tests:1014: eval_test_...ok proper_tests:1014: eval_test_...ok proper_tests:1014: eval_test_...ok proper_tests:1018: pretty_print_test_...ok proper_tests:1018: pretty_print_test_...ok proper_tests:1018: pretty_print_test_...ok proper_tests:1018: pretty_print_test_...ok proper_tests:1018: pretty_print_test_...ok proper_tests:1018: pretty_print_test_...ok proper_tests:1018: pretty_print_test_...ok proper_tests:1022: not_defined_test_...ok proper_tests:1022: not_defined_test_...ok proper_tests:1022: not_defined_test_...ok proper_tests:1022: not_defined_test_...ok proper_tests:1022: not_defined_test_...ok proper_tests:1026: options_test_...[0.002 s] ok proper_tests:1029: options_test_...[0.002 s] ok proper_tests:1032: options_test_...ok proper_tests:1033: options_test_...ok proper_tests:1034: options_test_...ok proper_tests:1035: options_test_...ok proper_tests:1038: options_test_...ok proper_tests:1080: setup_test_...ok proper_tests:1081: setup_test_...ok proper_tests:1083: setup_test_...ok proper_tests:1084: setup_test_...ok proper_tests:1086: setup_test_...ok proper_tests:1087: setup_test_...ok proper_tests:1089: setup_test_...ok proper_tests:1090: setup_test_...ok proper_tests:1092: setup_test_...ok proper_tests:1093: setup_test_...ok proper_tests:1096: setup_test_...ok proper_tests:1097: setup_test_...ok proper_tests:1103: adts1_test_...[0.498 s] ok proper_tests:1113: adts3_test_...[2.350 s] ok proper_tests:1118: parameter_test_...[0.006 s] ok proper_tests:1126: zip_test_...ok proper_tests:1126: zip_test_...ok proper_tests:1126: zip_test_...ok proper_tests:1126: zip_test_...ok proper_tests:1126: zip_test_...ok proper_tests:1126: zip_test_...ok proper_tests:1130: command_names_test_...ok proper_tests:1130: command_names_test_...ok proper_tests:1130: command_names_test_...ok proper_tests:1134: command_names_parallel1_test_...ok proper_tests:1134: command_names_parallel1_test_...ok proper_tests:1134: command_names_parallel1_test_...ok proper_tests:1138: command_names_parallel2_test_...ok proper_tests:1138: command_names_parallel2_test_...ok proper_tests:1138: command_names_parallel2_test_...ok proper_tests:1142: command_names_parallel3_test_...ok proper_tests:1142: command_names_parallel3_test_...ok proper_tests:1142: command_names_parallel3_test_...ok proper_tests:1146: command_names_parallel4_test_...ok proper_tests:1146: command_names_parallel4_test_...ok proper_tests:1146: command_names_parallel4_test_...ok proper_tests:1150: valid_cmds_test_...ok proper_tests:1150: valid_cmds_test_...ok proper_tests:1150: valid_cmds_test_...ok proper_tests:1154: invalid_cmds_test_...ok proper_tests:1156: invalid_cmds_test_...ok proper_tests:1156: invalid_cmds_test_...ok proper_tests:1160: state_after_test_...ok proper_tests:1160: state_after_test_...ok proper_tests:1160: state_after_test_...ok proper_tests:1164: cannot_generate_commands_test_...[0.001 s] ok proper_tests:1168: can_generate_commands0_test_...[0.008 s] ok proper_tests:1172: can_generate_commands1_test_...[0.004 s] ok proper_tests:1177: can_generate_parallel_commands0_test_...[0.028 s] ok proper_tests:1182: can_generate_parallel_commands1_test_...[0.043 s] ok proper_tests:1188: seeded_runs_return_same_result_test_...[0.025 s] ok proper_tests:1192: run_valid_commands_test_...ok proper_tests:1192: run_valid_commands_test_...ok proper_tests:1192: run_valid_commands_test_...ok proper_tests:1196: run_invalid_precondition_test_...ok proper_tests:1201: run_init_error_test_...[0.018 s] ok proper_tests: run_postcondition_false_test...ok proper_tests: run_exception_test...ok proper_tests:1215: get_next_test_...ok proper_tests:1215: get_next_test_...ok proper_tests:1220: mk_first_comb_test_...ok proper_tests:1220: mk_first_comb_test_...ok proper_tests:1220: mk_first_comb_test_...ok proper_tests: args_not_defined_test...ok proper_tests:1228: command_props_test_...[1.326 s] ok proper_tests:1232: can_generate_fsm_commands_test_...[0.011 s] ok proper_tests:1232: can_generate_fsm_commands_test_...[0.022 s] ok proper_tests:1236: transition_target_test_...[0.010 s] ok proper_tests:1239: dollar_only_cp_test_...ok Test type with restrain proper_tests:1249: sampleshrink_test_ (Try another way to call shrinking (not sampleshrink))...[0.001 s] ok proper_tests:1252: sampleshrink_test_...ok [done in 0.009 s] proper_tests: max_size_test...*failed* in function proper_tests:'-max_size_test/0-fun-3-'/2 (test/proper_tests.erl, line 1270) in call from eunit_test:'-mf_wrapper/2-fun-0-'/2 (eunit_test.erl, line 273) in call from eunit_test:run_testfun/1 (eunit_test.erl, line 71) in call from eunit_proc:run_test/1 (eunit_proc.erl, line 510) in call from eunit_proc:with_timeout/3 (eunit_proc.erl, line 335) in call from eunit_proc:handle_test/2 (eunit_proc.erl, line 493) in call from eunit_proc:tests_inorder/3 (eunit_proc.erl, line 435) in call from eunit_proc:with_timeout/3 (eunit_proc.erl, line 325) **error:{assert,[{module,proper_tests}, {line,1270}, {expression,"2 * Ts >= Tb"}, {expected,true}, {value,false}]} output:<<"..... OK: Passed 5 test(s). ..... OK: Passed 5 test(s). ">> [done in 32.491 s] [done in 32.491 s] module 'proper_symb' module 'proper_types' module 'proper_unicode' module 'proper_prop_remover' module 'proper_unused_imports_remover' module 'proper_target' module 'proper_transformer' module 'proper_statem' module 'vararg' module 'proper_dict' module 'proper_array' module 'proper_gb_sets' module 'proper_arith' module 'proper_fsm' module 'proper_gb_trees' module 'proper_orddict' module 'proper_ordsets' module 'proper_queue' module 'proper_gen' module 'proper_gen_next' module 'proper_sa' module 'proper_sets' module 'auto_export_test1' module 'auto_export_test2' module 'proper_shrink' module 'error_statem' module 'command_props' module 'ets_counter' module 'ets_statem' module 'improper_lists_statem' module 'proper_typeserver' module 'no_native_parse_test' module 'nogen_statem' module 'numbers_fsm' module 'pdict_statem' module 'pdict_fsm' module 'perf_max_size' module 'post_false' module 'prec_false' module 'proper_print' proper_print:37: stacktrace_test_...ok proper_print:39: stacktrace_test_...[0.035 s] ok [done in 0.042 s] module 'rec_props_test1' module 'rec_test1' module 'rec_test2' module 'rec_props_test2' module 'symb_statem_maps' module 'symb_statem' module 'to_remove' module 'types_test1' module 'types_test2' module 'weird_types' module 'exists_tests' exists_tests: strategy_test...ok exists_tests: forall_sa_test...ok exists_tests: exists_test...[0.012 s] ok exists_tests: not_exists_test...ok exists_tests: forall_targeted_test...ok exists_tests: not_exists_const_temp_test...ok exists_tests: hillclimbing_test...ok exists_tests: hillclimbing2_test...ok exists_tests: hillclimbing3_test...ok exists_tests: default_accept_function_test...ok exists_tests: integer_test...ok exists_tests: list_test...[0.003 s] ok exists_tests: combine_test...[0.170 s] ok exists_tests: biglist_test...[0.002 s] ok exists_tests: let_test...[0.044 s] ok exists_tests: suchthat_test...[0.025 s] ok exists_tests: union_test...[0.033 s] ok exists_tests: weighted_union_test...[0.041 s] ok exists_tests: tuple_test...[0.028 s] ok exists_tests: let_union_test...[0.071 s] ok exists_tests: lazy_test...[0.083 s] ok exists_tests: sized_test...[0.008 s] ok exists_tests: edge_test...[0.050 s] ok exists_tests:298: graph_test_...[0.955 s] ok exists_tests: improper_list_test...[0.094 s] ok exists_tests: reset_test...[0.027 s] ok exists_tests:366: graph_match1_test_...[2.332 s] ok exists_tests:372: graph_match2_test_...[0.394 s] ok exists_tests: whenfail_test...ok exists_tests: shrink1_test...[0.089 s] ok exists_tests: shrink2_test...[0.042 s] ok exists_tests: shrink3_test...[0.017 s] ok exists_tests: shrink4_test...ok exists_tests: match_test...[0.001 s] ok exists_tests: match_and_shrink_test...[0.017 s] ok exists_tests: let_in_nf_test...[0.001 s] ok exists_tests: count_crash_in_not_exists_as_failure_test...ok [done in 4.685 s] module 'let_tests' module 'proper_specs_tests' proper_specs_tests:49: check1_specs_test_...[0.174 s] ok proper_specs_tests:52: check2_specs_test_...[0.159 s] ok proper_specs_tests:55: check3_specs_test_...[0.092 s] ok proper_specs_tests: check1_specs_test...[0.190 s] ok proper_specs_tests: check2_specs_test...[0.066 s] ok proper_specs_tests: check3_specs_test...[0.011 s] ok [done in 0.718 s] ======================================================= Failed: 1. Skipped: 0. Passed: 564. DEBUG: Reconstruct stdlib [] DEBUG: Reconstruct rebar [] DEBUG: Reconstruct kernel [{logger_level,notice}, {logger_sasl_compatible,false}] DEBUG: Reconstruct crypto [{fips_mode,false},{rand_cache_size,896}] DEBUG: No processes to kill ERROR: One or more eunit tests failed. ERROR: eunit failed while processing /usr/src/RPM/BUILD/erlang-proper-1.3: rebar_abort error: Bad exit status from /usr/src/tmp/rpm-tmp.59072 (%check) RPM build errors: Bad exit status from /usr/src/tmp/rpm-tmp.59072 (%check) Command exited with non-zero status 1 39.67user 2.30system 0:47.63elapsed 88%CPU (0avgtext+0avgdata 514104maxresident)k 0inputs+0outputs (0major+382059minor)pagefaults 0swaps hsh-rebuild: rebuild of `erlang-proper-1.3-alt2.src.rpm' failed. Command exited with non-zero status 1 51.68user 5.31system 1:15.88elapsed 75%CPU (0avgtext+0avgdata 514104maxresident)k 52008inputs+0outputs (0major+809478minor)pagefaults 0swaps