Diff of the two buildlogs: -- --- b1/build.log 2019-06-09 10:28:21.559899276 +0000 +++ b2/build.log 2019-06-09 10:59:50.901502526 +0000 @@ -1,6 +1,7 @@ +W: cgroups are not available on the host, not using them. I: pbuilder: network access will be disabled during build -I: Current time: Sat Jun 8 19:40:57 -12 2019 -I: pbuilder-time-stamp: 1560066057 +I: Current time: Sun Jul 12 06:51:31 +14 2020 +I: pbuilder-time-stamp: 1594486291 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration @@ -19,7 +20,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 @@ -37,6 +38,18 @@ dpkg-source: info: applying float-types I: using fakeroot in build. I: Installing the build-deps +I: user script /srv/workspace/pbuilder/54972/tmp/hooks/D01_modify_environment starting +disorder-fs debug: Running on profitbricks-build6-i386. +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/54972/tmp/hooks/D01_modify_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -290,7 +303,7 @@ Get: 198 http://cdn-fastly.deb.debian.org/debian buster/main i386 maven-debian-helper all 2.3.2 [122 kB] Get: 199 http://cdn-fastly.deb.debian.org/debian buster/main i386 minisat i386 1:2.2.1-5+b3 [93.4 kB] Get: 200 http://cdn-fastly.deb.debian.org/debian buster/main i386 zlib1g-dev i386 1:1.2.11.dfsg-1 [216 kB] -Fetched 385 MB in 6min 7s (1049 kB/s) +Fetched 385 MB in 7s (58.9 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:i386. (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 ... 19231 files and directories currently installed.) @@ -1128,134 +1141,134 @@ Setting up ant (1.10.5-2) ... Setting up ca-certificates-java (20190405) ... head: cannot open '/etc/ssl/certs/java/cacerts' for reading: No such file or directory -Adding debian:Comodo_AAA_Services_root.pem -Adding debian:QuoVadis_Root_CA_2_G3.pem -Adding debian:OISTE_WISeKey_Global_Root_GA_CA.pem -Adding debian:CA_Disig_Root_R2.pem -Adding debian:SwissSign_Gold_CA_-_G2.pem -Adding debian:DigiCert_Assured_ID_Root_CA.pem -Adding debian:DigiCert_High_Assurance_EV_Root_CA.pem -Adding debian:SecureSign_RootCA11.pem -Adding debian:Entrust_Root_Certification_Authority_-_G2.pem -Adding debian:SecureTrust_CA.pem -Adding debian:SSL.com_Root_Certification_Authority_ECC.pem +Adding debian:DigiCert_Global_Root_G3.pem Adding debian:SwissSign_Silver_CA_-_G2.pem -Adding debian:GlobalSign_Root_CA_-_R2.pem -Adding debian:SSL.com_EV_Root_Certification_Authority_RSA_R2.pem -Adding debian:IdenTrust_Public_Sector_Root_CA_1.pem -Adding debian:certSIGN_ROOT_CA.pem -Adding debian:T-TeleSec_GlobalRoot_Class_3.pem -Adding debian:QuoVadis_Root_CA.pem -Adding debian:TrustCor_RootCert_CA-1.pem +Adding debian:Comodo_AAA_Services_root.pem Adding debian:DST_Root_CA_X3.pem -Adding debian:Certplus_Class_2_Primary_CA.pem +Adding debian:Go_Daddy_Root_Certificate_Authority_-_G2.pem +Adding debian:DigiCert_Global_Root_G2.pem +Adding debian:QuoVadis_Root_CA.pem +Adding debian:QuoVadis_Root_CA_1_G3.pem +Adding debian:Buypass_Class_3_Root_CA.pem +Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2011.pem +Adding debian:GlobalSign_ECC_Root_CA_-_R4.pem +Adding debian:Security_Communication_Root_CA.pem Adding debian:Entrust.net_Premium_2048_Secure_Server_CA.pem -Adding debian:AffirmTrust_Commercial.pem -Adding debian:GeoTrust_Universal_CA_2.pem -Adding debian:Verisign_Class_3_Public_Primary_Certification_Authority_-_G3.pem -Adding debian:USERTrust_RSA_Certification_Authority.pem -Adding debian:Hellenic_Academic_and_Research_Institutions_ECC_RootCA_2015.pem -Adding debian:OISTE_WISeKey_Global_Root_GB_CA.pem -Adding debian:AffirmTrust_Networking.pem -Adding debian:Certum_Trusted_Network_CA.pem +Adding debian:ePKI_Root_Certification_Authority.pem Adding debian:IdenTrust_Commercial_Root_CA_1.pem -Adding debian:TeliaSonera_Root_CA_v1.pem -Adding debian:AffirmTrust_Premium.pem +Adding debian:SSL.com_EV_Root_Certification_Authority_RSA_R2.pem +Adding debian:EC-ACC.pem +Adding debian:Baltimore_CyberTrust_Root.pem +Adding debian:GDCA_TrustAUTH_R5_ROOT.pem Adding debian:Certigna.pem -Adding debian:Chambers_of_Commerce_Root_-_2008.pem -Adding debian:GlobalSign_Root_CA_-_R6.pem +Adding debian:COMODO_RSA_Certification_Authority.pem +Adding debian:USERTrust_ECC_Certification_Authority.pem +Adding debian:Amazon_Root_CA_2.pem +Adding debian:AC_RAIZ_FNMT-RCM.pem +Adding debian:Entrust_Root_Certification_Authority_-_G2.pem +Adding debian:ISRG_Root_X1.pem +Adding debian:Security_Communication_RootCA2.pem +Adding debian:TWCA_Global_Root_CA.pem Adding debian:Starfield_Root_Certificate_Authority_-_G2.pem -Adding debian:Atos_TrustedRoot_2011.pem -Adding debian:Starfield_Class_2_CA.pem -Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G4.pem -Adding debian:GeoTrust_Global_CA.pem -Adding debian:EE_Certification_Centre_Root_CA.pem -Adding debian:Secure_Global_CA.pem +Adding debian:TrustCor_RootCert_CA-1.pem +Adding debian:AffirmTrust_Premium_ECC.pem +Adding debian:Autoridad_de_Certificacion_Firmaprofesional_CIF_A62634068.pem Adding debian:Amazon_Root_CA_3.pem -Adding debian:Staat_der_Nederlanden_Root_CA_-_G2.pem -Adding debian:Go_Daddy_Root_Certificate_Authority_-_G2.pem -Adding debian:T-TeleSec_GlobalRoot_Class_2.pem -Adding debian:Baltimore_CyberTrust_Root.pem -Adding debian:SZAFIR_ROOT_CA2.pem -Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G5.pem -Adding debian:USERTrust_ECC_Certification_Authority.pem +Adding debian:COMODO_Certification_Authority.pem +Adding debian:Amazon_Root_CA_4.pem +Adding debian:GlobalSign_Root_CA_-_R2.pem +Adding debian:NetLock_Arany_=Class_Gold=_Főtanúsítvány.pem +Adding debian:Entrust_Root_Certification_Authority.pem +Adding debian:GlobalSign_Root_CA_-_R3.pem +Adding debian:DigiCert_Assured_ID_Root_G2.pem +Adding debian:Taiwan_GRCA.pem +Adding debian:GlobalSign_Root_CA_-_R6.pem +Adding debian:SSL.com_EV_Root_Certification_Authority_ECC.pem +Adding debian:AffirmTrust_Premium.pem +Adding debian:Staat_der_Nederlanden_Root_CA_-_G3.pem +Adding debian:Izenpe.com.pem +Adding debian:certSIGN_ROOT_CA.pem +Adding debian:Certum_Trusted_Network_CA.pem +Adding debian:GeoTrust_Primary_Certification_Authority_-_G3.pem +Adding debian:USERTrust_RSA_Certification_Authority.pem +Adding debian:thawte_Primary_Root_CA.pem +Adding debian:TWCA_Root_Certification_Authority.pem +Adding debian:GeoTrust_Universal_CA.pem +Adding debian:AffirmTrust_Networking.pem +Adding debian:T-TeleSec_GlobalRoot_Class_3.pem Adding debian:TrustCor_RootCert_CA-2.pem +Adding debian:ACCVRAIZ1.pem +Adding debian:OISTE_WISeKey_Global_Root_GB_CA.pem +Adding debian:XRamp_Global_CA_Root.pem +Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G5.pem +Adding debian:SSL.com_Root_Certification_Authority_ECC.pem +Adding debian:TUBITAK_Kamu_SM_SSL_Kok_Sertifikasi_-_Surum_1.pem +Adding debian:AffirmTrust_Commercial.pem +Adding debian:SwissSign_Gold_CA_-_G2.pem +Adding debian:QuoVadis_Root_CA_2_G3.pem +Adding debian:GeoTrust_Universal_CA_2.pem +Adding debian:GeoTrust_Primary_Certification_Authority_-_G2.pem +Adding debian:GlobalSign_Root_CA.pem +Adding debian:CA_Disig_Root_R2.pem +Adding debian:Go_Daddy_Class_2_CA.pem +Adding debian:SZAFIR_ROOT_CA2.pem +Adding debian:CFCA_EV_ROOT.pem +Adding debian:LuxTrust_Global_Root_2.pem Adding debian:DigiCert_Global_Root_CA.pem -Adding debian:QuoVadis_Root_CA_2.pem -Adding debian:DigiCert_Assured_ID_Root_G3.pem -Adding debian:thawte_Primary_Root_CA.pem -Adding debian:GlobalSign_ECC_Root_CA_-_R4.pem -Adding debian:COMODO_RSA_Certification_Authority.pem -Adding debian:GeoTrust_Primary_Certification_Authority.pem -Adding debian:Cybertrust_Global_Root.pem -Adding debian:Microsec_e-Szigno_Root_CA_2009.pem -Adding debian:Trustis_FPS_Root_CA.pem -Adding debian:DigiCert_Global_Root_G3.pem Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2015.pem -Adding debian:Deutsche_Telekom_Root_CA_2.pem -Adding debian:Taiwan_GRCA.pem -Adding debian:OISTE_WISeKey_Global_Root_GC_CA.pem -Adding debian:GeoTrust_Primary_Certification_Authority_-_G2.pem -Adding debian:QuoVadis_Root_CA_1_G3.pem Adding debian:QuoVadis_Root_CA_3.pem -Adding debian:Izenpe.com.pem -Adding debian:GDCA_TrustAUTH_R5_ROOT.pem -Adding debian:Entrust_Root_Certification_Authority_-_EC1.pem +Adding debian:Network_Solutions_Certificate_Authority.pem +Adding debian:VeriSign_Class_3_Public_Primary_Certification_Authority_-_G4.pem +Adding debian:GlobalSign_ECC_Root_CA_-_R5.pem +Adding debian:SSL.com_Root_Certification_Authority_RSA.pem +Adding debian:QuoVadis_Root_CA_2.pem +Adding debian:OISTE_WISeKey_Global_Root_GC_CA.pem +Adding debian:DigiCert_Trusted_Root_G4.pem Adding debian:Sonera_Class_2_Root_CA.pem +Adding debian:DigiCert_Assured_ID_Root_G3.pem +Adding debian:Entrust_Root_Certification_Authority_-_EC1.pem +Adding debian:Certinomis_-_Root_CA.pem +Adding debian:Actalis_Authentication_Root_CA.pem Adding debian:VeriSign_Universal_Root_Certification_Authority.pem -Adding debian:ACCVRAIZ1.pem -Adding debian:GeoTrust_Universal_CA.pem -Adding debian:D-TRUST_Root_Class_3_CA_2_EV_2009.pem -Adding debian:DigiCert_Global_Root_G2.pem -Adding debian:AffirmTrust_Premium_ECC.pem -Adding debian:Hongkong_Post_Root_CA_1.pem -Adding debian:Staat_der_Nederlanden_Root_CA_-_G3.pem -Adding debian:Buypass_Class_3_Root_CA.pem -Adding debian:GlobalSign_Root_CA.pem -Adding debian:GlobalSign_ECC_Root_CA_-_R5.pem -Adding debian:CFCA_EV_ROOT.pem -Adding debian:TWCA_Root_Certification_Authority.pem -Adding debian:Global_Chambersign_Root_-_2008.pem -Adding debian:Security_Communication_RootCA2.pem -Adding debian:COMODO_Certification_Authority.pem -Adding debian:D-TRUST_Root_Class_3_CA_2_2009.pem -Adding debian:ISRG_Root_X1.pem Adding debian:QuoVadis_Root_CA_3_G3.pem +Adding debian:thawte_Primary_Root_CA_-_G2.pem +Adding debian:Amazon_Root_CA_1.pem +Adding debian:GeoTrust_Primary_Certification_Authority.pem +Adding debian:Microsec_e-Szigno_Root_CA_2009.pem +Adding debian:Hellenic_Academic_and_Research_Institutions_ECC_RootCA_2015.pem +Adding debian:COMODO_ECC_Certification_Authority.pem Adding debian:Staat_der_Nederlanden_EV_Root_CA.pem -Adding debian:NetLock_Arany_=Class_Gold=_Főtanúsítvány.pem +Adding debian:GeoTrust_Global_CA.pem +Adding debian:Hongkong_Post_Root_CA_1.pem +Adding debian:Chambers_of_Commerce_Root_-_2008.pem +Adding debian:DigiCert_Assured_ID_Root_CA.pem +Adding debian:T-TeleSec_GlobalRoot_Class_2.pem Adding debian:Buypass_Class_2_Root_CA.pem -Adding debian:TWCA_Global_Root_CA.pem -Adding debian:thawte_Primary_Root_CA_-_G2.pem -Adding debian:GeoTrust_Primary_Certification_Authority_-_G3.pem -Adding debian:Actalis_Authentication_Root_CA.pem -Adding debian:GlobalSign_Root_CA_-_R3.pem +Adding debian:TeliaSonera_Root_CA_v1.pem +Adding debian:Trustis_FPS_Root_CA.pem Adding debian:TrustCor_ECA-1.pem -Adding debian:Amazon_Root_CA_4.pem -Adding debian:EC-ACC.pem -Adding debian:Amazon_Root_CA_2.pem -Adding debian:LuxTrust_Global_Root_2.pem -Adding debian:Autoridad_de_Certificacion_Firmaprofesional_CIF_A62634068.pem -Adding debian:AC_RAIZ_FNMT-RCM.pem -Adding debian:SSL.com_EV_Root_Certification_Authority_ECC.pem -Adding debian:DigiCert_Assured_ID_Root_G2.pem -Adding debian:Certinomis_-_Root_CA.pem -Adding debian:XRamp_Global_CA_Root.pem -Adding debian:AddTrust_External_Root.pem -Adding debian:Hellenic_Academic_and_Research_Institutions_RootCA_2011.pem -Adding debian:Network_Solutions_Certificate_Authority.pem -Adding debian:Entrust_Root_Certification_Authority.pem -Adding debian:Amazon_Root_CA_1.pem -Adding debian:Starfield_Services_Root_Certificate_Authority_-_G2.pem -Adding debian:ePKI_Root_Certification_Authority.pem -Adding debian:SSL.com_Root_Certification_Authority_RSA.pem -Adding debian:Go_Daddy_Class_2_CA.pem -Adding debian:thawte_Primary_Root_CA_-_G3.pem -Adding debian:DigiCert_Trusted_Root_G4.pem -Adding debian:Certum_Trusted_Network_CA_2.pem -Adding debian:TUBITAK_Kamu_SM_SSL_Kok_Sertifikasi_-_Surum_1.pem +Adding debian:Starfield_Class_2_CA.pem +Adding debian:D-TRUST_Root_Class_3_CA_2_EV_2009.pem +Adding debian:Atos_TrustedRoot_2011.pem +Adding debian:Global_Chambersign_Root_-_2008.pem +Adding debian:IdenTrust_Public_Sector_Root_CA_1.pem Adding debian:E-Tugra_Certification_Authority.pem -Adding debian:Security_Communication_Root_CA.pem -Adding debian:COMODO_ECC_Certification_Authority.pem +Adding debian:Certum_Trusted_Network_CA_2.pem +Adding debian:D-TRUST_Root_Class_3_CA_2_2009.pem +Adding debian:Verisign_Class_3_Public_Primary_Certification_Authority_-_G3.pem +Adding debian:Certplus_Class_2_Primary_CA.pem +Adding debian:Deutsche_Telekom_Root_CA_2.pem +Adding debian:Cybertrust_Global_Root.pem +Adding debian:Staat_der_Nederlanden_Root_CA_-_G2.pem +Adding debian:Secure_Global_CA.pem +Adding debian:thawte_Primary_Root_CA_-_G3.pem +Adding debian:Starfield_Services_Root_Certificate_Authority_-_G2.pem +Adding debian:EE_Certification_Centre_Root_CA.pem +Adding debian:SecureTrust_CA.pem +Adding debian:SecureSign_RootCA11.pem +Adding debian:OISTE_WISeKey_Global_Root_GA_CA.pem +Adding debian:AddTrust_External_Root.pem +Adding debian:DigiCert_High_Assurance_EV_Root_CA.pem done. Setting up libfop-java (1:2.3-2) ... Setting up debhelper (12.1.1) ... @@ -1290,9 +1303,41 @@ Building dependency tree... Reading state information... fakeroot is already the newest version (1.23-1). -0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +The following additional packages will be installed: + libfile-find-rule-perl libnumber-compare-perl libtext-glob-perl +The following NEW packages will be installed: + libfile-find-rule-perl libnumber-compare-perl libtext-glob-perl usrmerge +0 upgraded, 4 newly installed, 0 to remove and 0 not upgraded. +Need to get 59.5 kB of archives. +After this operation, 182 kB of additional disk space will be used. +Get:1 http://cdn-fastly.deb.debian.org/debian buster/main i386 libnumber-compare-perl all 0.03-1 [7642 B] +Get:2 http://cdn-fastly.deb.debian.org/debian buster/main i386 libtext-glob-perl all 0.10-1 [8362 B] +Get:3 http://cdn-fastly.deb.debian.org/debian buster/main i386 libfile-find-rule-perl all 0.34-1 [30.6 kB] +Get:4 http://cdn-fastly.deb.debian.org/debian buster/main i386 usrmerge all 21 [12.8 kB] +debconf: delaying package configuration, since apt-utils is not installed +Fetched 59.5 kB in 0s (702 kB/s) +Selecting previously unselected package libnumber-compare-perl. +(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 ... 27099 files and directories currently installed.) +Preparing to unpack .../libnumber-compare-perl_0.03-1_all.deb ... +Unpacking libnumber-compare-perl (0.03-1) ... +Selecting previously unselected package libtext-glob-perl. +Preparing to unpack .../libtext-glob-perl_0.10-1_all.deb ... +Unpacking libtext-glob-perl (0.10-1) ... +Selecting previously unselected package libfile-find-rule-perl. +Preparing to unpack .../libfile-find-rule-perl_0.34-1_all.deb ... +Unpacking libfile-find-rule-perl (0.34-1) ... +Selecting previously unselected package usrmerge. +Preparing to unpack .../archives/usrmerge_21_all.deb ... +Unpacking usrmerge (21) ... +Setting up libtext-glob-perl (0.10-1) ... +Setting up libnumber-compare-perl (0.03-1) ... +Setting up libfile-find-rule-perl (0.34-1) ... +Setting up usrmerge (21) ... +The system has been successfully converted. +Processing triggers for man-db (2.8.5-2) ... +Not building database; man-db/auto-update is not 'true'. 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 @@ -1489,7 +1534,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 \ \ @@ -1749,7 +1794,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 \ \ @@ -3518,8 +3563,8 @@ [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ -[INFO] Total time: 01:22 min -[INFO] Finished at: 2019-06-08T21:30:15-12:00 +[INFO] Total time: 2.096 s +[INFO] Finished at: 2020-07-12T07:14:14+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 @@ -3714,13 +3759,13 @@ Running Anonymous_Struct1/test.desc [OK] in 0 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 1 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 0 seconds Running Assumption1/test.desc [OK] in 0 seconds - Running BV_Arithmetic1/test.desc [OK] in 1 seconds + Running BV_Arithmetic1/test.desc [OK] in 0 seconds Running BV_Arithmetic2/test.desc [OK] in 0 seconds Running BV_Arithmetic3/test.desc [OK] in 0 seconds Running BV_Arithmetic4/test.desc [OK] in 0 seconds @@ -3728,7 +3773,7 @@ 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 Bitfields3/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 Running Bool3/test.desc [OK] in 0 seconds @@ -3736,18 +3781,18 @@ Running Boolean_Guards1/test.desc [OK] in 0 seconds Running Calloc1/test.desc [OK] in 0 seconds Running Computed-Goto1/test.desc [OK] in 0 seconds - Running Division1/test.desc [OK] in 1 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-fix1/test.desc [OK] in 0 seconds - Running Double-to-float-no-simp1-fix2/test.desc [OK] in 1 seconds + Running Double-to-float-no-simp1-fix1/test.desc [OK] in 1 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 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 - Running Endianness3/test.desc [OK] in 1 seconds + Running Endianness3/test.desc [OK] in 0 seconds Running Endianness4/test.desc [OK] in 0 seconds Running Endianness5/test.desc [OK] in 0 seconds Running Endianness6/test.desc [OK] in 0 seconds @@ -3759,69 +3804,69 @@ Running Error_Label3/test.desc [OK] in 0 seconds Running Eval_Order1/test.desc [OK] in 0 seconds Running Eval_Order2/test.desc [SKIPPED] - Running Exceptions1/test.desc [OK] in 1 seconds + Running Exceptions1/test.desc [OK] in 0 seconds Running Failing_Assert1/test.desc [OK] in 0 seconds Running Fixedbv1/test.desc [OK] in 0 seconds Running Fixedbv2/test.desc [OK] in 0 seconds 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-Rounding3/test.desc [OK] in 0 seconds - Running Float-data-dependent-rounding/test.desc [OK] in 1 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 1 seconds + Running Float-div2/test.desc [OK] in 0 seconds Running Float-div3/test.desc [OK] in 0 seconds - Running Float-flags-no-simp1/test.desc [OK] in 1 seconds - Running Float-flags-simp1/test.desc [OK] in 1 seconds + Running Float-flags-no-simp1/test.desc [OK] in 0 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 3 seconds + Running Float-no-simp2/test.desc [OK] in 2 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-simp6/test.desc [OK] in 0 seconds - Running Float-no-simp7/test.desc [OK] in 1 seconds + Running Float-no-simp7/test.desc [OK] in 0 seconds Running Float-no-simp8/test.desc [OK] in 0 seconds Running Float-no-simp9/test.desc [OK] in 0 seconds 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 1 seconds + Running Float-to-double1/test.desc [OK] in 0 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 Float12/test.desc [OK] in 0 seconds - Running Float13/test.desc [OK] in 1 seconds + Running Float13/test.desc [OK] in 0 seconds Running Float14/test.desc [OK] in 0 seconds Running Float18/test.desc [OK] in 0 seconds Running Float19/test.desc [OK] in 0 seconds Running Float2/test.desc [OK] in 0 seconds Running Float20/test.desc [OK] in 0 seconds - Running Float21/test.desc [OK] in 1 seconds + Running Float21/test.desc [OK] in 0 seconds Running Float22/test.desc [OK] in 0 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 13 seconds + Running Float4/test.desc [OK] in 8 seconds Running Float5/test.desc [OK] in 0 seconds - Running Float6/test.desc [OK] in 1 seconds + Running Float6/test.desc [OK] in 0 seconds Running Float7/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_lib1/test.desc [OK] in 0 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 - Running Free3/test.desc [OK] in 1 seconds - Running Free4/test.desc [OK] in 0 seconds + Running Free3/test.desc [OK] in 0 seconds + Running Free4/test.desc [OK] in 1 seconds Running Function-KnR1/test.desc [OK] in 0 seconds Running Function1/test.desc [OK] in 0 seconds Running Function10/test.desc [OK] in 0 seconds @@ -3831,7 +3876,7 @@ Running Function2/test.desc [OK] in 0 seconds Running Function3/test.desc [OK] in 0 seconds Running Function4/test.desc [OK] in 0 seconds - Running Function5/test.desc [OK] in 1 seconds + Running Function5/test.desc [OK] in 0 seconds Running Function6/test.desc [OK] in 0 seconds Running Function7/test.desc [OK] in 0 seconds Running Function8/test.desc [OK] in 0 seconds @@ -3843,7 +3888,7 @@ Running Function_Pointer10/test.desc [OK] in 0 seconds Running Function_Pointer11/test.desc [OK] in 0 seconds Running Function_Pointer12/test.desc [OK] in 0 seconds - Running Function_Pointer13/test.desc [OK] in 1 seconds + Running Function_Pointer13/test.desc [OK] in 0 seconds Running Function_Pointer14/test.desc [OK] in 0 seconds Running Function_Pointer15/test.desc [OK] in 0 seconds Running Function_Pointer16/test.desc [OK] in 0 seconds @@ -3852,7 +3897,7 @@ 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 1 seconds + Running Function_Pointer6/test.desc [OK] in 0 seconds Running Function_Pointer7/test.desc [OK] in 0 seconds Running Function_Pointer8/test.desc [OK] in 0 seconds Running Function_Pointer9/test.desc [OK] in 0 seconds @@ -3862,7 +3907,7 @@ Running Initialization2/test.desc [OK] in 0 seconds Running Initialization3/test.desc [OK] in 0 seconds Running Initialization5/test.desc [OK] in 0 seconds - Running Initialization6/test.desc [OK] in 1 seconds + Running Initialization6/test.desc [OK] in 0 seconds Running Initialization7/test.desc [SKIPPED] Running Linking1/test.desc [OK] in 0 seconds Running Linking2/test.desc [OK] in 0 seconds @@ -3871,7 +3916,7 @@ Running Linking5/test.desc [OK] in 0 seconds Running Linking6/test.desc [OK] in 0 seconds Running Linking7/member-name-mismatch.desc [SKIPPED] - Running Linking7/test.desc [OK] in 1 seconds + 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 @@ -3881,21 +3926,21 @@ Running Malloc15/test.desc [OK] in 0 seconds Running Malloc16/test.desc [OK] in 0 seconds Running Malloc17/test.desc [OK] in 0 seconds - Running Malloc18/test.desc [OK] in 1 seconds - Running Malloc19/test.desc [OK] in 0 seconds + Running Malloc18/test.desc [OK] in 0 seconds + Running Malloc19/test.desc [OK] in 1 seconds Running Malloc20/test.desc [OK] in 0 seconds - Running Malloc21/test.desc [OK] in 1 seconds + Running Malloc21/test.desc [OK] in 0 seconds Running Malloc22/test.desc [OK] in 0 seconds Running Malloc23/test.desc [OK] in 0 seconds - Running Malloc24/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 1 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 0 seconds Running Multi_Dimensional_Array2/test.desc [OK] in 0 seconds - Running Multi_Dimensional_Array3/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 Running Multi_Dimensional_Array6/test.desc [OK] in 1 seconds @@ -3904,11 +3949,11 @@ Running Negation2/test.desc [OK] in 0 seconds Running Overflow_Addition1/test.desc [OK] in 0 seconds Running Overflow_Leftshift1/test.desc [OK] in 0 seconds - Running Overflow_Multiplication1/test.desc [OK] in 1 seconds + Running Overflow_Multiplication1/test.desc [OK] in 0 seconds Running Overflow_Subtraction1/test.desc [OK] in 0 seconds 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 1 seconds + Running Pointer_Arithmetic11/test.desc [OK] in 0 seconds Running Pointer_Arithmetic12/test.desc [OK] in 0 seconds Running Pointer_Arithmetic13/test.desc [SKIPPED] Running Pointer_Arithmetic2/test.desc [OK] in 0 seconds @@ -3917,7 +3962,7 @@ Running Pointer_Arithmetic5/test.desc [OK] in 0 seconds Running Pointer_Arithmetic6/test.desc [OK] in 0 seconds Running Pointer_Arithmetic7/test.desc [OK] in 0 seconds - Running Pointer_Arithmetic8/test.desc [OK] in 1 seconds + Running Pointer_Arithmetic8/test.desc [OK] in 0 seconds Running Pointer_Arithmetic9/test.desc [OK] in 0 seconds Running Pointer_Assume1/test.desc [SKIPPED] Running Pointer_array1/test.desc [OK] in 0 seconds @@ -3926,12 +3971,12 @@ Running Pointer_array4/test.desc [OK] in 0 seconds Running Pointer_array5/test.desc [OK] in 0 seconds Running Pointer_array6/test.desc [OK] in 0 seconds - Running Pointer_byte_extract1/test.desc [OK] in 1 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 0 seconds - Running Pointer_byte_extract5/no-simplify.desc [OK] in 0 seconds - Running Pointer_byte_extract5/test.desc [OK] in 1 seconds + Running Pointer_byte_extract5/no-simplify.desc [OK] in 1 seconds + Running Pointer_byte_extract5/test.desc [OK] in 0 seconds Running Pointer_byte_extract6/test.desc [OK] in 0 seconds Running Pointer_byte_extract7/test.desc [OK] in 0 seconds Running Pointer_byte_extract8/test.desc [SKIPPED] @@ -3945,17 +3990,17 @@ 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 1 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 Quantifiers1/test.desc [OK] in 0 seconds Running Recursion1/test.desc [OK] in 0 seconds Running Recursion2/test.desc [OK] in 0 seconds - Running Recursion3/test.desc [OK] in 1 seconds + Running Recursion3/test.desc [OK] in 0 seconds Running Recursion4/test.desc [OK] in 0 seconds Running Recursion5/test.desc [OK] in 0 seconds Running Recursion6/test.desc [OK] in 0 seconds @@ -3967,7 +4012,7 @@ Running Sideeffects6/test.desc [OK] in 0 seconds Running Static2/test.desc [OK] in 0 seconds Running Static4/test.desc [OK] in 0 seconds - Running Static_Functions1/test.desc [OK] in 1 seconds + Running Static_Functions1/test.desc [OK] in 0 seconds Running String1/test.desc [OK] in 0 seconds Running String2/test.desc [OK] in 0 seconds Running String3/test.desc [SKIPPED] @@ -3981,7 +4026,7 @@ 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_Initialization3/test.desc [OK] in 0 seconds Running Struct_Initialization4/test.desc [OK] in 0 seconds Running Struct_Initialization5/test.desc [OK] in 0 seconds Running Struct_Initialization6/test.desc [OK] in 0 seconds @@ -3992,7 +4037,7 @@ Running Typecast1/test.desc [OK] in 0 seconds Running Typecast2/test.desc [OK] in 0 seconds Running Undefined_Function1/test.desc [OK] in 0 seconds - Running Undefined_Function2/test.desc [OK] in 1 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 0 seconds Running Unwinding_Assertions_Improved1/test.desc [SKIPPED] @@ -4004,22 +4049,22 @@ Running Zero_Initialization1/test.desc [OK] in 0 seconds Running __func__1/test.desc [OK] in 0 seconds Running abs1/test.desc [OK] in 1 seconds - Running address_space_size_limit1/test.desc [OK] in 7 seconds + Running address_space_size_limit1/test.desc [OK] in 4 seconds Running address_space_size_limit2/test.desc [SKIPPED] - Running address_space_size_limit3/test.desc [OK] in 1 seconds + Running address_space_size_limit3/test.desc [OK] in 0 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 0 seconds Running argv1/test.desc [OK] in 0 seconds - Running array-tests/test.desc [OK] in 4 seconds - Running atomic_section_seq1/test.desc [OK] in 0 seconds + Running array-tests/test.desc [OK] in 1 seconds + Running atomic_section_seq1/test.desc [OK] in 1 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 0 seconds - Running bounds_check1/test.desc [OK] in 5 seconds + Running bounds_check1/test.desc [OK] in 2 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 1 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 0 seconds @@ -4028,18 +4073,18 @@ 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 character_handling1/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 Running compound_literal1/test.desc [OK] in 0 seconds Running const_ptr1/test.desc [OK] in 0 seconds Running constant_folding1/test.desc [OK] in 0 seconds Running constant_folding2/test.desc [SKIPPED] - Running constructor1/test.desc [OK] in 0 seconds + Running constructor1/test.desc [OK] in 1 seconds 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 7 seconds + Running divide-by-one-simplify/test.desc [OK] in 1 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 @@ -4049,7 +4094,7 @@ Running enum5/test.desc [OK] in 0 seconds Running enum6/test.desc [SKIPPED] Running equality_through_array1/test.desc [OK] in 0 seconds - Running equality_through_array2/test.desc [OK] in 1 seconds + Running equality_through_array2/test.desc [OK] in 0 seconds Running equality_through_array3/test.desc [OK] in 0 seconds Running equality_through_array4/test.desc [OK] in 0 seconds Running equality_through_array5/test.desc [OK] in 0 seconds @@ -4064,19 +4109,19 @@ Running equality_through_struct4/test.desc [OK] in 0 seconds Running equality_through_struct5/test.desc [OK] in 0 seconds Running equality_through_struct_containing_arrays1/test.desc [OK] in 0 seconds - Running equality_through_struct_containing_arrays2/test.desc [OK] in 1 seconds + Running equality_through_struct_containing_arrays2/test.desc [OK] in 0 seconds Running equality_through_struct_containing_arrays3/test.desc [OK] in 0 seconds 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 1 seconds + Running exit1/test.desc [OK] in 0 seconds Running extern1/test.desc [OK] in 0 seconds Running extern2/test.desc [OK] in 0 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 - Running for1/test.desc [OK] in 1 seconds + Running for1/test.desc [OK] in 0 seconds Running for2/test.desc [OK] in 0 seconds Running for3/test.desc [OK] in 0 seconds Running full_slice1/test.desc [OK] in 0 seconds @@ -4084,23 +4129,23 @@ 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 1 seconds + Running gcc_c99-bool-1/test.desc [OK] in 0 seconds Running gcc_conditional_expr1/test.desc [OK] in 0 seconds Running gcc_local_label1/test.desc [OK] in 0 seconds - Running gcc_popcount1/test.desc [OK] in 2 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 - Running gcc_statement_expression2/test.desc [OK] in 0 seconds + Running gcc_statement_expression2/test.desc [OK] in 1 seconds Running gcc_statement_expression3/test.desc [OK] in 0 seconds Running gcc_statement_expression4/test.desc [OK] in 0 seconds Running gcc_statement_expression5/test.desc [OK] in 0 seconds - Running gcc_switch_case_range1/test.desc [OK] in 1 seconds + Running gcc_switch_case_range1/test.desc [OK] in 0 seconds 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 goto1/test.desc [OK] in 0 seconds - Running goto2/test.desc [OK] in 1 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 @@ -4112,39 +4157,39 @@ Running if1/test.desc [OK] in 0 seconds Running if2/test.desc [OK] in 0 seconds Running if3/test.desc [OK] in 0 seconds - Running if4/test.desc [OK] in 1 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 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 1 seconds + Running int-to-float2/test.desc [OK] in 0 seconds Running integer-assignments1/test.desc [SKIPPED] 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 1 seconds + Running memcpy2/test.desc [OK] in 0 seconds Running memcpy3/test.desc [OK] in 0 seconds Running memory_allocation1/test.desc [OK] in 0 seconds Running memset1/test.desc [OK] in 0 seconds Running memset2/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 1 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 offsetof1/test.desc [OK] in 0 seconds - Running phi-merge_uninitialized_values/dynamic.desc [OK] in 1 seconds + Running phi-merge_uninitialized_values/dynamic.desc [OK] in 0 seconds Running phi-merge_uninitialized_values/global.desc [OK] in 0 seconds Running phi-merge_uninitialized_values/local.desc [OK] in 0 seconds Running phi-merge_uninitialized_values/static_local.desc [OK] in 0 seconds - Running pipe1/test.desc [OK] in 1 seconds + Running pipe1/test.desc [OK] in 0 seconds Running pointer-extra-checks/test.desc [OK] in 0 seconds Running pointer-function-parameters/test.desc [OK] in 0 seconds - Running pointer-function-parameters-2/test.desc [OK] in 1 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 0 seconds Running reachability-slice/test.desc [OK] in 0 seconds @@ -4153,7 +4198,7 @@ Running reachability-slice-interproc/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 1 seconds + Running realloc2/test.desc [OK] in 0 seconds Running realloc3/test.desc [OK] in 0 seconds Running return1/test.desc [OK] in 0 seconds Running return2/test.desc [OK] in 0 seconds @@ -4163,7 +4208,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 1 seconds + Running scanf1/test.desc [OK] in 0 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 @@ -4174,10 +4219,10 @@ Running simplify-global-array-access/test.desc [OK] in 0 seconds Running simplify-local-array-access/test.desc [OK] in 0 seconds Running simplify-pointer-access/test.desc [OK] in 0 seconds - Running strcat1/test.desc [OK] in 1 seconds + Running strcat1/test.desc [OK] in 0 seconds Running strchr1/test.desc [OK] in 0 seconds Running strtol1/test.desc [OK] in 0 seconds - Running strtol2/test.desc [OK] in 1 seconds + Running strtol2/test.desc [OK] in 0 seconds Running struct1/test.desc [OK] in 0 seconds Running struct3/test.desc [OK] in 0 seconds Running struct4/test.desc [OK] in 0 seconds @@ -4186,46 +4231,46 @@ Running struct8/test.desc [OK] in 0 seconds Running struct9/test.desc [OK] in 0 seconds Running switch1/test.desc [OK] in 0 seconds - Running switch2/test.desc [OK] in 1 seconds + Running switch2/test.desc [OK] in 0 seconds Running switch3/test.desc [OK] in 0 seconds - Running switch4/test.desc [OK] in 0 seconds + Running switch4/test.desc [OK] in 1 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 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/non-extended.desc [OK] in 0 seconds Running trace_show_code/test.desc [OK] in 0 seconds Running trace_show_function_calls/test.desc [OK] in 0 seconds Running ts18661_typedefs/test.desc [OK] in 0 seconds - Running typedef-anon-struct1/test.desc [OK] in 1 seconds + 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 1 seconds + Running typedef-anon-union1/test.desc [OK] in 0 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 1 seconds + 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 1 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 1 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-struct1/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 0 seconds - Running typedef-return-union1/test.desc [OK] in 1 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 - Running typedef-type1/test.desc [OK] in 1 seconds + Running typedef-type1/test.desc [OK] in 0 seconds Running typedef-type2/test.desc [OK] in 0 seconds 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 1 seconds + Running typedef-union1/test.desc [OK] in 0 seconds Running typedef-union2/test.desc [OK] in 0 seconds Running uncaught_exceptions_analysis1/test.desc [OK] in 0 seconds Running union1/test.desc [SKIPPED] @@ -4233,21 +4278,21 @@ 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 1 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 unsigned1/test.desc [OK] in 0 seconds - Running unsigned___int128/test.desc [OK] in 1 seconds + Running unsigned___int128/test.desc [OK] in 0 seconds Running unsigned_char1/test.desc [OK] in 0 seconds Running unwind_counters1/test.desc [OK] in 0 seconds - Running unwind_counters2/test.desc [OK] in 0 seconds + Running unwind_counters2/test.desc [OK] in 1 seconds Running unwind_counters3/test.desc [OK] in 0 seconds Running va_list1/test.desc [OK] in 0 seconds Running va_list2/test.desc [SKIPPED] Running va_list3/test.desc [SKIPPED] - Running variable-access-to-constant-array/test.desc [OK] in 1 seconds - Running void_ifthenelse/test.desc [OK] in 1 seconds + Running variable-access-to-constant-array/test.desc [OK] in 0 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 0 seconds Running void_pointer3/test.desc [OK] in 0 seconds @@ -4267,17 +4312,17 @@ Running approx-array-variable-const-fp/test.desc [OK] in 0 seconds Running approx-const-fp-array-variable-cast-const-fp/test.desc [OK] in 0 seconds Running approx-const-fp-array-variable-const-fp/test.desc [OK] in 0 seconds - Running approx-const-fp-array-variable-const-fp-with-null/test.desc [OK] in 1 seconds + Running approx-const-fp-array-variable-const-fp-with-null/test.desc [OK] in 0 seconds Running approx-const-fp-array-variable-const-pointer-const-struct-non-const-fp/test.desc [OK] in 0 seconds Running approx-const-fp-array-variable-const-struct-non-const-fp/test.desc [OK] in 0 seconds Running approx-const-fp-array-variable-invalid-cast-const-fp/test.desc [OK] in 0 seconds Running approx-const-fp-array-variable-struct-const-fp-with-zero/test.desc [OK] in 0 seconds Running constant_propagation_01/test.desc [OK] in 0 seconds - Running constant_propagation_02/test.desc [OK] in 0 seconds + Running constant_propagation_02/test.desc [OK] in 1 seconds Running constant_propagation_03/test.desc [SKIPPED] Running constant_propagation_04/test.desc [SKIPPED] Running constant_propagation_05/test.desc [SKIPPED] - Running constant_propagation_06/test.desc [OK] in 1 seconds + Running constant_propagation_06/test.desc [OK] in 0 seconds Running constant_propagation_07/test.desc [SKIPPED] Running constant_propagation_08/test.desc [SKIPPED] Running constant_propagation_09/test.desc [SKIPPED] @@ -4297,7 +4342,7 @@ Running dependence-graph12/test.desc [OK] in 0 seconds Running dependence-graph14/test.desc [OK] in 0 seconds Running dependence-graph4/test.desc [OK] in 0 seconds - Running dependence-graph6/test.desc [OK] in 1 seconds + Running dependence-graph6/test.desc [OK] in 0 seconds Running dependence-graph7/test.desc [OK] in 0 seconds Running dependence-graph8/test.desc [OK] in 0 seconds Running dependence-graph9/test.desc [OK] in 0 seconds @@ -4315,7 +4360,7 @@ Running intervals_12/test.desc [SKIPPED] Running intervals_13/test.desc [OK] in 0 seconds Running intervals_14/test.desc [SKIPPED] - Running intervals_15/test.desc [OK] in 1 seconds + 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 0 seconds Running no-match-const-array-const-pointer-const-fp-const-lost/test.desc [OK] in 0 seconds @@ -4323,31 +4368,31 @@ 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 Running no-match-const-fp-array-non-const-fp/test.desc [OK] in 0 seconds - Running no-match-const-fp-binary-op-const-lost/test.desc [OK] in 1 seconds + Running no-match-const-fp-binary-op-const-lost/test.desc [OK] in 0 seconds Running no-match-const-fp-const-array-index-lost/test.desc [OK] in 0 seconds Running no-match-const-fp-const-array-lost/test.desc [OK] in 0 seconds Running no-match-const-fp-const-cast/test.desc [OK] in 0 seconds Running no-match-const-fp-const-fp-null/test.desc [OK] in 0 seconds Running no-match-const-fp-const-lost/test.desc [OK] in 0 seconds - Running no-match-const-fp-const-pointer-const-struct-const-fp-null/test.desc [OK] in 1 seconds + Running no-match-const-fp-const-pointer-const-struct-const-fp-null/test.desc [OK] in 0 seconds Running no-match-const-fp-const-pointer-non-const-struct-const-fp/test.desc [OK] in 0 seconds Running no-match-const-fp-dereference-const-pointer-null/test.desc [OK] in 0 seconds Running no-match-const-fp-dereference-non-const-pointer-const-fp/test.desc [OK] in 0 seconds Running no-match-const-fp-dynamic-array-non-const-fp/test.desc [OK] in 0 seconds Running no-match-const-fp-non-const-fp-direct-assignment/test.desc [OK] in 0 seconds - Running no-match-const-fp-non-const-pointer-non-const-struct-const-fp/test.desc [OK] in 1 seconds - Running no-match-const-fp-non-const-struct-const-fp/test.desc [OK] in 0 seconds + Running no-match-const-fp-non-const-pointer-non-const-struct-const-fp/test.desc [OK] in 0 seconds + Running no-match-const-fp-non-const-struct-const-fp/test.desc [OK] in 1 seconds Running no-match-const-fp-non-const-struct-non-const-fp/test.desc [OK] in 0 seconds 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 1 seconds + Running no-match-const-pointer-non-const-struct-const-fp/test.desc [OK] in 0 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 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 - Running no-match-non-const-fp-const-fp-direct-assignment/test.desc [OK] in 1 seconds + Running no-match-non-const-fp-const-fp-direct-assignment/test.desc [OK] in 0 seconds Running no-match-parameter-const-fp/test.desc [OK] in 0 seconds Running no-match-parameter-fp/test.desc [OK] in 0 seconds Running no-match-pointer-const-struct-array-literal-non-const-fp/test.desc [OK] in 0 seconds @@ -4355,23 +4400,23 @@ 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-array-const-variable-const-fp/test.desc [OK] in 0 seconds - Running precise-const-fp-array-literal-const-fp/test.desc [OK] in 1 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 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 Running precise-const-fp-const-struct-non-const-array-literal-fp/test.desc [OK] in 0 seconds - Running precise-const-fp-const-struct-non-const-fp/test.desc [OK] in 1 seconds + 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-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 1 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-const-pointer-const-struct-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 @@ -4409,7 +4454,7 @@ Running sensitivity-test-two-value-struct-of-two-value-pointer/test.desc [SKIPPED] Running sensitivity-test-two-value-struct-of-two-value-struct/test.desc [SKIPPED] Running unreachable-functions-basic-json/test.desc [OK] in 0 seconds - Running unreachable-functions-basic-text/test.desc [OK] in 1 seconds + Running unreachable-functions-basic-text/test.desc [OK] in 0 seconds Running unreachable-functions-domain-text/test.desc [OK] in 0 seconds Running unreachable-instructions-basic-json/test.desc [OK] in 0 seconds Running unreachable-instructions-basic-text/test.desc [OK] in 0 seconds @@ -4439,13 +4484,13 @@ Running Atomic1/test.desc [OK] in 0 seconds Running Defines1/test.desc [OK] in 0 seconds Running Empty_Declaration1/test.desc [OK] in 0 seconds - Running Forward_Declaration1/test.desc [OK] in 1 seconds + Running Forward_Declaration1/test.desc [OK] in 0 seconds 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 0 seconds Running Function_pointer1/test_conversion.desc [OK] in 0 seconds - Running Header_files1/test.desc [OK] in 1 seconds + Running Header_files1/test.desc [OK] in 0 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 @@ -4455,7 +4500,7 @@ Running Lvalue1/test.desc [OK] in 0 seconds Running MMX1/test.desc [OK] in 0 seconds Running MMX2/test.desc [OK] in 0 seconds - Running Multiple/test.desc [OK] in 1 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_Structure2/test.desc [OK] in 0 seconds @@ -4467,10 +4512,10 @@ Running Struct_Padding2/test.desc [OK] in 0 seconds Running Struct_Padding3/test.desc [OK] in 0 seconds Running Struct_Padding4/test.desc [OK] in 0 seconds - Running Struct_Padding5/test.desc [OK] in 1 seconds + Running Struct_Padding5/test.desc [OK] in 0 seconds Running Struct_Padding6/test.desc [OK] in 0 seconds Running Struct_ptrmember1/test.desc [OK] in 0 seconds - Running Transparent_union1/test.desc [OK] in 0 seconds + Running Transparent_union1/test.desc [OK] in 1 seconds Running Transparent_union2/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 0 seconds @@ -4479,7 +4524,7 @@ Running Union_Padding2/test.desc [OK] in 0 seconds Running Universal_characters1/test.desc [OK] in 0 seconds Running VS_extensions1/test.desc [OK] in 0 seconds - Running Zero_Initialization1/test.desc [OK] in 1 seconds + Running Zero_Initialization1/test.desc [OK] in 0 seconds Running _Alignof1/test.desc [OK] in 0 seconds Running _Bool1/test.desc [OK] in 0 seconds Running _Generic1/test.desc [OK] in 0 seconds @@ -4492,7 +4537,7 @@ 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 0 seconds - Running always_inline8/test.desc [OK] in 1 seconds + Running always_inline8/test.desc [OK] in 0 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 @@ -4503,7 +4548,7 @@ Running array_initialization2/test.desc [OK] in 0 seconds Running array_initialization3/test.desc [OK] in 0 seconds Running asm1/test.desc [OK] in 0 seconds - Running asm2/test.desc [OK] in 1 seconds + Running asm2/test.desc [OK] in 0 seconds Running asm3/test.desc [OK] in 0 seconds Running character_literals1/test.desc [OK] in 0 seconds Running decl_initialization1/test.desc [OK] in 0 seconds @@ -4515,7 +4560,7 @@ Running enum5/test.desc [OK] in 0 seconds Running enum6/test.desc [OK] in 0 seconds Running enum7/test.desc [SKIPPED] - Running enum8/test.desc [OK] in 1 seconds + Running enum8/test.desc [OK] in 0 seconds Running envp1/test.desc [OK] in 0 seconds Running extern1/test.desc [OK] in 0 seconds Running extern2/test.desc [OK] in 0 seconds @@ -4539,7 +4584,7 @@ Running gcc_attributes7/test.desc [OK] in 0 seconds Running gcc_attributes8/test.desc [OK] in 0 seconds Running gcc_attributes9/test.desc [OK] in 0 seconds - Running gcc_builtin_constant_p1/test.desc [OK] in 1 seconds + Running gcc_builtin_constant_p1/test.desc [OK] in 0 seconds Running gcc_builtins1/test.desc [OK] in 0 seconds Running gcc_builtins2/test.desc [OK] in 0 seconds Running gcc_builtins3/test.desc [OK] in 0 seconds @@ -4548,7 +4593,7 @@ Running gcc_builtins6/test.desc [OK] in 0 seconds Running gcc_float_types1/test.desc [OK] in 0 seconds Running gcc_types_compatible_p1/test.desc [OK] in 0 seconds - Running gcc_types_compatible_p2/test.desc [OK] in 1 seconds + Running gcc_types_compatible_p2/test.desc [OK] in 0 seconds Running gcc_types_compatible_p3/test.desc [OK] in 0 seconds Running gcc_types_compatible_p4/test.desc [OK] in 0 seconds Running gcc_vector1/test.desc [OK] in 0 seconds @@ -4560,7 +4605,7 @@ 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 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 @@ -4568,7 +4613,7 @@ Running pragma_pack2/test.desc [OK] in 0 seconds Running pragma_pack3/test.desc [OK] in 0 seconds Running return_void/test.desc [OK] in 0 seconds - Running sizeof1/test.desc [OK] in 1 seconds + Running sizeof1/test.desc [OK] in 0 seconds Running sizeof2/test.desc [OK] in 0 seconds Running sizeof3/test.desc [OK] in 0 seconds Running sizeof4/test.desc [SKIPPED] @@ -4578,8 +4623,8 @@ Running static3/test.desc [OK] in 0 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 1 seconds + Running struct3/test.desc [OK] in 1 seconds + Running struct5/test.desc [OK] in 0 seconds Running struct6/test.desc [OK] in 0 seconds Running struct7/test.desc [OK] in 0 seconds Running switch1/test.desc [OK] in 0 seconds @@ -4587,11 +4632,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_2010/test.desc [OK] in 6 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_2005/test.desc [OK] in 3 seconds + Running windows_h_VS_2008/test.desc [OK] in 4 seconds + Running windows_h_VS_2010/test.desc [OK] in 4 seconds + Running windows_h_VS_2012/test.desc [OK] in 6 seconds + Running windows_h_VS_2013/test.desc [OK] in 6 seconds All tests were successful, 10 tests skipped make[4]: Leaving directory '/build/cbmc-5.10/regression/ansi-c' @@ -4610,52 +4655,52 @@ 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 1 seconds + Running aggressive_slicer5/test.desc [OK] in 0 seconds Running aggressive_slicer6/test.desc [OK] in 0 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 argc-argv1/test.desc [OK] in 3 seconds - Running assembly_call_graph_test/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 2 seconds + Running assembly_call_graph_test/test.desc [OK] in 0 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 0 seconds - Running const-struct1/test.desc [OK] in 1 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 1 seconds + Running const-struct3/test.desc [OK] in 0 seconds Running const-union1/test.desc [OK] in 0 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 1 seconds + Running dependence-graph1/test.desc [OK] in 0 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 1 seconds + Running generate-function-body-assert-false/test.desc [OK] in 0 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-complex-struct/test.desc [OK] in 1 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 harness1/test.desc [OK] in 5 seconds + Running harness1/test.desc [OK] in 2 seconds Running inline_01/test.desc [OK] in 0 seconds Running inline_02/test.desc [OK] in 0 seconds Running inline_03/test.desc [OK] in 0 seconds Running inline_04/test.desc [OK] in 0 seconds Running inline_05/test.desc [OK] in 0 seconds - Running inline_06/test.desc [OK] in 1 seconds + Running inline_06/test.desc [OK] in 0 seconds Running inline_07/test.desc [OK] in 0 seconds Running inline_08/test.desc [OK] in 0 seconds Running inline_09/test.desc [OK] in 0 seconds Running inline_10/test.desc [OK] in 0 seconds Running inline_11/test.desc [OK] in 0 seconds Running inline_12/test.desc [OK] in 0 seconds - Running inline_13/test.desc [OK] in 1 seconds + Running inline_13/test.desc [OK] in 0 seconds Running inline_14/test.desc [OK] in 0 seconds Running inline_15/test.desc [OK] in 0 seconds Running inline_16/test.desc [OK] in 0 seconds @@ -4666,41 +4711,41 @@ 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 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 1 seconds + Running remove-function-body1/test.desc [OK] in 0 seconds Running replace-calls-01/test.desc [OK] in 0 seconds Running replace-calls-02/test.desc [OK] in 0 seconds 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 0 seconds - Running restore-returns1/test.desc [OK] in 1 seconds + Running restore-returns1/test.desc [OK] in 0 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 1 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 0 seconds - Running slice-global-inits1/test.desc [OK] in 0 seconds + Running slice-global-inits1/test.desc [OK] in 1 seconds Running slice-global-inits2/test.desc [OK] in 0 seconds Running slice-global-inits3/test.desc [OK] in 0 seconds - Running slice01/test.desc [OK] in 1 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 slice03/test.desc [OK] in 0 seconds Running slice04/test.desc [OK] in 0 seconds - Running slice05/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 0 seconds - Running slice12/test.desc [OK] in 1 seconds + Running slice12/test.desc [OK] in 0 seconds Running slice13/test.desc [OK] in 0 seconds Running slice14/test.desc [OK] in 0 seconds Running slice15/test.desc [OK] in 0 seconds @@ -4711,40 +4756,40 @@ Running slice20/test.desc [SKIPPED] Running slice21/test.desc [SKIPPED] Running slice22/test.desc [OK] in 0 seconds - Running slice23/test.desc [OK] in 1 seconds + Running slice23/test.desc [OK] in 0 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 typedef3/test.desc [OK] in 0 seconds Running typedef4/test.desc [OK] in 0 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 1 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 0 seconds Running unwind-break-loop2/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-as-loops1/test.desc [OK] in 0 seconds + Running unwind-continue-loop1/test.desc [OK] in 1 seconds Running unwind-continue-loop2/test.desc [OK] in 0 seconds - Running unwind-do-while-loop1/test.desc [OK] in 1 seconds + Running unwind-do-while-loop1/test.desc [OK] in 0 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-nested-loops1/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 1 seconds + Running unwind-simple-loop1/test.desc [OK] in 0 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 2 seconds + Running unwind-unwindset-file1/test.desc [OK] in 1 seconds Running unwind-unwindset1/test.desc [OK] in 0 seconds Running unwind-unwindset2/test.desc [OK] in 0 seconds Running unwind-unwindset3/test.desc [OK] in 0 seconds Running unwind-unwindset4/test.desc [OK] in 0 seconds - Running unwind-unwindset5/test.desc [OK] in 2 seconds - Running unwind-zero-unwind1/test.desc [OK] in 0 seconds + Running unwind-unwindset5/test.desc [OK] in 0 seconds + Running unwind-zero-unwind1/test.desc [OK] in 1 seconds Running unwind-zero-unwind2/test.desc [OK] in 0 seconds Running unwind-zero-unwind3/test.desc [OK] in 0 seconds Running volatile-struct1/test.desc [OK] in 0 seconds @@ -4770,7 +4815,7 @@ Running Constant2/test.desc [OK] in 0 seconds Running Constant3/test.desc [OK] in 0 seconds Running Constant4/test.desc [OK] in 0 seconds - Running Decltype1/test.desc [OK] in 1 seconds + Running Decltype1/test.desc [OK] in 0 seconds Running Decltype2/test.desc [OK] in 0 seconds Running Decltype3/test.desc [OK] in 0 seconds Running Friend2/test.desc [OK] in 0 seconds @@ -4781,7 +4826,7 @@ Running List_initialization1/test.desc [OK] in 0 seconds Running Method_Scope1/test.desc [OK] in 0 seconds Running Method_qualifier1/test.desc [OK] in 0 seconds - Running ModeC1/test.desc [OK] in 1 seconds + Running ModeC1/test.desc [OK] in 0 seconds Running ModeC2/test.desc [OK] in 0 seconds Running ModeC3/test.desc [OK] in 0 seconds Running Pointer_Conversion1/test.desc [OK] in 0 seconds @@ -4790,7 +4835,7 @@ Running Resolver1/test.desc [OK] in 0 seconds Running Resolver10/test.desc [OK] in 0 seconds Running Resolver11/test.desc [OK] in 0 seconds - Running Resolver12/test.desc [OK] in 1 seconds + Running Resolver12/test.desc [OK] in 0 seconds Running Resolver2/test.desc [OK] in 0 seconds Running Resolver3/test.desc [OK] in 0 seconds Running Resolver4/test.desc [OK] in 0 seconds @@ -4798,17 +4843,17 @@ 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_Instantiation3/test.desc [OK] in 0 seconds Running Template_Instantiation4/test.desc [OK] in 0 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 + Running Template_Specialisation1/test.desc [OK] in 1 seconds Running Template_Specialisation2/test.desc [OK] in 0 seconds Running Templates1/test.desc [OK] in 0 seconds Running Templates2/test.desc [OK] in 0 seconds Running Templates7/test.desc [OK] in 0 seconds Running Trailing_Return_Type1/test.desc [OK] in 0 seconds - Running Unary_Function_Overload1/test.desc [OK] in 1 seconds + Running Unary_Function_Overload1/test.desc [OK] in 0 seconds Running Unary_Function_Overload2/test.desc [OK] in 0 seconds Running Unary_Function_Overload3/test.desc [OK] in 0 seconds Running Unary_Function_Overload4/test.desc [OK] in 0 seconds @@ -4818,7 +4863,7 @@ 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 bool1/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 Running enum1/test.desc [OK] in 0 seconds @@ -4830,7 +4875,7 @@ Running enum7/test.desc [OK] in 0 seconds Running enum8/test.desc [OK] in 0 seconds Running enum_class1/test.desc [OK] in 0 seconds - Running gcc_vector1/test.desc [OK] in 1 seconds + Running gcc_vector1/test.desc [OK] in 0 seconds Running lvalue1/test.desc [OK] in 0 seconds Running namespace4/test.desc [OK] in 0 seconds Running nullptr1/test.desc [OK] in 0 seconds @@ -4841,7 +4886,7 @@ Running sizeof2/test.desc [OK] in 0 seconds Running sizeof3/test.desc [OK] in 0 seconds Running static_assert1/test.desc [OK] in 0 seconds - Running switch1/test.desc [OK] in 1 seconds + Running switch1/test.desc [OK] in 0 seconds Running type_traits1/test.desc [SKIPPED] Running type_traits_essentials1/test.desc [SKIPPED] Running typecast_ambiguity1/test.desc [OK] in 0 seconds @@ -4852,10 +4897,10 @@ 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 18 seconds - Running windows_h_VS_2008/test.desc [OK] in 17 seconds - Running windows_h_VS_2010/test.desc [OK] in 18 seconds - Running windows_h_VS_2012/test.desc [OK] in 20 seconds + Running windows_h_VS_2005/test.desc [OK] in 3 seconds + Running windows_h_VS_2008/test.desc [OK] in 3 seconds + Running windows_h_VS_2010/test.desc [OK] in 3 seconds + Running windows_h_VS_2012/test.desc [OK] in 3 seconds All tests were successful, 4 tests skipped make[4]: Leaving directory '/build/cbmc-5.10/regression/cpp' @@ -4868,20 +4913,20 @@ 37 tests found Running tests - Running assertion1/test.desc [OK] in 1 seconds + 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 1 seconds + Running built-ins4/test.desc [OK] in 0 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 0 seconds - Running cover1/test.desc [OK] in 1 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 Running location1/test.desc [OK] in 0 seconds @@ -4892,19 +4937,19 @@ Running location15/test.desc [SKIPPED] Running location16/test.desc [OK] in 0 seconds Running mcdc1/test.desc [OK] in 0 seconds - Running mcdc10/test.desc [OK] in 1 seconds + Running mcdc10/test.desc [OK] in 0 seconds Running mcdc11/test.desc [OK] in 0 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 1 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 0 seconds Running mcdc6/test.desc [OK] in 0 seconds - Running mcdc7/test.desc [OK] in 1 seconds + Running mcdc7/test.desc [OK] in 0 seconds Running mcdc8/test.desc [OK] in 0 seconds - Running mcdc9/test.desc [OK] in 0 seconds + Running mcdc9/test.desc [OK] in 1 seconds All tests were successful, 1 test skipped make[4]: Leaving directory '/build/cbmc-5.10/regression/cbmc-cover' @@ -4919,32 +4964,32 @@ 29 tests found Running tests - Running typedef-anon-struct1/test.desc [OK] in 1 seconds + 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-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 1 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 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 1 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-struct1/test.desc [OK] in 0 seconds - Running typedef-return-type1/test.desc [OK] in 1 seconds - Running typedef-return-type2/test.desc [OK] in 1 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 0 seconds - Running typedef-return-union1/test.desc [OK] in 1 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 - Running typedef-type1/test.desc [OK] in 1 seconds + Running typedef-type1/test.desc [OK] in 0 seconds Running typedef-type2/test.desc [OK] in 0 seconds - Running typedef-type3/test.desc [OK] in 1 seconds + 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 @@ -5012,31 +5057,31 @@ 13 tests found Running tests - Running invariant-failure/test.descbash: line 1: 24868 Aborted ../driver string 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure/test.descbash: line 1: 25363 Aborted ../driver string 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure10/test.descbash: line 1: 24870 Aborted ../driver unreachable-structured 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure10/test.descbash: line 1: 25365 Aborted ../driver unreachable-structured 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure11/test.descbash: line 1: 24872 Aborted ../driver data-invariant-string 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure11/test.descbash: line 1: 25367 Aborted ../driver data-invariant-string 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure12/test.descbash: line 1: 24874 Aborted ../driver data-invariant-structured 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure12/test.descbash: line 1: 25369 Aborted ../driver data-invariant-structured 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure13/test.descbash: line 1: 24876 Aborted ../driver irep 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure13/test.descbash: line 1: 25371 Aborted ../driver irep 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure2/test.descbash: line 1: 24878 Aborted ../driver structured 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure2/test.descbash: line 1: 25373 Aborted ../driver structured 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure3/test.descbash: line 1: 24880 Aborted ../driver precondition-string 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure3/test.descbash: line 1: 25375 Aborted ../driver precondition-string 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure4/test.descbash: line 1: 24882 Aborted ../driver precondition-structured 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure4/test.descbash: line 1: 25377 Aborted ../driver precondition-structured 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure5/test.descbash: line 1: 24884 Aborted ../driver postcondition-string 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure5/test.descbash: line 1: 25379 Aborted ../driver postcondition-string 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure6/test.descbash: line 1: 24886 Aborted ../driver postcondition-structured 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure6/test.descbash: line 1: 25381 Aborted ../driver postcondition-structured 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure7/test.descbash: line 1: 24888 Aborted ../driver check-return-string 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure7/test.descbash: line 1: 25383 Aborted ../driver check-return-string 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure8/test.descbash: line 1: 24890 Aborted ../driver check-return-structured 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure8/test.descbash: line 1: 25385 Aborted ../driver check-return-structured 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds - Running invariant-failure9/test.descbash: line 1: 24892 Aborted ../driver unreachable-string 'dummy_parameter.c' > 'test.out' 2>&1 + Running invariant-failure9/test.descbash: line 1: 25387 Aborted ../driver unreachable-string 'dummy_parameter.c' > 'test.out' 2>&1 [OK] in 0 seconds All tests were successful @@ -5112,7 +5157,7 @@ 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 0 seconds - Running multiple-sources/error.desc [OK] in 1 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 Running verbosity2/test.desc [OK] in 0 seconds @@ -5133,7 +5178,7 @@ Running mixed-c-library-goto-main/with_function.desc [OK] in 0 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 1 seconds + Running mixed-goto-library-c-main/without_function.desc [OK] in 0 seconds Running regenerate-entry-function/test.desc [OK] in 0 seconds All tests were successful @@ -5164,7 +5209,7 @@ 1 test found Running tests - Running regenerate-entry-function/test.desc [OK] in 1 seconds + Running regenerate-entry-function/test.desc [OK] in 0 seconds All tests were successful make[4]: Leaving directory '/build/cbmc-5.10/regression/goto-cc-goto-analyzer' @@ -5185,7 +5230,7 @@ Running BitvectorCpp1/test.desc [OK] in 0 seconds Running BitvectorCpp2/test.desc [SKIPPED] Running BitvectorSc1/test.desc [OK] in 0 seconds - Running BitvectorSc2/test.desc [OK] in 1 seconds + Running BitvectorSc2/test.desc [OK] in 0 seconds Running BitvectorSc3/test.desc [SKIPPED] Running Cast1/test.desc [SKIPPED] Running Constructor1/test.desc [OK] in 0 seconds @@ -5226,7 +5271,7 @@ Running function_check_mem_01/test.desc [SKIPPED] 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 1 seconds + Running invar_check_03/test.desc [OK] in 0 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] @@ -5263,30 +5308,30 @@ 351 tests found Running tests - Running ArithmeticException1/test.desc [OK] in 1 seconds + Running ArithmeticException1/test.desc [OK] in 0 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 - Running ArithmeticException5/test.desc [OK] in 1 seconds + Running ArithmeticException5/test.desc [OK] in 0 seconds Running ArithmeticException6/test.desc [OK] in 0 seconds Running ArithmeticException7/test.desc [OK] in 1 seconds 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 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 1 seconds + Running LocalVarTable2/test.desc [OK] in 0 seconds Running LocalVarTable3/test.desc [OK] in 0 seconds Running LocalVarTable4/test.desc [OK] in 0 seconds Running LocalVarTable5/test.desc [OK] in 0 seconds Running NegativeArraySizeException1/test.desc [OK] in 0 seconds Running NegativeArraySizeException2/test.desc [OK] in 0 seconds Running NondetArray/test.desc [OK] in 0 seconds - Running NondetArray2/test.desc [OK] in 1 seconds + 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 @@ -5294,7 +5339,7 @@ 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 1 seconds + Running NondetChar/test.desc [OK] in 0 seconds Running NondetCharSequence/test.desc [OK] in 0 seconds Running NondetDirectFromMethod/test.desc [OK] in 0 seconds Running NondetDouble/test.desc [OK] in 0 seconds @@ -5314,43 +5359,43 @@ 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 1 seconds + Running NullPointer1/test.desc [OK] in 0 seconds Running NullPointer2/test.desc [OK] in 0 seconds Running NullPointer3/test.desc [OK] in 0 seconds Running NullPointer4/test.desc [OK] in 0 seconds Running NullPointerException1/test.desc [SKIPPED] - Running NullPointerException2/test.desc [OK] in 1 seconds + Running NullPointerException2/test.desc [OK] in 0 seconds Running NullPointerException3/test.desc [OK] in 0 seconds - Running NullPointerException4/test.desc [OK] in 1 seconds + Running NullPointerException4/test.desc [OK] in 0 seconds Running VarLengthArrayTrace1/test.desc [OK] in 0 seconds Running aastore_aaload1/test.desc [OK] in 0 seconds - Running address_space_size_limit1/test.desc [OK] in 1 seconds + Running address_space_size_limit1/test.desc [OK] in 0 seconds Running address_space_size_limit2/test.desc [OK] in 0 seconds - Running annotations1/show_annotation_symbol.desc [OK] in 1 seconds + Running annotations1/show_annotation_symbol.desc [OK] in 0 seconds Running annotations2/test.desc [OK] in 0 seconds Running array1/test.desc [OK] in 1 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 1 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 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 - Running arrayread1/test.desc [OK] in 1 seconds + 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 1 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 assert5/test.desc [OK] in 0 seconds Running assert6/test.desc [OK] in 0 seconds Running assert7/test.desc [OK] in 0 seconds Running assertion_error_constructors/test.desc [OK] in 0 seconds - Running assume1/test.desc [OK] in 1 seconds + Running assume1/test.desc [OK] in 0 seconds Running assume2/test.desc [OK] in 0 seconds Running assume3/test.desc [OK] in 0 seconds - Running astore_aload1/test.desc [OK] in 2 seconds + Running astore_aload1/test.desc [OK] in 1 seconds Running athrow1/test.desc [SKIPPED] Running basic1/test.desc [OK] in 0 seconds Running basic2/test.desc [OK] in 0 seconds @@ -5360,35 +5405,35 @@ 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 1 seconds + 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-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 1 seconds + Running classpath2/test.desc [OK] in 0 seconds Running classtest1/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 82 seconds + Running constructor1/test.desc [OK] in 0 seconds + Running coreModels/test.desc [OK] in 6 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 - Running divide_by_zero/test.desc [OK] in 1 seconds + Running divide_by_zero/test.desc [OK] in 0 seconds Running double1/test.desc [OK] in 0 seconds Running dynamic-multi-dimensional-array/test.desc [OK] in 0 seconds Running enum1/test.desc [OK] in 0 seconds - Running enum_switch/test.desc [OK] in 1 seconds - Running enum_values_clone/test.desc [OK] in 1 seconds + Running enum_switch/test.desc [OK] in 0 seconds + Running enum_values_clone/test.desc [OK] in 0 seconds Running enum_values_clone_name/test.desc [OK] in 0 seconds Running environment1/test.desc [SKIPPED] Running exceptions1/test.desc [OK] in 0 seconds Running exceptions10/test.desc [OK] in 0 seconds - Running exceptions11/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 Running exceptions14/test.desc [OK] in 0 seconds @@ -5400,21 +5445,21 @@ Running exceptions20/test.desc [OK] in 1 seconds Running exceptions21/test.desc [OK] in 0 seconds Running exceptions22/test.desc [OK] in 0 seconds - Running exceptions23/test.desc [OK] in 1 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 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 1 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 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 1 seconds + Running finally1/test.desc [OK] in 0 seconds Running finally2/test.desc [OK] in 0 seconds Running finally3/test.desc [OK] in 0 seconds Running finally4/test.desc [OK] in 0 seconds @@ -5430,52 +5475,52 @@ Running generics_recursive_parameters/test.desc [OK] in 0 seconds Running generics_type_param/test.desc [OK] in 0 seconds Running iarith1/test.desc [OK] in 0 seconds - Running iarith2/test.desc [OK] in 1 seconds + 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 0 seconds Running ifxx1/test.desc [OK] in 0 seconds - Running inferlexicalscope1/test.desc [OK] in 1 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_field2/test.desc [OK] in 1 seconds Running inherited_static_field3/test.desc [OK] in 0 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 1 seconds + Running inherited_static_field6/test.desc [OK] in 0 seconds Running inherited_static_field7/test.desc [OK] in 0 seconds Running inherited_static_field8/test.desc [OK] in 0 seconds Running inherited_static_field9/test.desc [OK] in 0 seconds Running instanceof1/test.desc [OK] in 0 seconds Running instanceof2/test.desc [SKIPPED] - Running instanceof3/test.desc [OK] in 1 seconds + 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 instanceof7/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 0 seconds - Running invalid_classpath/test-jar.desc [OK] in 1 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 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 Running jar-file2/test.desc [OK] in 0 seconds - Running jar-file3/test.desc [OK] in 1 seconds + Running jar-file3/test.desc [OK] in 0 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 0 seconds - Running jsr1/test.desc [OK] in 2 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 1 seconds + Running lambda3/test.desc [OK] in 0 seconds Running lazyloading1/test.desc [OK] in 0 seconds Running lazyloading10/test.desc [OK] in 0 seconds Running lazyloading11/test.desc [OK] in 0 seconds @@ -5483,7 +5528,7 @@ Running lazyloading3/test.desc [OK] in 0 seconds Running lazyloading4/test.desc [OK] in 0 seconds Running lazyloading5/test.desc [OK] in 0 seconds - Running lazyloading6/test.desc [OK] in 1 seconds + Running lazyloading6/test.desc [OK] in 0 seconds Running lazyloading7/test.desc [OK] in 0 seconds Running lazyloading8/test.desc [OK] in 0 seconds Running lazyloading9/test.desc [OK] in 0 seconds @@ -5493,63 +5538,63 @@ Running lazyloading_indirect_generic_array_parameter/test.desc [OK] in 1 seconds Running lazyloading_inheritance/test.desc [OK] in 0 seconds Running lazyloading_inheritance_field/test.desc [OK] in 0 seconds - Running lazyloading_multiple_array_types/test.desc [OK] in 1 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 1 seconds + Running lazyloading_opaquereturn/test.desc [OK] in 0 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 Running lazyloading_synthetic_method_cleanup1/check_runs_with_lazy_loading.desc [OK] in 0 seconds Running lazyloading_synthetic_method_cleanup2/check_clinit_normally_present.desc [OK] in 0 seconds Running lazyloading_synthetic_method_cleanup2/check_clinit_removed_by_lazy_loading.desc [OK] in 0 seconds - Running lazyloading_synthetic_method_cleanup2/check_runs_with_lazy_loading.desc [OK] in 1 seconds + Running lazyloading_synthetic_method_cleanup2/check_runs_with_lazy_loading.desc [OK] in 0 seconds 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 0 seconds Running long1/test.desc [OK] in 0 seconds - Running lookupswitch1/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 0 seconds - Running lvt-groovy/test.desc [OK] in 7 seconds + Running lvt-groovy/test.desc [OK] in 1 seconds Running lvt-unexpected/test.desc [OK] in 0 seconds Running main-args-elements-non-null1/test.desc [OK] in 0 seconds - Running main-args-elements-non-null2/test.desc [OK] in 1 seconds + Running main-args-elements-non-null2/test.desc [OK] in 0 seconds Running main-args-non-null-with-function1/test.desc [OK] in 0 seconds Running main-args-non-null1/test.desc [OK] in 0 seconds - Running method_parameters1/test.desc [OK] in 2 seconds - Running method_parameters2/test.desc [OK] in 4 seconds + Running method_parameters1/test.desc [OK] in 0 seconds + Running method_parameters2/test.desc [OK] in 0 seconds Running monitorenter1/test.desc [OK] in 0 seconds - Running multinewarray/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 1 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 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 1 seconds + Running no-main-object-array-maybe-null2/test.desc [OK] in 0 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 - 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 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 provide_object_implementation/test.desc [OK] in 0 seconds Running putfield_getfield1/test.desc [OK] in 0 seconds - Running putstatic_getstatic1/test.desc [OK] in 1 seconds + Running putstatic_getstatic1/test.desc [OK] in 0 seconds 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 @@ -5560,26 +5605,26 @@ 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 - Running repeated_guards/test_classcast.desc [OK] in 1 seconds + Running repeated_guards/test_classcast.desc [OK] in 0 seconds Running repeated_guards/test_divbyzero.desc [OK] in 0 seconds Running repeated_guards/test_nullderef.desc [OK] in 0 seconds Running return1/test.desc [OK] in 0 seconds - Running return2/test.desc [OK] in 1 seconds + Running return2/test.desc [OK] in 0 seconds Running short1/test.desc [OK] in 0 seconds Running short2/test.desc [OK] in 0 seconds - Running siblingobjects1/test.desc [OK] in 1 seconds + 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 0 seconds Running stack_var10/test.desc [OK] in 0 seconds Running stack_var12/test.desc [OK] in 0 seconds - Running stack_var2/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 Running stack_var5/test.desc [OK] in 0 seconds Running stack_var6/test.desc [OK] in 0 seconds Running stack_var7/test.desc [OK] in 0 seconds - Running static_init1/test.desc [OK] in 1 seconds + Running static_init1/test.desc [OK] in 0 seconds Running static_init1/test1.desc [OK] in 0 seconds Running static_init2/test.desc [OK] in 0 seconds Running static_init2/test1.desc [OK] in 0 seconds @@ -5589,23 +5634,23 @@ Running static_init_order/test4.desc [OK] in 0 seconds Running static_method1/test.desc [OK] in 0 seconds Running store_load1/test.desc [OK] in 0 seconds - Running string_field_aliasing/test.desc [OK] in 2 seconds + Running string_field_aliasing/test.desc [OK] in 1 seconds Running string_literal1/test.desc [SKIPPED] - Running stub_identifiers/test.desc [OK] in 2 seconds + Running stub_identifiers/test.desc [OK] in 0 seconds Running swap1/test.desc [OK] in 0 seconds Running swap2/test.desc [OK] in 0 seconds - Running symex_should_exclude_null_pointers/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] 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/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 - Running virtual10/test.desc [OK] in 1 seconds + Running virtual10/test.desc [OK] in 0 seconds Running virtual2/test.desc [OK] in 0 seconds Running virtual4/test.desc [OK] in 0 seconds Running virtual5/test.desc [OK] in 0 seconds @@ -5626,9 +5671,9 @@ Running ArithmeticException4/test.desc [OK] in 0 seconds Running ArithmeticException5/test.desc [OK] in 0 seconds Running ArithmeticException6/test.desc [OK] in 0 seconds - Running ArithmeticException7/test.desc [OK] in 0 seconds + Running ArithmeticException7/test.desc [OK] in 1 seconds Running ArrayIndexOutOfBoundsException1/test.desc [OK] in 0 seconds - Running ArrayIndexOutOfBoundsException2/test.desc [OK] in 1 seconds + 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 @@ -5636,7 +5681,7 @@ 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 1 seconds + Running LocalVarTable2/test.desc [OK] in 0 seconds Running LocalVarTable3/test.desc [OK] in 0 seconds Running LocalVarTable4/test.desc [OK] in 0 seconds Running LocalVarTable5/test.desc [OK] in 0 seconds @@ -5644,7 +5689,7 @@ 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 NondetAssume2/test.desc [OK] in 0 seconds @@ -5656,24 +5701,24 @@ 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 1 seconds + Running NondetGenericArray/test.desc [OK] in 0 seconds Running NondetGenericRecursive/test.desc [OK] in 0 seconds Running NondetGenericRecursive2/test.desc [OK] in 0 seconds Running NondetGenericWithNull/test.desc [OK] in 0 seconds Running NondetGenericWithoutNull/test.desc [OK] in 0 seconds - Running NondetInit/test.desc [OK] in 1 seconds + Running NondetInit/test.desc [OK] in 0 seconds Running NondetInit/test_lazy.desc [SKIPPED] Running NondetInit2/test.desc [OK] in 0 seconds Running NondetInit3/test.desc [OK] in 0 seconds Running NondetInt/test.desc [OK] in 0 seconds Running NondetLong/test.desc [OK] in 0 seconds Running NondetShort/test.desc [OK] in 0 seconds - Running NondetString/test.desc [OK] in 1 seconds - Running NondetStringBuffer/test.desc [OK] in 0 seconds + Running NondetString/test.desc [OK] in 0 seconds + Running NondetStringBuffer/test.desc [OK] in 1 seconds Running NondetStringBuilder/test.desc [OK] in 0 seconds Running NullPointer1/test.desc [OK] in 0 seconds Running NullPointer2/test.desc [OK] in 0 seconds - Running NullPointer3/test.desc [OK] in 1 seconds + Running NullPointer3/test.desc [OK] in 0 seconds Running NullPointer4/test.desc [OK] in 0 seconds Running NullPointerException1/test.desc [SKIPPED] Running NullPointerException2/test.desc [OK] in 0 seconds @@ -5681,9 +5726,9 @@ Running NullPointerException4/test.desc [OK] in 0 seconds Running VarLengthArrayTrace1/test.desc [OK] in 0 seconds Running aastore_aaload1/test.desc [OK] in 0 seconds - Running address_space_size_limit1/test.desc [OK] in 1 seconds - Running address_space_size_limit2/test.desc [OK] in 1 seconds - Running annotations1/show_annotation_symbol.desc [OK] in 1 seconds + Running address_space_size_limit1/test.desc [OK] in 0 seconds + Running address_space_size_limit2/test.desc [OK] in 0 seconds + 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 @@ -5694,14 +5739,14 @@ 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 - Running arrayread1/test.desc [OK] in 1 seconds + 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_throw_no_uncaught.desc [OK] in 0 seconds Running assert4/test.desc [OK] in 0 seconds Running assert5/test.desc [OK] in 0 seconds - Running assert6/test.desc [OK] in 1 seconds + Running assert6/test.desc [OK] in 0 seconds Running assert7/test.desc [OK] in 0 seconds Running assertion_error_constructors/test.desc [OK] in 0 seconds Running assume1/test.desc [OK] in 0 seconds @@ -5712,14 +5757,14 @@ Running basic1/test.desc [OK] in 0 seconds Running basic2/test.desc [OK] in 0 seconds Running bitwise1/test.desc [OK] in 0 seconds - Running boolean1/test.desc [OK] in 1 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_no_uncaught_exceptions.desc [OK] in 0 seconds - Running char1/test.desc [OK] in 1 seconds + Running char1/test.desc [OK] in 0 seconds Running class-fields/test.desc [OK] in 0 seconds Running class-literals/test.desc [OK] in 0 seconds Running class-literals/test_lazy.desc [SKIPPED] @@ -5728,24 +5773,24 @@ 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 2 seconds + Running clean_derefs/test.desc [OK] in 0 seconds Running const1/test.desc [OK] in 0 seconds Running constructor1/test.desc [OK] in 0 seconds - Running coreModels/test.desc [OK] in 19 seconds + Running coreModels/test.desc [OK] in 1 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 - Running divide_by_zero/test.desc [OK] in 0 seconds + Running divide_by_zero/test.desc [OK] in 1 seconds Running double1/test.desc [OK] in 0 seconds Running dynamic-multi-dimensional-array/test.desc [OK] in 0 seconds - Running enum1/test.desc [OK] in 1 seconds + Running enum1/test.desc [OK] in 0 seconds Running enum_switch/test.desc [SKIPPED] Running enum_values_clone/test.desc [SKIPPED] 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 exceptions11/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 Running exceptions14/test.desc [OK] in 0 seconds @@ -5754,23 +5799,23 @@ Running exceptions18/test.desc [OK] in 0 seconds Running exceptions19/test.desc [OK] in 0 seconds Running exceptions2/test.desc [OK] in 0 seconds - Running exceptions20/test.desc [OK] in 1 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 1 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 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 1 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 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 1 seconds + Running farith1/test.desc [OK] in 1 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 finally3/test.desc [OK] in 0 seconds @@ -5786,14 +5831,14 @@ Running generic_class_bound1/test.desc [SKIPPED] Running generics_recursive_parameters/test.desc [OK] in 0 seconds Running generics_type_param/test.desc [OK] in 0 seconds - Running iarith1/test.desc [OK] in 1 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_expr1/test.desc [OK] in 0 seconds Running if_icmp1/test.desc [OK] in 0 seconds Running ifxx1/test.desc [OK] in 0 seconds - Running inferlexicalscope1/test.desc [OK] in 1 seconds - Running inherited_static_field1/test.desc [OK] in 1 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 @@ -5805,34 +5850,34 @@ Running inherited_static_field9/test.desc [OK] in 0 seconds Running instanceof1/test.desc [OK] in 0 seconds Running instanceof2/test.desc [SKIPPED] - Running instanceof3/test.desc [OK] in 1 seconds + 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 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 1 seconds + Running interface1/test.desc [OK] in 0 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 1 seconds + Running isnan1/test.desc [OK] in 0 seconds Running iterator1/test.desc [OK] in 0 seconds Running iterator2/test.desc [OK] in 1 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-file4/test.desc [OK] in 0 seconds - Running json_trace1/test.desc [OK] in 1 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 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 - Running lambda3/test.desc [OK] in 1 seconds + Running lambda3/test.desc [OK] in 0 seconds Running lazyloading1/test.desc [SKIPPED] Running lazyloading10/test.desc [SKIPPED] Running lazyloading11/test.desc [SKIPPED] @@ -5869,8 +5914,8 @@ Running long1/test.desc [OK] in 0 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 1 seconds - Running lots_of_local_variables/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 lvt-groovy/test.desc [SKIPPED] Running lvt-unexpected/test.desc [SKIPPED] Running main-args-elements-non-null1/test.desc [OK] in 0 seconds @@ -5880,29 +5925,29 @@ Running method_parameters1/test.desc [SKIPPED] Running method_parameters2/test.desc [SKIPPED] Running monitorenter1/test.desc [OK] in 0 seconds - Running multinewarray/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 1 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 2 seconds + Running no-main-multi-array-maybe-null2/test.desc [OK] in 0 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 overlay-class/correct-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 - 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 [SKIPPED] 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 1 seconds + Running phi-merge_uninitialized_values/local.desc [OK] in 1 seconds + Running phi-merge_uninitialized_values/static_field.desc [OK] in 0 seconds Running pointer_check1/test.desc [OK] in 0 seconds Running provide_object_implementation/test.desc [SKIPPED] Running putfield_getfield1/test.desc [OK] in 0 seconds @@ -5918,14 +5963,14 @@ Running repeated_guards/test_arraycreation.desc [OK] in 0 seconds Running repeated_guards/test_assertion.desc [OK] in 0 seconds Running repeated_guards/test_classcast.desc [OK] in 0 seconds - Running repeated_guards/test_divbyzero.desc [OK] in 1 seconds + Running repeated_guards/test_divbyzero.desc [OK] in 0 seconds Running repeated_guards/test_nullderef.desc [OK] in 0 seconds Running return1/test.desc [OK] in 0 seconds Running return2/test.desc [OK] in 0 seconds Running short1/test.desc [OK] in 0 seconds Running short2/test.desc [OK] in 0 seconds Running siblingobjects1/test.desc [OK] in 0 seconds - Running siblingobjects2/test.desc [OK] in 1 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 0 seconds Running stack_var10/test.desc [OK] in 0 seconds @@ -5935,7 +5980,7 @@ Running stack_var4/test.desc [OK] in 0 seconds Running stack_var5/test.desc [OK] in 0 seconds Running stack_var6/test.desc [OK] in 0 seconds - Running stack_var7/test.desc [OK] in 1 seconds + Running stack_var7/test.desc [OK] in 0 seconds Running static_init1/test.desc [OK] in 0 seconds Running static_init1/test1.desc [OK] in 0 seconds Running static_init2/test.desc [OK] in 0 seconds @@ -5943,10 +5988,10 @@ Running static_init_order/test1.desc [OK] in 0 seconds Running static_init_order/test2.desc [OK] in 0 seconds Running static_init_order/test3.desc [OK] in 0 seconds - Running static_init_order/test4.desc [OK] in 1 seconds + Running static_init_order/test4.desc [OK] in 0 seconds Running static_method1/test.desc [OK] in 0 seconds Running store_load1/test.desc [OK] in 0 seconds - Running string_field_aliasing/test.desc [OK] in 5 seconds + Running string_field_aliasing/test.desc [OK] in 2 seconds Running string_literal1/test.desc [SKIPPED] Running stub_identifiers/test.desc [SKIPPED] Running swap1/test.desc [OK] in 0 seconds @@ -5956,12 +6001,12 @@ Running synchronized/test.desc [SKIPPED] Running tableswitch1/test.desc [OK] in 0 seconds Running tableswitch2/test.desc [OK] in 0 seconds - Running trace_class_identifier/test.desc [OK] in 1 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 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 1 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 virtual4/test.desc [OK] in 0 seconds @@ -5983,44 +6028,44 @@ 39 tests found Running tests - Running anonymous-java.lang.thread/test.desc [OK] in 2 seconds - Running anonymous-java.lang.thread/test2.desc [OK] in 1 seconds + Running anonymous-java.lang.thread/test.desc [OK] in 1 seconds + Running anonymous-java.lang.thread/test2.desc [OK] in 0 seconds Running explicit-thread-blocks/test.desc [OK] in 0 seconds Running explicit-thread-blocks/test2.desc [OK] in 0 seconds - Running get-current-thread/test.desc [OK] in 1 seconds + 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 1 seconds + Running get-current-thread/test4.desc [OK] in 0 seconds Running get-current-thread/test5.desc [OK] in 1 seconds - Running get-current-thread/test6.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 2 seconds - Running java-lang-runnable/test2.desc [OK] in 2 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 2 seconds + Running java-lang-runnable/test.desc [OK] in 0 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/test4.desc [OK] in 0 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 1 seconds - Running java-lang-thread/test4.desc [OK] in 2 seconds - Running several-threads/test.desc [OK] in 3 seconds - Running several-threads/test2.desc [OK] in 2 seconds - Running several-threads/test3.desc [OK] in 3 seconds + Running java-lang-thread/test3.desc [OK] in 0 seconds + Running java-lang-thread/test4.desc [OK] in 0 seconds + Running several-threads/test.desc [OK] in 1 seconds + Running several-threads/test2.desc [OK] in 1 seconds + Running several-threads/test3.desc [OK] in 1 seconds Running synchronized-blocks/test.desc [OK] in 0 seconds - Running synchronized-blocks/test1.desc [OK] in 1 seconds - Running synchronized-blocks/test2.desc [OK] in 1 seconds + Running synchronized-blocks/test1.desc [OK] in 0 seconds + Running synchronized-blocks/test2.desc [OK] in 0 seconds 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 2 seconds - Running synchronized-blocks/test_sync_baseline.desc [OK] in 1 seconds + Running synchronized-blocks/test_sync.desc [OK] in 1 seconds + Running synchronized-blocks/test_sync_baseline.desc [OK] in 0 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 1 seconds + 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 1 seconds - Running synchronized-methods/test3.desc [OK] in 1 seconds + Running synchronized-methods/test2.desc [OK] in 0 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 2 seconds + Running synchronized-methods/test_sync_baseline.desc [OK] in 0 seconds Running synchronized-methods/test_sync_static.desc [SKIPPED] All tests were successful, 7 tests skipped @@ -6072,16 +6117,16 @@ Running RegexSubstitution01/test.desc [SKIPPED] Running RegexSubstitution02/test.desc [SKIPPED] Running RegexSubstitution03/test.desc [SKIPPED] - Running StartsWith/test.desc [OK] in 2 seconds - Running StartsWith/test_det.desc [OK] in 1 seconds + Running StartsWith/test.desc [OK] in 1 seconds + Running StartsWith/test_det.desc [OK] in 0 seconds Running StartsWith/test_nondet.desc [SKIPPED] Running StaticCharMethods01/test.desc [OK] in 0 seconds Running StaticCharMethods02/test.desc [OK] in 0 seconds Running StaticCharMethods03/test.desc [OK] in 0 seconds Running StaticCharMethods04/test.desc [OK] in 0 seconds - Running StaticCharMethods05/test.desc [OK] in 1 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] @@ -6100,28 +6145,28 @@ Running StringBuilderInsertDelete01/test.desc [SKIPPED] Running StringBuilderInsertDelete02/test.desc [SKIPPED] Running StringBuilderInsertDelete03/test.desc [SKIPPED] - Running StringBuilderSetCharAt/test_dependency.desc [OK] in 1 seconds - Running StringBuilderSetCharAt/test_det.desc [OK] in 1 seconds - Running StringBuilderSetCharAt/test_nondet.desc [OK] in 1 seconds + 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 StringCompare01/test.desc [SKIPPED] Running StringCompare02/test.desc [OK] in 0 seconds - Running StringCompare03/test.desc [OK] in 1 seconds + Running StringCompare03/test.desc [OK] in 0 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 2 seconds - Running StringConcat/test_buffer_nondet_loop.desc [OK] in 1 seconds - Running StringConcat/test_buffer_nondet_loop2.desc [OK] in 5 seconds - Running StringConcat/test_buffer_nondet_loop3.desc [OK] in 1 seconds - Running StringConcat/test_buffer_nondet_loop4.desc [OK] in 1 seconds - Running StringConcat/test_buffer_nondet_loop5.desc [OK] in 3 seconds - Running StringConcat/test_char_buffer_det.desc [OK] in 1 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_loop5.desc [OK] in 0 seconds + Running StringConcat/test_char_buffer_det.desc [OK] in 0 seconds Running StringConcat/test_char_buffer_det_loop.desc [OK] in 1 seconds - Running StringConcat/test_char_buffer_det_loop2.desc [OK] in 5 seconds - Running StringConcat/test_string_det.desc [OK] in 1 seconds - Running StringConcat/test_string_nondet.desc [OK] in 3 seconds - Running StringConcat_StringII/test.desc [OK] in 4 seconds - Running StringConcat_StringII/test_fail.desc [OK] in 2 seconds - Running StringConcatenation01/test.desc [OK] in 1 seconds + Running StringConcat/test_char_buffer_det_loop2.desc [OK] in 0 seconds + Running StringConcat/test_string_det.desc [OK] in 0 seconds + Running StringConcat/test_string_nondet.desc [OK] in 0 seconds + Running StringConcat_StringII/test.desc [OK] in 1 seconds + Running StringConcat_StringII/test_fail.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 @@ -6133,50 +6178,50 @@ Running StringContains01/test.desc [SKIPPED] Running StringContains02/test.desc [SKIPPED] Running StringContains03/test.desc [OK] in 0 seconds - Running StringDependencies/test.desc [OK] in 1 seconds - Running StringEquals/test.desc [OK] in 1 seconds + Running StringDependencies/test.desc [OK] in 0 seconds + Running StringEquals/test.desc [OK] in 0 seconds Running StringEquals/test_verify.desc [SKIPPED] - Running StringEquals/test_verify_non_null.desc [OK] in 1 seconds + Running StringEquals/test_verify_non_null.desc [OK] in 0 seconds 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 1 seconds + 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 15 seconds - Running StringIndexOf/test2.desc [OK] in 1 seconds + Running StringIndexOf/test.desc [OK] in 10 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 1 seconds - Running StringMiscellaneous04/test.desc [OK] in 1 seconds - Running StringModelsWithFields/test.desc [OK] in 0 seconds + Running StringMiscellaneous03/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 1 seconds + Running StringStartEnd02/test.desc [OK] in 0 seconds Running StringStartEnd03/test.desc [SKIPPED] - Running StringSubstring/test.desc [OK] in 2 seconds - Running StringSubstring/test_fail.desc [OK] in 3 seconds - Running StringToLowerCase/test_dependency.desc [OK] in 14 seconds - Running StringToLowerCase/test_det.desc [OK] in 1 seconds - Running StringToLowerCase/test_nondet.desc [OK] in 2 seconds - Running StringToUpperCase/test_dependency.desc [OK] in 5 seconds + Running StringSubstring/test.desc [OK] in 1 seconds + Running StringSubstring/test_fail.desc [OK] in 1 seconds + Running StringToLowerCase/test_dependency.desc [OK] in 4 seconds + Running StringToLowerCase/test_det.desc [OK] in 0 seconds + Running StringToLowerCase/test_nondet.desc [OK] in 0 seconds + Running StringToUpperCase/test_dependency.desc [OK] in 1 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 1 seconds Running StringValueOf03/test.desc [OK] in 0 seconds - Running StringValueOf04/test.desc [OK] in 1 seconds + Running StringValueOf04/test.desc [OK] in 0 seconds Running StringValueOf05/test.desc [OK] in 0 seconds - Running StringValueOf06/test.desc [OK] in 1 seconds + Running StringValueOf06/test.desc [OK] in 0 seconds Running StringValueOf07/test.desc [OK] in 1 seconds - Running StringValueOf08/test.desc [OK] in 1 seconds - Running StringValueOf09/test.desc [OK] in 1 seconds + Running StringValueOf08/test.desc [OK] in 0 seconds + Running StringValueOf09/test.desc [OK] in 0 seconds Running StringValueOf10/test.desc [SKIPPED] - Running StringValueOfInt/test_dependency.desc [OK] in 1 seconds - Running StringValueOfInt/test_det.desc [OK] in 0 seconds - Running StringValueOfInt/test_nondet.desc [OK] in 3 seconds - Running SubString01/test.desc [OK] in 1 seconds + Running StringValueOfInt/test_dependency.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 0 seconds Running SubString02/test.desc [OK] in 0 seconds Running SubString03/test.desc [OK] in 0 seconds Running TokenTest01/test.desc [SKIPPED] @@ -6187,29 +6232,29 @@ 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 2 seconds + Running char_escape/test.desc [OK] in 0 seconds Running instanceof/test.desc [OK] in 0 seconds - Running java_append_char/test.desc [OK] in 1 seconds + Running java_append_char/test.desc [OK] in 0 seconds Running java_append_int/test.desc [SKIPPED] Running java_append_object/test.desc [SKIPPED] - Running java_char_array_init/test.desc [OK] in 3 seconds + Running java_char_array_init/test.desc [OK] in 1 seconds Running java_char_at/test.desc [OK] in 0 seconds Running java_compare/test.desc [OK] in 0 seconds Running java_concat/test.desc [OK] in 0 seconds Running java_delete/test.desc [OK] in 0 seconds Running java_easychair/test.desc [SKIPPED] - Running java_empty/test.desc [OK] in 1 seconds + Running java_empty/test.desc [OK] in 0 seconds Running java_insert_char/test.desc [OK] in 0 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 1 seconds Running long_string/test_abort.desc [OK] in 0 seconds Running max-length/test1.desc [OK] in 0 seconds - Running max-length/test2.desc [OK] in 1 seconds - Running max-length/test3.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 0 seconds - Running max-length-generic-array/test_gen.desc [OK] in 1 seconds + Running max-length-generic-array/test_gen.desc [OK] in 0 seconds Running stub-string-length/test.desc [OK] in 0 seconds All tests were successful, 51 tests skipped @@ -6224,14 +6269,14 @@ Running RegexSubstitution01/test.desc [SKIPPED] Running RegexSubstitution02/test.desc [SKIPPED] Running RegexSubstitution03/test.desc [SKIPPED] - Running StartsWith/test.desc [OK] in 2 seconds + Running StartsWith/test.desc [OK] in 1 seconds Running StartsWith/test_det.desc [OK] in 0 seconds Running StartsWith/test_nondet.desc [SKIPPED] Running StaticCharMethods01/test.desc [OK] in 0 seconds Running StaticCharMethods02/test.desc [OK] in 0 seconds Running StaticCharMethods03/test.desc [OK] in 0 seconds Running StaticCharMethods04/test.desc [OK] in 0 seconds - Running StaticCharMethods05/test.desc [OK] in 1 seconds + Running StaticCharMethods05/test.desc [OK] in 0 seconds Running StaticCharMethods06/test.desc [SKIPPED] Running StringArray/test.desc [OK] in 0 seconds Running StringBuilderAppend01/test.desc [SKIPPED] @@ -6253,29 +6298,29 @@ 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 2 seconds - Running StringBuilderSetCharAt/test_nondet.desc [OK] in 1 seconds + 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 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 2 seconds - Running StringConcat/test_buffer_nondet_loop.desc [OK] in 1 seconds - Running StringConcat/test_buffer_nondet_loop2.desc [OK] in 6 seconds - Running StringConcat/test_buffer_nondet_loop3.desc [OK] in 1 seconds - Running StringConcat/test_buffer_nondet_loop4.desc [OK] in 1 seconds - Running StringConcat/test_buffer_nondet_loop5.desc [OK] in 5 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_loop5.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 2 seconds - Running StringConcat/test_char_buffer_det_loop2.desc [OK] in 6 seconds - Running StringConcat/test_string_det.desc [OK] in 2 seconds - Running StringConcat/test_string_nondet.desc [OK] in 3 seconds - Running StringConcat_StringII/test.desc [OK] in 2 seconds - Running StringConcat_StringII/test_fail.desc [OK] in 2 seconds + Running StringConcat/test_char_buffer_det_loop.desc [OK] in 0 seconds + Running StringConcat/test_char_buffer_det_loop2.desc [OK] in 0 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 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 0 seconds - Running StringConcatenation03/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] Running StringConstructors02/test.desc [SKIPPED] @@ -6284,83 +6329,83 @@ Running StringConstructors05/test.desc [SKIPPED] Running StringContains01/test.desc [SKIPPED] Running StringContains02/test.desc [SKIPPED] - Running StringContains03/test.desc [OK] in 1 seconds - Running StringDependencies/test.desc [OK] in 1 seconds - Running StringEquals/test.desc [OK] in 1 seconds + 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_verify.desc [SKIPPED] - Running StringEquals/test_verify_non_null.desc [OK] in 1 seconds + Running StringEquals/test_verify_non_null.desc [OK] in 0 seconds Running StringIndexMethods01/test.desc [SKIPPED] - Running StringIndexMethods02/test.desc [OK] in 0 seconds + Running StringIndexMethods02/test.desc [OK] in 1 seconds Running StringIndexMethods03/test.desc [OK] in 0 seconds - Running StringIndexMethods04/test.desc [OK] in 1 seconds + 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 1 seconds + 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 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 2 seconds - Running StringSubstring/test_fail.desc [OK] in 3 seconds - Running StringToLowerCase/test_dependency.desc [OK] in 14 seconds - Running StringToLowerCase/test_det.desc [OK] in 2 seconds - Running StringToLowerCase/test_nondet.desc [OK] in 2 seconds - Running StringToUpperCase/test_dependency.desc [OK] in 5 seconds + Running StringSubstring/test.desc [OK] in 1 seconds + Running StringSubstring/test_fail.desc [OK] in 1 seconds + Running StringToLowerCase/test_dependency.desc [OK] in 4 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 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 1 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 StringValueOf06/test.desc [OK] in 1 seconds + Running StringValueOf06/test.desc [OK] in 0 seconds Running StringValueOf07/test.desc [OK] in 1 seconds - Running StringValueOf08/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 1 seconds - Running StringValueOfInt/test_det.desc [OK] in 1 seconds - Running StringValueOfInt/test_nondet.desc [OK] in 4 seconds - Running SubString01/test.desc [OK] in 1 seconds + 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 0 seconds Running SubString02/test.desc [OK] in 0 seconds - Running SubString03/test.desc [OK] in 0 seconds + Running SubString03/test.desc [OK] in 1 seconds Running TokenTest01/test.desc [SKIPPED] Running TokenTest02/test.desc [SKIPPED] Running Validate01/test.desc [SKIPPED] Running Validate02/test.desc [SKIPPED] Running VerifStringLastIndexOf/test.desc [SKIPPED] Running bug-test-gen-095/test.desc [SKIPPED] - Running bug-test-gen-119/test.desc [OK] in 1 seconds + Running bug-test-gen-119/test.desc [OK] in 0 seconds Running bug-test-gen-119-2/test.desc [OK] in 0 seconds - Running char_escape/test.desc [OK] in 3 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_char/test.desc [OK] in 0 seconds Running java_append_int/test.desc [SKIPPED] Running java_append_object/test.desc [SKIPPED] - Running java_char_array_init/test.desc [OK] in 3 seconds + Running java_char_array_init/test.desc [OK] in 1 seconds Running java_char_at/test.desc [OK] in 0 seconds Running java_compare/test.desc [OK] in 0 seconds Running java_concat/test.desc [OK] in 0 seconds - Running java_delete/test.desc [OK] in 1 seconds + 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_int/test.desc [OK] in 0 seconds - Running literal-length/test.desc [OK] in 1 seconds - Running long_string/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/test2.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 1 seconds - Running max-length-generic-array/test.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_gen.desc [OK] in 0 seconds Running stub-string-length/test.desc [OK] in 0 seconds @@ -6376,7 +6421,7 @@ Running tests Running java-add-package/test.desc [OK] in 0 seconds - Running java-clinit-wrapper/test.desc [OK] in 5 seconds + Running java-clinit-wrapper/test.desc [OK] in 1 seconds Running java-del-package/test.desc [OK] in 0 seconds Running java-deleted-function/test.desc [OK] in 0 seconds Running java-instanceof/test.desc [OK] in 0 seconds @@ -6387,7 +6432,7 @@ 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 - Running java-scope-change/test.desc [OK] in 1 seconds + Running java-scope-change/test.desc [OK] in 0 seconds Running java-scope-change2/test.desc [OK] in 0 seconds Running java-scope-change3/test.desc [OK] in 0 seconds Running java-tmp-vars-array/test.desc [OK] in 0 seconds @@ -6411,108 +6456,108 @@ 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_substring.desc [OK] in 2 seconds - Running java_case/test.desc [OK] in 2 seconds - Running java_char_array/test.desc [OK] in 1 seconds + Running java_append_string/test_substring.desc [OK] in 0 seconds + Running java_case/test.desc [OK] in 0 seconds + Running java_char_array/test.desc [OK] in 0 seconds Running java_char_at/test.desc [OK] in 0 seconds - Running java_code_point/test.desc [OK] in 1 seconds + 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 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 1 seconds - Running java_format2/test.desc [OK] in 3 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 0 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_if/test.desc [OK] in 2 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 1 seconds - Running java_index_of_char/test.desc [OK] in 1 seconds - Running java_insert_char/test.desc [OK] in 0 seconds - Running java_insert_char_array/test.desc [OK] in 1 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 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 1 seconds - Running java_int_to_string/test1.desc [OK] in 1 seconds - Running java_int_to_string/test2.desc [OK] in 1 seconds + Running java_insert_string/test.desc [OK] in 0 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 1 seconds - Running java_int_to_string/test4.desc [OK] in 1 seconds - Running java_int_to_string/test5.desc [OK] in 1 seconds + 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/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 3 seconds - Running java_int_to_string_with_radix/test_binary3.desc [OK] in 2 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 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 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 1 seconds - Running java_int_to_string_with_radix/test_hex3.desc [OK] in 1 seconds - Running java_int_to_string_with_radix/test_octal1.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 0 seconds - Running java_int_to_string_with_radix/test_octal3.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_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 1 seconds - Running java_last_index_of2/test.desc [OK] in 1 seconds - Running java_last_index_of_char/test.desc [OK] in 1 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_of_char/test.desc [OK] in 0 seconds Running java_length/test.desc [OK] in 0 seconds Running java_length2/test.desc [SKIPPED] - Running java_long_to_string/test1.desc [OK] in 2 seconds + Running java_long_to_string/test1.desc [OK] in 1 seconds 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 2 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 2 seconds - Running java_long_to_string_with_radix/test_hex1.desc [OK] in 2 seconds - Running java_long_to_string_with_radix/test_hex2.desc [OK] in 1 seconds - Running java_long_to_string_with_radix/test_hex3.desc [OK] in 2 seconds - Running java_long_to_string_with_radix/test_octal1.desc [OK] in 2 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 0 seconds Running java_long_to_string_with_radix/test_octal2.desc [OK] in 1 seconds - Running java_long_to_string_with_radix/test_octal3.desc [OK] in 2 seconds + Running java_long_to_string_with_radix/test_octal3.desc [OK] in 0 seconds Running java_parseint/test1.desc [OK] in 0 seconds - Running java_parseint/test2.desc [OK] in 1 seconds + Running java_parseint/test2.desc [OK] in 0 seconds Running java_parseint/test3.desc [OK] in 0 seconds Running java_parseint_knownbug/test.desc [SKIPPED] - Running java_parseint_with_radix/test1.desc [OK] in 1 seconds - Running java_parseint_with_radix/test2.desc [OK] in 1 seconds + 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 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 1 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_decimal_max.desc [OK] in 1 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_hex.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 1 seconds + 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_starts_with/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 1 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_substring/test.desc [OK] in 0 seconds - Running java_trim/test.desc [OK] in 1 seconds - Running java_value_of_float/test.desc [OK] in 3 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_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 4 seconds + Running java_value_of_long/test.desc [OK] in 1 seconds Running max_input_length/test1.desc [OK] in 0 seconds - Running max_input_length/test2.desc [OK] in 1 seconds + Running max_input_length/test2.desc [OK] in 0 seconds All tests were successful, 26 tests skipped Loading @@ -6521,50 +6566,50 @@ Running tests with log suffix: symex-driven-loading Running java_append_char/test.desc [SKIPPED] Running java_append_int/test.desc [SKIPPED] - 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 3 seconds - Running java_char_array/test.desc [OK] in 1 seconds + Running java_append_string/test.desc [OK] in 0 seconds + Running java_append_string/test_substring.desc [OK] in 1 seconds + Running java_case/test.desc [OK] in 0 seconds + Running java_char_array/test.desc [OK] in 0 seconds Running java_char_at/test.desc [OK] in 0 seconds - Running java_code_point/test.desc [OK] in 1 seconds + 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_endswith/test.desc [OK] in 1 seconds - Running java_equal/test.desc [OK] in 1 seconds + Running java_endswith/test.desc [OK] in 0 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 1 seconds - Running java_format2/test.desc [OK] in 2 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_if/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 1 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 1 seconds - Running java_insert_char_array/test.desc [OK] in 1 seconds - Running java_insert_multiple/test.desc [OK] in 1 seconds - Running java_insert_string/test.desc [OK] in 1 seconds - Running java_int_to_string/test1.desc [OK] in 1 seconds - Running java_int_to_string/test2.desc [OK] in 1 seconds + Running java_insert_char/test.desc [OK] in 0 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 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 1 seconds - Running java_int_to_string/test4.desc [OK] in 2 seconds - Running java_int_to_string/test5.desc [OK] in 1 seconds + Running java_int_to_string/test4.desc [OK] in 0 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 2 seconds - Running java_int_to_string_with_radix/test_binary2.desc [OK] in 2 seconds - Running java_int_to_string_with_radix/test_binary3.desc [OK] in 2 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 1 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 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_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 1 seconds - Running java_int_to_string_with_radix/test_octal1.desc [OK] in 2 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 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 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] @@ -6574,54 +6619,54 @@ 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] - Running java_long_to_string/test1.desc [OK] in 2 seconds + Running java_long_to_string/test1.desc [OK] in 0 seconds 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 2 seconds + Running java_long_to_string/test5.desc [OK] in 1 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 2 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 2 seconds + 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 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 1 seconds - Running java_long_to_string_with_radix/test_octal1.desc [OK] in 2 seconds - Running java_long_to_string_with_radix/test_octal2.desc [OK] in 2 seconds - Running java_long_to_string_with_radix/test_octal3.desc [OK] in 1 seconds - Running java_parseint/test1.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 0 seconds + Running java_parseint/test1.desc [OK] in 0 seconds Running java_parseint/test2.desc [OK] in 0 seconds Running java_parseint/test3.desc [OK] in 1 seconds Running java_parseint_knownbug/test.desc [SKIPPED] - Running java_parseint_with_radix/test1.desc [OK] in 1 seconds + 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 1 seconds - Running java_parseint_with_radix/test4.desc [OK] in 1 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/test5.desc [OK] in 0 seconds - Running java_parseint_with_radix/test6.desc [OK] in 1 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 1 seconds - Running java_parselong/test_hex.desc [OK] in 1 seconds + Running java_parselong/test_decimal_min.desc [OK] in 0 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 1 seconds + Running java_replace_char/test.desc [OK] in 1 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 0 seconds Running java_string_builder_length/test.desc [OK] in 0 seconds - Running java_string_printable/test.desc [OK] in 1 seconds - Running java_string_printable/test_char.desc [OK] in 1 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_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 3 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 4 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 @@ -6636,8 +6681,8 @@ 2 tests found Running tests - Running type_erasure/test.desc [OK] in 1 seconds - Running type_erasure/test_function_input.desc [OK] in 1 seconds + Running type_erasure/test.desc [OK] in 0 seconds + Running type_erasure/test_function_input.desc [OK] in 0 seconds All tests were successful Loading @@ -6675,20 +6720,22 @@ dh_gencontrol dh_md5sums dh_builddeb -dpkg-deb: building package 'cbmc-dbgsym' in '../cbmc-dbgsym_5.10-5_i386.deb'. dpkg-deb: building package 'cbmc' in '../cbmc_5.10-5_i386.deb'. +dpkg-deb: building package 'cbmc-dbgsym' in '../cbmc-dbgsym_5.10-5_i386.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../cbmc_5.10-5_i386.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration +I: user script /srv/workspace/pbuilder/54972/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/54972/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/21556 and its subdirectories -I: Current time: Sat Jun 8 22:28:21 -12 2019 -I: pbuilder-time-stamp: 1560076101 +I: removing directory /srv/workspace/pbuilder/54972 and its subdirectories +I: Current time: Sun Jul 12 07:22:43 +14 2020 +I: pbuilder-time-stamp: 1594488163