Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: bitwuzla 0.9.0 -> 0.9.1 https://github.com/bitwuzla/bitwuzla/releases attrpath: bitwuzla Checking auto update branch... No auto update branch exists [version] [version] updated version and sha256 [rustCrateVersion] [rustCrateVersion] No cargoHash found [golangModuleVersion] [golangModuleVersion] Not a buildGoModule package with vendorHash [npmDepsVersion] [npmDepsVersion] No npmDepsHash [updateScript] [updateScript] skipping because derivation has no updateScript Diff after rewrites: diff --git a/pkgs/by-name/bi/bitwuzla/package.nix b/pkgs/by-name/bi/bitwuzla/package.nix index 1645e8076947..0f4cdddd4fe9 100644 --- a/pkgs/by-name/bi/bitwuzla/package.nix +++ b/pkgs/by-name/bi/bitwuzla/package.nix @@ -23,13 +23,13 @@ stdenv.mkDerivation (finalAttrs: { pname = "bitwuzla"; - version = "0.9.0"; + version = "0.9.1"; src = fetchFromGitHub { owner = "bitwuzla"; repo = "bitwuzla"; tag = finalAttrs.version; - hash = "sha256-3ThDKoXzCqDtiX3JXshqRtwri8V7lOFxmr+4IqQbUAQ="; + hash = "sha256-3uStLdDFhXVgqzremUPRbxPUcl0IqVg5MRLltgm8rCA="; }; strictDeps = true; Received ExitFailure 1 when running Raw command: nix-build --option sandbox true --arg config "{ allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A bitwuzla nix build failed. [4240-4260/4260] 🌕 regress - bitwuzla:solver_bv_twocomplementassub.btor2 0s 4240/4260 regress - bitwuzla:solver_bv_sqrt4294967297.btor2 OK  0.21s [4241-4260/4260] 🌖 regress - bitwuzla:solver_bv_twocomplementassub.btor2 0s 4241/4260 regress - bitwuzla:solver_bv_sqrt5.btor2 OK  0.20s 4242/4260 regress - bitwuzla:solver_bv_sqrt65537.btor2 OK  0.19s [4243-4260/4260] 🌗 regress - bitwuzla:solver_bv_twocomplementassub.btor2 0s 4243/4260 regress - bitwuzla:solver_bv_sqrt7.btor2 OK  0.18s 4244/4260 regress - bitwuzla:solver_bv_sult.btor2 OK  0.17s 4245/4260 regress - bitwuzla:solver_bv_sult2.btor2 OK  0.16s [4246-4260/4260] 🌘 regress - bitwuzla:solver_bv_twocomplementassub.btor2 0s 4246/4260 regress - bitwuzla:solver_bv_twocomplementassub.btor2 OK  0.15s [4247-4260/4260] 🌑 regress - bitwuzla:solver_bv_uremudivaxiom4no.btor2 0s 4247/4260 regress - bitwuzla:solver_bv_udiv8castdown4.btor2 OK  0.12s [4248-4260/4260] 🌒 regress - bitwuzla:solver_bv_uremudivaxiom4no.btor2 0s 4248/4260 regress - bitwuzla:solver_bv_udiv8castdown5.btor2 OK  0.11s [4249-4260/4260] 🌓 regress - bitwuzla:solver_bv_uremudivaxiom4no.btor2 0s 4249/4260 regress - bitwuzla:solver_bv_udivtheorem1.btor2 OK  0.07s 4250/4260 regress - bitwuzla:solver_bv_udiv8castdown6.btor2 OK  0.10s [4251-4260/4260] 🌔 regress - bitwuzla:solver_bv_uremudivaxiom4no.btor2 0s 4251/4260 regress - bitwuzla:solver_bv_ulttheorem1.btor2 OK  0.06s [4252-4260/4260] 🌕 regress - bitwuzla:solver_bv_uremudivaxiom4no.btor2 0s 4252/4260 regress - bitwuzla:solver_bv_uremudivaxiom4.btor2 OK  0.07s [4253-4260/4260] 🌖 regress - bitwuzla:solver_bv_uremudivaxiom4no.btor2 0s 4253/4260 regress - bitwuzla:solver_bv_uremudivaxiom4no.btor2 OK  0.07s [4254-4260/4260] 🌗 regress - bitwuzla:solver_bv_uremtheorem1.btor2 0s 4254/4260 regress - bitwuzla:solver_bv_uremtheorem1.btor2 OK  0.10s [4255-4260/4260] 🌘 regress - bitwuzla:solver_bv_udiv8castdown7.btor2 0s 4255/4260 regress - bitwuzla:solver_bv_udiv8castdown7.btor2 OK  0.19s [4256-4260/4260] 🌑 regress - bitwuzla:solver_bv_udiv16castdown8.btor2 0s 4256/4260 regress - bitwuzla:solver_bv_udiv16castdown8.btor2 OK  0.42s [4257-4260/4260] 🌒 regress - bitwuzla:get-interpolant_loop3.interp.pudlak.smt2 6s [4257-4260/4260] 🌓 regress - bitwuzla:get-interpolant_loop3.interp.lift.smt2 7s 4257/4260 regress - bitwuzla:get-interpolant_loop3.interp.pudlak.smt2 OK  7.71s [4258-4260/4260] 🌔 regress - bitwuzla:get-interpolant_loop3.interp.lift.smt2 7s 4258/4260 regress - bitwuzla:get-interpolant_loop3.interp.smt2 OK  7.78s [4259-4260/4260] 🌕 regress - bitwuzla:get-interpolant_loop3.interp.lift.smt2 7s 4259/4260 regress - bitwuzla:get-interpolant_loop3.interp.lift.smt2 OK  7.84s [4260/4260] 🌖 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 51s [4260/4260] 🌗 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 51s [4260/4260] 🌘 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 52s [4260/4260] 🌑 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 53s [4260/4260] 🌒 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 54s [4260/4260] 🌓 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 55s [4260/4260] 🌔 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 56s [4260/4260] 🌕 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 57s [4260/4260] 🌖 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 58s [4260/4260] 🌗 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 59s [4260/4260] 🌘 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 60s [4260/4260] 🌑 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 61s [4260/4260] 🌒 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 62s [4260/4260] 🌓 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 63s [4260/4260] 🌔 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 64s [4260/4260] 🌕 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 65s [4260/4260] 🌖 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 66s [4260/4260] 🌗 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 67s [4260/4260] 🌘 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 68s [4260/4260] 🌑 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 69s [4260/4260] 🌒 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 70s [4260/4260] 🌓 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 71s [4260/4260] 🌔 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 72s [4260/4260] 🌕 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 73s [4260/4260] 🌖 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 74s [4260/4260] 🌗 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 75s [4260/4260] 🌘 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 76s [4260/4260] 🌑 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 77s [4260/4260] 🌒 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 78s [4260/4260] 🌓 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 79s [4260/4260] 🌔 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 80s [4260/4260] 🌕 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 81s [4260/4260] 🌖 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv 82s 4260/4260 unit+lib_ls_bv - bitwuzla:lib_ls_bv_local_search_bv OK  83.02s Summary of Failures: 149/4260 unit+fp - bitwuzla:fp_fp_from FAIL  3.90s exit status 1 Ok: 4259 Fail: 1 Full log written to /build/source/build/meson-logs/testlog.txt