<86>Apr 18 05:37:43 userdel[3743575]: delete user 'rooter'
<86>Apr 18 05:37:43 userdel[3743575]: removed group 'rooter' owned by 'rooter'
<86>Apr 18 05:37:43 userdel[3743575]: removed shadow group 'rooter' owned by 'rooter'
<86>Apr 18 05:37:43 groupadd[3743584]: group added to /etc/group: name=rooter, GID=633
<86>Apr 18 05:37:43 groupadd[3743584]: group added to /etc/gshadow: name=rooter
<86>Apr 18 05:37:43 groupadd[3743584]: new group: name=rooter, GID=633
<86>Apr 18 05:37:43 useradd[3743591]: new user: name=rooter, UID=633, GID=633, home=/root, shell=/bin/bash
<86>Apr 18 05:37:43 userdel[3743602]: delete user 'builder'
<86>Apr 18 05:37:43 userdel[3743602]: removed group 'builder' owned by 'builder'
<86>Apr 18 05:37:43 userdel[3743602]: removed shadow group 'builder' owned by 'builder'
<86>Apr 18 05:37:43 groupadd[3743608]: group added to /etc/group: name=builder, GID=634
<86>Apr 18 05:37:43 groupadd[3743608]: group added to /etc/gshadow: name=builder
<86>Apr 18 05:37:43 groupadd[3743608]: new group: name=builder, GID=634
<86>Apr 18 05:37:43 useradd[3743615]: new user: name=builder, UID=634, GID=634, home=/usr/src, shell=/bin/bash
<13>Apr 18 05:37:45 rpmi: rpm-macros-erlang-0.8.0-alt2 sisyphus+219490.300.1.1 1547649942 installed
<13>Apr 18 05:37:45 rpmi: libnatspec-0.3.1-alt2 1445691578 installed
<13>Apr 18 05:37:45 rpmi: unzip-6.0-alt4 p9+261695.100.1.1 1605219254 installed
<13>Apr 18 05:37:45 rpmi: rpm-build-erlang-0.7.10.1-alt3 sisyphus+219490.400.1.1 1547649990 installed
<13>Apr 18 05:37:47 rpmi: libexpat-2.2.10-alt1 p9+261554.100.1.1 1605103332 installed
<13>Apr 18 05:37:47 rpmi: libjpeg-2:2.0.2-alt1 sisyphus+226996.100.1.1 1554902884 installed
<13>Apr 18 05:37:47 rpmi: perl-HTTP-Date-6.02-alt1 1348645274 installed
<13>Apr 18 05:37:47 rpmi: libwayland-client-1.18.0-alt1 p9+260591.100.12.1 1606212847 installed
<13>Apr 18 05:37:47 rpmi: libpng16-1.6.36-alt1 sisyphus+219478.100.1.1 1547633315 installed
<13>Apr 18 05:37:47 rpmi: perl-XML-NamespaceSupport-1.12-alt1 1491296348 installed
<13>Apr 18 05:37:47 rpmi: libwxBase3.0-3.0.4-alt5 sisyphus+228213.200.3.1 1556883406 installed
<13>Apr 18 05:37:47 rpmi: libfribidi-1.0.7-alt1 p9+238309.200.1.1 1569787041 installed
<13>Apr 18 05:37:48 rpmi: libidn2-2.2.0-alt1 p9+229971.100.2.1 1558696275 installed
<13>Apr 18 05:37:48 rpmi: libnettle6-3.4.1-alt1 sisyphus+226533.100.2.1 1554512181 installed
<13>Apr 18 05:37:48 rpmi: libsqlite3-3.33.0-alt1 p9+258834.40.2.1 1601364885 installed
<13>Apr 18 05:37:48 rpmi: liblcms2-2.9-alt1 1516411888 installed
<13>Apr 18 05:37:48 rpmi: perl-LWP-MediaTypes-6.04-alt1 sisyphus+225468.100.1.1 1553186684 installed
<13>Apr 18 05:37:48 rpmi: perl-Compress-Raw-Zlib-2.086-alt1 sisyphus+226395.100.1.2 1554269783 installed
<13>Apr 18 05:37:48 rpmi: perl-libnet-1:3.11-alt1 1511423541 installed
<13>Apr 18 05:37:48 rpmi: perl-XML-SAX-Base-1.09-alt1 1494364363 installed
<13>Apr 18 05:37:48 rpmi: libwayland-server-1.18.0-alt1 p9+260591.100.12.1 1606212847 installed
<13>Apr 18 05:37:48 rpmi: libglvnd-7:1.3.2-alt0.p9 p9+265957.240.8.1 1617618104 installed
<13>Apr 18 05:37:48 rpmi: libtcl-8.6.9-alt1 sisyphus+227145.100.1.2 1555606523 installed
<13>Apr 18 05:37:48 rpmi: libp11-kit-0.23.15-alt2 p9+254920.2400.19.1 1601385869 installed
<13>Apr 18 05:37:48 rpmi: libtasn1-4.14-alt1 p9+235792.100.2.1 1565425233 installed
<13>Apr 18 05:37:48 rpmi: libICE-1.0.9-alt1 1409902719 installed
<13>Apr 18 05:37:48 rpmi: libSM-1.2.3-alt1 sisyphus+226734.100.2.1 1554586157 installed
<13>Apr 18 05:37:48 rpmi: tcl-8.6.9-alt1 sisyphus+227145.100.1.2 1555606523 installed
<13>Apr 18 05:37:48 rpmi: libhogweed4-3.4.1-alt1 sisyphus+226533.100.2.1 1554512181 installed
<13>Apr 18 05:37:48 rpmi: libgnutls30-3.6.15-alt2 p9+268190.200.4.1 1616499125 installed
<13>Apr 18 05:37:48 rpmi: libwayland-cursor-1.18.0-alt1 p9+260591.100.12.1 1606212847 installed
<13>Apr 18 05:37:48 rpmi: libwayland-egl-4:18.1.0-alt1 p9+260591.100.12.1 1606212847 installed
<13>Apr 18 05:37:48 rpmi: perl-File-Listing-6.04-alt1 1329758996 installed
<13>Apr 18 05:37:48 rpmi: libjasper-2.0.22-alt1 p9+259398.100.5.1 1602695042 installed
<13>Apr 18 05:37:48 rpmi: libmspack-0.6-alt2 p9+265031.100.1.1 1611244448 installed
<13>Apr 18 05:37:48 rpmi: libxkbcommon-0.8.4-alt1 sisyphus+222759.100.1.1 1551009797 installed
<13>Apr 18 05:37:48 rpmi: publicsuffix-list-dafsa-20210121-alt1 p9+265130.100.3.1 1611941989 installed
<13>Apr 18 05:37:48 rpmi: libpsl-0.21.1-alt1 p9+255207.100.1.1 1595355041 installed
<13>Apr 18 05:37:48 rpmi: libverto-0.3.0-alt1_7 sisyphus+225932.100.1.1 1553994917 installed
<13>Apr 18 05:37:48 rpmi: libkeyutils-1.6-alt2 sisyphus+226520.100.2.1 1554512088 installed
<13>Apr 18 05:37:48 rpmi: libcom_err-1.44.6-alt1 sisyphus+224154.100.1.1 1552091653 installed
<13>Apr 18 05:37:48 rpmi: libproxy-0.4.15-alt5 p9+261541.200.3.1 1605276967 installed
<13>Apr 18 05:37:48 rpmi: libdatrie-0.2.9-alt1_6 1511686677 installed
<13>Apr 18 05:37:48 rpmi: libthai-0.1.28-alt1_1 sisyphus+226107.100.1.1 1554123079 installed
<13>Apr 18 05:37:48 rpmi: libwebp7-1.0.3-alt1 p9+234901.200.1.1 1563552213 installed
<13>Apr 18 05:37:48 rpmi: libjbig-2.1-alt1 1401380921 installed
<13>Apr 18 05:37:48 rpmi: libtiff5-4.0.10.0.57.f9fc01c3-alt1 sisyphus+226958.100.1.1 1554850937 installed
<13>Apr 18 05:37:48 rpmi: libgdk-pixbuf-locales-2.38.2-alt1 p9+237353.1000.2.2 1568374008 installed
<13>Apr 18 05:37:48 rpmi: libepoxy-1.5.3-alt1 sisyphus+226740.100.2.3 1554619014 installed
<13>Apr 18 05:37:48 rpmi: libusb-1.0.22-alt1 1525452011 installed
<13>Apr 18 05:37:48 rpmi: libgudev-1:233-alt1 p9+235498.500.2.1 1565021350 installed
<13>Apr 18 05:37:48 rpmi: udev-rules-1:243.9-alt1 p9+258476.300.4.1 1601997124 installed
<13>Apr 18 05:37:48 rpmi: gtk+3-themes-incompatible-3.20-alt3 1461944560 installed
<13>Apr 18 05:37:48 rpmi: perl-Try-Tiny-0.30-alt1 1514318058 installed
<13>Apr 18 05:37:48 rpmi: perl-IO-Socket-IP-0.39-alt1 1494508514 installed
<13>Apr 18 05:37:48 rpmi: perl-Compress-Raw-Bzip2-2.086-alt1 sisyphus+226394.100.1.2 1554269409 installed
<13>Apr 18 05:37:48 rpmi: perl-HTML-Tagset-3.20-alt2 1317725093 installed
<13>Apr 18 05:37:48 rpmi: perl-Term-ANSIColor-4.06-alt1 1479407083 installed
<13>Apr 18 05:37:48 rpmi: perl-Data-Dump-1.23-alt1 1444601978 installed
<13>Apr 18 05:37:48 rpmi: perl-Filter-1.59-alt1.1 sisyphus+219907.400.1.1 1548343225 installed
<13>Apr 18 05:37:48 rpmi: perl-Encode-3.01-alt1 sisyphus+224923.100.1.1 1552474113 installed
<13>Apr 18 05:37:48 rpmi: perl-URI-1.76-alt1 sisyphus+220243.100.1.1 1548863244 installed
<13>Apr 18 05:37:48 rpmi: perl-IO-Compress-2.086-alt1 sisyphus+226399.100.2.1 1554270186 installed
<13>Apr 18 05:37:48 rpmi: perl-Net-HTTP-6.18-alt1 1526560501 installed
<13>Apr 18 05:37:48 rpmi: perl-HTML-Parser-3.72-alt1.2 sisyphus+219907.600.1.1 1548343407 installed
<13>Apr 18 05:37:48 rpmi: perl-WWW-RobotRules-6.02-alt1 1329756211 installed
<13>Apr 18 05:37:48 rpmi: perl-Encode-Locale-1.05-alt1 1444608613 installed
<13>Apr 18 05:37:48 rpmi: perl-IO-HTML-1.001-alt1 1404821752 installed
<13>Apr 18 05:37:48 rpmi: perl-HTTP-Message-6.18-alt1 1528288416 installed
<13>Apr 18 05:37:48 rpmi: perl-HTTP-Cookies-6.04-alt1 1504116575 installed
<13>Apr 18 05:37:48 rpmi: perl-HTTP-Negotiate-6.01-alt1 1329760563 installed
<13>Apr 18 05:37:48 rpmi: perl-libwww-6.39-alt1 sisyphus+229237.100.1.1 1557650051 installed
<13>Apr 18 05:37:48 rpmi: perl-XML-LibXML-2.0134-alt1 p9+240664.100.1.1 1573636501 installed
<13>Apr 18 05:37:48 rpmi: perl-XML-SAX-1.00-alt1 1519094959 installed
<13>Apr 18 05:37:48 rpmi: perl-XML-Simple-2.25-alt1 1521437714 installed
<13>Apr 18 05:37:48 rpmi: icon-naming-utils-0.8.90-alt1 1236573102 installed
<13>Apr 18 05:37:49 rpmi: icon-theme-adwaita-3.32.0-alt1 sisyphus+225063.1600.1.1 1552933594 installed
<13>Apr 18 05:37:49 rpmi: libpixman-3:0.38.4-alt1 sisyphus+228006.100.1.1 1556013486 installed
<13>Apr 18 05:37:49 rpmi: libxshmfence-1.3-alt1 sisyphus+223149.1000.2.1 1551268594 installed
<13>Apr 18 05:37:49 rpmi: libpciaccess-1:0.14-alt1 1528969624 installed
<13>Apr 18 05:37:49 rpmi: libdrm-1:2.4.105-alt1 p9+269192.100.1.1 1617869797 installed
<13>Apr 18 05:37:49 rpmi: libgbm-4:21.0.2-alt1 p9+269192.200.1.1 1617870169 installed
<13>Apr 18 05:37:49 rpmi: libgraphite2-1.3.13-alt2 sisyphus+226799.100.1.1 1554648233 installed
<13>Apr 18 05:37:49 rpmi: libharfbuzz-2.6.2-alt1 p9+238790.200.1.1 1570435797 installed
<13>Apr 18 05:37:49 rpmi: libfreetype-2.10.1-alt1.1.p9.1 p9+260179.200.3.1 1603971391 installed
<13>Apr 18 05:37:49 rpmi: fontconfig-2.13.1-alt1 p9+247340.200.3.1 1583400482 installed
Updating fonts cache: <29>Apr 18 05:37:50 fontconfig: Updating fonts cache: succeeded
[ DONE ]
<13>Apr 18 05:37:50 rpmi: libatk-locales-2.32.0-alt1 sisyphus+225059.600.3.2 1552845198 installed
<13>Apr 18 05:37:50 rpmi: libatk-2.32.0-alt1 sisyphus+225059.600.3.2 1552845198 installed
<13>Apr 18 05:37:50 rpmi: shared-mime-info-1.13.1-alt1 p9+238204.100.1.1 1569496447 installed
<13>Apr 18 05:37:50 rpmi: gsettings-desktop-schemas-data-3.32.0-alt1 sisyphus+225059.300.3.2 1552843929 installed
<13>Apr 18 05:37:50 rpmi: libgio-2.60.7-alt1 p9+237353.100.2.2 1568372980 installed
<13>Apr 18 05:37:50 rpmi: gsettings-desktop-schemas-3.32.0-alt1 sisyphus+225059.300.3.2 1552843929 installed
<13>Apr 18 05:37:50 rpmi: libgdk-pixbuf-2.38.2-alt1 p9+237353.1000.2.2 1568374008 installed
<13>Apr 18 05:37:50 rpmi: libgusb-0.3.4-alt1 p9+252428.140.2.1 1590759515 installed
<13>Apr 18 05:37:50 rpmi: libcolord-1.4.4-alt1 sisyphus+224111.100.1.1 1552060539 installed
<13>Apr 18 05:37:50 rpmi: gtk-update-icon-cache-3.24.11-alt1 p9+260591.300.12.1 1606214030 installed
<13>Apr 18 05:37:50 rpmi: libnotify-0.7.8-alt1 sisyphus+226665.100.1.1 1554498870 installed
<13>Apr 18 05:37:50 rpmi: libdconf-0.32.0-alt1.1 p9+265957.1100.8.1 1617619178 installed
<13>Apr 18 05:37:50 rpmi: libjson-glib-1.4.4-alt1 sisyphus.213175.100 1537249583 installed
<13>Apr 18 05:37:50 rpmi: liblz4-1:1.9.2-alt1 p9+238696.500.1.1 1570228072 installed
<13>Apr 18 05:37:50 rpmi: libgpg-error-1.36-alt1 p9+261942.140.4.1 1606237682 installed
<13>Apr 18 05:37:50 rpmi: libgcrypt20-1.8.5-alt3 p9+261942.200.4.1 1606237844 installed
<13>Apr 18 05:37:50 rpmi: libsystemd-1:243.9-alt1 p9+258476.300.4.1 1601997124 installed
<13>Apr 18 05:37:50 rpmi: libdbus-1.12.16-alt2 p9+240607.100.1.1 1573553670 installed
<13>Apr 18 05:37:50 rpmi: dbus-tools-1.12.16-alt2 p9+240607.100.1.1 1573553670 installed
<86>Apr 18 05:37:50 groupadd[3759100]: group added to /etc/group: name=messagebus, GID=499
<86>Apr 18 05:37:50 groupadd[3759100]: group added to /etc/gshadow: name=messagebus
<86>Apr 18 05:37:50 groupadd[3759100]: new group: name=messagebus, GID=499
<86>Apr 18 05:37:50 useradd[3759120]: new user: name=messagebus, UID=499, GID=499, home=/run/dbus, shell=/dev/null
<13>Apr 18 05:37:50 rpmi: dbus-1.12.16-alt2 p9+240607.100.1.1 1573553670 installed
<13>Apr 18 05:37:50 rpmi: dconf-0.32.0-alt1.1 p9+265957.1100.8.1 1617619178 installed
<13>Apr 18 05:37:50 rpmi: libgtk+3-schemas-3.24.11-alt1 p9+260591.300.12.1 1606214030 installed
<13>Apr 18 05:37:51 rpmi: libavahi-0.8-alt1 p9+258828.100.4.1 1601912047 installed
<13>Apr 18 05:37:51 rpmi: libcups-2.3.3-alt2.op2 p9+267729.100.2.1 1616001930 installed
<13>Apr 18 05:37:51 rpmi: libpolkit-0.116-alt2.M90P.1 p9+263588.300.4.1 1612790951 installed
<86>Apr 18 05:37:51 groupadd[3759347]: group added to /etc/group: name=colord, GID=498
<86>Apr 18 05:37:51 groupadd[3759347]: new group: name=colord, GID=498
<86>Apr 18 05:37:51 useradd[3759360]: new user: name=colord, UID=498, GID=498, home=/var/colord, shell=/dev/null
<13>Apr 18 05:37:51 rpmi: colord-1.4.4-alt1 sisyphus+224111.100.1.1 1552060539 installed
<13>Apr 18 05:37:51 rpmi: libX11-locales-3:1.6.7-alt2 p9+258208.100.1.1 1600333167 installed
<13>Apr 18 05:37:51 rpmi: libXdmcp-1.1.3-alt1 sisyphus+225206.600.1.2 1552949347 installed
<13>Apr 18 05:37:51 rpmi: libXau-1.0.9-alt1 sisyphus+223149.200.2.1 1551268156 installed
<13>Apr 18 05:37:51 rpmi: libxcb-1.13.1-alt1 sisyphus+226527.100.2.2 1554593799 installed
<13>Apr 18 05:37:51 rpmi: libX11-3:1.6.7-alt2 p9+258208.100.1.1 1600333167 installed
<13>Apr 18 05:37:51 rpmi: libXext-1.3.4-alt1 sisyphus+225206.700.1.2 1552949422 installed
<13>Apr 18 05:37:51 rpmi: libXrender-0.9.10-alt1 p9+261891.200.2.1 1606149106 installed
<13>Apr 18 05:37:51 rpmi: libXfixes-5.0.3-alt1 sisyphus+226736.100.2.2 1554614842 installed
<13>Apr 18 05:37:51 rpmi: libXft-2.3.3-alt1 sisyphus+225206.1000.3.2 1552987714 installed
<13>Apr 18 05:37:51 rpmi: libXxf86vm-1.1.4-alt2 1527672159 installed
<13>Apr 18 05:37:51 rpmi: libGLX-mesa-4:21.0.2-alt1 p9+269192.200.1.1 1617870169 installed
<13>Apr 18 05:37:51 rpmi: libat-spi2-core-2.32.1-alt1.1 sisyphus+227877.100.1.2 1555818549 installed
<13>Apr 18 05:37:51 rpmi: libGLX-7:1.3.2-alt0.p9 p9+265957.240.8.1 1617618104 installed
<13>Apr 18 05:37:51 rpmi: libGL-7:1.3.2-alt0.p9 p9+265957.240.8.1 1617618104 installed
<13>Apr 18 05:37:51 rpmi: libGLU-4:9.0.1-alt1 p9+251991.3000.19.1 1590835932 installed
<13>Apr 18 05:37:51 rpmi: libEGL-mesa-4:21.0.2-alt1 p9+269192.200.1.1 1617870169 installed
<13>Apr 18 05:37:51 rpmi: libEGL-7:1.3.2-alt0.p9 p9+265957.240.8.1 1617618104 installed
<13>Apr 18 05:37:51 rpmi: libcairo-1:1.16.0-alt1 sisyphus+226534.100.2.3 1554515520 installed
<13>Apr 18 05:37:51 rpmi: libpango-1.44.6-alt1 p9+237353.700.2.2 1568373865 installed
<13>Apr 18 05:37:51 rpmi: libcairo-gobject-1:1.16.0-alt1 sisyphus+226534.100.2.3 1554515520 installed
<13>Apr 18 05:37:51 rpmi: libtk-8.6.9-alt1 sisyphus+227145.200.1.2 1555606663 installed
<13>Apr 18 05:37:51 rpmi: tk-8.6.9-alt1 sisyphus+227145.200.1.2 1555606663 installed
<13>Apr 18 05:37:51 rpmi: libXcursor-1.2.0-alt1 sisyphus+225206.400.1.2 1552949214 installed
<13>Apr 18 05:37:51 rpmi: libXrandr-1.5.2-alt1 sisyphus+225206.1300.1.2 1552949698 installed
<13>Apr 18 05:37:51 rpmi: libXtst-1.2.3-alt1 p9+261891.100.2.1 1606149065 installed
<13>Apr 18 05:37:51 rpmi: libXi-1.7.9-alt2 sisyphus+226377.100.1.2 1554260258 installed
<13>Apr 18 05:37:51 rpmi: libXinerama-1.1.4-alt1 sisyphus+223149.300.2.1 1551268223 installed
<13>Apr 18 05:37:51 rpmi: dbus-tools-gui-1.12.16-alt2 p9+240607.100.1.1 1573553670 installed
<13>Apr 18 05:37:51 rpmi: at-spi2-core-2.32.1-alt1.1 sisyphus+227877.100.1.2 1555818549 installed
<13>Apr 18 05:37:51 rpmi: at-spi2-atk-2.32.0-alt1 sisyphus+225059.700.3.2 1552845269 installed
<13>Apr 18 05:37:51 rpmi: libXcomposite-0.4.5-alt1 sisyphus+225206.300.1.2 1552949136 installed
<13>Apr 18 05:37:51 rpmi: libXdamage-1.1.5-alt1 sisyphus+225206.500.1.2 1552949282 installed
<13>Apr 18 05:37:51 rpmi: rpm-macros-alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed
<13>Apr 18 05:37:51 rpmi: alternatives-0.5.1-alt1 sisyphus+226946.100.1.1 1554830426 installed
<13>Apr 18 05:37:51 rpmi: ca-certificates-2020.06.29-alt1 p9+258899.100.3.1 1601998604 installed
<13>Apr 18 05:37:51 rpmi: ca-trust-0.1.2-alt1 p9+233349.100.1.1 1561655062 installed
<13>Apr 18 05:37:51 rpmi: p11-kit-trust-0.23.15-alt2 p9+254920.2400.19.1 1601385869 installed
<13>Apr 18 05:37:51 rpmi: libcrypto1.1-1.1.1k-alt1 p9+268376.100.3.1 1616720932 installed
<13>Apr 18 05:37:51 rpmi: erlang-otp-common-1:21.3.6-alt2 p9+253833.100.2.1 1593103638 installed
<13>Apr 18 05:37:51 rpmi: erlang-otp-bin-1:21.3.6-alt2 p9+253833.100.2.1 1593103638 installed
<13>Apr 18 05:37:53 rpmi: erlang-otp-1:21.3.6-alt2 p9+253833.100.2.1 1593103638 installed
<86>Apr 18 05:37:53 groupadd[3762581]: group added to /etc/group: name=epmd, GID=497
<86>Apr 18 05:37:53 groupadd[3762581]: group added to /etc/gshadow: name=epmd
<86>Apr 18 05:37:53 groupadd[3762581]: new group: name=epmd, GID=497
<86>Apr 18 05:37:53 useradd[3762719]: new user: name=epmd, UID=497, GID=497, home=/tmp, shell=/sbin/nologin
<13>Apr 18 05:37:53 rpmi: erlang-1:21.3.6-alt2 p9+253833.100.2.1 1593103638 installed
<13>Apr 18 05:37:53 rpmi: erlang-common_test-common-1:21.3.6-alt2 p9+253833.100.2.1 1593103638 installed
<13>Apr 18 05:37:53 rpmi: libssl1.1-1.1.1k-alt1 p9+268376.100.3.1 1616720932 installed
<86>Apr 18 05:37:53 groupadd[3762826]: group added to /etc/group: name=_keytab, GID=496
<86>Apr 18 05:37:53 groupadd[3762826]: group added to /etc/gshadow: name=_keytab
<86>Apr 18 05:37:53 groupadd[3762826]: new group: name=_keytab, GID=496
<13>Apr 18 05:37:53 rpmi: libkrb5-1.17.2-alt1 p9+262110.100.3.1 1606242396 installed
<13>Apr 18 05:37:53 rpmi: glib-networking-2.60.3-alt1.p9.2 p9+262755.100.1.1 1606834382 installed
<13>Apr 18 05:37:53 rpmi: libsoup-2.66.2-alt1 p9+230015.200.2.1 1559209093 installed
<13>Apr 18 05:37:53 rpmi: libsoup-gnome-2.66.2-alt1 p9+230015.200.2.1 1559209093 installed
<13>Apr 18 05:37:53 rpmi: librest-0.8.1-alt1 1508266396 installed
<13>Apr 18 05:37:54 rpmi: libgtk+3-3.24.11-alt1 p9+260591.300.12.1 1606214030 installed
<13>Apr 18 05:37:54 rpmi: libwxGTK3.0-3.0.4-alt5 sisyphus+228213.200.3.1 1556883406 installed
<13>Apr 18 05:37:54 rpmi: libwxGTK3.0-gl-3.0.4-alt5 sisyphus+228213.200.3.1 1556883406 installed
<13>Apr 18 05:37:55 rpmi: erlang-visual-common-1:21.3.6-alt2 p9+253833.100.2.1 1593103638 installed
<13>Apr 18 05:37:55 rpmi: erlang-visual-1:21.3.6-alt2 p9+253833.100.2.1 1593103638 installed
<13>Apr 18 05:37:55 rpmi: erlang-common_test-1:21.3.6-alt2 p9+253833.100.2.1 1593103638 installed
<13>Apr 18 05:37:55 rpmi: rebar-1:2.6.4-alt2 sisyphus+219490.500.1.1 1547650057 installed
<13>Apr 18 05:37:55 rpmi: erlang-devel-1:21.3.6-alt2 p9+253833.100.2.1 1593103638 installed
<13>Apr 18 05:37:55 rpmi: erlang-otp-devel-1:21.3.6-alt2 p9+253833.100.2.1 1593103638 installed
Building target platforms: x86_64
Building for target x86_64
Wrote: /usr/src/in/nosrpm/erlang-proper-1.3-alt2.nosrc.rpm (w1.gzdio)
Installing erlang-proper-1.3-alt2.src.rpm
Building target platforms: x86_64
Building for target x86_64
Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.2878
+ 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.2878
+ 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'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2'
+ export FFLAGS
+ FCFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2'
+ 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_target.erl",
"src/proper_types.erl"]
Compiled src/vararg.erl
Compiled src/proper_target.erl
Compiled src/proper_types.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_gen_next.erl
Compiled src/proper.erl
Compiled src/proper_orddict.erl
Compiled src/proper_ordsets.erl
Compiled src/proper_gen.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_sa.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
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.48646
+ 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
+ PATH=/usr/libexec/rpm-build:/usr/src/bin:/bin:/usr/bin:/usr/X11R6/bin:/usr/games
+ 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,gnuconfig)
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.10320
+ 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'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2'
+ export FFLAGS
+ FCFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2'
+ 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_symb.erl","src/proper_target.erl",
"src/proper_types.erl",
"src/proper_transformer.erl","src/vararg.erl",
"src/proper_prop_remover.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_target.erl
Compiled src/proper_types.erl
Compiled src/proper_transformer.erl
Compiled src/vararg.erl
Compiled src/proper_prop_remover.erl
Compiled src/proper_unicode.erl
Compiled src/proper_unused_imports_remover.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
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
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
test/let_tests.erl:39: Warning: type rng() is unused
Compiled test/let_tests.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
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_fsm.erl
Compiled test/pdict_statem.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.erl
Compiled test/symb_statem_maps.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_symb'
module 'proper_target'
module 'proper_types'
module 'proper_transformer'
module 'vararg'
module 'proper_prop_remover'
module 'proper_unicode'
module 'proper_unused_imports_remover'
module 'proper'
module 'proper_tests'
proper_tests:702: simple_types_test_...[0.068 s] ok
proper_tests:702: simple_types_test_...[0.057 s] ok
proper_tests:702: simple_types_test_...[0.055 s] ok
proper_tests:702: simple_types_test_...[0.054 s] ok
proper_tests:702: simple_types_test_...[0.067 s] 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.046 s] ok
proper_tests:702: simple_types_test_...[0.044 s] ok
proper_tests:702: simple_types_test_...[0.043 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_...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.052 s] ok
proper_tests:702: simple_types_test_...[0.062 s] ok
proper_tests:702: simple_types_test_...[0.067 s] ok
proper_tests:702: simple_types_test_...[0.064 s] ok
proper_tests:702: simple_types_test_...[0.053 s] ok
proper_tests:702: simple_types_test_...[0.056 s] ok
proper_tests:702: simple_types_test_...[0.066 s] ok
proper_tests:702: simple_types_test_...[0.071 s] ok
proper_tests:702: simple_types_test_...[0.067 s] ok
proper_tests:702: simple_types_test_...[0.052 s] ok
proper_tests:702: simple_types_test_...[0.052 s] ok
proper_tests:702: simple_types_test_...[0.066 s] ok
proper_tests:702: simple_types_test_...[0.054 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.051 s] ok
proper_tests:702: simple_types_test_...[0.052 s] ok
proper_tests:702: simple_types_test_...ok
proper_tests:702: simple_types_test_...[0.073 s] ok
proper_tests:702: simple_types_test_...[0.048 s] ok
proper_tests:702: simple_types_test_...[0.048 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.004 s] ok
proper_tests:702: simple_types_test_...[0.002 s] ok
proper_tests:702: simple_types_test_...ok
proper_tests:702: simple_types_test_...[0.052 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.064 s] ok
proper_tests:702: simple_types_test_...[0.070 s] ok
proper_tests:702: simple_types_test_...[0.075 s] ok
proper_tests:702: simple_types_test_...[0.070 s] ok
proper_tests:702: simple_types_test_...[0.067 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.066 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_...ok
proper_tests:702: simple_types_test_...[0.055 s] ok
proper_tests:702: simple_types_test_...[0.001 s] ok
proper_tests:702: simple_types_test_...[0.063 s] ok
proper_tests:702: simple_types_test_...[0.149 s] ok
proper_tests:702: simple_types_test_...[0.074 s] ok
proper_tests:702: simple_types_test_...[0.092 s] ok
proper_tests:702: simple_types_test_...[0.116 s] ok
proper_tests:705: constructed_types_test_...[0.105 s] ok
proper_tests:705: constructed_types_test_...ok
proper_tests:705: constructed_types_test_...[0.004 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.101 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.332 s] ok
proper_tests:705: constructed_types_test_...[0.367 s] ok
proper_tests:705: constructed_types_test_...[0.129 s] ok
proper_tests:705: constructed_types_test_...[0.111 s] ok
proper_tests:705: constructed_types_test_...[0.109 s] ok
proper_tests:705: constructed_types_test_...[0.090 s] ok
proper_tests:705: constructed_types_test_...[0.088 s] ok
proper_tests:705: constructed_types_test_...[0.084 s] ok
proper_tests:705: constructed_types_test_...[0.097 s] ok
proper_tests:705: constructed_types_test_...[0.001 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_...[0.001 s] ok
proper_tests:705: constructed_types_test_...[0.001 s] ok
proper_tests:711: shrinks_to_test_...[0.004 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_...[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_...[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_...[0.002 s] 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_...[0.001 s] 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_...[0.004 s] ok
proper_tests:711: shrinks_to_test_...[0.003 s] ok
proper_tests:711: shrinks_to_test_...[0.003 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.003 s] ok
proper_tests:711: shrinks_to_test_...[0.002 s] ok
proper_tests:711: shrinks_to_test_...[0.008 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_...[0.002 s] ok
proper_tests:711: shrinks_to_test_...[0.001 s] ok
proper_tests:711: shrinks_to_test_...[0.004 s] ok
proper_tests:711: shrinks_to_test_...[0.003 s] ok
proper_tests:711: shrinks_to_test_...[0.001 s] ok
proper_tests:711: shrinks_to_test_...[0.002 s] ok
proper_tests:711: shrinks_to_test_...[0.004 s] ok
proper_tests:711: shrinks_to_test_...[0.004 s] ok
proper_tests:711: shrinks_to_test_...[0.004 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_...[0.005 s] 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_...[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.002 s] ok
proper_tests:711: shrinks_to_test_...[0.003 s] ok
proper_tests:711: shrinks_to_test_...[0.001 s] 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_...[0.002 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_...[0.001 s] ok
proper_tests:711: shrinks_to_test_...[0.005 s] ok
proper_tests:711: shrinks_to_test_...[0.006 s] ok
proper_tests:711: shrinks_to_test_...[0.006 s] ok
proper_tests:711: shrinks_to_test_...[0.006 s] ok
proper_tests:711: shrinks_to_test_...[0.001 s] ok
proper_tests:711: shrinks_to_test_...[0.005 s] ok
proper_tests:711: shrinks_to_test_...[0.001 s] 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_...[0.002 s] ok
proper_tests:711: shrinks_to_test_...[0.003 s] ok
proper_tests:711: shrinks_to_test_...[0.001 s] ok
proper_tests:711: shrinks_to_test_...[0.002 s] ok
proper_tests:711: shrinks_to_test_...[0.002 s] ok
proper_tests:711: shrinks_to_test_...[0.004 s] ok
proper_tests:711: shrinks_to_test_...[0.001 s] 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_...[0.001 s] ok
proper_tests:711: shrinks_to_test_...[0.002 s] ok
proper_tests:711: shrinks_to_test_...[0.002 s] ok
proper_tests:711: shrinks_to_test_...[0.002 s] ok
proper_tests:717: native_shrinks_to_test_...[0.730 s] ok
proper_tests:717: native_shrinks_to_test_...[0.392 s] ok
proper_tests:717: native_shrinks_to_test_...[0.437 s] ok
proper_tests:717: native_shrinks_to_test_...[0.449 s] ok
proper_tests:717: native_shrinks_to_test_...[0.534 s] ok
proper_tests:717: native_shrinks_to_test_...[0.497 s] ok
proper_tests:717: native_shrinks_to_test_...[0.490 s] ok
proper_tests:717: native_shrinks_to_test_...[0.380 s] ok
proper_tests:717: native_shrinks_to_test_...[0.427 s] ok
proper_tests:717: native_shrinks_to_test_...[0.417 s] ok
proper_tests:717: native_shrinks_to_test_...[0.416 s] ok
proper_tests:717: native_shrinks_to_test_...[0.543 s] ok
proper_tests:717: native_shrinks_to_test_...[0.579 s] ok
proper_tests:717: native_shrinks_to_test_...[0.409 s] ok
proper_tests:717: native_shrinks_to_test_...[0.316 s] ok
proper_tests:717: native_shrinks_to_test_...[0.281 s] ok
proper_tests:717: native_shrinks_to_test_...[0.273 s] ok
proper_tests:717: native_shrinks_to_test_...[0.562 s] ok
proper_tests:717: native_shrinks_to_test_...[0.634 s] ok
proper_tests:717: native_shrinks_to_test_...[0.493 s] ok
proper_tests:717: native_shrinks_to_test_...[0.446 s] ok
proper_tests:717: native_shrinks_to_test_...[0.381 s] ok
proper_tests:717: native_shrinks_to_test_...[0.447 s] ok
proper_tests:717: native_shrinks_to_test_...[0.403 s] ok
proper_tests:717: native_shrinks_to_test_...[0.401 s] ok
proper_tests:717: native_shrinks_to_test_...[0.377 s] ok
proper_tests:717: native_shrinks_to_test_...[0.505 s] ok
proper_tests:717: native_shrinks_to_test_...[0.395 s] ok
proper_tests:717: native_shrinks_to_test_...[0.349 s] ok
proper_tests:717: native_shrinks_to_test_...[0.374 s] ok
proper_tests:717: native_shrinks_to_test_...[0.368 s] ok
proper_tests:717: native_shrinks_to_test_...[0.398 s] ok
proper_tests:717: native_shrinks_to_test_...[0.381 s] ok
proper_tests:717: native_shrinks_to_test_...[0.386 s] ok
proper_tests:717: native_shrinks_to_test_...[0.465 s] ok
proper_tests:717: native_shrinks_to_test_...[0.516 s] ok
proper_tests:717: native_shrinks_to_test_...[0.290 s] ok
proper_tests:717: native_shrinks_to_test_...[0.293 s] ok
proper_tests:717: native_shrinks_to_test_...[0.247 s] ok
proper_tests:717: native_shrinks_to_test_...[0.351 s] ok
proper_tests:717: native_shrinks_to_test_...[0.282 s] ok
proper_tests:717: native_shrinks_to_test_...[0.514 s] ok
proper_tests:717: native_shrinks_to_test_...[0.479 s] ok
proper_tests:717: native_shrinks_to_test_...[0.389 s] ok
proper_tests:717: native_shrinks_to_test_...[0.316 s] ok
proper_tests:717: native_shrinks_to_test_...[0.263 s] ok
proper_tests:717: native_shrinks_to_test_...[0.272 s] ok
proper_tests:717: native_shrinks_to_test_...[0.254 s] ok
proper_tests:717: native_shrinks_to_test_...[0.535 s] ok
proper_tests:717: native_shrinks_to_test_...[0.612 s] ok
proper_tests:717: native_shrinks_to_test_...[0.473 s] ok
proper_tests:717: native_shrinks_to_test_...[0.307 s] ok
proper_tests:717: native_shrinks_to_test_...[0.314 s] ok
proper_tests:717: native_shrinks_to_test_...[0.341 s] ok
proper_tests:717: native_shrinks_to_test_...[0.405 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_...[0.001 s] ok
proper_tests:723: cant_generate_test_...[0.001 s] ok
proper_tests:723: cant_generate_test_...[0.002 s] ok
proper_tests:723: cant_generate_test_...ok
proper_tests:723: cant_generate_test_...[0.001 s] ok
proper_tests:723: cant_generate_test_...[0.002 s] ok
proper_tests:723: cant_generate_test_...ok
proper_tests:726: native_cant_translate_test_...[0.001 s] ok
proper_tests:726: native_cant_translate_test_...[0.047 s] ok
proper_tests:726: native_cant_translate_test_...[0.005 s] ok
proper_tests:726: native_cant_translate_test_...[0.001 s] ok
proper_tests:726: native_cant_translate_test_...[0.009 s] ok
proper_tests:726: native_cant_translate_test_...[0.006 s] ok
proper_tests:726: native_cant_translate_test_...[0.002 s] ok
proper_tests:726: native_cant_translate_test_...[0.001 s] ok
proper_tests:726: native_cant_translate_test_...[0.004 s] ok
proper_tests:730: remote_native_types_test_...[0.003 s] ok
proper_tests:730: remote_native_types_test_...ok
proper_tests:730: remote_native_types_test_...ok
proper_tests:730: remote_native_types_test_...[0.007 s] ok
proper_tests:730: remote_native_types_test_...[0.001 s] ok
proper_tests:730: remote_native_types_test_...[0.012 s] ok
proper_tests:730: remote_native_types_test_...[0.004 s] ok
proper_tests:730: remote_native_types_test_...[0.007 s] ok
proper_tests:730: remote_native_types_test_...[0.003 s] ok
proper_tests:730: remote_native_types_test_...[0.010 s] ok
proper_tests:730: remote_native_types_test_...[0.004 s] ok
proper_tests:730: remote_native_types_test_...[0.005 s] ok
proper_tests:730: remote_native_types_test_...[0.004 s] ok
proper_tests:730: remote_native_types_test_...[0.007 s] ok
proper_tests:730: remote_native_types_test_...[0.006 s] ok
proper_tests:730: remote_native_types_test_...[0.005 s] ok
proper_tests:734: recursive_native_types_test_...[0.041 s] ok
proper_tests:734: recursive_native_types_test_...[0.005 s] ok
proper_tests:734: recursive_native_types_test_...[0.067 s] ok
proper_tests:734: recursive_native_types_test_...[0.028 s] ok
proper_tests:734: recursive_native_types_test_...[0.008 s] ok
proper_tests:734: recursive_native_types_test_...[0.005 s] ok
proper_tests:734: recursive_native_types_test_...[0.001 s] ok
proper_tests:734: recursive_native_types_test_...[0.113 s] ok
proper_tests:734: recursive_native_types_test_...[0.010 s] ok
proper_tests:734: recursive_native_types_test_...[0.025 s] ok
proper_tests:734: recursive_native_types_test_...[0.015 s] ok
proper_tests:734: recursive_native_types_test_...[0.031 s] ok
proper_tests:734: recursive_native_types_test_...[0.012 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.003 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.005 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.007 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.006 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.005 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.005 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.014 s] ok
proper_tests:738: recursive_native_cant_translate_test_...[0.006 s] ok
proper_tests:743: random_functions_test_...[0.001 s] ok
proper_tests:744: random_functions_test_...[0.011 s] ok
proper_tests:743: random_functions_test_...ok
proper_tests:744: random_functions_test_...[0.018 s] ok
proper_tests:743: random_functions_test_...[0.001 s] ok
proper_tests:744: random_functions_test_...[0.008 s] ok
proper_tests:743: random_functions_test_...[0.001 s] ok
proper_tests:744: random_functions_test_...[0.008 s] ok
proper_tests:748: parse_transform_test_...[0.003 s] ok
proper_tests:749: parse_transform_test_...[0.001 s] ok
proper_tests:750: parse_transform_test_...[0.001 s] ok
proper_tests:751: parse_transform_test_...[0.047 s] ok
proper_tests:752: parse_transform_test_...[0.010 s] ok
proper_tests:755: native_type_props_test_...[0.238 s] ok
proper_tests:757: native_type_props_test_...[0.169 s] ok
proper_tests:760: native_type_props_test_...[0.129 s] ok
proper_tests:765: native_type_props_test_...[0.213 s] ok
proper_tests:767: native_type_props_test_...[0.009 s] ok
proper_tests:768: native_type_props_test_...[0.218 s] ok
proper_tests:769: native_type_props_test_...[0.002 s] ok
proper_tests:770: native_type_props_test_...[0.239 s] ok
proper_tests:771: native_type_props_test_...[0.308 s] ok
proper_tests:772: native_type_props_test_...ok
proper_tests:773: native_type_props_test_...[0.015 s] ok
proper_tests:781: native_type_props_test_...[0.247 s] ok
proper_tests:782: native_type_props_test_...[0.009 s] ok
proper_tests:783: native_type_props_test_...[0.014 s] ok
proper_tests:784: native_type_props_test_...[0.221 s] ok
proper_tests:787: native_type_props_test_...[0.242 s] ok
proper_tests:788: native_type_props_test_...[0.191 s] ok
proper_tests:790: native_type_props_test_...ok
proper_tests:795: native_type_props_test_...[0.247 s] ok
proper_tests:797: native_type_props_test_...[0.219 s] ok
proper_tests:798: native_type_props_test_...[0.178 s] ok
proper_tests:800: native_type_props_test_...[0.207 s] ok
Shrinking tuples
All elements are generators
proper_tests:803: native_type_props_test_...ok
proper_tests:804: native_type_props_test_...[0.001 s] ok
[done in 0.009 s]
Some elements are generators
proper_tests:806: native_type_props_test_...[0.001 s] ok
proper_tests:807: native_type_props_test_...[0.001 s] ok
proper_tests:808: native_type_props_test_...ok
proper_tests:809: native_type_props_test_...[0.001 s] ok
[done in 0.018 s]
All elements are consts
proper_tests:811: native_type_props_test_...[0.001 s] ok
proper_tests:812: native_type_props_test_...ok
[done in 0.008 s]
[done in 0.035 s]
Shrinking fixed lists
All elements are generators
proper_tests:815: native_type_props_test_...[0.001 s] ok
proper_tests:816: native_type_props_test_...[0.001 s] ok
proper_tests:817: native_type_props_test_...[0.001 s] ok
[done in 0.012 s]
Some elements are generators
proper_tests:819: native_type_props_test_...[0.001 s] ok
proper_tests:820: native_type_props_test_...ok
proper_tests:821: native_type_props_test_...[0.001 s] ok
proper_tests:822: native_type_props_test_...[0.001 s] ok
proper_tests:823: native_type_props_test_...[0.001 s] ok
proper_tests:824: native_type_props_test_...ok
[done in 0.026 s]
All elements are consts
proper_tests:826: native_type_props_test_...[0.001 s] ok
proper_tests:827: native_type_props_test_...[0.001 s] ok
proper_tests:828: native_type_props_test_...[0.001 s] ok
[done in 0.012 s]
[done in 0.050 s]
proper_tests:829: native_type_props_test_...[0.009 s] ok
proper_tests:830: native_type_props_test_...[0.019 s] ok
proper_tests:832: native_type_props_test_...[0.023 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.013 s] ok
proper_tests:850: true_props_test_...[0.002 s] ok
proper_tests:851: true_props_test_...[0.010 s] ok
proper_tests:852: true_props_test_...[0.254 s] ok
proper_tests:853: true_props_test_...[0.348 s] ok
proper_tests:854: true_props_test_...[0.382 s] ok
proper_tests:855: true_props_test_...[0.386 s] ok
proper_tests:856: true_props_test_...[0.005 s] ok
proper_tests:857: true_props_test_...[0.010 s] ok
proper_tests:858: true_props_test_...[0.009 s] ok
proper_tests:859: true_props_test_...[0.021 s] ok
proper_tests:862: true_props_test_...[0.009 s] ok
proper_tests:865: true_props_test_...[0.010 s] ok
proper_tests:868: true_props_test_...[0.010 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_...[0.001 s] ok
proper_tests:879: true_props_test_...[0.002 s] ok
proper_tests:880: true_props_test_...[0.007 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.010 s] ok
proper_tests:884: true_props_test_...[0.003 s] ok
proper_tests:889: true_props_test_...[0.591 s] ok
proper_tests:890: true_props_test_...[0.396 s] ok
proper_tests:891: true_props_test_...[0.552 s] ok
proper_tests:892: true_props_test_...[0.447 s] ok
proper_tests:893: true_props_test_...[0.594 s] ok
proper_tests:894: true_props_test_...[1.329 s] ok
proper_tests:895: true_props_test_...[2.253 s] ok
proper_tests:896: true_props_test_...[0.695 s] ok
proper_tests:899: map_in_nextstate3_test_...[0.193 s] ok
proper_tests:900: map_in_nextstate3_test_...[0.462 s] ok
proper_tests:903: false_props_test_...[0.001 s] ok
proper_tests:905: false_props_test_...[0.001 s] ok
proper_tests:909: false_props_test_...[0.002 s] ok
proper_tests:912: false_props_test_...[0.006 s] ok
proper_tests:917: false_props_test_...[0.001 s] ok
proper_tests:918: false_props_test_...[0.001 s] ok
proper_tests:923: false_props_test_...[0.814 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.002 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.005 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.325 s] ok
proper_tests:981: false_props_test_...[0.006 s] ok
proper_tests:982: false_props_test_...[0.010 s] ok
proper_tests:985: error_props_test_...ok
proper_tests:987: error_props_test_...[0.006 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.004 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.001 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_...[0.001 s] 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_...[0.001 s] ok
proper_tests:1090: setup_test_...ok
proper_tests:1092: setup_test_...[0.001 s] ok
proper_tests:1093: setup_test_...[0.001 s] ok
proper_tests:1096: setup_test_...[0.001 s] ok
proper_tests:1097: setup_test_...[0.001 s] ok
proper_tests:1103: adts1_test_...[0.680 s] ok
proper_tests:1113: adts3_test_...[2.816 s] ok
proper_tests:1118: parameter_test_...[0.005 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.013 s] ok
proper_tests:1172: can_generate_commands1_test_...[0.011 s] ok
proper_tests:1177: can_generate_parallel_commands0_test_...[0.014 s] ok
proper_tests:1182: can_generate_parallel_commands1_test_...[0.012 s] ok
proper_tests:1188: seeded_runs_return_same_result_test_...[0.016 s] ok
proper_tests:1192: run_valid_commands_test_...ok
proper_tests:1192: run_valid_commands_test_...[0.001 s] 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.005 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.111 s] ok
proper_tests:1232: can_generate_fsm_commands_test_...[0.006 s] ok
proper_tests:1232: can_generate_fsm_commands_test_...[0.026 s] ok
proper_tests:1236: transition_target_test_...[0.010 s] ok
proper_tests:1239: dollar_only_cp_test_...[0.001 s] 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.010 s]
proper_tests: max_size_test...[0.012 s] ok
[done in 48.142 s]
[done in 48.142 s]
module 'proper_statem'
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_fsm'
module 'pdict_statem'
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.025 s] ok
[done in 0.033 s]
module 'rec_props_test1'
module 'rec_test1'
module 'rec_test2'
module 'rec_props_test2'
module 'symb_statem'
module 'symb_statem_maps'
module 'to_remove'
module 'types_test1'
module 'types_test2'
module 'weird_types'
module 'let_tests'
module 'exists_tests'
exists_tests: strategy_test...ok
exists_tests: forall_sa_test...ok
exists_tests: exists_test...[0.020 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.005 s] ok
exists_tests: combine_test...[0.031 s] ok
exists_tests: biglist_test...[0.002 s] ok
exists_tests: let_test...[0.057 s] ok
exists_tests: suchthat_test...[0.012 s] ok
exists_tests: union_test...[0.029 s] ok
exists_tests: weighted_union_test...[0.020 s] ok
exists_tests: tuple_test...[0.026 s] ok
exists_tests: let_union_test...[0.049 s] ok
exists_tests: lazy_test...[0.065 s] ok
exists_tests: sized_test...[0.010 s] ok
exists_tests: edge_test...[0.035 s] ok
exists_tests:298: graph_test_...[0.702 s] ok
exists_tests: improper_list_test...[0.062 s] ok
exists_tests: reset_test...[0.012 s] ok
exists_tests:366: graph_match1_test_...[2.182 s] ok
exists_tests:372: graph_match2_test_...[0.263 s] ok
exists_tests: whenfail_test...ok
exists_tests: shrink1_test...[0.046 s] ok
exists_tests: shrink2_test...[0.057 s] ok
exists_tests: shrink3_test...[0.008 s] ok
exists_tests: shrink4_test...ok
exists_tests: match_test...ok
exists_tests: match_and_shrink_test...[0.005 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 3.816 s]
module 'proper_specs_tests'
proper_specs_tests:49: check1_specs_test_...[0.088 s] ok
proper_specs_tests:52: check2_specs_test_...[0.063 s] ok
proper_specs_tests:55: check3_specs_test_...[0.002 s] ok
proper_specs_tests: check1_specs_test...[0.087 s] ok
proper_specs_tests: check2_specs_test...[0.049 s] ok
proper_specs_tests: check3_specs_test...[0.002 s] ok
[done in 0.309 s]
=======================================================
All 565 tests passed.
DEBUG: Reconstruct crypto [{fips_mode,false},{rand_cache_size,896}]
DEBUG: Reconstruct kernel [{logger_level,notice},
{logger_sasl_compatible,false}]
DEBUG: Reconstruct stdlib []
DEBUG: Reconstruct rebar []
DEBUG: No processes to kill
DEBUG: Postdirs: []
+ exit 0
Processing files: erlang-proper-1.3-alt2
Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.88049
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd erlang-proper-1.3
+ DOCDIR=/usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.3
+ export DOCDIR
+ rm -rf /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.3
+ /bin/mkdir -p /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.3
+ cp -prL COPYING /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.3
+ chmod -R go-w /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.3
+ chmod -R a+rX /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.3
+ cp -prL doc README.md /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.3
+ chmod -R go-w /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.3
+ chmod -R a+rX /usr/src/tmp/erlang-proper-buildroot/usr/share/doc/erlang-proper-1.3
+ exit 0
Finding Provides (using /usr/lib/rpm/find-provides)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.oJ9JE1
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.Y9MOry
find-requires: running scripts (cpp,debuginfo,erlang,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services)
Provides: erlang_app(proper) = 1.3, erlang_lib(proper) = 1.3, erlang_mod(proper) = 1.3, erlang_mod(proper_arith) = 1.3, erlang_mod(proper_array) = 1.3, erlang_mod(proper_dict) = 1.3, erlang_mod(proper_fsm) = 1.3, erlang_mod(proper_gb_sets) = 1.3, erlang_mod(proper_gb_trees) = 1.3, erlang_mod(proper_gen) = 1.3, erlang_mod(proper_gen_next) = 1.3, erlang_mod(proper_orddict) = 1.3, erlang_mod(proper_ordsets) = 1.3, erlang_mod(proper_prop_remover) = 1.3, erlang_mod(proper_queue) = 1.3, erlang_mod(proper_sa) = 1.3, erlang_mod(proper_sets) = 1.3, erlang_mod(proper_shrink) = 1.3, erlang_mod(proper_statem) = 1.3, erlang_mod(proper_symb) = 1.3, erlang_mod(proper_target) = 1.3, erlang_mod(proper_transformer) = 1.3, erlang_mod(proper_types) = 1.3, erlang_mod(proper_typeserver) = 1.3, erlang_mod(proper_unicode) = 1.3, erlang_mod(proper_unused_imports_remover) = 1.3, erlang_mod(vararg) = 1.3
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(erl_syntax), erlang_mod(erlang), erlang_mod(gb_sets), erlang_mod(gb_trees), erlang_mod(gen_server), erlang_mod(io), erlang_mod(lists), erlang_mod(maps), 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.3-alt2.noarch.rpm (w2.lzdio)
51.09user 5.23system 1:07.63elapsed 83%CPU (0avgtext+0avgdata 963604maxresident)k
0inputs+0outputs (0major+1473472minor)pagefaults 0swaps
63.03user 8.79system 1:25.26elapsed 84%CPU (0avgtext+0avgdata 963604maxresident)k
0inputs+0outputs (0major+1937661minor)pagefaults 0swaps