Diff of the two buildlogs: -- --- b1/build.log 2021-07-22 08:32:43.416568212 +0000 +++ b2/build.log 2021-07-22 09:38:46.271445776 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Wed Aug 24 02:05:55 -12 2022 -I: pbuilder-time-stamp: 1661349955 +I: Current time: Thu Jul 22 22:32:51 +14 2021 +I: pbuilder-time-stamp: 1626942771 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration @@ -18,7 +18,7 @@ I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error -gpgv: Signature made Wed Oct 17 08:53:20 2018 -12 +gpgv: Signature made Thu Oct 18 10:53:20 2018 +14 gpgv: using RSA key ACA6C3F4E1003986F35388043BBF839336ECA931 gpgv: issuer "mt@debian.org" gpgv: Can't check signature: No public key @@ -36,136 +36,170 @@ dpkg-source: info: applying float-types I: using fakeroot in build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/63325/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/13566/tmp/hooks/D01_modify_environment starting +debug: Running on ionos11-amd64. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +Removing 'diversion of /bin/sh to /bin/sh.distrib by dash' +Adding 'diversion of /bin/sh to /bin/sh.distrib by bash' +Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' +Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by bash' +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/13566/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/13566/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='amd64' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=16' - DISTRIBUTION='' - HOME='/root' - HOST_ARCH='amd64' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="0" [2]="3" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.0.3(1)-release' + BUILDDIR=/build + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=amd64 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=15' + DIRSTACK=() + DISTRIBUTION= + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='58cbc2c71276404d9f87ab198a43c9db' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - MAIL='/var/mail/root' - OPTIND='1' - PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' - PBCURRENTCOMMANDLINEOPERATION='build' - PBUILDER_OPERATION='build' - PBUILDER_PKGDATADIR='/usr/share/pbuilder' - PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' - PBUILDER_SYSCONFDIR='/etc' - PPID='63325' - PS1='# ' - PS2='> ' + INVOCATION_ID=ba818bce65e748958a11c55a675582ae + LANG=C + LANGUAGE=et_EE:et + LC_ALL=C + MACHTYPE=x86_64-pc-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=13566 PS4='+ ' - PWD='/' - SHELL='/bin/bash' - SHLVL='2' - SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.TqhhGnkemH/pbuilderrc_RizJ --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.TqhhGnkemH/b1 --logfile b1/build.log cbmc_5.10-5.dsc' - SUDO_GID='110' - SUDO_UID='105' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://85.184.249.68:3128' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.TqhhGnkemH/pbuilderrc_v9xD --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.TqhhGnkemH/b2 --logfile b2/build.log cbmc_5.10-5.dsc' + SUDO_GID=111 + SUDO_UID=106 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://78.137.99.97:3128 I: uname -a - Linux ionos5-amd64 5.10.0-0.bpo.7-amd64 #1 SMP Debian 5.10.40-1~bpo10+1 (2021-06-04) x86_64 GNU/Linux + Linux i-capture-the-hostname 4.19.0-17-amd64 #1 SMP Debian 4.19.194-3 (2021-07-18) x86_64 GNU/Linux I: ls -l /bin total 5116 - -rwxr-xr-x 1 root root 1168776 Apr 17 2019 bash - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bunzip2 - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bzcat - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzcmp -> bzdiff - -rwxr-xr-x 1 root root 2227 Jul 10 2019 bzdiff - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzegrep -> bzgrep - -rwxr-xr-x 1 root root 4877 Jun 24 2019 bzexe - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzfgrep -> bzgrep - -rwxr-xr-x 1 root root 3641 Jul 10 2019 bzgrep - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bzip2 - -rwxr-xr-x 1 root root 14328 Jul 10 2019 bzip2recover - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzless -> bzmore - -rwxr-xr-x 1 root root 1297 Jul 10 2019 bzmore - -rwxr-xr-x 1 root root 43744 Feb 28 2019 cat - -rwxr-xr-x 1 root root 64320 Feb 28 2019 chgrp - -rwxr-xr-x 1 root root 64288 Feb 28 2019 chmod - -rwxr-xr-x 1 root root 72512 Feb 28 2019 chown - -rwxr-xr-x 1 root root 146880 Feb 28 2019 cp - -rwxr-xr-x 1 root root 121464 Jan 17 2019 dash - -rwxr-xr-x 1 root root 109408 Feb 28 2019 date - -rwxr-xr-x 1 root root 76712 Feb 28 2019 dd - -rwxr-xr-x 1 root root 93744 Feb 28 2019 df - -rwxr-xr-x 1 root root 138856 Feb 28 2019 dir - -rwxr-xr-x 1 root root 84288 Jan 9 2019 dmesg - lrwxrwxrwx 1 root root 8 Sep 26 2018 dnsdomainname -> hostname - lrwxrwxrwx 1 root root 8 Sep 26 2018 domainname -> hostname - -rwxr-xr-x 1 root root 39520 Feb 28 2019 echo - -rwxr-xr-x 1 root root 28 Jan 7 2019 egrep - -rwxr-xr-x 1 root root 35424 Feb 28 2019 false - -rwxr-xr-x 1 root root 28 Jan 7 2019 fgrep - -rwxr-xr-x 1 root root 68880 Jan 9 2019 findmnt - -rwsr-xr-x 1 root root 34896 Apr 22 2020 fusermount - -rwxr-xr-x 1 root root 198976 Jan 7 2019 grep - -rwxr-xr-x 2 root root 2345 Jan 5 2019 gunzip - -rwxr-xr-x 1 root root 6375 Jan 5 2019 gzexe - -rwxr-xr-x 1 root root 98048 Jan 5 2019 gzip - -rwxr-xr-x 1 root root 26696 Sep 26 2018 hostname - -rwxr-xr-x 1 root root 68552 Feb 28 2019 ln - -rwxr-xr-x 1 root root 56760 Jul 26 2018 login - -rwxr-xr-x 1 root root 138856 Feb 28 2019 ls - -rwxr-xr-x 1 root root 108624 Jan 9 2019 lsblk - -rwxr-xr-x 1 root root 89088 Feb 28 2019 mkdir - -rwxr-xr-x 1 root root 68544 Feb 28 2019 mknod - -rwxr-xr-x 1 root root 43808 Feb 28 2019 mktemp - -rwxr-xr-x 1 root root 43008 Jan 9 2019 more - -rwsr-xr-x 1 root root 51280 Jan 9 2019 mount - -rwxr-xr-x 1 root root 14408 Jan 9 2019 mountpoint - -rwxr-xr-x 1 root root 138728 Feb 28 2019 mv - lrwxrwxrwx 1 root root 8 Sep 26 2018 nisdomainname -> hostname - lrwxrwxrwx 1 root root 14 Feb 14 2019 pidof -> /sbin/killall5 - -rwxr-xr-x 1 root root 39616 Feb 28 2019 pwd - lrwxrwxrwx 1 root root 4 Apr 17 2019 rbash -> bash - -rwxr-xr-x 1 root root 47776 Feb 28 2019 readlink - -rwxr-xr-x 1 root root 68416 Feb 28 2019 rm - -rwxr-xr-x 1 root root 47776 Feb 28 2019 rmdir - -rwxr-xr-x 1 root root 23312 Jan 21 2019 run-parts - -rwxr-xr-x 1 root root 122224 Dec 22 2018 sed - lrwxrwxrwx 1 root root 4 Aug 23 02:46 sh -> dash - -rwxr-xr-x 1 root root 39552 Feb 28 2019 sleep - -rwxr-xr-x 1 root root 80672 Feb 28 2019 stty - -rwsr-xr-x 1 root root 63568 Jan 9 2019 su - -rwxr-xr-x 1 root root 35488 Feb 28 2019 sync - -rwxr-xr-x 1 root root 445560 Apr 23 2019 tar - -rwxr-xr-x 1 root root 14440 Jan 21 2019 tempfile - -rwxr-xr-x 1 root root 97152 Feb 28 2019 touch - -rwxr-xr-x 1 root root 35424 Feb 28 2019 true - -rwxr-xr-x 1 root root 14328 Apr 22 2020 ulockmgr_server - -rwsr-xr-x 1 root root 34888 Jan 9 2019 umount - -rwxr-xr-x 1 root root 39584 Feb 28 2019 uname - -rwxr-xr-x 2 root root 2345 Jan 5 2019 uncompress - -rwxr-xr-x 1 root root 138856 Feb 28 2019 vdir - -rwxr-xr-x 1 root root 34896 Jan 9 2019 wdctl - -rwxr-xr-x 1 root root 946 Jan 21 2019 which - lrwxrwxrwx 1 root root 8 Sep 26 2018 ypdomainname -> hostname - -rwxr-xr-x 1 root root 1983 Jan 5 2019 zcat - -rwxr-xr-x 1 root root 1677 Jan 5 2019 zcmp - -rwxr-xr-x 1 root root 5879 Jan 5 2019 zdiff - -rwxr-xr-x 1 root root 29 Jan 5 2019 zegrep - -rwxr-xr-x 1 root root 29 Jan 5 2019 zfgrep - -rwxr-xr-x 1 root root 2080 Jan 5 2019 zforce - -rwxr-xr-x 1 root root 7584 Jan 5 2019 zgrep - -rwxr-xr-x 1 root root 2205 Jan 5 2019 zless - -rwxr-xr-x 1 root root 1841 Jan 5 2019 zmore - -rwxr-xr-x 1 root root 4552 Jan 5 2019 znew -I: user script /srv/workspace/pbuilder/63325/tmp/hooks/D02_print_environment finished + -rwxr-xr-x 1 root root 1168776 Apr 18 2019 bash + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bunzip2 + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bzcat + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzcmp -> bzdiff + -rwxr-xr-x 1 root root 2227 Jul 11 2019 bzdiff + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzegrep -> bzgrep + -rwxr-xr-x 1 root root 4877 Jun 25 2019 bzexe + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzfgrep -> bzgrep + -rwxr-xr-x 1 root root 3641 Jul 11 2019 bzgrep + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bzip2 + -rwxr-xr-x 1 root root 14328 Jul 11 2019 bzip2recover + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzless -> bzmore + -rwxr-xr-x 1 root root 1297 Jul 11 2019 bzmore + -rwxr-xr-x 1 root root 43744 Mar 1 2019 cat + -rwxr-xr-x 1 root root 64320 Mar 1 2019 chgrp + -rwxr-xr-x 1 root root 64288 Mar 1 2019 chmod + -rwxr-xr-x 1 root root 72512 Mar 1 2019 chown + -rwxr-xr-x 1 root root 146880 Mar 1 2019 cp + -rwxr-xr-x 1 root root 121464 Jan 18 2019 dash + -rwxr-xr-x 1 root root 109408 Mar 1 2019 date + -rwxr-xr-x 1 root root 76712 Mar 1 2019 dd + -rwxr-xr-x 1 root root 93744 Mar 1 2019 df + -rwxr-xr-x 1 root root 138856 Mar 1 2019 dir + -rwxr-xr-x 1 root root 84288 Jan 10 2019 dmesg + lrwxrwxrwx 1 root root 8 Sep 27 2018 dnsdomainname -> hostname + lrwxrwxrwx 1 root root 8 Sep 27 2018 domainname -> hostname + -rwxr-xr-x 1 root root 39520 Mar 1 2019 echo + -rwxr-xr-x 1 root root 28 Jan 8 2019 egrep + -rwxr-xr-x 1 root root 35424 Mar 1 2019 false + -rwxr-xr-x 1 root root 28 Jan 8 2019 fgrep + -rwxr-xr-x 1 root root 68880 Jan 10 2019 findmnt + -rwsr-xr-x 1 root root 34896 Apr 23 2020 fusermount + -rwxr-xr-x 1 root root 198976 Jan 8 2019 grep + -rwxr-xr-x 2 root root 2345 Jan 6 2019 gunzip + -rwxr-xr-x 1 root root 6375 Jan 6 2019 gzexe + -rwxr-xr-x 1 root root 98048 Jan 6 2019 gzip + -rwxr-xr-x 1 root root 26696 Sep 27 2018 hostname + -rwxr-xr-x 1 root root 68552 Mar 1 2019 ln + -rwxr-xr-x 1 root root 56760 Jul 27 2018 login + -rwxr-xr-x 1 root root 138856 Mar 1 2019 ls + -rwxr-xr-x 1 root root 108624 Jan 10 2019 lsblk + -rwxr-xr-x 1 root root 89088 Mar 1 2019 mkdir + -rwxr-xr-x 1 root root 68544 Mar 1 2019 mknod + -rwxr-xr-x 1 root root 43808 Mar 1 2019 mktemp + -rwxr-xr-x 1 root root 43008 Jan 10 2019 more + -rwsr-xr-x 1 root root 51280 Jan 10 2019 mount + -rwxr-xr-x 1 root root 14408 Jan 10 2019 mountpoint + -rwxr-xr-x 1 root root 138728 Mar 1 2019 mv + lrwxrwxrwx 1 root root 8 Sep 27 2018 nisdomainname -> hostname + lrwxrwxrwx 1 root root 14 Feb 15 2019 pidof -> /sbin/killall5 + -rwxr-xr-x 1 root root 39616 Mar 1 2019 pwd + lrwxrwxrwx 1 root root 4 Apr 18 2019 rbash -> bash + -rwxr-xr-x 1 root root 47776 Mar 1 2019 readlink + -rwxr-xr-x 1 root root 68416 Mar 1 2019 rm + -rwxr-xr-x 1 root root 47776 Mar 1 2019 rmdir + -rwxr-xr-x 1 root root 23312 Jan 22 2019 run-parts + -rwxr-xr-x 1 root root 122224 Dec 23 2018 sed + lrwxrwxrwx 1 root root 4 Jul 22 22:33 sh -> bash + lrwxrwxrwx 1 root root 4 Jul 21 22:24 sh.distrib -> dash + -rwxr-xr-x 1 root root 39552 Mar 1 2019 sleep + -rwxr-xr-x 1 root root 80672 Mar 1 2019 stty + -rwsr-xr-x 1 root root 63568 Jan 10 2019 su + -rwxr-xr-x 1 root root 35488 Mar 1 2019 sync + -rwxr-xr-x 1 root root 445560 Apr 24 2019 tar + -rwxr-xr-x 1 root root 14440 Jan 22 2019 tempfile + -rwxr-xr-x 1 root root 97152 Mar 1 2019 touch + -rwxr-xr-x 1 root root 35424 Mar 1 2019 true + -rwxr-xr-x 1 root root 14328 Apr 23 2020 ulockmgr_server + -rwsr-xr-x 1 root root 34888 Jan 10 2019 umount + -rwxr-xr-x 1 root root 39584 Mar 1 2019 uname + -rwxr-xr-x 2 root root 2345 Jan 6 2019 uncompress + -rwxr-xr-x 1 root root 138856 Mar 1 2019 vdir + -rwxr-xr-x 1 root root 34896 Jan 10 2019 wdctl + -rwxr-xr-x 1 root root 946 Jan 22 2019 which + lrwxrwxrwx 1 root root 8 Sep 27 2018 ypdomainname -> hostname + -rwxr-xr-x 1 root root 1983 Jan 6 2019 zcat + -rwxr-xr-x 1 root root 1677 Jan 6 2019 zcmp + -rwxr-xr-x 1 root root 5879 Jan 6 2019 zdiff + -rwxr-xr-x 1 root root 29 Jan 6 2019 zegrep + -rwxr-xr-x 1 root root 29 Jan 6 2019 zfgrep + -rwxr-xr-x 1 root root 2080 Jan 6 2019 zforce + -rwxr-xr-x 1 root root 7584 Jan 6 2019 zgrep + -rwxr-xr-x 1 root root 2205 Jan 6 2019 zless + -rwxr-xr-x 1 root root 1841 Jan 6 2019 zmore + -rwxr-xr-x 1 root root 4552 Jan 6 2019 znew +I: user script /srv/workspace/pbuilder/13566/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -411,7 +445,7 @@ Get: 190 http://deb.debian.org/debian buster/main amd64 maven-debian-helper all 2.3.2 [122 kB] Get: 191 http://deb.debian.org/debian buster/main amd64 minisat amd64 1:2.2.1-5+b3 [84.9 kB] Get: 192 http://deb.debian.org/debian buster/main amd64 zlib1g-dev amd64 1:1.2.11.dfsg-1 [214 kB] -Fetched 333 MB in 4s (74.7 MB/s) +Fetched 333 MB in 7s (51.2 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19195 files and directories currently installed.) @@ -1388,7 +1422,7 @@ fakeroot is already the newest version (1.23-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package -I: Running cd /build/cbmc-5.10/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b +I: Running cd /build/cbmc-5.10/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b dpkg-buildpackage: info: source package cbmc dpkg-buildpackage: info: source version 5.10-5 dpkg-buildpackage: info: source distribution unstable @@ -1585,7 +1619,7 @@ /usr/bin/make -C util clean ; \ make[3]: Entering directory '/build/cbmc-5.10/src/util' -/bin/sh: 1: git: not found +/bin/sh: git: command not found rm -f arith_tools.o array_name.o base_type.o bv_arithmetic.o byte_operators.o c_types.o cmdline.o config.o cout_message.o decision_procedure.o dstring.o endianness_map.o expr.o expr_initializer.o expr_util.o file_util.o find_macros.o find_symbols.o fixedbv.o format_constant.o format_expr.o format_number_range.o format_type.o fresh_symbol.o get_base_name.o get_module.o guard.o identifier.o ieee_float.o invariant.o irep.o irep_hash.o irep_hash_container.o irep_ids.o irep_serialization.o invariant_utils.o json.o json_expr.o json_irep.o json_stream.o lispexpr.o lispirep.o memory_info.o merge_irep.o message.o mp_arith.o namespace.o options.o parse_options.o parser.o pointer_offset_size.o pointer_predicates.o rational.o rational_tools.o ref_expr_set.o refined_string_type.o rename.o rename_symbol.o replace_expr.o replace_symbol.o run.o signal_catcher.o simplify_expr.o simplify_expr_array.o simplify_expr_boolean.o simplify_expr_floatbv.o simplify_expr_int.o simplify_expr_pointer.o simplify_expr_struct.o simplify_utils.o source_location.o ssa_expr.o std_code.o std_expr.o std_types.o string2int.o string_constant.o string_container.o string_hash.o string_utils.o symbol.o symbol_table_base.o symbol_table.o tempdir.o tempfile.o threeval.o timestamper.o type.o type_eq.o typecheck.o ui_message.o unicode.o union_find.o union_find_replace.o unwrap_nested_exception.o version.o xml.o xml_expr.o xml_irep.o \ arith_tools.d array_name.d base_type.d bv_arithmetic.d byte_operators.d c_types.d cmdline.d config.d cout_message.d decision_procedure.d dstring.d endianness_map.d expr.d expr_initializer.d expr_util.d file_util.d find_macros.d find_symbols.d fixedbv.d format_constant.d format_expr.d format_number_range.d format_type.d fresh_symbol.d get_base_name.d get_module.d guard.d identifier.d ieee_float.d invariant.d irep.d irep_hash.d irep_hash_container.d irep_ids.d irep_serialization.d invariant_utils.d json.d json_expr.d json_irep.d json_stream.d lispexpr.d lispirep.d memory_info.d merge_irep.d message.d mp_arith.d namespace.d options.d parse_options.d parser.d pointer_offset_size.d pointer_predicates.d rational.d rational_tools.d ref_expr_set.d refined_string_type.d rename.d rename_symbol.d replace_expr.d replace_symbol.d run.d signal_catcher.d simplify_expr.d simplify_expr_array.d simplify_expr_boolean.d simplify_expr_floatbv.d simplify_expr_int.d simplify_expr_pointer.d simplify_expr_struct.d simplify_utils.d source_location.d ssa_expr.d std_code.d std_expr.d std_types.d string2int.d string_constant.d string_container.d string_hash.d string_utils.d symbol.d symbol_table_base.d symbol_table.d tempdir.d tempfile.d threeval.d timestamper.d type.d type_eq.d typecheck.d ui_message.d unicode.d union_find.d union_find_replace.d unwrap_nested_exception.d version.d xml.d xml_expr.d xml_irep.d \ \ @@ -1845,7 +1879,7 @@ /usr/bin/make -C util clean ; \ make[4]: Entering directory '/build/cbmc-5.10/src/util' -/bin/sh: 1: git: not found +/bin/sh: git: command not found rm -f arith_tools.o array_name.o base_type.o bv_arithmetic.o byte_operators.o c_types.o cmdline.o config.o cout_message.o decision_procedure.o dstring.o endianness_map.o expr.o expr_initializer.o expr_util.o file_util.o find_macros.o find_symbols.o fixedbv.o format_constant.o format_expr.o format_number_range.o format_type.o fresh_symbol.o get_base_name.o get_module.o guard.o identifier.o ieee_float.o invariant.o irep.o irep_hash.o irep_hash_container.o irep_ids.o irep_serialization.o invariant_utils.o json.o json_expr.o json_irep.o json_stream.o lispexpr.o lispirep.o memory_info.o merge_irep.o message.o mp_arith.o namespace.o options.o parse_options.o parser.o pointer_offset_size.o pointer_predicates.o rational.o rational_tools.o ref_expr_set.o refined_string_type.o rename.o rename_symbol.o replace_expr.o replace_symbol.o run.o signal_catcher.o simplify_expr.o simplify_expr_array.o simplify_expr_boolean.o simplify_expr_floatbv.o simplify_expr_int.o simplify_expr_pointer.o simplify_expr_struct.o simplify_utils.o source_location.o ssa_expr.o std_code.o std_expr.o std_types.o string2int.o string_constant.o string_container.o string_hash.o string_utils.o symbol.o symbol_table_base.o symbol_table.o tempdir.o tempfile.o threeval.o timestamper.o type.o type_eq.o typecheck.o ui_message.o unicode.o union_find.o union_find_replace.o unwrap_nested_exception.o version.o xml.o xml_expr.o xml_irep.o \ arith_tools.d array_name.d base_type.d bv_arithmetic.d byte_operators.d c_types.d cmdline.d config.d cout_message.d decision_procedure.d dstring.d endianness_map.d expr.d expr_initializer.d expr_util.d file_util.d find_macros.d find_symbols.d fixedbv.d format_constant.d format_expr.d format_number_range.d format_type.d fresh_symbol.d get_base_name.d get_module.d guard.d identifier.d ieee_float.d invariant.d irep.d irep_hash.d irep_hash_container.d irep_ids.d irep_serialization.d invariant_utils.d json.d json_expr.d json_irep.d json_stream.d lispexpr.d lispirep.d memory_info.d merge_irep.d message.d mp_arith.d namespace.d options.d parse_options.d parser.d pointer_offset_size.d pointer_predicates.d rational.d rational_tools.d ref_expr_set.d refined_string_type.d rename.d rename_symbol.d replace_expr.d replace_symbol.d run.d signal_catcher.d simplify_expr.d simplify_expr_array.d simplify_expr_boolean.d simplify_expr_floatbv.d simplify_expr_int.d simplify_expr_pointer.d simplify_expr_struct.d simplify_utils.d source_location.d ssa_expr.d std_code.d std_expr.d std_types.d string2int.d string_constant.d string_container.d string_hash.d string_utils.d symbol.d symbol_table_base.d symbol_table.d tempdir.d tempfile.d threeval.d timestamper.d type.d type_eq.d typecheck.d ui_message.d unicode.d union_find.d union_find_replace.d unwrap_nested_exception.d version.d xml.d xml_expr.d xml_irep.d \ \ @@ -3614,8 +3648,8 @@ [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ -[INFO] Total time: 3.453 s -[INFO] Finished at: 2022-08-24T02:41:17-12:00 +[INFO] Total time: 9.804 s +[INFO] Finished at: 2021-07-22T23:22:40+14:00 [INFO] ------------------------------------------------------------------------ g++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++11 -DHAVE_MINISAT2 -g -O2 -ffile-prefix-map=/build/cbmc-5.10=. -fstack-protector-strong -Wformat -Werror=format-security -Wall -O2 -g -Werror -Wno-parentheses -Wno-deprecated -pedantic -Wall -pedantic -Werror -Wno-deprecated-declarations -Wall -pedantic -Werror -Wno-deprecated-declarations -o converter.o converter.cpp g++ -Wl,-z,relro -o converter -Wl,--start-group converter.o -Wl,--end-group -lminisat @@ -3807,14 +3841,14 @@ Running ASHR1/test.desc [OK] in 0 seconds Running Address_of1/test.desc [OK] in 0 seconds Running Address_of2/test.desc [OK] in 0 seconds - Running Anonymous_Struct1/test.desc [OK] in 0 seconds + Running Anonymous_Struct1/test.desc [OK] in 1 seconds Running Anonymous_Struct2/test.desc [OK] in 0 seconds Running Anonymous_Struct3/test.desc [OK] in 0 seconds Running Array_Initialization1/test.desc [OK] in 0 seconds Running Array_Initialization2/test.desc [OK] in 0 seconds Running Array_Initialization3/test.desc [OK] in 0 seconds Running Array_operations1/test.desc [OK] in 0 seconds - Running Associativity1/test.desc [OK] in 1 seconds + Running Associativity1/test.desc [OK] in 0 seconds Running Assumption1/test.desc [OK] in 0 seconds Running BV_Arithmetic1/test.desc [OK] in 0 seconds Running BV_Arithmetic2/test.desc [OK] in 0 seconds @@ -3823,7 +3857,7 @@ Running BV_Arithmetic5/test.desc [OK] in 0 seconds Running BV_Arithmetic6/test.desc [OK] in 0 seconds Running Bitfields1/test.desc [OK] in 0 seconds - Running Bitfields2/test.desc [OK] in 0 seconds + Running Bitfields2/test.desc [OK] in 1 seconds Running Bitfields3/test.desc [OK] in 0 seconds Running Bool1/test.desc [OK] in 0 seconds Running Bool2/test.desc [OK] in 0 seconds @@ -3831,15 +3865,15 @@ Running Bool4/test.desc [OK] in 0 seconds Running Boolean_Guards1/test.desc [OK] in 0 seconds Running Calloc1/test.desc [OK] in 0 seconds - Running Computed-Goto1/test.desc [OK] in 1 seconds + Running Computed-Goto1/test.desc [OK] in 0 seconds Running Division1/test.desc [OK] in 0 seconds Running Division2/test.desc [OK] in 0 seconds - Running Double-to-float-no-simp1/test.desc [OK] in 0 seconds + Running Double-to-float-no-simp1/test.desc [OK] in 1 seconds Running Double-to-float-no-simp1-fix1/test.desc [OK] in 0 seconds Running Double-to-float-no-simp1-fix2/test.desc [OK] in 0 seconds Running Double-to-float-with-simp1/test.desc [OK] in 0 seconds Running Ellipsis1/test.desc [OK] in 0 seconds - Running Ellipsis2/test.desc [OK] in 1 seconds + Running Ellipsis2/test.desc [OK] in 0 seconds Running Empty_struct1/test.desc [OK] in 0 seconds Running Endianness1/test.desc [OK] in 0 seconds Running Endianness2/test.desc [OK] in 0 seconds @@ -3847,7 +3881,7 @@ Running Endianness4/test.desc [OK] in 0 seconds Running Endianness5/test.desc [OK] in 0 seconds Running Endianness6/test.desc [OK] in 0 seconds - Running Endianness7/test.desc [OK] in 0 seconds + Running Endianness7/test.desc [OK] in 1 seconds Running Endianness8/test.desc [OK] in 0 seconds Running Endianness9/test.desc [OK] in 0 seconds Running Error_Label1/test.desc [OK] in 0 seconds @@ -3862,24 +3896,24 @@ Running Fixedbv3/test.desc [OK] in 0 seconds Running Fixedbv4/test.desc [OK] in 0 seconds Running Fixedbv5/test.desc [OK] in 0 seconds - Running Fixedbv6/test.desc [OK] in 1 seconds + Running Fixedbv6/test.desc [OK] in 0 seconds Running Fixedbv7/test.desc [SKIPPED] Running Fixedbv8/test.desc [OK] in 0 seconds Running Float-Rounding1/test.desc [OK] in 0 seconds - Running Float-Rounding2/test.desc [OK] in 0 seconds + Running Float-Rounding2/test.desc [OK] in 1 seconds Running Float-Rounding3/test.desc [OK] in 0 seconds Running Float-data-dependent-rounding/test.desc [OK] in 0 seconds Running Float-div1/test.desc [OK] in 0 seconds - Running Float-div1-refine/test.desc [OK] in 1 seconds - Running Float-div2/test.desc [OK] in 0 seconds + Running Float-div1-refine/test.desc [OK] in 0 seconds + Running Float-div2/test.desc [OK] in 1 seconds Running Float-div3/test.desc [OK] in 0 seconds - Running Float-flags-no-simp1/test.desc [OK] in 0 seconds - Running Float-flags-simp1/test.desc [OK] in 1 seconds + Running Float-flags-no-simp1/test.desc [OK] in 1 seconds + Running Float-flags-simp1/test.desc [OK] in 0 seconds Running Float-no-simp1/test.desc [OK] in 0 seconds - Running Float-no-simp2/test.desc [OK] in 2 seconds + Running Float-no-simp2/test.desc [OK] in 6 seconds Running Float-no-simp3/test.desc [OK] in 0 seconds Running Float-no-simp4/test.desc [OK] in 0 seconds - Running Float-no-simp5/test.desc [OK] in 0 seconds + Running Float-no-simp5/test.desc [OK] in 1 seconds Running Float-no-simp6/test.desc [OK] in 0 seconds Running Float-no-simp7/test.desc [OK] in 0 seconds Running Float-no-simp8/test.desc [OK] in 0 seconds @@ -3887,14 +3921,14 @@ Running Float-overflow1/test.desc [OK] in 0 seconds Running Float-overflow2/test.desc [OK] in 0 seconds Running Float-smt2-1/test.desc [SKIPPED] - Running Float-to-double1/test.desc [OK] in 0 seconds + Running Float-to-double1/test.desc [OK] in 1 seconds Running Float-to-double2/test.desc [OK] in 0 seconds Running Float-to-int1/test.desc [OK] in 0 seconds - Running Float-to-int2/test.desc [OK] in 0 seconds - Running Float-to-int3/test.desc [OK] in 1 seconds + Running Float-to-int2/test.desc [OK] in 1 seconds + Running Float-to-int3/test.desc [OK] in 0 seconds Running Float-zero-sum1/test.desc [OK] in 0 seconds Running Float1/test.desc [OK] in 0 seconds - Running Float11/test.desc [OK] in 0 seconds + Running Float11/test.desc [OK] in 1 seconds Running Float12/test.desc [OK] in 0 seconds Running Float13/test.desc [OK] in 0 seconds Running Float14/test.desc [OK] in 0 seconds @@ -3903,16 +3937,16 @@ Running Float2/test.desc [OK] in 0 seconds Running Float20/test.desc [OK] in 0 seconds Running Float21/test.desc [OK] in 0 seconds - Running Float22/test.desc [OK] in 0 seconds - Running Float23/test.desc [OK] in 1 seconds + Running Float22/test.desc [OK] in 1 seconds + Running Float23/test.desc [OK] in 0 seconds Running Float24/test.desc [OK] in 0 seconds Running Float3/test.desc [OK] in 0 seconds - Running Float4/test.desc [OK] in 9 seconds + Running Float4/test.desc [OK] in 14 seconds Running Float5/test.desc [OK] in 0 seconds Running Float6/test.desc [OK] in 0 seconds Running Float7/test.desc [OK] in 0 seconds - Running Float8/test.desc [OK] in 1 seconds - Running Float_lib1/test.desc [OK] in 0 seconds + Running Float8/test.desc [OK] in 0 seconds + Running Float_lib1/test.desc [OK] in 1 seconds Running Float_lib2/test.desc [OK] in 0 seconds Running Free1/test.desc [OK] in 0 seconds Running Free2/test.desc [OK] in 0 seconds @@ -3922,10 +3956,10 @@ Running Function1/test.desc [OK] in 0 seconds Running Function10/test.desc [OK] in 0 seconds Running Function11/test.desc [OK] in 0 seconds - Running Function12/test.desc [OK] in 1 seconds + Running Function12/test.desc [OK] in 0 seconds Running Function13/test.desc [OK] in 0 seconds Running Function2/test.desc [OK] in 0 seconds - Running Function3/test.desc [OK] in 0 seconds + Running Function3/test.desc [OK] in 1 seconds Running Function4/test.desc [OK] in 0 seconds Running Function5/test.desc [OK] in 0 seconds Running Function6/test.desc [OK] in 0 seconds @@ -3945,11 +3979,11 @@ Running Function_Pointer16/test.desc [OK] in 0 seconds Running Function_Pointer17/test.desc [OK] in 0 seconds Running Function_Pointer2/test.desc [OK] in 0 seconds - Running Function_Pointer3/test.desc [OK] in 1 seconds + Running Function_Pointer3/test.desc [OK] in 0 seconds Running Function_Pointer4/test.desc [OK] in 0 seconds Running Function_Pointer5/test.desc [OK] in 0 seconds Running Function_Pointer6/test.desc [OK] in 0 seconds - Running Function_Pointer7/test.desc [OK] in 0 seconds + Running Function_Pointer7/test.desc [OK] in 1 seconds Running Function_Pointer8/test.desc [OK] in 0 seconds Running Function_Pointer9/test.desc [OK] in 0 seconds Running Global_Initialization1/test.desc [OK] in 0 seconds @@ -3965,12 +3999,12 @@ Running Linking3/test.desc [OK] in 0 seconds Running Linking4/test.desc [OK] in 0 seconds Running Linking5/test.desc [OK] in 0 seconds - Running Linking6/test.desc [OK] in 1 seconds + Running Linking6/test.desc [OK] in 0 seconds Running Linking7/member-name-mismatch.desc [SKIPPED] Running Linking7/test.desc [OK] in 0 seconds Running Local_out_of_scope1/test.desc [OK] in 0 seconds Running Local_out_of_scope2/test.desc [OK] in 0 seconds - Running Local_out_of_scope3/test.desc [OK] in 0 seconds + Running Local_out_of_scope3/test.desc [OK] in 1 seconds Running Malloc12/test.desc [SKIPPED] Running Malloc13/test.desc [SKIPPED] Running Malloc14/test.desc [OK] in 0 seconds @@ -3981,16 +4015,16 @@ Running Malloc19/test.desc [OK] in 0 seconds Running Malloc20/test.desc [OK] in 0 seconds Running Malloc21/test.desc [OK] in 0 seconds - Running Malloc22/test.desc [OK] in 1 seconds - Running Malloc23/test.desc [OK] in 0 seconds + Running Malloc22/test.desc [OK] in 0 seconds + Running Malloc23/test.desc [OK] in 1 seconds Running Malloc24/test.desc [OK] in 0 seconds Running Memmove1/test.desc [OK] in 0 seconds Running Memory_leak1/test.desc [OK] in 0 seconds Running Memory_leak2/test.desc [OK] in 0 seconds Running Mod1/test.desc [OK] in 0 seconds Running Mod2/test.desc [OK] in 0 seconds - Running Multi_Dimensional_Array1/test.desc [OK] in 1 seconds - Running Multi_Dimensional_Array2/test.desc [OK] in 0 seconds + Running Multi_Dimensional_Array1/test.desc [OK] in 0 seconds + Running Multi_Dimensional_Array2/test.desc [OK] in 1 seconds Running Multi_Dimensional_Array3/test.desc [OK] in 0 seconds Running Multi_Dimensional_Array4/test.desc [OK] in 0 seconds Running Multi_Dimensional_Array5/test.desc [OK] in 0 seconds @@ -4005,10 +4039,10 @@ Running Pointer_Arithmetic1/test.desc [OK] in 0 seconds Running Pointer_Arithmetic10/test.desc [OK] in 0 seconds Running Pointer_Arithmetic11/test.desc [OK] in 0 seconds - Running Pointer_Arithmetic12/test.desc [OK] in 0 seconds + Running Pointer_Arithmetic12/test.desc [OK] in 1 seconds Running Pointer_Arithmetic13/test.desc [SKIPPED] Running Pointer_Arithmetic2/test.desc [OK] in 0 seconds - Running Pointer_Arithmetic3/test.desc [OK] in 1 seconds + Running Pointer_Arithmetic3/test.desc [OK] in 0 seconds Running Pointer_Arithmetic4/test.desc [OK] in 0 seconds Running Pointer_Arithmetic5/test.desc [OK] in 0 seconds Running Pointer_Arithmetic6/test.desc [OK] in 0 seconds @@ -4024,8 +4058,8 @@ Running Pointer_array6/test.desc [OK] in 0 seconds Running Pointer_byte_extract1/test.desc [OK] in 0 seconds Running Pointer_byte_extract2/test.desc [OK] in 0 seconds - Running Pointer_byte_extract3/test.desc [OK] in 0 seconds - Running Pointer_byte_extract4/test.desc [OK] in 1 seconds + Running Pointer_byte_extract3/test.desc [OK] in 1 seconds + Running Pointer_byte_extract4/test.desc [OK] in 0 seconds Running Pointer_byte_extract5/no-simplify.desc [OK] in 0 seconds Running Pointer_byte_extract5/test.desc [OK] in 0 seconds Running Pointer_byte_extract6/test.desc [OK] in 0 seconds @@ -4036,18 +4070,18 @@ Running Promotion1/test.desc [OK] in 0 seconds Running Promotion2/test.desc [OK] in 0 seconds Running Promotion3/test.desc [OK] in 0 seconds - Running Promotion4/test.desc [OK] in 0 seconds + Running Promotion4/test.desc [OK] in 1 seconds Running Quantifiers-assertion/test.desc [OK] in 0 seconds Running Quantifiers-assignment/test.desc [OK] in 0 seconds Running Quantifiers-copy/test.desc [OK] in 0 seconds Running Quantifiers-if/test.desc [OK] in 0 seconds - Running Quantifiers-initialisation/test.desc [OK] in 1 seconds + Running Quantifiers-initialisation/test.desc [OK] in 0 seconds Running Quantifiers-initialisation2/test.desc [OK] in 0 seconds Running Quantifiers-invalid-var-range/test.desc [OK] in 0 seconds Running Quantifiers-not/test.desc [OK] in 0 seconds Running Quantifiers-not-exists/test.desc [OK] in 0 seconds Running Quantifiers-two-dimension-array/test.desc [OK] in 0 seconds - Running Quantifiers-type/test.desc [OK] in 0 seconds + Running Quantifiers-type/test.desc [OK] in 1 seconds Running Quantifiers1/test.desc [OK] in 0 seconds Running Recursion1/test.desc [OK] in 0 seconds Running Recursion2/test.desc [OK] in 0 seconds @@ -4055,7 +4089,7 @@ Running Recursion4/test.desc [OK] in 0 seconds Running Recursion5/test.desc [OK] in 0 seconds Running Recursion6/test.desc [OK] in 0 seconds - Running Sideeffects1/test.desc [OK] in 1 seconds + Running Sideeffects1/test.desc [OK] in 0 seconds Running Sideeffects2/test.desc [OK] in 0 seconds Running Sideeffects3/test.desc [OK] in 0 seconds Running Sideeffects4/test.desc [OK] in 0 seconds @@ -4064,12 +4098,12 @@ Running Static2/test.desc [OK] in 0 seconds Running Static4/test.desc [OK] in 0 seconds Running Static_Functions1/test.desc [OK] in 0 seconds - Running String1/test.desc [OK] in 1 seconds + Running String1/test.desc [OK] in 0 seconds Running String2/test.desc [OK] in 0 seconds Running String3/test.desc [SKIPPED] - Running String4/test.desc [OK] in 0 seconds + Running String4/test.desc [OK] in 1 seconds Running String5/test.desc [OK] in 0 seconds - Running String6/test.desc [OK] in 1 seconds + Running String6/test.desc [OK] in 0 seconds Running String7/test.desc [OK] in 0 seconds Running String_Literal1/test.desc [OK] in 0 seconds Running Struct_Bytewise1/test.desc [OK] in 0 seconds @@ -4077,8 +4111,8 @@ Running Struct_Initialization1/test.desc [OK] in 0 seconds Running Struct_Initialization10/test.desc [OK] in 0 seconds Running Struct_Initialization2/test.desc [OK] in 0 seconds - Running Struct_Initialization3/test.desc [OK] in 1 seconds - Running Struct_Initialization4/test.desc [OK] in 0 seconds + Running Struct_Initialization3/test.desc [OK] in 0 seconds + Running Struct_Initialization4/test.desc [OK] in 1 seconds Running Struct_Initialization5/test.desc [OK] in 0 seconds Running Struct_Initialization6/test.desc [OK] in 0 seconds Running Struct_Initialization7/test.desc [OK] in 0 seconds @@ -4090,7 +4124,7 @@ Running Undefined_Function1/test.desc [OK] in 0 seconds Running Undefined_Function2/test.desc [OK] in 0 seconds Running Undefined_Shift1/test.desc [OK] in 0 seconds - Running Union_Initialization1/test.desc [OK] in 1 seconds + Running Union_Initialization1/test.desc [OK] in 0 seconds Running Unwinding_Assertions_Improved1/test.desc [SKIPPED] Running Unwinding_Locality1/test.desc [OK] in 0 seconds Running Variadic1/test.desc [SKIPPED] @@ -4100,30 +4134,30 @@ Running Zero_Initialization1/test.desc [OK] in 0 seconds Running __func__1/test.desc [OK] in 0 seconds Running abs1/test.desc [OK] in 0 seconds - Running address_space_size_limit1/test.desc [OK] in 7 seconds + Running address_space_size_limit1/test.desc [OK] in 9 seconds Running address_space_size_limit2/test.desc [SKIPPED] - Running address_space_size_limit3/test.desc [OK] in 0 seconds + Running address_space_size_limit3/test.desc [OK] in 1 seconds Running always_inline1/test.desc [OK] in 0 seconds Running always_inline2/test.desc [OK] in 0 seconds - Running always_inline3/test.desc [OK] in 1 seconds + Running always_inline3/test.desc [OK] in 0 seconds Running argv1/test.desc [OK] in 0 seconds - Running array-tests/test.desc [OK] in 2 seconds + Running array-tests/test.desc [OK] in 3 seconds Running atomic_section_seq1/test.desc [OK] in 0 seconds Running bad_option/test.desc [OK] in 0 seconds Running bad_option/test_multiple.desc [OK] in 0 seconds - Running big-endian-array1/test.desc [OK] in 1 seconds - Running bounds_check1/test.desc [OK] in 4 seconds + Running big-endian-array1/test.desc [OK] in 0 seconds + Running bounds_check1/test.desc [OK] in 5 seconds Running byte_update1/test.desc [OK] in 0 seconds Running byte_update2/test.desc [OK] in 0 seconds Running byte_update3/test.desc [OK] in 0 seconds Running byte_update4/test.desc [OK] in 0 seconds Running byte_update5/test.desc [OK] in 0 seconds - Running byte_update6/test.desc [OK] in 1 seconds + Running byte_update6/test.desc [OK] in 0 seconds Running byte_update7/test.desc [OK] in 0 seconds Running byte_update8/test.desc [OK] in 0 seconds Running byte_update9/test.desc [OK] in 0 seconds Running c99_Bool/test.desc [OK] in 0 seconds - Running char1/test.desc [OK] in 0 seconds + Running char1/test.desc [OK] in 1 seconds Running character_handling1/test.desc [OK] in 0 seconds Running comma1/test.desc [OK] in 0 seconds Running complex1/test.desc [OK] in 0 seconds @@ -4135,8 +4169,8 @@ Running coverage_report1/test.desc [OK] in 0 seconds Running cpp1/test.desc [SKIPPED] Running cpp2/test.desc [SKIPPED] - Running divide-by-one-simplify/test.desc [OK] in 2 seconds - Running dynamic_size1/test.desc [OK] in 1 seconds + Running divide-by-one-simplify/test.desc [OK] in 3 seconds + Running dynamic_size1/test.desc [OK] in 0 seconds Running dynamic_sizeof1/test.desc [OK] in 0 seconds Running enum1/test.desc [OK] in 0 seconds Running enum2/test.desc [OK] in 0 seconds @@ -4151,10 +4185,10 @@ Running equality_through_array5/test.desc [OK] in 0 seconds Running equality_through_array6/test.desc [OK] in 0 seconds Running equality_through_array_of_struct1/test.desc [OK] in 0 seconds - Running equality_through_array_of_struct2/test.desc [OK] in 0 seconds + Running equality_through_array_of_struct2/test.desc [OK] in 1 seconds Running equality_through_array_of_struct3/test.desc [OK] in 0 seconds Running equality_through_array_of_struct4/test.desc [OK] in 0 seconds - Running equality_through_struct1/test.desc [OK] in 1 seconds + Running equality_through_struct1/test.desc [OK] in 0 seconds Running equality_through_struct2/test.desc [OK] in 0 seconds Running equality_through_struct3/test.desc [OK] in 0 seconds Running equality_through_struct4/test.desc [OK] in 0 seconds @@ -4165,10 +4199,10 @@ Running equality_through_union1/test.desc [OK] in 0 seconds Running equality_through_union2/test.desc [OK] in 0 seconds Running equality_through_union3/test.desc [OK] in 0 seconds - Running exit1/test.desc [OK] in 0 seconds + Running exit1/test.desc [OK] in 1 seconds Running extern1/test.desc [OK] in 0 seconds Running extern2/test.desc [OK] in 0 seconds - Running extern_initialization1/test.desc [OK] in 1 seconds + Running extern_initialization1/test.desc [OK] in 0 seconds Running extern_initialization2/test.desc [OK] in 0 seconds Running fgets1/test.desc [OK] in 0 seconds Running for-break1/test.desc [OK] in 0 seconds @@ -4180,9 +4214,9 @@ Running function_option1/test.desc [OK] in 0 seconds Running gcc_attribute_alias1/test.desc [OK] in 0 seconds Running gcc_bswap1/test.desc [OK] in 0 seconds - Running gcc_c99-bool-1/test.desc [OK] in 0 seconds + Running gcc_c99-bool-1/test.desc [OK] in 1 seconds Running gcc_conditional_expr1/test.desc [OK] in 0 seconds - Running gcc_local_label1/test.desc [OK] in 1 seconds + Running gcc_local_label1/test.desc [OK] in 0 seconds Running gcc_popcount1/test.desc [OK] in 1 seconds Running gcc_popcount2/test.desc [SKIPPED] Running gcc_statement_expression1/test.desc [OK] in 0 seconds @@ -4194,13 +4228,13 @@ Running gcc_switch_case_range2/test.desc [OK] in 0 seconds Running gcc_vector1/test.desc [OK] in 0 seconds Running gcc_vector2/test.desc [OK] in 0 seconds - Running getenv-overflow1/test.desc [OK] in 0 seconds + Running getenv-overflow1/test.desc [OK] in 1 seconds Running goto1/test.desc [OK] in 0 seconds Running goto2/test.desc [OK] in 0 seconds Running goto3/test.desc [OK] in 0 seconds Running goto4/test.desc [OK] in 0 seconds Running goto5/test.desc [OK] in 0 seconds - Running graphml_witness1/test.desc [OK] in 1 seconds + Running graphml_witness1/test.desc [OK] in 0 seconds Running guard1/test.desc [OK] in 0 seconds Running havoc_object1/test.desc [OK] in 0 seconds Running hex_string1/test.desc [OK] in 0 seconds @@ -4210,28 +4244,28 @@ Running if3/test.desc [OK] in 0 seconds Running if4/test.desc [OK] in 0 seconds Running inequality-with-constant-normalisation/test.desc [OK] in 0 seconds - Running inet_endian1/test.desc [OK] in 0 seconds + Running inet_endian1/test.desc [OK] in 1 seconds Running inline1/test.desc [OK] in 0 seconds Running int-to-float1/test.desc [OK] in 0 seconds Running int-to-float2/test.desc [OK] in 0 seconds Running integer-assignments1/test.desc [SKIPPED] - Running json1/test.desc [OK] in 1 seconds + Running json1/test.desc [OK] in 0 seconds Running little-endian-array1/test.desc [OK] in 0 seconds Running locations1/test.desc [OK] in 0 seconds Running member1/test.desc [OK] in 0 seconds Running memcpy1/test.desc [OK] in 0 seconds Running memcpy2/test.desc [OK] in 0 seconds - Running memcpy3/test.desc [OK] in 0 seconds + Running memcpy3/test.desc [OK] in 1 seconds Running memory_allocation1/test.desc [OK] in 0 seconds Running memset1/test.desc [OK] in 0 seconds Running memset2/test.desc [OK] in 0 seconds - Running memset3/test.desc [OK] in 1 seconds + Running memset3/test.desc [OK] in 0 seconds Running mm_io1/test.desc [OK] in 0 seconds Running no_nondet_static/test.desc [OK] in 0 seconds Running noop1/test.desc [OK] in 0 seconds Running null1/test.desc [OK] in 0 seconds Running null2/test.desc [OK] in 0 seconds - Running null3/test.desc [OK] in 0 seconds + Running null3/test.desc [OK] in 1 seconds Running offsetof1/test.desc [OK] in 0 seconds Running phi-merge_uninitialized_values/dynamic.desc [OK] in 0 seconds Running phi-merge_uninitialized_values/global.desc [OK] in 0 seconds @@ -4242,16 +4276,16 @@ Running pointer-function-parameters/test.desc [OK] in 0 seconds Running pointer-function-parameters-2/test.desc [OK] in 0 seconds Running posix_memalign/test.desc [OK] in 0 seconds - Running printf1/test.desc [OK] in 1 seconds + Running printf1/test.desc [OK] in 0 seconds Running reachability-slice/test.desc [OK] in 0 seconds Running reachability-slice/test2.desc [OK] in 0 seconds Running reachability-slice/test3.desc [OK] in 0 seconds Running reachability-slice-interproc/test.desc [OK] in 0 seconds - Running read1/test.desc [OK] in 0 seconds + Running read1/test.desc [OK] in 1 seconds Running realloc1/test.desc [OK] in 0 seconds Running realloc2/test.desc [OK] in 0 seconds Running realloc3/test.desc [OK] in 0 seconds - Running return1/test.desc [OK] in 1 seconds + Running return1/test.desc [OK] in 0 seconds Running return2/test.desc [OK] in 0 seconds Running return3/test.desc [OK] in 0 seconds Running return4/test.desc [OK] in 0 seconds @@ -4259,7 +4293,7 @@ Running return6/test.desc [OK] in 0 seconds Running scanf1/big-endian.desc [SKIPPED] Running scanf1/no-simplify.desc [SKIPPED] - Running scanf1/test.desc [OK] in 0 seconds + Running scanf1/test.desc [OK] in 1 seconds Running self_loops_to_assumptions1/default.desc [OK] in 0 seconds Running self_loops_to_assumptions1/no-assume.desc [OK] in 0 seconds Running simple_assert/test.desc [OK] in 0 seconds @@ -4283,12 +4317,12 @@ Running struct9/test.desc [OK] in 0 seconds Running switch1/test.desc [OK] in 0 seconds Running switch2/test.desc [OK] in 0 seconds - Running switch3/test.desc [OK] in 1 seconds + Running switch3/test.desc [OK] in 0 seconds Running switch4/test.desc [OK] in 0 seconds Running switch5/test.desc [OK] in 0 seconds Running switch6/test.desc [OK] in 0 seconds Running switch7/test.desc [OK] in 0 seconds - Running symex_should_exclude_null_pointers/test.desc [OK] in 0 seconds + Running symex_should_exclude_null_pointers/test.desc [OK] in 1 seconds Running trace_options_json_extended/extended.desc [OK] in 0 seconds Running trace_options_json_extended/non-extended.desc [OK] in 0 seconds Running trace_show_code/test.desc [OK] in 0 seconds @@ -4304,12 +4338,12 @@ Running typedef-param-anon-struct1/test.desc [OK] in 0 seconds Running typedef-param-anon-union1/test.desc [OK] in 0 seconds Running typedef-param-struct1/test.desc [OK] in 0 seconds - Running typedef-param-type1/test.desc [OK] in 1 seconds + Running typedef-param-type1/test.desc [OK] in 0 seconds Running typedef-param-type2/test.desc [OK] in 0 seconds Running typedef-param-type3/test.desc [OK] in 0 seconds Running typedef-param-union1/test.desc [OK] in 0 seconds Running typedef-return-anon-struct1/test.desc [OK] in 0 seconds - Running typedef-return-anon-union1/test.desc [OK] in 0 seconds + Running typedef-return-anon-union1/test.desc [OK] in 1 seconds Running typedef-return-struct1/test.desc [OK] in 0 seconds Running typedef-return-type1/test.desc [OK] in 0 seconds Running typedef-return-type2/test.desc [OK] in 0 seconds @@ -4325,14 +4359,14 @@ Running typedef-union2/test.desc [OK] in 0 seconds Running uncaught_exceptions_analysis1/test.desc [OK] in 0 seconds Running union1/test.desc [SKIPPED] - Running union2/test.desc [OK] in 1 seconds + Running union2/test.desc [OK] in 0 seconds Running union3/test.desc [OK] in 0 seconds Running union4/test.desc [OK] in 0 seconds Running union5/test.desc [OK] in 0 seconds Running union6/test.desc [OK] in 0 seconds Running union7/test.desc [OK] in 0 seconds Running union8/test.desc [OK] in 0 seconds - Running union9/test.desc [OK] in 0 seconds + Running union9/test.desc [OK] in 1 seconds Running unsigned1/test.desc [OK] in 0 seconds Running unsigned___int128/test.desc [OK] in 0 seconds Running unsigned_char1/test.desc [OK] in 0 seconds @@ -4345,7 +4379,7 @@ Running variable-access-to-constant-array/test.desc [OK] in 1 seconds Running void_ifthenelse/test.desc [OK] in 0 seconds Running void_pointer1/test.desc [OK] in 0 seconds - Running void_pointer2/test.desc [OK] in 1 seconds + Running void_pointer2/test.desc [OK] in 0 seconds Running void_pointer3/test.desc [OK] in 0 seconds Running while1/test.desc [OK] in 0 seconds @@ -4384,8 +4418,8 @@ Running constant_propagation_14/test.desc [SKIPPED] Running constant_propagation_15/test.desc [SKIPPED] Running constant_propagation_16/test.desc [OK] in 0 seconds - Running constant_propagation_17/test.desc [OK] in 1 seconds - Running constant_propagation_floating_point_div/test.desc [OK] in 0 seconds + Running constant_propagation_17/test.desc [OK] in 0 seconds + Running constant_propagation_floating_point_div/test.desc [OK] in 1 seconds Running constant_propagation_nondet_rounding_mode/test.desc [OK] in 0 seconds Running constant_propagation_rounding_mode/test.desc [OK] in 0 seconds Running dependence-graph10/test.desc [OK] in 0 seconds @@ -4413,8 +4447,8 @@ Running intervals_14/test.desc [SKIPPED] Running intervals_15/test.desc [OK] in 0 seconds Running intervals_16/test.desc [OK] in 0 seconds - Running no-match-array-literal-const-fp-null/test.desc [OK] in 1 seconds - Running no-match-const-array-const-pointer-const-fp-const-lost/test.desc [OK] in 0 seconds + Running no-match-array-literal-const-fp-null/test.desc [OK] in 0 seconds + Running no-match-const-array-const-pointer-const-fp-const-lost/test.desc [OK] in 1 seconds Running no-match-const-fp-array-literal-const-fp-run-time/test.desc [OK] in 0 seconds Running no-match-const-fp-array-literal-non-const-fp/test.desc [OK] in 0 seconds Running no-match-const-fp-array-literal-non-const-fp-run-time/test.desc [OK] in 0 seconds @@ -4437,9 +4471,9 @@ Running no-match-const-fp-null/test.desc [OK] in 0 seconds Running no-match-const-fp-ternerary-op-const-lost/test.desc [OK] in 0 seconds Running no-match-const-pointer-const-struct-const-fp-const-cast/test.desc [OK] in 0 seconds - Running no-match-const-pointer-non-const-struct-const-fp/test.desc [OK] in 0 seconds + Running no-match-const-pointer-non-const-struct-const-fp/test.desc [OK] in 1 seconds Running no-match-const-struct-non-const-fp-null/test.desc [OK] in 0 seconds - Running no-match-dereference-const-pointer-const-array-literal-pointer-const-fp/test.desc [OK] in 1 seconds + Running no-match-dereference-const-pointer-const-array-literal-pointer-const-fp/test.desc [OK] in 0 seconds Running no-match-dereference-non-const-struct-const-pointer-const-fp/test.desc [OK] in 0 seconds Running no-match-dereference-non-const-struct-non-const-pointer-const-fp/test.desc [OK] in 0 seconds Running no-match-non-const-fp/test.desc [OK] in 0 seconds @@ -4449,11 +4483,11 @@ Running no-match-pointer-const-struct-array-literal-non-const-fp/test.desc [OK] in 0 seconds Running precise-array-calculation-const-fp/test.desc [OK] in 0 seconds Running precise-array-literal-const-fp/test.desc [OK] in 0 seconds - Running precise-const-fp/test.desc [OK] in 0 seconds + Running precise-const-fp/test.desc [OK] in 1 seconds Running precise-const-fp-array-const-variable-const-fp/test.desc [OK] in 0 seconds Running precise-const-fp-array-literal-const-fp/test.desc [OK] in 0 seconds Running precise-const-fp-array-literal-const-fp-run-time/test.desc [OK] in 0 seconds - Running precise-const-fp-array-literal-const-struct-non-const-fp/test.desc [OK] in 1 seconds + Running precise-const-fp-array-literal-const-struct-non-const-fp/test.desc [OK] in 0 seconds Running precise-const-fp-array-variable-const-pointer-const-struct-non-const-fp/test.desc [OK] in 0 seconds Running precise-const-fp-const-fp/test.desc [OK] in 0 seconds Running precise-const-fp-const-struct-const-array-literal-fp/test.desc [OK] in 0 seconds @@ -4461,14 +4495,14 @@ Running precise-const-fp-const-struct-non-const-fp/test.desc [OK] in 0 seconds Running precise-const-fp-dereference-const-pointer-const-fp/test.desc [OK] in 0 seconds Running precise-const-fp-supurious-const-loss/test.desc [OK] in 0 seconds - Running precise-const-pointer-const-struct-fp/test.desc [OK] in 0 seconds + Running precise-const-pointer-const-struct-fp/test.desc [OK] in 1 seconds Running precise-const-struct-non-const-fp/test.desc [OK] in 0 seconds Running precise-derefence/test.desc [OK] in 0 seconds Running precise-derefence-const-pointer-const-fp/test.desc [OK] in 0 seconds Running precise-dereference-address-pointer-const-fp/test.desc [OK] in 0 seconds Running precise-dereference-const-struct-const-pointer-const-fp/test.desc [OK] in 0 seconds Running precise-dereference-const-struct-const-pointer-const-struct-const-fp/test.desc [OK] in 0 seconds - Running precise-dereference-const-struct-pointer-const-fp/test.desc [OK] in 1 seconds + Running precise-dereference-const-struct-pointer-const-fp/test.desc [OK] in 0 seconds Running reachable-functions-basic-json/test.desc [OK] in 0 seconds Running reachable-functions-basic-text/test.desc [OK] in 0 seconds Running reachable-functions-domain-text/test.desc [OK] in 0 seconds @@ -4539,9 +4573,9 @@ Running Forward_Declaration2/test.desc [OK] in 0 seconds Running Function_parameters1/test.desc [OK] in 0 seconds Running Function_parameters2/test.desc [OK] in 0 seconds - Running Function_pointer1/test.desc [OK] in 1 seconds + Running Function_pointer1/test.desc [OK] in 0 seconds Running Function_pointer1/test_conversion.desc [OK] in 0 seconds - Running Header_files1/test.desc [OK] in 0 seconds + Running Header_files1/test.desc [OK] in 1 seconds Running Incomplete_Type1/test.desc [OK] in 0 seconds Running Initializer_cast1/test.desc [OK] in 0 seconds Running Initializer_cast2/test.desc [OK] in 0 seconds @@ -4549,11 +4583,11 @@ Running KnR2/test.desc [OK] in 0 seconds Running KnR3/test.desc [OK] in 0 seconds Running Lvalue1/test.desc [OK] in 0 seconds - Running MMX1/test.desc [OK] in 1 seconds + Running MMX1/test.desc [OK] in 0 seconds Running MMX2/test.desc [OK] in 2 seconds Running Multiple/test.desc [OK] in 0 seconds Running Qualifiers1/test.desc [OK] in 0 seconds - Running Recursive_Structure1/test.desc [OK] in 0 seconds + Running Recursive_Structure1/test.desc [OK] in 1 seconds Running Recursive_Structure2/test.desc [OK] in 0 seconds Running Struct_Bitfields1/test.desc [OK] in 0 seconds Running Struct_Enum_Padding1/test.desc [OK] in 0 seconds @@ -4568,8 +4602,8 @@ Running Struct_ptrmember1/test.desc [OK] in 0 seconds Running Transparent_union1/test.desc [OK] in 0 seconds Running Transparent_union2/test.desc [OK] in 0 seconds - Running Typecast_to_array_ptr1/test.desc [OK] in 1 seconds - Running Typecast_to_union1/test.desc [OK] in 0 seconds + Running Typecast_to_array_ptr1/test.desc [OK] in 0 seconds + Running Typecast_to_union1/test.desc [OK] in 1 seconds Running Union_Initialization1/test.desc [OK] in 0 seconds Running Union_Padding1/test.desc [OK] in 0 seconds Running Union_Padding2/test.desc [OK] in 0 seconds @@ -4587,8 +4621,8 @@ Running always_inline4/test.desc [OK] in 0 seconds Running always_inline5/test.desc [OK] in 0 seconds Running always_inline6/test.desc [OK] in 0 seconds - Running always_inline7/test.desc [OK] in 1 seconds - Running always_inline8/test.desc [OK] in 0 seconds + Running always_inline7/test.desc [OK] in 0 seconds + Running always_inline8/test.desc [OK] in 1 seconds Running always_inline9/test.desc [OK] in 0 seconds Running arch_flags_mcpu_bad/test.desc [OK] in 0 seconds Running arch_flags_mcpu_good/test.desc [OK] in 0 seconds @@ -4604,9 +4638,9 @@ Running character_literals1/test.desc [OK] in 0 seconds Running decl_initialization1/test.desc [OK] in 0 seconds Running decl_initialization2/test.desc [OK] in 0 seconds - Running enum1/test.desc [OK] in 1 seconds + Running enum1/test.desc [OK] in 0 seconds Running enum2/test.desc [OK] in 0 seconds - Running enum3/test.desc [OK] in 0 seconds + Running enum3/test.desc [OK] in 1 seconds Running enum4/test.desc [OK] in 0 seconds Running enum5/test.desc [OK] in 0 seconds Running enum6/test.desc [OK] in 0 seconds @@ -4624,8 +4658,8 @@ Running gcc___auto_type1/test.desc [OK] in 0 seconds Running gcc_attributes1/test.desc [OK] in 0 seconds Running gcc_attributes10/test.desc [OK] in 0 seconds - Running gcc_attributes11/test.desc [OK] in 1 seconds - Running gcc_attributes12/test.desc [OK] in 0 seconds + Running gcc_attributes11/test.desc [OK] in 0 seconds + Running gcc_attributes12/test.desc [OK] in 1 seconds Running gcc_attributes13/test.desc [OK] in 0 seconds Running gcc_attributes2/test.desc [OK] in 0 seconds Running gcc_attributes3/test.desc [OK] in 0 seconds @@ -4655,8 +4689,8 @@ Running integer_constant2/test.desc [OK] in 0 seconds Running linker_script_start+end/test.desc [OK] in 0 seconds Running linker_script_start+size/test.desc [OK] in 0 seconds - Running linker_script_symbol-only/test.desc [OK] in 0 seconds - Running linking1/test.desc [OK] in 1 seconds + Running linker_script_symbol-only/test.desc [OK] in 1 seconds + Running linking1/test.desc [OK] in 0 seconds Running linking_conflicts1/test.desc [OK] in 0 seconds Running message_handling1/test.desc [OK] in 0 seconds Running pointer_arithmetic1/test.desc [OK] in 0 seconds @@ -4670,9 +4704,9 @@ Running sizeof4/test.desc [SKIPPED] Running sizeof5/test.desc [OK] in 0 seconds Running static1/test.desc [OK] in 0 seconds - Running static2/test.desc [OK] in 0 seconds + Running static2/test.desc [OK] in 1 seconds Running static3/test.desc [OK] in 0 seconds - Running static_inline1/test.desc [OK] in 1 seconds + Running static_inline1/test.desc [OK] in 0 seconds Running struct2/test.desc [OK] in 0 seconds Running struct3/test.desc [OK] in 0 seconds Running struct5/test.desc [OK] in 0 seconds @@ -4683,11 +4717,11 @@ Running typedef2/test.desc [OK] in 0 seconds Running typedef_code/test.desc [OK] in 0 seconds Running typeof1/test.desc [OK] in 0 seconds - Running windows_h_VS_2005/test.desc [OK] in 5 seconds - Running windows_h_VS_2008/test.desc [OK] in 5 seconds + Running windows_h_VS_2005/test.desc [OK] in 6 seconds + Running windows_h_VS_2008/test.desc [OK] in 7 seconds Running windows_h_VS_2010/test.desc [OK] in 8 seconds - Running windows_h_VS_2012/test.desc [OK] in 7 seconds - Running windows_h_VS_2013/test.desc [OK] in 7 seconds + Running windows_h_VS_2012/test.desc [OK] in 10 seconds + Running windows_h_VS_2013/test.desc [OK] in 10 seconds All tests were successful, 10 tests skipped make[4]: Leaving directory '/build/cbmc-5.10/regression/ansi-c' @@ -4702,42 +4736,42 @@ 142 tests found Running tests - Running aggressive_slicer1/test.desc [OK] in 1 seconds + Running aggressive_slicer1/test.desc [OK] in 0 seconds Running aggressive_slicer2/test.desc [OK] in 0 seconds Running aggressive_slicer3/test.desc [OK] in 0 seconds Running aggressive_slicer4/test.desc [OK] in 0 seconds Running aggressive_slicer5/test.desc [OK] in 0 seconds - Running aggressive_slicer6/test.desc [OK] in 0 seconds + Running aggressive_slicer6/test.desc [OK] in 1 seconds Running aggressive_slicer7/test.desc [OK] in 0 seconds Running approx-array-variable-const-fp-only-remove-const/test.desc [OK] in 0 seconds - Running approx-array-variable-const-fp-remove-all-fp/test.desc [OK] in 1 seconds + Running approx-array-variable-const-fp-remove-all-fp/test.desc [OK] in 0 seconds Running argc-argv1/test.desc [OK] in 3 seconds - Running assembly_call_graph_test/test.desc [OK] in 0 seconds + Running assembly_call_graph_test/test.desc [OK] in 1 seconds Running assert1/test.desc [OK] in 0 seconds Running bitfield_naming/test.desc [OK] in 0 seconds Running call-graph1/test.desc [OK] in 0 seconds Running class-hierarchy/dot.desc [OK] in 0 seconds - Running class-hierarchy/plain.desc [OK] in 1 seconds + Running class-hierarchy/plain.desc [OK] in 0 seconds Running const-struct1/test.desc [OK] in 0 seconds Running const-struct2/test.desc [OK] in 0 seconds Running const-struct3/test.desc [OK] in 0 seconds - Running const-union1/test.desc [OK] in 0 seconds + Running const-union1/test.desc [OK] in 1 seconds Running constant-propagation1/test.desc [OK] in 0 seconds Running data-flow1/test.desc [OK] in 0 seconds Running dependence-graph1/test.desc [OK] in 0 seconds - Running dump-vararg1/test.desc [OK] in 1 seconds + Running dump-vararg1/test.desc [OK] in 0 seconds Running gcc_attribute_used1/test.desc [OK] in 0 seconds Running generate-function-body/test.desc [OK] in 0 seconds - Running generate-function-body-assert-false/test.desc [OK] in 0 seconds + Running generate-function-body-assert-false/test.desc [OK] in 1 seconds Running generate-function-body-assert-false-assume-false/test.desc [OK] in 0 seconds Running generate-function-body-assume-false/test.desc [OK] in 0 seconds Running generate-function-body-complex-struct/test.desc [OK] in 0 seconds Running generate-function-body-const-pointer-to-non-const/test.desc [OK] in 0 seconds Running generate-function-body-havoc-globals/test.desc [OK] in 0 seconds - Running generate-function-body-havoc-params/test.desc [OK] in 1 seconds + Running generate-function-body-havoc-params/test.desc [OK] in 0 seconds Running generate-function-body-pointer-to-pointer-to-const/test.desc [OK] in 0 seconds Running generate-function-body-struct-with-const-member/test.desc [OK] in 0 seconds - Running generate-function-body-union-with-const-member/test.desc [OK] in 0 seconds + Running generate-function-body-union-with-const-member/test.desc [OK] in 1 seconds Running harness1/test.desc [OK] in 4 seconds Running inline_01/test.desc [OK] in 0 seconds Running inline_02/test.desc [OK] in 0 seconds @@ -4762,9 +4796,9 @@ Running no_nondet_const/test.desc [OK] in 0 seconds Running precise-const-fp-only-remove-const/test.desc [OK] in 0 seconds Running precise-const-fp-remove-all-fp/test.desc [OK] in 0 seconds - Running print-internal-representation/test.desc [OK] in 1 seconds + Running print-internal-representation/test.desc [OK] in 0 seconds Running print_global_state_size1/test.desc [OK] in 0 seconds - Running reachable-call-graph1/test.desc [OK] in 0 seconds + Running reachable-call-graph1/test.desc [OK] in 1 seconds Running remove-calls-no-body1/test.desc [OK] in 0 seconds Running remove-calls-no-body2/test.desc [OK] in 0 seconds Running remove-function-body1/test.desc [OK] in 0 seconds @@ -4773,31 +4807,31 @@ Running replace-calls-03/test.desc [OK] in 0 seconds Running replace-calls-04/test.desc [OK] in 0 seconds Running replace-calls-05/test.desc [OK] in 0 seconds - Running replace-calls-06/test.desc [OK] in 1 seconds - Running restore-returns1/test.desc [OK] in 0 seconds + Running replace-calls-06/test.desc [OK] in 0 seconds + Running restore-returns1/test.desc [OK] in 1 seconds Running restore-returns2/test.desc [OK] in 0 seconds Running safe-dereferences/test.desc [OK] in 0 seconds Running show-call-sequences1/test.desc [OK] in 0 seconds Running show-call-sequences2/test.desc [OK] in 0 seconds Running show-call-sequences3/test.desc [OK] in 0 seconds Running show-call-sequences4/test.desc [OK] in 0 seconds - Running show-escape-analysis1/test.desc [OK] in 1 seconds + Running show-escape-analysis1/test.desc [OK] in 0 seconds Running slice-global-inits1/test.desc [OK] in 0 seconds - Running slice-global-inits2/test.desc [OK] in 0 seconds + Running slice-global-inits2/test.desc [OK] in 1 seconds Running slice-global-inits3/test.desc [OK] in 0 seconds Running slice01/test.desc [OK] in 0 seconds Running slice02/test.desc [OK] in 0 seconds - Running slice03/test.desc [OK] in 1 seconds - Running slice04/test.desc [OK] in 0 seconds + Running slice03/test.desc [OK] in 0 seconds + Running slice04/test.desc [OK] in 1 seconds Running slice05/test.desc [OK] in 0 seconds Running slice06/test.desc [OK] in 0 seconds Running slice07/test.desc [SKIPPED] Running slice08/test.desc [OK] in 0 seconds Running slice09/test.desc [OK] in 0 seconds Running slice10/test.desc [OK] in 0 seconds - Running slice11/test.desc [OK] in 1 seconds + Running slice11/test.desc [OK] in 0 seconds Running slice12/test.desc [OK] in 0 seconds - Running slice13/test.desc [OK] in 0 seconds + Running slice13/test.desc [OK] in 1 seconds Running slice14/test.desc [OK] in 0 seconds Running slice15/test.desc [OK] in 0 seconds Running slice16/test.desc [OK] in 0 seconds @@ -4806,35 +4840,35 @@ Running slice19/test.desc [SKIPPED] Running slice20/test.desc [SKIPPED] Running slice21/test.desc [SKIPPED] - Running slice22/test.desc [OK] in 1 seconds - Running slice23/test.desc [OK] in 0 seconds + Running slice22/test.desc [OK] in 0 seconds + Running slice23/test.desc [OK] in 1 seconds Running slice_function_ptr1/test.desc [OK] in 0 seconds Running slice_function_ptr2/test.desc [OK] in 0 seconds Running splice_call_01/test.desc [OK] in 0 seconds Running typedef1/test.desc [OK] in 0 seconds Running typedef2/test.desc [OK] in 0 seconds - Running typedef3/test.desc [OK] in 1 seconds - Running typedef4/test.desc [OK] in 0 seconds + Running typedef3/test.desc [OK] in 0 seconds + Running typedef4/test.desc [OK] in 1 seconds Running unwind-assert1/test.desc [OK] in 0 seconds Running unwind-assert2/test.desc [OK] in 0 seconds Running unwind-assert3/test.desc [OK] in 0 seconds Running unwind-assume1/test.desc [OK] in 0 seconds Running unwind-assume2/test.desc [OK] in 0 seconds - Running unwind-break-loop1/test.desc [OK] in 1 seconds + Running unwind-break-loop1/test.desc [OK] in 0 seconds Running unwind-break-loop2/test.desc [OK] in 0 seconds - Running unwind-continue-as-loops1/test.desc [OK] in 0 seconds + Running unwind-continue-as-loops1/test.desc [OK] in 1 seconds Running unwind-continue-loop1/test.desc [OK] in 0 seconds Running unwind-continue-loop2/test.desc [OK] in 0 seconds Running unwind-do-while-loop1/test.desc [OK] in 0 seconds - Running unwind-do-while-loop2/test.desc [OK] in 1 seconds + Running unwind-do-while-loop2/test.desc [OK] in 0 seconds Running unwind-empty-loop1/test.desc [OK] in 0 seconds - Running unwind-empty-loop2/test.desc [OK] in 0 seconds + Running unwind-empty-loop2/test.desc [OK] in 1 seconds Running unwind-nested-loops1/test.desc [OK] in 0 seconds Running unwind-nested-loops2/test.desc [OK] in 0 seconds Running unwind-simple-loop1/test.desc [OK] in 0 seconds - Running unwind-simple-loop2/test.desc [OK] in 1 seconds + Running unwind-simple-loop2/test.desc [OK] in 0 seconds Running unwind-unwind-log1/test.desc [OK] in 0 seconds - Running unwind-unwindset-file1/test.desc [OK] in 0 seconds + Running unwind-unwindset-file1/test.desc [OK] in 1 seconds Running unwind-unwindset1/test.desc [OK] in 1 seconds Running unwind-unwindset2/test.desc [OK] in 0 seconds Running unwind-unwindset3/test.desc [OK] in 0 seconds @@ -4894,8 +4928,8 @@ Running Template_Default_Parameters1/test.desc [OK] in 0 seconds Running Template_Instantiation1/test.desc [OK] in 0 seconds Running Template_Instantiation2/test.desc [OK] in 0 seconds - Running Template_Instantiation3/test.desc [OK] in 1 seconds - Running Template_Instantiation4/test.desc [OK] in 0 seconds + Running Template_Instantiation3/test.desc [OK] in 0 seconds + Running Template_Instantiation4/test.desc [OK] in 1 seconds Running Template_Instantiation5/test.desc [OK] in 0 seconds Running Template_Parameters1/test.desc [OK] in 0 seconds Running Template_Specialisation1/test.desc [OK] in 0 seconds @@ -4910,10 +4944,10 @@ Running Unary_Function_Overload4/test.desc [OK] in 0 seconds Running Union_Constructor/test.desc [OK] in 0 seconds Running auto1/test.desc [OK] in 0 seconds - Running auto2/test.desc [OK] in 1 seconds + Running auto2/test.desc [OK] in 0 seconds Running auto3/test.desc [OK] in 0 seconds Running auto4/test.desc [OK] in 0 seconds - Running bitwise_and1/test.desc [OK] in 0 seconds + Running bitwise_and1/test.desc [OK] in 1 seconds Running bool1/test.desc [OK] in 0 seconds Running constexpr1/test.desc [SKIPPED] Running deleted_function1/test.desc [OK] in 0 seconds @@ -4928,10 +4962,10 @@ Running enum_class1/test.desc [OK] in 0 seconds Running gcc_vector1/test.desc [OK] in 0 seconds Running lvalue1/test.desc [OK] in 0 seconds - Running namespace4/test.desc [OK] in 1 seconds + Running namespace4/test.desc [OK] in 0 seconds Running nullptr1/test.desc [OK] in 0 seconds Running pointer_to_member_conversion1/test.desc [OK] in 0 seconds - Running pointer_to_member_conversion2/test.desc [OK] in 0 seconds + Running pointer_to_member_conversion2/test.desc [OK] in 1 seconds Running reinterpret_cast1/test.desc [OK] in 0 seconds Running sizeof1/test.desc [OK] in 0 seconds Running sizeof2/test.desc [OK] in 0 seconds @@ -4944,14 +4978,14 @@ Running typecast_ambiguity2/test.desc [OK] in 0 seconds Running typedef1/test.desc [OK] in 0 seconds Running typedef2/test.desc [OK] in 0 seconds - Running union3/test.desc [OK] in 1 seconds + Running union3/test.desc [OK] in 0 seconds Running union4/test.desc [OK] in 0 seconds Running union5/test.desc [OK] in 0 seconds Running virtual1/test.desc [OK] in 0 seconds - Running windows_h_VS_2005/test.desc [OK] in 6 seconds + Running windows_h_VS_2005/test.desc [OK] in 7 seconds Running windows_h_VS_2008/test.desc [OK] in 7 seconds Running windows_h_VS_2010/test.desc [OK] in 6 seconds - Running windows_h_VS_2012/test.desc [OK] in 7 seconds + Running windows_h_VS_2012/test.desc [OK] in 8 seconds All tests were successful, 4 tests skipped make[4]: Leaving directory '/build/cbmc-5.10/regression/cpp' @@ -4967,16 +5001,16 @@ Running assertion1/test.desc [OK] in 0 seconds Running branch1/test.desc [OK] in 0 seconds Running branch2/test.desc [OK] in 0 seconds - Running branch3/test.desc [OK] in 1 seconds + Running branch3/test.desc [OK] in 0 seconds Running branch4/test.desc [OK] in 0 seconds Running built-ins1/test.desc [OK] in 0 seconds Running built-ins2/test.desc [OK] in 0 seconds Running built-ins3/test.desc [OK] in 0 seconds - Running built-ins4/test.desc [OK] in 0 seconds + Running built-ins4/test.desc [OK] in 1 seconds Running built-ins5/test.desc [OK] in 0 seconds Running built-ins6/test.desc [OK] in 0 seconds Running built-ins7/test.desc [OK] in 0 seconds - Running condition1/test.desc [OK] in 1 seconds + Running condition1/test.desc [OK] in 0 seconds Running cover1/test.desc [OK] in 0 seconds Running decision1/test.desc [OK] in 0 seconds Running inlining1/test.desc [OK] in 0 seconds @@ -4989,14 +5023,14 @@ Running location16/test.desc [OK] in 0 seconds Running mcdc1/test.desc [OK] in 0 seconds Running mcdc10/test.desc [OK] in 0 seconds - Running mcdc11/test.desc [OK] in 0 seconds + Running mcdc11/test.desc [OK] in 1 seconds Running mcdc12/test.desc [OK] in 0 seconds Running mcdc13/test.desc [OK] in 0 seconds Running mcdc14/test.desc [OK] in 0 seconds Running mcdc2/test.desc [OK] in 0 seconds Running mcdc3/test.desc [OK] in 0 seconds Running mcdc4/test.desc [OK] in 0 seconds - Running mcdc5/test.desc [OK] in 1 seconds + Running mcdc5/test.desc [OK] in 0 seconds Running mcdc6/test.desc [OK] in 0 seconds Running mcdc7/test.desc [OK] in 0 seconds Running mcdc8/test.desc [OK] in 0 seconds @@ -5017,24 +5051,24 @@ Running tests Running typedef-anon-struct1/test.desc [OK] in 0 seconds Running typedef-anon-struct2/test.desc [OK] in 0 seconds - Running typedef-anon-union1/test.desc [OK] in 0 seconds + Running typedef-anon-union1/test.desc [OK] in 1 seconds Running typedef-anon-union2/test.desc [OK] in 0 seconds Running typedef-const-struct1/test.desc [OK] in 0 seconds Running typedef-const-type1/test.desc [OK] in 0 seconds Running typedef-const-union1/test.desc [OK] in 0 seconds Running typedef-param-anon-struct1/test.desc [OK] in 0 seconds - Running typedef-param-anon-union1/test.desc [OK] in 1 seconds + Running typedef-param-anon-union1/test.desc [OK] in 0 seconds Running typedef-param-struct1/test.desc [OK] in 0 seconds Running typedef-param-type1/test.desc [OK] in 0 seconds Running typedef-param-type2/test.desc [OK] in 0 seconds Running typedef-param-type3/test.desc [OK] in 0 seconds Running typedef-param-union1/test.desc [OK] in 0 seconds Running typedef-return-anon-struct1/test.desc [OK] in 0 seconds - Running typedef-return-anon-union1/test.desc [OK] in 0 seconds + Running typedef-return-anon-union1/test.desc [OK] in 1 seconds Running typedef-return-struct1/test.desc [OK] in 0 seconds Running typedef-return-type1/test.desc [OK] in 0 seconds Running typedef-return-type2/test.desc [OK] in 0 seconds - Running typedef-return-type3/test.desc [OK] in 1 seconds + Running typedef-return-type3/test.desc [OK] in 0 seconds Running typedef-return-union1/test.desc [OK] in 0 seconds Running typedef-struct1/test.desc [OK] in 0 seconds Running typedef-struct2/test.desc [OK] in 0 seconds @@ -5043,7 +5077,7 @@ Running typedef-type3/test.desc [OK] in 0 seconds Running typedef-type4/test.desc [OK] in 0 seconds Running typedef-union1/test.desc [OK] in 0 seconds - Running typedef-union2/test.desc [OK] in 0 seconds + Running typedef-union2/test.desc [OK] in 1 seconds All tests were successful make[4]: Leaving directory '/build/cbmc-5.10/regression/goto-instrument-typedef' @@ -5108,31 +5142,31 @@ 13 tests found Running tests - Running invariant-failure/test.descbash: line 1: 9034 Aborted ../driver string 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure/test.descbash: line 1: 3494 Aborted ../driver string 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure10/test.descbash: line 1: 9036 Aborted ../driver unreachable-structured 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure10/test.descbash: line 1: 3497 Aborted ../driver unreachable-structured 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure11/test.descbash: line 1: 9038 Aborted ../driver data-invariant-string 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure11/test.descbash: line 1: 3500 Aborted ../driver data-invariant-string 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure12/test.descbash: line 1: 9040 Aborted ../driver data-invariant-structured 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure12/test.descbash: line 1: 3503 Aborted ../driver data-invariant-structured 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure13/test.descbash: line 1: 9042 Aborted ../driver irep 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure13/test.descbash: line 1: 3505 Aborted ../driver irep 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure2/test.descbash: line 1: 9044 Aborted ../driver structured 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure2/test.descbash: line 1: 3508 Aborted ../driver structured 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure3/test.descbash: line 1: 9046 Aborted ../driver precondition-string 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure3/test.descbash: line 1: 3513 Aborted ../driver precondition-string 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure4/test.descbash: line 1: 9048 Aborted ../driver precondition-structured 'dummy_parameter.c' > 'test.out' 2>&1 - [OK] in 1 seconds - Running invariant-failure5/test.descbash: line 1: 9052 Aborted ../driver postcondition-string 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure4/test.descbash: line 1: 3519 Aborted ../driver precondition-structured 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure6/test.descbash: line 1: 9054 Aborted ../driver postcondition-structured 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure5/test.descbash: line 1: 3526 Aborted ../driver postcondition-string 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure7/test.descbash: line 1: 9056 Aborted ../driver check-return-string 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure6/test.descbash: line 1: 3531 Aborted ../driver postcondition-structured 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure8/test.descbash: line 1: 9058 Aborted ../driver check-return-structured 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure7/test.descbash: line 1: 3538 Aborted ../driver check-return-string 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure9/test.descbash: line 1: 9061 Aborted ../driver unreachable-string 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure8/test.descbash: line 1: 3542 Aborted ../driver check-return-structured 'dummy_parameter.c' > 'test.out' 2>&1 + [OK] in 0 seconds + Running invariant-failure9/test.descbash: line 1: 3548 Aborted ../driver unreachable-string 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds All tests were successful @@ -5207,7 +5241,7 @@ Running at_files/test.desc [OK] in 0 seconds Running dev_null1/test.desc [OK] in 0 seconds Running expect_fail/test.desc [OK] in 0 seconds - Running ignore_cprover_macros/test.desc [OK] in 1 seconds + Running ignore_cprover_macros/test.desc [OK] in 0 seconds Running multiple-sources/error.desc [OK] in 0 seconds Running run_diagnostic/test.desc [OK] in 0 seconds Running verbosity1/test.desc [OK] in 0 seconds @@ -5226,7 +5260,7 @@ 5 tests found Running tests - Running mixed-c-library-goto-main/with_function.desc [OK] in 0 seconds + Running mixed-c-library-goto-main/with_function.desc [OK] in 1 seconds Running mixed-c-library-goto-main/without_function.desc [OK] in 0 seconds Running mixed-goto-library-c-main/with_function.desc [OK] in 0 seconds Running mixed-goto-library-c-main/without_function.desc [OK] in 0 seconds @@ -5275,7 +5309,7 @@ Running tests Running Array1/test.desc [SKIPPED] Running Array2/test.desc [OK] in 0 seconds - Running Array3/test.desc [OK] in 0 seconds + Running Array3/test.desc [OK] in 1 seconds Running Array4/test.desc [OK] in 0 seconds Running BitvectorC1/test.desc [OK] in 0 seconds Running BitvectorCpp1/test.desc [OK] in 0 seconds @@ -5294,7 +5328,7 @@ Running MascInst1/test.desc [SKIPPED] Running Mult1/test.desc [SKIPPED] Running Reference1/test.desc [OK] in 0 seconds - Running SimpleSc1/test.desc [OK] in 1 seconds + Running SimpleSc1/test.desc [OK] in 0 seconds Running Template1/test.desc [OK] in 0 seconds Running This1/test.desc [SKIPPED] Running Tuple1/test.desc [SKIPPED] @@ -5314,7 +5348,7 @@ Running tests Running function_apply_01/test.desc [SKIPPED] - Running function_check_01/test.desc [OK] in 0 seconds + Running function_check_01/test.desc [OK] in 1 seconds Running function_check_02/test.desc [SKIPPED] Running function_check_03/test.desc [SKIPPED] Running function_check_04/test.desc [OK] in 0 seconds @@ -5323,7 +5357,7 @@ Running invar_check_01/test.desc [OK] in 0 seconds Running invar_check_02/test.desc [OK] in 0 seconds Running invar_check_03/test.desc [OK] in 0 seconds - Running invar_check_04/test.desc [OK] in 1 seconds + Running invar_check_04/test.desc [OK] in 0 seconds Running invar_loop_constant/test.desc [SKIPPED] Running quicksort_contracts_01/test.desc [SKIPPED] @@ -5359,7 +5393,7 @@ 351 tests found Running tests - Running ArithmeticException1/test.desc [OK] in 0 seconds + Running ArithmeticException1/test.desc [OK] in 1 seconds Running ArithmeticException2/test.desc [OK] in 0 seconds Running ArithmeticException3/test.desc [OK] in 0 seconds Running ArithmeticException4/test.desc [OK] in 0 seconds @@ -5369,9 +5403,9 @@ Running ArrayIndexOutOfBoundsException1/test.desc [OK] in 0 seconds Running ArrayIndexOutOfBoundsException2/test.desc [OK] in 0 seconds Running ArrayIndexOutOfBoundsException3/test.desc [OK] in 0 seconds - Running ClassCastException1/test.desc [OK] in 1 seconds + Running ClassCastException1/test.desc [OK] in 0 seconds Running ClassCastException2/test.desc [OK] in 0 seconds - Running ClassCastException3/test.desc [OK] in 0 seconds + Running ClassCastException3/test.desc [OK] in 1 seconds Running Inheritance1/test.desc [OK] in 0 seconds Running JumpSimplification/test.desc [OK] in 0 seconds Running LocalVarTable1/test.desc [OK] in 0 seconds @@ -5383,9 +5417,9 @@ Running NegativeArraySizeException2/test.desc [OK] in 0 seconds Running NondetArray/test.desc [OK] in 0 seconds Running NondetArray2/test.desc [OK] in 0 seconds - Running NondetArray3/test.desc [OK] in 1 seconds + Running NondetArray3/test.desc [OK] in 0 seconds Running NondetArray4/test.desc [OK] in 0 seconds - Running NondetAssume1/test.desc [OK] in 0 seconds + Running NondetAssume1/test.desc [OK] in 1 seconds Running NondetAssume2/test.desc [OK] in 0 seconds Running NondetBoolean/test.desc [OK] in 0 seconds Running NondetByte/test.desc [OK] in 0 seconds @@ -5403,8 +5437,8 @@ Running NondetInit/test.desc [OK] in 0 seconds Running NondetInit/test_lazy.desc [OK] in 0 seconds Running NondetInit2/test.desc [OK] in 0 seconds - Running NondetInit3/test.desc [OK] in 1 seconds - Running NondetInt/test.desc [OK] in 0 seconds + Running NondetInit3/test.desc [OK] in 0 seconds + Running NondetInt/test.desc [OK] in 1 seconds Running NondetLong/test.desc [OK] in 0 seconds Running NondetShort/test.desc [OK] in 0 seconds Running NondetString/test.desc [OK] in 0 seconds @@ -5425,8 +5459,8 @@ Running annotations1/show_annotation_symbol.desc [OK] in 0 seconds Running annotations2/test.desc [OK] in 0 seconds Running array1/test.desc [OK] in 0 seconds - Running array2/test.desc [OK] in 0 seconds - Running array_nonconstsize_nonconstaccess/test_float_multidim_1.desc [OK] in 1 seconds + Running array2/test.desc [OK] in 1 seconds + Running array_nonconstsize_nonconstaccess/test_float_multidim_1.desc [OK] in 0 seconds Running array_nonconstsize_nonconstaccess/test_float_multidim_2.desc [OK] in 0 seconds Running array_nonconstsize_nonconstaccess/test_ref_multidim_1.desc [OK] in 0 seconds Running array_nonconstsize_nonconstaccess/test_ref_multidim_2.desc [OK] in 0 seconds @@ -5436,9 +5470,9 @@ Running arrayread1/test.desc [OK] in 0 seconds Running assert1/test.desc [OK] in 0 seconds Running assert2/test.desc [OK] in 0 seconds - Running assert3/test.desc [OK] in 0 seconds + Running assert3/test.desc [OK] in 1 seconds Running assert3/test_throw_no_uncaught.desc [OK] in 0 seconds - Running assert4/test.desc [OK] in 1 seconds + Running assert4/test.desc [OK] in 0 seconds Running assert5/test.desc [OK] in 0 seconds Running assert6/test.desc [OK] in 0 seconds Running assert7/test.desc [OK] in 0 seconds @@ -5459,18 +5493,18 @@ Running catch1/test.desc [OK] in 0 seconds Running catch1/test_no_uncaught_exceptions.desc [OK] in 0 seconds Running char1/test.desc [OK] in 0 seconds - Running class-fields/test.desc [OK] in 0 seconds + Running class-fields/test.desc [OK] in 1 seconds Running class-literals/test.desc [OK] in 0 seconds - Running class-literals/test_lazy.desc [OK] in 1 seconds + Running class-literals/test_lazy.desc [OK] in 0 seconds Running class_hierarchy/test_json.desc [OK] in 0 seconds Running class_hierarchy/test_plain.desc [OK] in 0 seconds Running classpath1/test.desc [OK] in 0 seconds Running classpath2/test.desc [OK] in 0 seconds Running classtest1/test.desc [OK] in 0 seconds - Running clean_derefs/test.desc [OK] in 0 seconds + Running clean_derefs/test.desc [OK] in 1 seconds Running const1/test.desc [OK] in 0 seconds - Running constructor1/test.desc [OK] in 1 seconds - Running coreModels/test.desc [OK] in 8 seconds + Running constructor1/test.desc [OK] in 0 seconds + Running coreModels/test.desc [OK] in 11 seconds Running covered1/test.desc [OK] in 0 seconds Running cprover-always-load-nondet-initialize/test.desc [SKIPPED] Running destructor1/test.desc [OK] in 0 seconds @@ -5505,10 +5539,10 @@ Running exceptions5/test.desc [OK] in 0 seconds Running exceptions6/test.desc [OK] in 0 seconds Running exceptions7/test.desc [OK] in 0 seconds - Running exceptions8/test.desc [OK] in 0 seconds + Running exceptions8/test.desc [OK] in 1 seconds Running exceptions9/test.desc [OK] in 0 seconds Running external_getstatic1/test.desc [OK] in 0 seconds - Running farith1/test.desc [OK] in 1 seconds + Running farith1/test.desc [OK] in 0 seconds Running fcmpx_dcmpx1/test.desc [OK] in 0 seconds Running finally1/test.desc [OK] in 0 seconds Running finally2/test.desc [OK] in 0 seconds @@ -5527,10 +5561,10 @@ Running generics_type_param/test.desc [OK] in 0 seconds Running iarith1/test.desc [OK] in 0 seconds Running iarith2/test.desc [OK] in 0 seconds - Running if_acmp1/test.desc [OK] in 0 seconds + Running if_acmp1/test.desc [OK] in 1 seconds Running if_expr1/test.desc [OK] in 0 seconds Running if_icmp1/test.desc [OK] in 0 seconds - Running ifxx1/test.desc [OK] in 1 seconds + Running ifxx1/test.desc [OK] in 0 seconds Running inferlexicalscope1/test.desc [OK] in 0 seconds Running inherited_static_field1/test.desc [OK] in 0 seconds Running inherited_static_field10/test.desc [OK] in 0 seconds @@ -5547,12 +5581,12 @@ Running instanceof3/test.desc [OK] in 0 seconds Running instanceof4/test.desc [OK] in 0 seconds Running instanceof5/test.desc [OK] in 0 seconds - Running instanceof6/test.desc [OK] in 0 seconds + Running instanceof6/test.desc [OK] in 1 seconds Running instanceof7/test.desc [OK] in 0 seconds Running instanceof8/test.desc [OK] in 0 seconds Running integer_without_simplify1/test.desc [OK] in 0 seconds Running interface1/test.desc [OK] in 0 seconds - Running internal1/test.desc [OK] in 1 seconds + Running internal1/test.desc [OK] in 0 seconds Running invalid_classpath/test-jar.desc [OK] in 0 seconds Running invalid_classpath/test-path.desc [OK] in 0 seconds Running isnan1/test.desc [OK] in 0 seconds @@ -5560,16 +5594,16 @@ Running iterator2/test.desc [OK] in 0 seconds Running jar-file1/test.desc [OK] in 0 seconds Running jar-file2/test.desc [OK] in 0 seconds - Running jar-file3/test.desc [OK] in 0 seconds + Running jar-file3/test.desc [OK] in 1 seconds Running jar-file4/test.desc [OK] in 0 seconds Running json_trace1/test.desc [OK] in 0 seconds Running json_trace2/test.desc [OK] in 0 seconds - Running json_trace3/test.desc [OK] in 1 seconds - Running jsr1/test.desc [OK] in 0 seconds + Running json_trace3/test.desc [OK] in 0 seconds + Running jsr1/test.desc [OK] in 1 seconds Running jsr2/test.desc [OK] in 0 seconds Running lambda1/test.desc [OK] in 0 seconds Running lambda2/test.desc [SKIPPED] - Running lambda2/test_no_crash.desc [OK] in 1 seconds + Running lambda2/test_no_crash.desc [OK] in 0 seconds Running lambda2/test_no_crash_ecj.desc [OK] in 0 seconds Running lambda3/test.desc [OK] in 0 seconds Running lazyloading1/test.desc [OK] in 0 seconds @@ -5577,7 +5611,7 @@ Running lazyloading11/test.desc [OK] in 0 seconds Running lazyloading2/test.desc [OK] in 0 seconds Running lazyloading3/test.desc [OK] in 0 seconds - Running lazyloading4/test.desc [OK] in 0 seconds + Running lazyloading4/test.desc [OK] in 1 seconds Running lazyloading5/test.desc [OK] in 0 seconds Running lazyloading6/test.desc [OK] in 0 seconds Running lazyloading7/test.desc [OK] in 0 seconds @@ -5588,12 +5622,12 @@ Running lazyloading_indirect_array_parameter/test.desc [OK] in 0 seconds Running lazyloading_indirect_generic_array_parameter/test.desc [OK] in 0 seconds Running lazyloading_inheritance/test.desc [OK] in 0 seconds - Running lazyloading_inheritance_field/test.desc [OK] in 1 seconds + Running lazyloading_inheritance_field/test.desc [OK] in 0 seconds Running lazyloading_multiple_array_types/test.desc [OK] in 0 seconds Running lazyloading_multiple_generic_parameters/test.desc [OK] in 0 seconds Running lazyloading_nested_generic_parameters/test.desc [SKIPPED] Running lazyloading_no_candidates/test.desc [OK] in 0 seconds - Running lazyloading_opaquereturn/test.desc [OK] in 0 seconds + Running lazyloading_opaquereturn/test.desc [OK] in 1 seconds Running lazyloading_recursive_class/test.desc [OK] in 0 seconds Running lazyloading_synthetic_method_cleanup1/check_clinit_normally_present.desc [OK] in 0 seconds Running lazyloading_synthetic_method_cleanup1/check_clinit_removed_by_lazy_loading.desc [OK] in 0 seconds @@ -5604,9 +5638,9 @@ Running lazyloading_synthetic_method_cleanup3/check_clinit_normally_present.desc [OK] in 0 seconds Running lazyloading_synthetic_method_cleanup3/check_clinit_removed_by_lazy_loading.desc [OK] in 0 seconds Running lazyloading_synthetic_method_cleanup3/check_runs_with_lazy_loading.desc [OK] in 0 seconds - Running list1/test.desc [OK] in 1 seconds + Running list1/test.desc [OK] in 0 seconds Running long1/test.desc [OK] in 0 seconds - Running lookupswitch1/test.desc [OK] in 0 seconds + Running lookupswitch1/test.desc [OK] in 1 seconds Running loop1/test.desc [OK] in 0 seconds Running lots_local_variables_manual/test.desc [OK] in 0 seconds Running lots_of_local_variables/test.desc [OK] in 0 seconds @@ -5620,14 +5654,14 @@ Running method_parameters2/test.desc [OK] in 0 seconds Running monitorenter1/test.desc [OK] in 0 seconds Running multinewarray/test.desc [OK] in 0 seconds - Running must-not-throw-annotation/test.desc [OK] in 1 seconds - Running no-main-args-elements-maybe-null1/test.desc [OK] in 0 seconds + Running must-not-throw-annotation/test.desc [OK] in 0 seconds + Running no-main-args-elements-maybe-null1/test.desc [OK] in 1 seconds Running no-main-args-elements-maybe-null2/test.desc [OK] in 0 seconds Running no-main-args-maybe-null1/test.desc [OK] in 0 seconds Running no-main-args-maybe-null2/test.desc [OK] in 0 seconds Running no-main-int-array-maybe-null1/test.desc [OK] in 0 seconds Running no-main-multi-array-maybe-null1/test.desc [OK] in 1 seconds - Running no-main-multi-array-maybe-null2/test.desc [OK] in 1 seconds + Running no-main-multi-array-maybe-null2/test.desc [OK] in 2 seconds Running no-main-object-array-elements-maybe-null1/test.desc [OK] in 0 seconds Running no-main-object-array-elements-maybe-null2/test.desc [OK] in 0 seconds Running no-main-object-array-maybe-null1/test.desc [OK] in 0 seconds @@ -5635,10 +5669,10 @@ Running overlay-class/correct-test.desc [OK] in 0 seconds Running overlay-class/duplicate-test.desc [OK] in 0 seconds Running overlay-class/misordered-test.desc [OK] in 0 seconds - Running overlay-class/unmarked-test.desc [OK] in 1 seconds + Running overlay-class/unmarked-test.desc [OK] in 0 seconds Running overloading1/test.desc [OK] in 0 seconds Running package1/test.desc [OK] in 0 seconds - Running package_friendly1/test.desc [OK] in 0 seconds + Running package_friendly1/test.desc [OK] in 1 seconds Running phi-merge_uninitialized_values/field.desc [OK] in 0 seconds Running phi-merge_uninitialized_values/local.desc [OK] in 0 seconds Running phi-merge_uninitialized_values/static_field.desc [OK] in 0 seconds @@ -5649,10 +5683,10 @@ Running putstatic_source_location/test.desc [OK] in 0 seconds Running reachability-slice/test.desc [OK] in 0 seconds Running reachability-slice/test2.desc [OK] in 0 seconds - Running reachability-slice/test3.desc [OK] in 1 seconds + Running reachability-slice/test3.desc [OK] in 0 seconds Running recursion2/test.desc [OK] in 0 seconds Running remove_virtual_function_typecast/test.desc [OK] in 0 seconds - Running removed_virtual_functions/test.desc [OK] in 0 seconds + Running removed_virtual_functions/test.desc [OK] in 1 seconds Running repeated_guards/test_arraybounds.desc [OK] in 0 seconds Running repeated_guards/test_arraycreation.desc [OK] in 0 seconds Running repeated_guards/test_assertion.desc [OK] in 0 seconds @@ -5667,8 +5701,8 @@ Running siblingobjects2/test.desc [OK] in 0 seconds Running simplify_expr_termination/test.desc [OK] in 0 seconds Running stack_var1/test.desc [OK] in 0 seconds - Running stack_var10/test.desc [OK] in 1 seconds - Running stack_var12/test.desc [OK] in 0 seconds + Running stack_var10/test.desc [OK] in 0 seconds + Running stack_var12/test.desc [OK] in 1 seconds Running stack_var2/test.desc [OK] in 0 seconds Running stack_var3/test.desc [OK] in 0 seconds Running stack_var4/test.desc [OK] in 0 seconds @@ -5696,8 +5730,8 @@ Running tableswitch1/test.desc [OK] in 0 seconds Running tableswitch2/test.desc [OK] in 0 seconds Running trace_class_identifier/test.desc [OK] in 0 seconds - Running trace_options_json_extended/extended.desc [OK] in 0 seconds - Running trace_options_json_extended/non-extended.desc [OK] in 1 seconds + Running trace_options_json_extended/extended.desc [OK] in 1 seconds + Running trace_options_json_extended/non-extended.desc [OK] in 0 seconds Running uninitialised1/test.desc [OK] in 0 seconds Running very-long-jumps/test.desc [OK] in 0 seconds Running virtual1/test.desc [OK] in 0 seconds @@ -5706,7 +5740,7 @@ Running virtual4/test.desc [OK] in 0 seconds Running virtual5/test.desc [OK] in 0 seconds Running virtual6/test.desc [OK] in 0 seconds - Running virtual7/test.desc [OK] in 0 seconds + Running virtual7/test.desc [OK] in 1 seconds Running virtual8/test.desc [OK] in 0 seconds Running virtual9/test.desc [SKIPPED] Running virtual_function_unwinding/test.desc [SKIPPED] @@ -5727,9 +5761,9 @@ Running ArrayIndexOutOfBoundsException2/test.desc [OK] in 0 seconds Running ArrayIndexOutOfBoundsException3/test.desc [OK] in 0 seconds Running ClassCastException1/test.desc [OK] in 0 seconds - Running ClassCastException2/test.desc [OK] in 0 seconds + Running ClassCastException2/test.desc [OK] in 1 seconds Running ClassCastException3/test.desc [OK] in 0 seconds - Running Inheritance1/test.desc [OK] in 1 seconds + Running Inheritance1/test.desc [OK] in 0 seconds Running JumpSimplification/test.desc [OK] in 0 seconds Running LocalVarTable1/test.desc [OK] in 0 seconds Running LocalVarTable2/test.desc [OK] in 0 seconds @@ -5742,14 +5776,14 @@ Running NondetArray2/test.desc [OK] in 0 seconds Running NondetArray3/test.desc [OK] in 0 seconds Running NondetArray4/test.desc [OK] in 0 seconds - Running NondetAssume1/test.desc [OK] in 0 seconds + Running NondetAssume1/test.desc [OK] in 1 seconds Running NondetAssume2/test.desc [OK] in 0 seconds Running NondetBoolean/test.desc [OK] in 0 seconds Running NondetByte/test.desc [OK] in 0 seconds Running NondetCastToObject/test.desc [OK] in 0 seconds Running NondetChar/test.desc [OK] in 0 seconds Running NondetCharSequence/test.desc [OK] in 0 seconds - Running NondetDirectFromMethod/test.desc [OK] in 1 seconds + Running NondetDirectFromMethod/test.desc [OK] in 0 seconds Running NondetDouble/test.desc [OK] in 0 seconds Running NondetFloat/test.desc [OK] in 0 seconds Running NondetGenericArray/test.desc [OK] in 0 seconds @@ -5767,10 +5801,10 @@ Running NondetString/test.desc [OK] in 0 seconds Running NondetStringBuffer/test.desc [OK] in 0 seconds Running NondetStringBuilder/test.desc [OK] in 0 seconds - Running NullPointer1/test.desc [OK] in 0 seconds + Running NullPointer1/test.desc [OK] in 1 seconds Running NullPointer2/test.desc [OK] in 0 seconds Running NullPointer3/test.desc [OK] in 0 seconds - Running NullPointer4/test.desc [OK] in 1 seconds + Running NullPointer4/test.desc [OK] in 0 seconds Running NullPointerException1/test.desc [SKIPPED] Running NullPointerException2/test.desc [OK] in 0 seconds Running NullPointerException3/test.desc [OK] in 0 seconds @@ -5784,9 +5818,9 @@ Running array1/test.desc [OK] in 0 seconds Running array2/test.desc [OK] in 0 seconds Running array_nonconstsize_nonconstaccess/test_float_multidim_1.desc [OK] in 0 seconds - Running array_nonconstsize_nonconstaccess/test_float_multidim_2.desc [OK] in 0 seconds + Running array_nonconstsize_nonconstaccess/test_float_multidim_2.desc [OK] in 1 seconds Running array_nonconstsize_nonconstaccess/test_ref_multidim_1.desc [OK] in 0 seconds - Running array_nonconstsize_nonconstaccess/test_ref_multidim_2.desc [OK] in 1 seconds + Running array_nonconstsize_nonconstaccess/test_ref_multidim_2.desc [OK] in 0 seconds Running array_nonconstsize_nonconstaccess/test_ref_multidim_constsize.desc [OK] in 0 seconds Running array_nonconstsize_nonconstaccess/test_ref_singledim.desc [OK] in 0 seconds Running arraylength1/test.desc [OK] in 0 seconds @@ -5795,7 +5829,7 @@ Running assert2/test.desc [OK] in 0 seconds Running assert3/test.desc [OK] in 0 seconds Running assert3/test_throw_no_uncaught.desc [OK] in 0 seconds - Running assert4/test.desc [OK] in 0 seconds + Running assert4/test.desc [OK] in 1 seconds Running assert5/test.desc [OK] in 0 seconds Running assert6/test.desc [OK] in 0 seconds Running assert7/test.desc [OK] in 0 seconds @@ -5807,13 +5841,13 @@ Running athrow1/test.desc [SKIPPED] Running basic1/test.desc [OK] in 0 seconds Running basic2/test.desc [OK] in 0 seconds - Running bitwise1/test.desc [OK] in 1 seconds + Running bitwise1/test.desc [OK] in 0 seconds Running boolean1/test.desc [OK] in 0 seconds Running boolean2/test.desc [OK] in 0 seconds Running cast1/test.desc [OK] in 0 seconds Running cast_null1/test.desc [OK] in 0 seconds Running cast_null2/test.desc [OK] in 0 seconds - Running catch1/test.desc [OK] in 0 seconds + Running catch1/test.desc [OK] in 1 seconds Running catch1/test_no_uncaught_exceptions.desc [OK] in 0 seconds Running char1/test.desc [OK] in 0 seconds Running class-fields/test.desc [OK] in 0 seconds @@ -5840,7 +5874,7 @@ Running enum_values_clone_name/test.desc [SKIPPED] Running environment1/test.desc [SKIPPED] Running exceptions1/test.desc [OK] in 0 seconds - Running exceptions10/test.desc [OK] in 0 seconds + Running exceptions10/test.desc [OK] in 1 seconds Running exceptions11/test.desc [OK] in 0 seconds Running exceptions12/test.desc [OK] in 0 seconds Running exceptions13/test.desc [OK] in 0 seconds @@ -5848,27 +5882,27 @@ Running exceptions15/test.desc [OK] in 0 seconds Running exceptions16/test.desc [OK] in 0 seconds Running exceptions18/test.desc [OK] in 0 seconds - Running exceptions19/test.desc [OK] in 1 seconds + Running exceptions19/test.desc [OK] in 0 seconds Running exceptions2/test.desc [OK] in 0 seconds Running exceptions20/test.desc [OK] in 0 seconds Running exceptions21/test.desc [OK] in 0 seconds Running exceptions22/test.desc [OK] in 0 seconds Running exceptions23/test.desc [OK] in 0 seconds Running exceptions24/test.desc [OK] in 0 seconds - Running exceptions26/test.desc [OK] in 0 seconds + Running exceptions26/test.desc [OK] in 1 seconds Running exceptions27/test.desc [OK] in 0 seconds Running exceptions3/test.desc [OK] in 0 seconds Running exceptions4/test.desc [OK] in 0 seconds Running exceptions5/test.desc [OK] in 0 seconds Running exceptions6/test.desc [OK] in 0 seconds Running exceptions7/test.desc [OK] in 0 seconds - Running exceptions8/test.desc [OK] in 1 seconds + Running exceptions8/test.desc [OK] in 0 seconds Running exceptions9/test.desc [OK] in 0 seconds Running external_getstatic1/test.desc [OK] in 0 seconds Running farith1/test.desc [OK] in 0 seconds Running fcmpx_dcmpx1/test.desc [OK] in 0 seconds Running finally1/test.desc [OK] in 0 seconds - Running finally2/test.desc [OK] in 0 seconds + Running finally2/test.desc [OK] in 1 seconds Running finally3/test.desc [OK] in 0 seconds Running finally4/test.desc [OK] in 0 seconds Running finally5/test.desc [OK] in 0 seconds @@ -5886,13 +5920,13 @@ Running iarith2/test.desc [OK] in 0 seconds Running if_acmp1/test.desc [OK] in 0 seconds Running if_expr1/test.desc [OK] in 0 seconds - Running if_icmp1/test.desc [OK] in 1 seconds + Running if_icmp1/test.desc [OK] in 0 seconds Running ifxx1/test.desc [OK] in 0 seconds Running inferlexicalscope1/test.desc [OK] in 0 seconds Running inherited_static_field1/test.desc [OK] in 0 seconds Running inherited_static_field10/test.desc [OK] in 0 seconds Running inherited_static_field2/test.desc [OK] in 0 seconds - Running inherited_static_field3/test.desc [OK] in 0 seconds + Running inherited_static_field3/test.desc [OK] in 1 seconds Running inherited_static_field4/test.desc [OK] in 0 seconds Running inherited_static_field5/test.desc [OK] in 0 seconds Running inherited_static_field6/test.desc [OK] in 0 seconds @@ -5909,10 +5943,10 @@ Running instanceof8/test.desc [OK] in 0 seconds Running integer_without_simplify1/test.desc [OK] in 0 seconds Running interface1/test.desc [OK] in 0 seconds - Running internal1/test.desc [OK] in 1 seconds + Running internal1/test.desc [OK] in 0 seconds Running invalid_classpath/test-jar.desc [SKIPPED] Running invalid_classpath/test-path.desc [SKIPPED] - Running isnan1/test.desc [OK] in 0 seconds + Running isnan1/test.desc [OK] in 1 seconds Running iterator1/test.desc [OK] in 0 seconds Running iterator2/test.desc [OK] in 0 seconds Running jar-file1/test.desc [OK] in 0 seconds @@ -5921,10 +5955,10 @@ Running jar-file4/test.desc [OK] in 0 seconds Running json_trace1/test.desc [OK] in 0 seconds Running json_trace2/test.desc [OK] in 0 seconds - Running json_trace3/test.desc [OK] in 0 seconds + Running json_trace3/test.desc [OK] in 1 seconds Running jsr1/test.desc [SKIPPED] Running jsr2/test.desc [OK] in 0 seconds - Running lambda1/test.desc [OK] in 1 seconds + Running lambda1/test.desc [OK] in 0 seconds Running lambda2/test.desc [SKIPPED] Running lambda2/test_no_crash.desc [SKIPPED] Running lambda2/test_no_crash_ecj.desc [OK] in 0 seconds @@ -5962,11 +5996,11 @@ Running lazyloading_synthetic_method_cleanup3/check_clinit_removed_by_lazy_loading.desc [SKIPPED] Running lazyloading_synthetic_method_cleanup3/check_runs_with_lazy_loading.desc [SKIPPED] Running list1/test.desc [OK] in 0 seconds - Running long1/test.desc [OK] in 0 seconds + Running long1/test.desc [OK] in 1 seconds Running lookupswitch1/test.desc [OK] in 0 seconds Running loop1/test.desc [OK] in 0 seconds Running lots_local_variables_manual/test.desc [OK] in 0 seconds - Running lots_of_local_variables/test.desc [OK] in 1 seconds + Running lots_of_local_variables/test.desc [OK] in 0 seconds Running lvt-groovy/test.desc [SKIPPED] Running lvt-unexpected/test.desc [SKIPPED] Running main-args-elements-non-null1/test.desc [OK] in 0 seconds @@ -5975,20 +6009,20 @@ Running main-args-non-null1/test.desc [OK] in 0 seconds Running method_parameters1/test.desc [SKIPPED] Running method_parameters2/test.desc [SKIPPED] - Running monitorenter1/test.desc [OK] in 0 seconds + Running monitorenter1/test.desc [OK] in 1 seconds Running multinewarray/test.desc [OK] in 0 seconds Running must-not-throw-annotation/test.desc [OK] in 0 seconds Running no-main-args-elements-maybe-null1/test.desc [OK] in 0 seconds Running no-main-args-elements-maybe-null2/test.desc [OK] in 0 seconds Running no-main-args-maybe-null1/test.desc [OK] in 0 seconds - Running no-main-args-maybe-null2/test.desc [OK] in 1 seconds + Running no-main-args-maybe-null2/test.desc [OK] in 0 seconds Running no-main-int-array-maybe-null1/test.desc [OK] in 0 seconds - Running no-main-multi-array-maybe-null1/test.desc [OK] in 1 seconds + Running no-main-multi-array-maybe-null1/test.desc [OK] in 2 seconds Running no-main-multi-array-maybe-null2/test.desc [OK] in 1 seconds Running no-main-object-array-elements-maybe-null1/test.desc [OK] in 0 seconds Running no-main-object-array-elements-maybe-null2/test.desc [OK] in 0 seconds Running no-main-object-array-maybe-null1/test.desc [OK] in 0 seconds - Running no-main-object-array-maybe-null2/test.desc [OK] in 0 seconds + Running no-main-object-array-maybe-null2/test.desc [OK] in 1 seconds Running overlay-class/correct-test.desc [OK] in 0 seconds Running overlay-class/duplicate-test.desc [OK] in 0 seconds Running overlay-class/misordered-test.desc [OK] in 0 seconds @@ -5997,9 +6031,9 @@ Running package1/test.desc [OK] in 0 seconds Running package_friendly1/test.desc [SKIPPED] Running phi-merge_uninitialized_values/field.desc [OK] in 0 seconds - Running phi-merge_uninitialized_values/local.desc [OK] in 1 seconds + Running phi-merge_uninitialized_values/local.desc [OK] in 0 seconds Running phi-merge_uninitialized_values/static_field.desc [OK] in 0 seconds - Running pointer_check1/test.desc [OK] in 0 seconds + Running pointer_check1/test.desc [OK] in 1 seconds Running provide_object_implementation/test.desc [SKIPPED] Running putfield_getfield1/test.desc [OK] in 0 seconds Running putstatic_getstatic1/test.desc [OK] in 0 seconds @@ -6023,8 +6057,8 @@ Running siblingobjects1/test.desc [OK] in 0 seconds Running siblingobjects2/test.desc [OK] in 0 seconds Running simplify_expr_termination/test.desc [OK] in 0 seconds - Running stack_var1/test.desc [OK] in 1 seconds - Running stack_var10/test.desc [OK] in 0 seconds + Running stack_var1/test.desc [OK] in 0 seconds + Running stack_var10/test.desc [OK] in 1 seconds Running stack_var12/test.desc [OK] in 0 seconds Running stack_var2/test.desc [OK] in 0 seconds Running stack_var3/test.desc [OK] in 0 seconds @@ -6046,7 +6080,7 @@ Running string_literal1/test.desc [SKIPPED] Running stub_identifiers/test.desc [SKIPPED] Running swap1/test.desc [OK] in 0 seconds - Running swap2/test.desc [OK] in 0 seconds + Running swap2/test.desc [OK] in 1 seconds Running symex_should_exclude_null_pointers/test.desc [OK] in 0 seconds Running symex_should_exclude_null_pointers/test_vccs.desc [OK] in 0 seconds Running synchronized/test.desc [SKIPPED] @@ -6056,10 +6090,10 @@ Running trace_options_json_extended/extended.desc [OK] in 0 seconds Running trace_options_json_extended/non-extended.desc [OK] in 0 seconds Running uninitialised1/test.desc [OK] in 0 seconds - Running very-long-jumps/test.desc [OK] in 1 seconds + Running very-long-jumps/test.desc [OK] in 0 seconds Running virtual1/test.desc [OK] in 0 seconds Running virtual10/test.desc [OK] in 0 seconds - Running virtual2/test.desc [OK] in 0 seconds + Running virtual2/test.desc [OK] in 1 seconds Running virtual4/test.desc [OK] in 0 seconds Running virtual5/test.desc [OK] in 0 seconds Running virtual6/test.desc [OK] in 0 seconds @@ -6086,17 +6120,17 @@ Running get-current-thread/test.desc [OK] in 0 seconds Running get-current-thread/test2.desc [SKIPPED] Running get-current-thread/test3.desc [SKIPPED] - Running get-current-thread/test4.desc [OK] in 0 seconds + Running get-current-thread/test4.desc [OK] in 1 seconds Running get-current-thread/test5.desc [OK] in 1 seconds Running get-current-thread/test6.desc [OK] in 0 seconds Running get-current-thread/test_bug.desc [SKIPPED] Running java-lang-runnable/test.desc [OK] in 1 seconds - Running java-lang-runnable/test2.desc [OK] in 1 seconds - Running java-lang-runnable/test3.desc [OK] in 0 seconds + Running java-lang-runnable/test2.desc [OK] in 0 seconds + Running java-lang-runnable/test3.desc [OK] in 1 seconds Running java-lang-runnable/test4.desc [OK] in 1 seconds Running java-lang-thread/test.desc [OK] in 0 seconds Running java-lang-thread/test2.desc [OK] in 1 seconds - Running java-lang-thread/test3.desc [OK] in 0 seconds + Running java-lang-thread/test3.desc [OK] in 1 seconds Running java-lang-thread/test4.desc [OK] in 1 seconds Running several-threads/test.desc [OK] in 1 seconds Running several-threads/test2.desc [OK] in 1 seconds @@ -6107,13 +6141,13 @@ Running synchronized-blocks/test3.desc [OK] in 0 seconds Running synchronized-blocks/test4.desc [OK] in 0 seconds Running synchronized-blocks/test_sync.desc [OK] in 1 seconds - Running synchronized-blocks/test_sync_baseline.desc [OK] in 1 seconds + Running synchronized-blocks/test_sync_baseline.desc [OK] in 2 seconds Running synchronized-blocks-illegal-state/test.desc [SKIPPED] Running synchronized-blocks-null-throw/test.desc [SKIPPED] Running synchronized-blocks-throw/test.desc [SKIPPED] Running synchronized-method-illegal-state/test.desc [OK] in 0 seconds - Running synchronized-methods/test1.desc [OK] in 1 seconds - Running synchronized-methods/test2.desc [OK] in 0 seconds + Running synchronized-methods/test1.desc [OK] in 0 seconds + Running synchronized-methods/test2.desc [OK] in 1 seconds Running synchronized-methods/test3.desc [OK] in 0 seconds Running synchronized-methods/test_sync.desc [OK] in 1 seconds Running synchronized-methods/test_sync_baseline.desc [OK] in 1 seconds @@ -6177,7 +6211,7 @@ Running StaticCharMethods04/test.desc [OK] in 0 seconds Running StaticCharMethods05/test.desc [OK] in 0 seconds Running StaticCharMethods06/test.desc [SKIPPED] - Running StringArray/test.desc [OK] in 0 seconds + Running StringArray/test.desc [OK] in 1 seconds Running StringBuilderAppend01/test.desc [SKIPPED] Running StringBuilderAppend02/test.desc [SKIPPED] Running StringBuilderCapLen01/test.desc [SKIPPED] @@ -6192,17 +6226,17 @@ Running StringBuilderChars06/test.desc [SKIPPED] Running StringBuilderConstructors01/test.desc [SKIPPED] Running StringBuilderConstructors02/test.desc [SKIPPED] - Running StringBuilderInsert/test.desc [OK] in 1 seconds + Running StringBuilderInsert/test.desc [OK] in 0 seconds Running StringBuilderInsertDelete01/test.desc [SKIPPED] Running StringBuilderInsertDelete02/test.desc [SKIPPED] Running StringBuilderInsertDelete03/test.desc [SKIPPED] Running StringBuilderSetCharAt/test_dependency.desc [OK] in 0 seconds Running StringBuilderSetCharAt/test_det.desc [OK] in 0 seconds - Running StringBuilderSetCharAt/test_nondet.desc [OK] in 0 seconds + Running StringBuilderSetCharAt/test_nondet.desc [OK] in 1 seconds Running StringCompare01/test.desc [SKIPPED] Running StringCompare02/test.desc [OK] in 0 seconds Running StringCompare03/test.desc [OK] in 0 seconds - Running StringCompare04/test.desc [OK] in 1 seconds + Running StringCompare04/test.desc [OK] in 0 seconds Running StringCompare05/test.desc [OK] in 0 seconds Running StringConcat/test_buffer_det.desc [OK] in 0 seconds Running StringConcat/test_buffer_nondet_loop.desc [OK] in 0 seconds @@ -6210,15 +6244,15 @@ Running StringConcat/test_buffer_nondet_loop3.desc [OK] in 0 seconds Running StringConcat/test_buffer_nondet_loop4.desc [OK] in 0 seconds Running StringConcat/test_buffer_nondet_loop5.desc [OK] in 1 seconds - Running StringConcat/test_char_buffer_det.desc [OK] in 0 seconds + Running StringConcat/test_char_buffer_det.desc [OK] in 1 seconds Running StringConcat/test_char_buffer_det_loop.desc [OK] in 0 seconds Running StringConcat/test_char_buffer_det_loop2.desc [OK] in 1 seconds Running StringConcat/test_string_det.desc [OK] in 0 seconds Running StringConcat/test_string_nondet.desc [OK] in 1 seconds Running StringConcat_StringII/test.desc [OK] in 1 seconds - Running StringConcat_StringII/test_fail.desc [OK] in 0 seconds + Running StringConcat_StringII/test_fail.desc [OK] in 1 seconds Running StringConcatenation01/test.desc [OK] in 0 seconds - Running StringConcatenation02/test.desc [OK] in 1 seconds + Running StringConcatenation02/test.desc [OK] in 0 seconds Running StringConcatenation03/test.desc [OK] in 0 seconds Running StringConcatenation04/test.desc [OK] in 0 seconds Running StringConstructors01/test.desc [SKIPPED] @@ -6230,7 +6264,7 @@ Running StringContains02/test.desc [SKIPPED] Running StringContains03/test.desc [OK] in 0 seconds Running StringDependencies/test.desc [OK] in 0 seconds - Running StringEquals/test.desc [OK] in 0 seconds + Running StringEquals/test.desc [OK] in 1 seconds Running StringEquals/test_verify.desc [SKIPPED] Running StringEquals/test_verify_non_null.desc [OK] in 1 seconds Running StringIndexMethods01/test.desc [SKIPPED] @@ -6239,19 +6273,19 @@ Running StringIndexMethods04/test.desc [OK] in 0 seconds Running StringIndexMethods04/test_bug.desc [SKIPPED] Running StringIndexMethods05/test.desc [SKIPPED] - Running StringIndexOf/test.desc [OK] in 1 seconds + Running StringIndexOf/test.desc [OK] in 0 seconds Running StringIndexOf/test2.desc [OK] in 0 seconds Running StringIndexOf/test_thorough.desc [SKIPPED] Running StringLastIndexOf/test.desc [OK] in 0 seconds Running StringMiscellaneous01/test.desc [SKIPPED] - Running StringMiscellaneous02/test.desc [OK] in 0 seconds + Running StringMiscellaneous02/test.desc [OK] in 1 seconds Running StringMiscellaneous03/test.desc [OK] in 0 seconds - Running StringMiscellaneous04/test.desc [OK] in 1 seconds - Running StringModelsWithFields/test.desc [OK] in 0 seconds + Running StringMiscellaneous04/test.desc [OK] in 0 seconds + Running StringModelsWithFields/test.desc [OK] in 1 seconds Running StringStartEnd01/test.desc [SKIPPED] Running StringStartEnd02/test.desc [OK] in 0 seconds Running StringStartEnd03/test.desc [SKIPPED] - Running StringSubstring/test.desc [OK] in 1 seconds + Running StringSubstring/test.desc [OK] in 2 seconds Running StringSubstring/test_fail.desc [OK] in 2 seconds Running StringToLowerCase/test_dependency.desc [OK] in 14 seconds Running StringToLowerCase/test_det.desc [OK] in 0 seconds @@ -6264,15 +6298,15 @@ Running StringValueOf03/test.desc [OK] in 0 seconds Running StringValueOf04/test.desc [OK] in 0 seconds Running StringValueOf05/test.desc [OK] in 0 seconds - Running StringValueOf06/test.desc [OK] in 0 seconds - Running StringValueOf07/test.desc [OK] in 2 seconds + Running StringValueOf06/test.desc [OK] in 1 seconds + Running StringValueOf07/test.desc [OK] in 1 seconds Running StringValueOf08/test.desc [OK] in 0 seconds Running StringValueOf09/test.desc [OK] in 1 seconds Running StringValueOf10/test.desc [SKIPPED] Running StringValueOfInt/test_dependency.desc [OK] in 0 seconds Running StringValueOfInt/test_det.desc [OK] in 0 seconds - Running StringValueOfInt/test_nondet.desc [OK] in 0 seconds - Running SubString01/test.desc [OK] in 1 seconds + Running StringValueOfInt/test_nondet.desc [OK] in 1 seconds + Running SubString01/test.desc [OK] in 0 seconds Running SubString02/test.desc [OK] in 0 seconds Running SubString03/test.desc [OK] in 0 seconds Running TokenTest01/test.desc [SKIPPED] @@ -6283,9 +6317,9 @@ Running bug-test-gen-095/test.desc [SKIPPED] Running bug-test-gen-119/test.desc [OK] in 0 seconds Running bug-test-gen-119-2/test.desc [OK] in 1 seconds - Running char_escape/test.desc [OK] in 0 seconds - Running instanceof/test.desc [OK] in 1 seconds - Running java_append_char/test.desc [OK] in 0 seconds + Running char_escape/test.desc [OK] in 1 seconds + Running instanceof/test.desc [OK] in 0 seconds + Running java_append_char/test.desc [OK] in 1 seconds Running java_append_int/test.desc [SKIPPED] Running java_append_object/test.desc [SKIPPED] Running java_char_array_init/test.desc [OK] in 1 seconds @@ -6295,16 +6329,16 @@ Running java_delete/test.desc [OK] in 0 seconds Running java_easychair/test.desc [SKIPPED] Running java_empty/test.desc [OK] in 0 seconds - Running java_insert_char/test.desc [OK] in 0 seconds + Running java_insert_char/test.desc [OK] in 1 seconds Running java_insert_int/test.desc [OK] in 0 seconds - Running literal-length/test.desc [OK] in 1 seconds + Running literal-length/test.desc [OK] in 0 seconds Running long_string/test.desc [OK] in 0 seconds Running long_string/test_abort.desc [OK] in 0 seconds - Running max-length/test1.desc [OK] in 0 seconds + Running max-length/test1.desc [OK] in 1 seconds Running max-length/test2.desc [OK] in 0 seconds Running max-length/test3.desc [OK] in 0 seconds Running max-length/test4.desc [OK] in 0 seconds - Running max-length-generic-array/test.desc [OK] in 1 seconds + Running max-length-generic-array/test.desc [OK] in 0 seconds Running max-length-generic-array/test_gen.desc [OK] in 0 seconds Running stub-string-length/test.desc [OK] in 0 seconds @@ -6321,7 +6355,7 @@ Running RegexSubstitution02/test.desc [SKIPPED] Running RegexSubstitution03/test.desc [SKIPPED] Running StartsWith/test.desc [OK] in 1 seconds - Running StartsWith/test_det.desc [OK] in 0 seconds + Running StartsWith/test_det.desc [OK] in 1 seconds Running StartsWith/test_nondet.desc [SKIPPED] Running StaticCharMethods01/test.desc [OK] in 0 seconds Running StaticCharMethods02/test.desc [OK] in 0 seconds @@ -6329,7 +6363,7 @@ Running StaticCharMethods04/test.desc [OK] in 0 seconds Running StaticCharMethods05/test.desc [OK] in 0 seconds Running StaticCharMethods06/test.desc [SKIPPED] - Running StringArray/test.desc [OK] in 1 seconds + Running StringArray/test.desc [OK] in 0 seconds Running StringBuilderAppend01/test.desc [SKIPPED] Running StringBuilderAppend02/test.desc [SKIPPED] Running StringBuilderCapLen01/test.desc [SKIPPED] @@ -6344,7 +6378,7 @@ Running StringBuilderChars06/test.desc [SKIPPED] Running StringBuilderConstructors01/test.desc [SKIPPED] Running StringBuilderConstructors02/test.desc [SKIPPED] - Running StringBuilderInsert/test.desc [OK] in 0 seconds + Running StringBuilderInsert/test.desc [OK] in 1 seconds Running StringBuilderInsertDelete01/test.desc [SKIPPED] Running StringBuilderInsertDelete02/test.desc [SKIPPED] Running StringBuilderInsertDelete03/test.desc [SKIPPED] @@ -6352,25 +6386,25 @@ Running StringBuilderSetCharAt/test_det.desc [OK] in 0 seconds Running StringBuilderSetCharAt/test_nondet.desc [OK] in 0 seconds Running StringCompare01/test.desc [SKIPPED] - Running StringCompare02/test.desc [OK] in 1 seconds - Running StringCompare03/test.desc [OK] in 0 seconds + Running StringCompare02/test.desc [OK] in 0 seconds + Running StringCompare03/test.desc [OK] in 1 seconds Running StringCompare04/test.desc [OK] in 0 seconds Running StringCompare05/test.desc [OK] in 0 seconds Running StringConcat/test_buffer_det.desc [OK] in 0 seconds Running StringConcat/test_buffer_nondet_loop.desc [OK] in 0 seconds Running StringConcat/test_buffer_nondet_loop2.desc [OK] in 1 seconds Running StringConcat/test_buffer_nondet_loop3.desc [OK] in 0 seconds - Running StringConcat/test_buffer_nondet_loop4.desc [OK] in 0 seconds + Running StringConcat/test_buffer_nondet_loop4.desc [OK] in 1 seconds Running StringConcat/test_buffer_nondet_loop5.desc [OK] in 1 seconds - Running StringConcat/test_char_buffer_det.desc [OK] in 1 seconds + Running StringConcat/test_char_buffer_det.desc [OK] in 0 seconds Running StringConcat/test_char_buffer_det_loop.desc [OK] in 0 seconds Running StringConcat/test_char_buffer_det_loop2.desc [OK] in 1 seconds - Running StringConcat/test_string_det.desc [OK] in 0 seconds - Running StringConcat/test_string_nondet.desc [OK] in 1 seconds - Running StringConcat_StringII/test.desc [OK] in 1 seconds + Running StringConcat/test_string_det.desc [OK] in 1 seconds + Running StringConcat/test_string_nondet.desc [OK] in 0 seconds + Running StringConcat_StringII/test.desc [OK] in 2 seconds Running StringConcat_StringII/test_fail.desc [OK] in 0 seconds - Running StringConcatenation01/test.desc [OK] in 1 seconds - Running StringConcatenation02/test.desc [OK] in 0 seconds + Running StringConcatenation01/test.desc [OK] in 0 seconds + Running StringConcatenation02/test.desc [OK] in 1 seconds Running StringConcatenation03/test.desc [OK] in 0 seconds Running StringConcatenation04/test.desc [OK] in 0 seconds Running StringConstructors01/test.desc [SKIPPED] @@ -6388,43 +6422,43 @@ Running StringIndexMethods01/test.desc [SKIPPED] Running StringIndexMethods02/test.desc [OK] in 0 seconds Running StringIndexMethods03/test.desc [OK] in 0 seconds - Running StringIndexMethods04/test.desc [OK] in 0 seconds + Running StringIndexMethods04/test.desc [OK] in 1 seconds Running StringIndexMethods04/test_bug.desc [SKIPPED] Running StringIndexMethods05/test.desc [SKIPPED] - Running StringIndexOf/test.desc [OK] in 1 seconds + Running StringIndexOf/test.desc [OK] in 0 seconds Running StringIndexOf/test2.desc [OK] in 0 seconds Running StringIndexOf/test_thorough.desc [SKIPPED] Running StringLastIndexOf/test.desc [OK] in 0 seconds Running StringMiscellaneous01/test.desc [SKIPPED] Running StringMiscellaneous02/test.desc [OK] in 0 seconds - Running StringMiscellaneous03/test.desc [OK] in 0 seconds - Running StringMiscellaneous04/test.desc [OK] in 1 seconds + Running StringMiscellaneous03/test.desc [OK] in 1 seconds + Running StringMiscellaneous04/test.desc [OK] in 0 seconds Running StringModelsWithFields/test.desc [OK] in 0 seconds Running StringStartEnd01/test.desc [SKIPPED] - Running StringStartEnd02/test.desc [OK] in 0 seconds + Running StringStartEnd02/test.desc [OK] in 1 seconds Running StringStartEnd03/test.desc [SKIPPED] Running StringSubstring/test.desc [OK] in 1 seconds - Running StringSubstring/test_fail.desc [OK] in 2 seconds - Running StringToLowerCase/test_dependency.desc [OK] in 11 seconds - Running StringToLowerCase/test_det.desc [OK] in 0 seconds - Running StringToLowerCase/test_nondet.desc [OK] in 1 seconds - Running StringToUpperCase/test_dependency.desc [OK] in 1 seconds + Running StringSubstring/test_fail.desc [OK] in 3 seconds + Running StringToLowerCase/test_dependency.desc [OK] in 12 seconds + Running StringToLowerCase/test_det.desc [OK] in 1 seconds + Running StringToLowerCase/test_nondet.desc [OK] in 0 seconds + Running StringToUpperCase/test_dependency.desc [OK] in 2 seconds Running StringToUpperCase/test_det.desc [OK] in 0 seconds - Running StringToUpperCase/test_nondet.desc [OK] in 1 seconds + Running StringToUpperCase/test_nondet.desc [OK] in 0 seconds Running StringValueOf01/test.desc [SKIPPED] Running StringValueOf02/test.desc [OK] in 0 seconds Running StringValueOf03/test.desc [OK] in 0 seconds Running StringValueOf04/test.desc [OK] in 0 seconds - Running StringValueOf05/test.desc [OK] in 0 seconds + Running StringValueOf05/test.desc [OK] in 1 seconds Running StringValueOf06/test.desc [OK] in 0 seconds Running StringValueOf07/test.desc [OK] in 2 seconds Running StringValueOf08/test.desc [OK] in 1 seconds Running StringValueOf09/test.desc [OK] in 0 seconds Running StringValueOf10/test.desc [SKIPPED] Running StringValueOfInt/test_dependency.desc [OK] in 0 seconds - Running StringValueOfInt/test_det.desc [OK] in 0 seconds - Running StringValueOfInt/test_nondet.desc [OK] in 1 seconds - Running SubString01/test.desc [OK] in 0 seconds + Running StringValueOfInt/test_det.desc [OK] in 1 seconds + Running StringValueOfInt/test_nondet.desc [OK] in 0 seconds + Running SubString01/test.desc [OK] in 1 seconds Running SubString02/test.desc [OK] in 0 seconds Running SubString03/test.desc [OK] in 0 seconds Running TokenTest01/test.desc [SKIPPED] @@ -6455,7 +6489,7 @@ Running max-length/test1.desc [OK] in 0 seconds Running max-length/test2.desc [OK] in 0 seconds Running max-length/test3.desc [OK] in 0 seconds - Running max-length/test4.desc [OK] in 0 seconds + Running max-length/test4.desc [OK] in 1 seconds Running max-length-generic-array/test.desc [OK] in 0 seconds Running max-length-generic-array/test_gen.desc [OK] in 0 seconds Running stub-string-length/test.desc [OK] in 0 seconds @@ -6479,7 +6513,7 @@ Running java-mod-comment/test.desc [OK] in 0 seconds Running java-mod-identifier/test.desc [OK] in 0 seconds Running java-mod-identifier2/test.desc [OK] in 0 seconds - Running java-mod-package/test.desc [OK] in 1 seconds + Running java-mod-package/test.desc [OK] in 0 seconds Running java-new-function/test.desc [OK] in 0 seconds Running java-no-change/test.desc [OK] in 0 seconds Running java-properties/test.desc [OK] in 0 seconds @@ -6506,10 +6540,10 @@ Running tests Running java_append_char/test.desc [SKIPPED] Running java_append_int/test.desc [SKIPPED] - Running java_append_string/test.desc [OK] in 0 seconds + Running java_append_string/test.desc [OK] in 1 seconds Running java_append_string/test_substring.desc [OK] in 0 seconds - Running java_case/test.desc [OK] in 1 seconds - Running java_char_array/test.desc [OK] in 0 seconds + Running java_case/test.desc [OK] in 0 seconds + Running java_char_array/test.desc [OK] in 1 seconds Running java_char_at/test.desc [OK] in 0 seconds Running java_code_point/test.desc [OK] in 0 seconds Running java_contains/test.desc [OK] in 0 seconds @@ -6519,12 +6553,12 @@ Running java_equal/test.desc [OK] in 0 seconds Running java_equal/test_2.desc [SKIPPED] Running java_float/test.desc [SKIPPED] - Running java_format/test.desc [OK] in 1 seconds - Running java_format2/test.desc [OK] in 0 seconds - Running java_format3/test.desc [OK] in 1 seconds + Running java_format/test.desc [OK] in 0 seconds + Running java_format2/test.desc [OK] in 1 seconds + Running java_format3/test.desc [OK] in 0 seconds Running java_format4/test.desc [SKIPPED] Running java_format5/test.desc [SKIPPED] - Running java_hash_code/test.desc [OK] in 0 seconds + Running java_hash_code/test.desc [OK] in 1 seconds Running java_if/test.desc [OK] in 0 seconds Running java_index_of/test.desc [OK] in 0 seconds Running java_index_of2/test.desc [OK] in 0 seconds @@ -6541,21 +6575,21 @@ Running java_int_to_string/test5.desc [OK] in 0 seconds Running java_int_to_string_knownbug/test.desc [SKIPPED] Running java_int_to_string_with_radix/test_binary1.desc [OK] in 1 seconds - Running java_int_to_string_with_radix/test_binary2.desc [OK] in 0 seconds - Running java_int_to_string_with_radix/test_binary3.desc [OK] in 1 seconds + Running java_int_to_string_with_radix/test_binary2.desc [OK] in 1 seconds + Running java_int_to_string_with_radix/test_binary3.desc [OK] in 0 seconds Running java_int_to_string_with_radix/test_decimal.desc [OK] in 0 seconds Running java_int_to_string_with_radix/test_hex1.desc [OK] in 0 seconds - Running java_int_to_string_with_radix/test_hex2.desc [OK] in 0 seconds + Running java_int_to_string_with_radix/test_hex2.desc [OK] in 1 seconds Running java_int_to_string_with_radix/test_hex3.desc [OK] in 0 seconds Running java_int_to_string_with_radix/test_octal1.desc [OK] in 0 seconds - Running java_int_to_string_with_radix/test_octal2.desc [OK] in 1 seconds + Running java_int_to_string_with_radix/test_octal2.desc [OK] in 0 seconds Running java_int_to_string_with_radix/test_octal3.desc [OK] in 0 seconds Running java_int_to_string_with_radix_knownbug/test_binary.desc [SKIPPED] Running java_int_to_string_with_radix_knownbug/test_hex.desc [SKIPPED] Running java_int_to_string_with_radix_knownbug/test_octal.desc [SKIPPED] Running java_intern/test.desc [OK] in 0 seconds Running java_last_index_of/test.desc [OK] in 0 seconds - Running java_last_index_of2/test.desc [OK] in 0 seconds + Running java_last_index_of2/test.desc [OK] in 1 seconds Running java_last_index_of_char/test.desc [OK] in 0 seconds Running java_length/test.desc [OK] in 0 seconds Running java_length2/test.desc [SKIPPED] @@ -6563,11 +6597,11 @@ Running java_long_to_string/test2.desc [SKIPPED] Running java_long_to_string/test3.desc [SKIPPED] Running java_long_to_string/test4.desc [SKIPPED] - Running java_long_to_string/test5.desc [OK] in 1 seconds + Running java_long_to_string/test5.desc [OK] in 0 seconds Running java_long_to_string_with_radix/test_binary1.desc [SKIPPED] Running java_long_to_string_with_radix/test_binary2.desc [SKIPPED] Running java_long_to_string_with_radix/test_binary3.desc [SKIPPED] - Running java_long_to_string_with_radix/test_decimal.desc [OK] in 0 seconds + Running java_long_to_string_with_radix/test_decimal.desc [OK] in 1 seconds Running java_long_to_string_with_radix/test_hex1.desc [OK] in 1 seconds Running java_long_to_string_with_radix/test_hex2.desc [OK] in 0 seconds Running java_long_to_string_with_radix/test_hex3.desc [OK] in 1 seconds @@ -6581,32 +6615,32 @@ Running java_parseint_with_radix/test1.desc [OK] in 0 seconds Running java_parseint_with_radix/test2.desc [OK] in 0 seconds Running java_parseint_with_radix/test3.desc [OK] in 0 seconds - Running java_parseint_with_radix/test4.desc [OK] in 0 seconds + Running java_parseint_with_radix/test4.desc [OK] in 1 seconds Running java_parseint_with_radix/test5.desc [OK] in 0 seconds Running java_parseint_with_radix/test6.desc [OK] in 0 seconds Running java_parseint_with_radix_knownbug/test.desc [SKIPPED] - Running java_parselong/test_binary_min.desc [OK] in 1 seconds + Running java_parselong/test_binary_min.desc [OK] in 0 seconds Running java_parselong/test_decimal_max.desc [OK] in 0 seconds - Running java_parselong/test_decimal_min.desc [OK] in 0 seconds + Running java_parselong/test_decimal_min.desc [OK] in 1 seconds Running java_parselong/test_hex.desc [OK] in 0 seconds Running java_parselong/test_octal.desc [OK] in 0 seconds Running java_replace/test.desc [SKIPPED] Running java_replace_char/test.desc [OK] in 0 seconds Running java_set_char_at/test.desc [OK] in 0 seconds - Running java_set_length/test.desc [OK] in 1 seconds + Running java_set_length/test.desc [OK] in 0 seconds Running java_starts_with/test.desc [OK] in 0 seconds Running java_string_builder_length/test.desc [OK] in 0 seconds Running java_string_printable/test.desc [OK] in 0 seconds Running java_string_printable/test_char.desc [OK] in 0 seconds - Running java_subsequence/test.desc [OK] in 0 seconds + Running java_subsequence/test.desc [OK] in 1 seconds Running java_substring/test.desc [OK] in 0 seconds Running java_trim/test.desc [OK] in 0 seconds - Running java_value_of_float/test.desc [OK] in 1 seconds + Running java_value_of_float/test.desc [OK] in 0 seconds Running java_value_of_float_2/test.desc [SKIPPED] Running java_value_of_float_3/test.desc [SKIPPED] Running java_value_of_float_4/test.desc [SKIPPED] Running java_value_of_float_5/test.desc [SKIPPED] - Running java_value_of_long/test.desc [OK] in 1 seconds + Running java_value_of_long/test.desc [OK] in 2 seconds Running max_input_length/test1.desc [OK] in 0 seconds Running max_input_length/test2.desc [OK] in 0 seconds @@ -6625,14 +6659,14 @@ Running java_code_point/test.desc [OK] in 0 seconds Running java_contains/test.desc [OK] in 0 seconds Running java_contains/test_string_printable.desc [SKIPPED] - Running java_delete_char_at/test.desc [OK] in 0 seconds + Running java_delete_char_at/test.desc [OK] in 1 seconds Running java_endswith/test.desc [OK] in 0 seconds - Running java_equal/test.desc [OK] in 1 seconds + Running java_equal/test.desc [OK] in 0 seconds Running java_equal/test_2.desc [SKIPPED] Running java_float/test.desc [SKIPPED] Running java_format/test.desc [OK] in 0 seconds - Running java_format2/test.desc [OK] in 0 seconds - Running java_format3/test.desc [OK] in 1 seconds + Running java_format2/test.desc [OK] in 1 seconds + Running java_format3/test.desc [OK] in 0 seconds Running java_format4/test.desc [SKIPPED] Running java_format5/test.desc [SKIPPED] Running java_hash_code/test.desc [OK] in 0 seconds @@ -6640,27 +6674,27 @@ Running java_index_of/test.desc [OK] in 0 seconds Running java_index_of2/test.desc [OK] in 0 seconds Running java_index_of_char/test.desc [OK] in 0 seconds - Running java_insert_char/test.desc [OK] in 0 seconds + Running java_insert_char/test.desc [OK] in 1 seconds Running java_insert_char_array/test.desc [OK] in 0 seconds Running java_insert_multiple/test.desc [OK] in 0 seconds Running java_insert_string/test.desc [OK] in 0 seconds - Running java_int_to_string/test1.desc [OK] in 1 seconds + Running java_int_to_string/test1.desc [OK] in 0 seconds Running java_int_to_string/test2.desc [OK] in 0 seconds Running java_int_to_string/test2_bug.desc [SKIPPED] Running java_int_to_string/test3.desc [OK] in 0 seconds - Running java_int_to_string/test4.desc [OK] in 0 seconds + Running java_int_to_string/test4.desc [OK] in 1 seconds Running java_int_to_string/test5.desc [OK] in 0 seconds Running java_int_to_string_knownbug/test.desc [SKIPPED] - Running java_int_to_string_with_radix/test_binary1.desc [OK] in 1 seconds - Running java_int_to_string_with_radix/test_binary2.desc [OK] in 0 seconds - Running java_int_to_string_with_radix/test_binary3.desc [OK] in 1 seconds - Running java_int_to_string_with_radix/test_decimal.desc [OK] in 0 seconds + Running java_int_to_string_with_radix/test_binary1.desc [OK] in 0 seconds + Running java_int_to_string_with_radix/test_binary2.desc [OK] in 1 seconds + Running java_int_to_string_with_radix/test_binary3.desc [OK] in 0 seconds + Running java_int_to_string_with_radix/test_decimal.desc [OK] in 1 seconds Running java_int_to_string_with_radix/test_hex1.desc [OK] in 0 seconds Running java_int_to_string_with_radix/test_hex2.desc [OK] in 0 seconds Running java_int_to_string_with_radix/test_hex3.desc [OK] in 0 seconds Running java_int_to_string_with_radix/test_octal1.desc [OK] in 0 seconds - Running java_int_to_string_with_radix/test_octal2.desc [OK] in 1 seconds - Running java_int_to_string_with_radix/test_octal3.desc [OK] in 0 seconds + Running java_int_to_string_with_radix/test_octal2.desc [OK] in 0 seconds + Running java_int_to_string_with_radix/test_octal3.desc [OK] in 1 seconds Running java_int_to_string_with_radix_knownbug/test_binary.desc [SKIPPED] Running java_int_to_string_with_radix_knownbug/test_hex.desc [SKIPPED] Running java_int_to_string_with_radix_knownbug/test_octal.desc [SKIPPED] @@ -6678,11 +6712,11 @@ Running java_long_to_string_with_radix/test_binary1.desc [SKIPPED] Running java_long_to_string_with_radix/test_binary2.desc [SKIPPED] Running java_long_to_string_with_radix/test_binary3.desc [SKIPPED] - Running java_long_to_string_with_radix/test_decimal.desc [OK] in 0 seconds - Running java_long_to_string_with_radix/test_hex1.desc [OK] in 1 seconds + Running java_long_to_string_with_radix/test_decimal.desc [OK] in 1 seconds + Running java_long_to_string_with_radix/test_hex1.desc [OK] in 0 seconds Running java_long_to_string_with_radix/test_hex2.desc [OK] in 0 seconds - Running java_long_to_string_with_radix/test_hex3.desc [OK] in 0 seconds - Running java_long_to_string_with_radix/test_octal1.desc [OK] in 1 seconds + Running java_long_to_string_with_radix/test_hex3.desc [OK] in 1 seconds + Running java_long_to_string_with_radix/test_octal1.desc [OK] in 0 seconds Running java_long_to_string_with_radix/test_octal2.desc [OK] in 0 seconds Running java_long_to_string_with_radix/test_octal3.desc [OK] in 1 seconds Running java_parseint/test1.desc [OK] in 0 seconds @@ -6691,33 +6725,33 @@ Running java_parseint_knownbug/test.desc [SKIPPED] Running java_parseint_with_radix/test1.desc [OK] in 0 seconds Running java_parseint_with_radix/test2.desc [OK] in 0 seconds - Running java_parseint_with_radix/test3.desc [OK] in 0 seconds + Running java_parseint_with_radix/test3.desc [OK] in 1 seconds Running java_parseint_with_radix/test4.desc [OK] in 0 seconds Running java_parseint_with_radix/test5.desc [OK] in 0 seconds Running java_parseint_with_radix/test6.desc [OK] in 0 seconds Running java_parseint_with_radix_knownbug/test.desc [SKIPPED] - Running java_parselong/test_binary_min.desc [OK] in 1 seconds + Running java_parselong/test_binary_min.desc [OK] in 0 seconds Running java_parselong/test_decimal_max.desc [OK] in 0 seconds - Running java_parselong/test_decimal_min.desc [OK] in 0 seconds + Running java_parselong/test_decimal_min.desc [OK] in 1 seconds Running java_parselong/test_hex.desc [OK] in 0 seconds Running java_parselong/test_octal.desc [OK] in 0 seconds Running java_replace/test.desc [SKIPPED] Running java_replace_char/test.desc [OK] in 0 seconds Running java_set_char_at/test.desc [OK] in 0 seconds Running java_set_length/test.desc [OK] in 0 seconds - Running java_starts_with/test.desc [OK] in 1 seconds + Running java_starts_with/test.desc [OK] in 0 seconds Running java_string_builder_length/test.desc [OK] in 0 seconds Running java_string_printable/test.desc [OK] in 0 seconds Running java_string_printable/test_char.desc [OK] in 0 seconds - Running java_subsequence/test.desc [OK] in 0 seconds + Running java_subsequence/test.desc [OK] in 1 seconds Running java_substring/test.desc [OK] in 0 seconds Running java_trim/test.desc [OK] in 0 seconds - Running java_value_of_float/test.desc [OK] in 1 seconds + Running java_value_of_float/test.desc [OK] in 0 seconds Running java_value_of_float_2/test.desc [SKIPPED] Running java_value_of_float_3/test.desc [SKIPPED] Running java_value_of_float_4/test.desc [SKIPPED] Running java_value_of_float_5/test.desc [SKIPPED] - Running java_value_of_long/test.desc [OK] in 1 seconds + Running java_value_of_long/test.desc [OK] in 2 seconds Running max_input_length/test1.desc [OK] in 0 seconds Running max_input_length/test2.desc [OK] in 0 seconds @@ -6741,7 +6775,7 @@ Running tests with log suffix: symex-driven-loading Running type_erasure/test.desc [OK] in 1 seconds - Running type_erasure/test_function_input.desc [OK] in 0 seconds + Running type_erasure/test_function_input.desc [OK] in 1 seconds All tests were successful make[4]: Leaving directory '/build/cbmc-5.10/jbmc/regression/jbmc-generics' @@ -6779,12 +6813,14 @@ dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration +I: user script /srv/workspace/pbuilder/13566/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/13566/tmp/hooks/B01_cleanup finished I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env -I: removing directory /srv/workspace/pbuilder/63325 and its subdirectories -I: Current time: Wed Aug 24 02:55:43 -12 2022 -I: pbuilder-time-stamp: 1661352943 +I: removing directory /srv/workspace/pbuilder/13566 and its subdirectories +I: Current time: Thu Jul 22 23:38:45 +14 2021 +I: pbuilder-time-stamp: 1626946725