[INFO] cloning repository https://github.com/endre90/z3_v2
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/endre90/z3_v2" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fendre90%2Fz3_v2", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fendre90%2Fz3_v2'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] f8bf1417513451cf1bd25046fcfa89346f58573b
[INFO] testing endre90/z3_v2 against 1.47.0 for beta-1.48-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fendre90%2Fz3_v2" "/workspace/builds/worker-6/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/endre90/z3_v2 on toolchain 1.47.0
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.47.0" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/endre90/z3_v2
[INFO] finished tweaking git repo https://github.com/endre90/z3_v2
[INFO] tweaked toml for git repo https://github.com/endre90/z3_v2 written to /workspace/builds/worker-6/source/Cargo.toml
[INFO] crate git repo https://github.com/endre90/z3_v2 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.47.0" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+1.47.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 660e63acbd5909a5b8455c6e79ce99c2ebc8f87aabffbe57d65e229e4cbe0d7f
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "660e63acbd5909a5b8455c6e79ce99c2ebc8f87aabffbe57d65e229e4cbe0d7f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "660e63acbd5909a5b8455c6e79ce99c2ebc8f87aabffbe57d65e229e4cbe0d7f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "660e63acbd5909a5b8455c6e79ce99c2ebc8f87aabffbe57d65e229e4cbe0d7f", kill_on_drop: false }`
[INFO] [stdout] 660e63acbd5909a5b8455c6e79ce99c2ebc8f87aabffbe57d65e229e4cbe0d7f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+1.47.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d0ad70396c88d75b0b6129b57893363d79da62407033e8c5bedac7ac317e7739
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "d0ad70396c88d75b0b6129b57893363d79da62407033e8c5bedac7ac317e7739", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.22
[INFO] [stderr]    Compiling syn v1.0.41
[INFO] [stderr]    Compiling z3-sys v0.5.0 (https://github.com/endre90/z3_sys_v2#69ccc65e)
[INFO] [stderr]    Compiling itertools v0.8.2
[INFO] [stderr]    Compiling env_logger v0.6.2
[INFO] [stderr]    Compiling crossbeam v0.7.3
[INFO] [stderr]    Compiling quote v1.0.7
[INFO] [stderr]    Compiling serde_derive v1.0.116
[INFO] [stderr]    Compiling serde v1.0.116
[INFO] [stderr]    Compiling serde_json v1.0.57
[INFO] [stderr]    Compiling z3_v2 v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 47.78s
[INFO] running `Command { std: "docker" "inspect" "d0ad70396c88d75b0b6129b57893363d79da62407033e8c5bedac7ac317e7739", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d0ad70396c88d75b0b6129b57893363d79da62407033e8c5bedac7ac317e7739", kill_on_drop: false }`
[INFO] [stdout] d0ad70396c88d75b0b6129b57893363d79da62407033e8c5bedac7ac317e7739
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+1.47.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 726bd9e7b506a9f8e9f12ac9de943f640b92882ae942b9d92fc138e677f49190
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "726bd9e7b506a9f8e9f12ac9de943f640b92882ae942b9d92fc138e677f49190", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling byteorder v1.3.4
[INFO] [stderr]    Compiling oorandom v11.1.2
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling cast v0.2.3
[INFO] [stderr]    Compiling plotters v0.2.15
[INFO] [stderr]    Compiling csv-core v0.1.10
[INFO] [stderr]    Compiling serial_test_derive v0.4.0
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling serde_cbor v0.11.1
[INFO] [stderr]    Compiling tinytemplate v1.1.0
[INFO] [stderr]    Compiling regex-automata v0.1.9
[INFO] [stderr]    Compiling serial_test v0.4.0
[INFO] [stderr]    Compiling bstr v0.2.13
[INFO] [stderr]    Compiling criterion-plot v0.4.3
[INFO] [stderr]    Compiling csv v1.1.3
[INFO] [stderr]    Compiling criterion v0.3.3
[INFO] [stderr]    Compiling z3_v2 v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 53.40s
[INFO] running `Command { std: "docker" "inspect" "726bd9e7b506a9f8e9f12ac9de943f640b92882ae942b9d92fc138e677f49190", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "726bd9e7b506a9f8e9f12ac9de943f640b92882ae942b9d92fc138e677f49190", kill_on_drop: false }`
[INFO] [stdout] 726bd9e7b506a9f8e9f12ac9de943f640b92882ae942b9d92fc138e677f49190
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+1.47.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] ce37b705b96389d5d15e7e1b858a5a562888263e2c4424d18a2a92aa96252b99
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "ce37b705b96389d5d15e7e1b858a5a562888263e2c4424d18a2a92aa96252b99", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.10s
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/z3_v2-cf52c06f78811a71
[INFO] [stdout] 
[INFO] [stdout] running 118 tests
[INFO] [stderr] WARNING: unknown parameter 'model_compress'
[INFO] [stderr] Legal parameters are:
[INFO] [stderr]   auto_config (bool) (default: true)
[INFO] [stderr]   debug_ref_count (bool) (default: false)
[INFO] [stderr]   dot_proof_file (string) (default: proof.dot)
[INFO] [stderr]   dump_models (bool) (default: false)
[INFO] [stderr]   model (bool) (default: true)
[INFO] [stderr]   model_validate (bool) (default: false)
[INFO] [stdout] test z3config::test_default_cfg ... ok
[INFO] [stderr]   proof (bool) (default: false)
[INFO] [stdout] test z3config::test_new_cfg ... ok
[INFO] [stderr]   rlimit (unsigned int) (default: 0)
[INFO] [stdout] test z3config::test_param_set ... ok
[INFO] [stderr]   smtlib2_compliant (bool) (default: false)
[INFO] [stderr]   stats (bool) (default: false)
[INFO] [stderr]   timeout (unsigned int) (default: 4294967295)
[INFO] [stderr]   trace (bool) (default: false)
[INFO] [stderr]   trace_file_name (string) (default: z3.log)
[INFO] [stderr]   type_check (bool) (default: true)
[INFO] [stderr]   unsat_core (bool) (default: false)
[INFO] [stderr]   well_sorted_check (bool) (default: false)
[INFO] [stderr] 
[INFO] [stdout] test z3config::test_cfg_macro_1 ... ok
[INFO] [stdout] test z3config::test_macro_param_set ... ok
[INFO] [stdout] test z3context::test_ctx ... ok
[INFO] [stdout] test z3logics::test_and_macro_2 ... ok
[INFO] [stdout] test z3logics::test_ite_macro_1 ... ok
[INFO] [stdout] test z3context::test_update_param ... ok
[INFO] [stdout] test z3logics::test_distinct_macro_1 ... ok
[INFO] [stdout] test z3logics::test_new_distinct ... ok
[INFO] [stdout] test z3logics::test_new_equiv ... ok
[INFO] [stdout] test z3context::test_update_param_macro ... ok
[INFO] [stdout] test z3logics::test_and_macro_1 ... ok
[INFO] [stdout] test z3logics::test_new_imp ... ok
[INFO] [stdout] test z3context::test_ctx_macro ... ok
[INFO] [stdout] test z3logics::test_equiv_macro_1 ... ok
[INFO] [stdout] test z3logics::test_new_and ... ok
[INFO] [stdout] test z3context::test_default_ctx ... ok
[INFO] [stdout] test z3logics::test_distinct_macro_2 ... ok
[INFO] [stdout] test z3logics::test_ntrue_macro ... ok
[INFO] [stdout] test z3logics::test_iff_macro_1 ... ok
[INFO] [stdout] test z3logics::test_new_iff ... ok
[INFO] [stdout] test z3logics::test_new_or ... ok
[INFO] [stdout] test z3logics::test_new_not ... ok
[INFO] [stdout] test z3operations::test_add_macro_2 ... ok
[INFO] [stdout] test z3logics::test_or_macro_2 ... ok
[INFO] [stdout] test z3logics::test_new_ntrue_2 ... ok
[INFO] [stdout] test z3logics::test_xor_macro_1 ... ok
[INFO] [stdout] test z3logics::test_or_macro_1 ... ok
[INFO] [stdout] test z3operations::test_add_macro_1 ... ok
[INFO] [stdout] test z3operations::test_div_macro_1 ... ok
[INFO] [stdout] test z3logics::test_new_ite ... ok
[INFO] [stdout] test z3logics::test_new_xor ... ok
[INFO] [stdout] test z3operations::test_mul_macro_2 ... ok
[INFO] [stdout] test z3operations::test_neg_macro_1 ... ok
[INFO] [stdout] test z3logics::test_new_ntrue ... ok
[INFO] [stdout] test z3logics::test_imp_macro_1 ... ok
[INFO] [stdout] test z3operations::test_new_div ... ok
[INFO] [stdout] test z3logics::test_not_macro_1 ... ok
[INFO] [stdout] test z3operations::test_new_neg ... ok
[INFO] [stdout] test z3operations::test_new_add ... ok
[INFO] [stdout] test z3operations::test_mul_macro_1 ... ok
[INFO] [stdout] test z3operations::test_new_mul ... ok
[INFO] [stdout] test z3operations::test_sub_macro_1 ... ok
[INFO] [stdout] test z3operations::test_rem_macro_1 ... ok
[INFO] [stdout] test z3operations::test_pow_macro_1 ... ok
[INFO] [stdout] test z3optimizer::test_new_oassert ... ok
[INFO] [stdout] test z3operations::test_sub_macro_2 ... ok
[INFO] [stdout] test z3operations::test_new_sub ... ok
[INFO] [stdout] test z3operations::test_mod_macro_1 ... ok
[INFO] [stdout] test z3operations::test_new_rem ... ok
[INFO] [stdout] test z3operations::test_new_mod ... ok
[INFO] [stdout] test z3optimizer::test_opt_macro_1 ... ok
[INFO] [stdout] test z3relations::test_le_macro_1 ... ok
[INFO] [stdout] test z3optimizer::test_new_optimizer ... ok
[INFO] [stdout] test z3relations::test_eq_macro_1 ... ok
[INFO] [stdout] test z3optimizer::test_oot_assert_macro_1 ... ok
[INFO] [stdout] test z3relations::test_new_eq_1 ... ok
[INFO] [stdout] test z3relations::test_new_ge ... ok
[INFO] [stdout] test z3operations::test_new_pow ... ok
[INFO] [stdout] test z3relations::test_new_gt ... ok
[INFO] [stdout] test z3relations::test_new_neq_1 ... ok
[INFO] [stdout] test z3relations::test_lt_macro_1 ... ok
[INFO] [stdout] test z3relations::test_gt_macro_1 ... ok
[INFO] [stdout] test z3relations::test_ge_macro_1 ... ok
[INFO] [stdout] test z3relations::test_new_le ... ok
[INFO] [stdout] test z3optimizer::test_new_maximize ... ok
[INFO] [stdout] test z3optimizer::test_omax_macro_1 ... ok
[INFO] [stdout] test z3relations::test_new_lt ... ok
[INFO] [stdout] test z3optimizer::test_omin_macro_1 ... ok
[INFO] [stdout] test z3optimizer::test_new_ocheck ... ok
[INFO] [stdout] test z3optimizer::test_new_minimize ... ok
[INFO] [stdout] test z3optimizer::test_ocheck_macro_1 ... ok
[INFO] [stdout] test z3solver::test_new_solver_get_param_descr ... ok
[INFO] [stdout] test z3solver::test_slv_assert_macro_1 ... ok
[INFO] [stdout] test z3solver::test_slv_assert_and_track_macro_1 ... ok
[INFO] [stdout] test z3solver::test_push_pop ... ok
[INFO] [stdout] test z3solver::test_new_solver ... ok
[INFO] [stdout] test z3sorts::test_bool_sort_macro_1 ... ok
[INFO] [stdout] test z3sorts::test_bool_sort ... ok
[INFO] [stdout] test z3sorts::test_int_sort ... ok
[INFO] [stdout] test z3sorts::test_enum_sort ... ok
[INFO] [stdout] test z3solver::test_get_unsat_core_macro_1 ... ok
[INFO] [stdout] test z3sorts::test_real_sort_macro_1 ... ok
[INFO] [stdout] test z3sorts::test_int_sort_macro_1 ... ok
[INFO] [stdout] test z3sorts::test_string_sort ... ok
[INFO] [stdout] test z3sorts::test_real_sort ... ok
[INFO] [stdout] test z3sorts::test_string_sort_macro_1 ... ok
[INFO] [stdout] test z3utils::test_tseitin ... ok
[INFO] [stdout] test z3solver::get_unsat_core_test ... ok
[INFO] [stdout] test z3logics::test_distinct_macro_3 ... ok
[INFO] [stdout] test z3solver::test_new_solver_assert ... ok
[INFO] [stdout] test z3solver::test_new_solver_assert_and_track ... ok
[INFO] [stdout] test z3values::test_new_bool ... ok
[INFO] [stdout] test z3values::test_real_macro_1 ... ok
[INFO] [stdout] test z3values::test_string_macro_1 ... ok
[INFO] [stdout] test z3variables::test_int_var_macro_1 ... ok
[INFO] [stdout] test z3values::test_new_int ... ok
[INFO] [stdout] test z3values::test_bool_macro_1 ... ok
[INFO] [stdout] test z3variables::test_new_int_var ... ok
[INFO] [stdout] test z3variables::test_new_bool_var ... ok
[INFO] [stdout] test z3variables::test_string_var_macro_1 ... ok
[INFO] [stdout] test z3variables::test_real_var_macro_1 ... ok
[INFO] [stdout] test z3variables::test_new_string_var ... ok
[INFO] [stdout] test z3variables::test_new_real_var ... ok
[INFO] [stdout] test z3variables::test_bool_var_macro_1 ... ok
[INFO] [stdout] test z3values::test_int_macro_1 ... ok
[INFO] [stdout] test z3values::test_new_string ... ok
[INFO] [stdout] test z3solver::get_n_models_test ... ok
[INFO] [stdout] test z3logics::test_new_pbeq ... ok
[INFO] [stdout] test z3solver::get_proof_test ... ok
[INFO] [stdout] test z3solver::get_all_models_dont_care_bool_test ... ok
[INFO] [stdout] test z3solver::test_slv_macro_1 ... ok
[INFO] [stdout] test z3solver::test_new_scheck ... ok
[INFO] [stdout] test z3solver::test_slv_param_descr_macro_1 ... ok
[INFO] [stdout] test z3solver::test_get_proof_macro_1 ... ok
[INFO] [stdout] test z3solver::test_slv_check_macro_1 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 118 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/config_int_tests-efe2868414f59d27
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_cfg_macro_1 ... ok
[INFO] [stdout] test test_new_cfg ... ok
[INFO] [stdout] test test_default_cfg ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/context_int_tests-8168da1e61f9000b
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_ctx ... ok
[INFO] [stdout] test test_default_ctx ... ok
[INFO] [stdout] test test_ctx_macro ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/logics_int_tests-344cb27b10129c2a
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test test_iff_macro_1 ... ok
[INFO] [stdout] test test_new_and ... ok
[INFO] [stdout] test test_distinct_macro_2 ... ok
[INFO] [stdout] test test_imp_macro_1 ... ok
[INFO] [stdout] test test_distinct_macro_1 ... ok
[INFO] [stdout] test test_ite_macro_1 ... ok
[INFO] [stdout] test test_and_macro_2 ... ok
[INFO] [stdout] test test_new_iff ... ok
[INFO] [stdout] test test_xor_macro_1 ... ok
[INFO] [stdout] test test_new_not ... ok
[INFO] [stdout] test test_not_macro_1 ... ok
[INFO] [stdout] test test_new_ite ... ok
[INFO] [stdout] test test_and_macro_1 ... ok
[INFO] [stdout] test test_or_macro_2 ... ok
[INFO] [stdout] test test_new_xor ... ok
[INFO] [stdout] test test_new_or ... ok
[INFO] [stdout] test test_new_imp ... ok
[INFO] [stdout] test test_new_distinct ... ok
[INFO] [stdout] test test_or_macro_1 ... ok
[INFO] [stdout] test test_distinct_macro_3 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 20 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/operations_int_tests-bd39035418dd1c76
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test test_div_macro_1 ... ok
[INFO] [stdout] test test_mul_macro_1 ... ok
[INFO] [stdout] test test_add_macro_1 ... ok
[INFO] [stdout] test test_new_rem ... ok
[INFO] [stdout] test test_mod_macro_1 ... ok
[INFO] [stdout] test test_neg_macro_1 ... ok
[INFO] [stdout] test test_new_mod ... ok
[INFO] [stdout] test test_mul_macro_2 ... ok
[INFO] [stdout] test test_rem_macro_1 ... ok
[INFO] [stdout] test test_sub_macro_1 ... ok
[INFO] [stdout] test test_new_pow ... ok
[INFO] [stdout] test test_add_macro_2 ... ok
[INFO] [stdout] test test_new_mul ... ok
[INFO] [stdout] test test_new_div ... ok
[INFO] [stdout] test test_pow_macro_1 ... ok
[INFO] [stdout] test test_sub_macro_2 ... ok
[INFO] [stdout] test test_new_sub ... ok
[INFO] [stdout] test test_new_add ... ok
[INFO] [stdout] test test_new_neg ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/optimizer_int_tests-7080b6d5a26539b5
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test test_new_optimizer ... ok
[INFO] [stdout] test test_opt_macro_1 ... ok
[INFO] [stdout] test test_new_oassert ... ok
[INFO] [stdout] test test_omin_macro_1 ... ok
[INFO] [stdout] test test_oot_assert_macro_1 ... ok
[INFO] [stdout] test test_omax_macro_1 ... ok
[INFO] [stdout] test test_new_minimize ... ok
[INFO] [stdout] test test_new_maximize ... ok
[INFO] [stdout] test test_ocheck_macro_1 ... ok
[INFO] [stdout] test test_new_ocheck ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/relations_int_tests-cac147da98e48f90
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test test_new_gt ... ok
[INFO] [stdout] test test_new_le ... ok
[INFO] [stdout] test test_le_macro_1 ... ok
[INFO] [stdout] test test_eq_macro_1 ... ok
[INFO] [stdout] test test_new_eq ... ok
[INFO] [stdout] test test_new_lt ... ok
[INFO] [stdout] test test_ge_macro_1 ... ok
[INFO] [stdout] test test_gt_macro_1 ... ok
[INFO] [stdout] test test_new_ge ... ok
[INFO] [stdout] test test_lt_macro_1 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/solver_int_tests-d0c509b1d57ddad2
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test test_slv_assert_and_track_macro_1 ... ok
[INFO] [stdout] test get_unsat_core_test ... ok
[INFO] [stdout] test test_new_solver_assert ... ok
[INFO] [stdout] test test_slv_assert_macro_1 ... ok
[INFO] [stdout] test test_slv_macro_1 ... ok
[INFO] [stdout] test test_new_solver_assert_and_track ... ok
[INFO] [stdout] test test_new_solver ... ok
[INFO] [stdout] test test_get_unsat_core_macro_1 ... ok
[INFO] [stdout] test test_slv_param_descr_macro_1 ... ok
[INFO] [stdout] test test_new_solver_get_param_descr ... ok
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/sorts_int_tests-24aeaaf360977864
[INFO] [stdout] test get_proof_test ... ok
[INFO] [stdout] test test_get_proof_macro_1 ... ok
[INFO] [stdout] test test_new_scheck ... ok
[INFO] [stdout] test test_slv_check_macro_1 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test test_string_sort ... ok
[INFO] [stdout] test test_string_sort_macro_1 ... ok
[INFO] [stdout] test test_bool_sort ... ok
[INFO] [stdout] test test_real_sort_macro_1 ... ok
[INFO] [stdout] test test_bool_sort_macro_1 ... ok
[INFO] [stdout] test test_real_sort ... ok
[INFO] [stdout] test test_int_sort ... ok
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/values_int_tests-9c31056222d0c818
[INFO] [stdout] test test_int_sort_macro_1 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test test_new_string ... ok
[INFO] [stdout] test test_new_int ... ok
[INFO] [stdout] test test_new_bool ... ok
[INFO] [stdout] test test_int_macro_1 ... ok
[INFO] [stdout] test test_bool_macro_1 ... ok
[INFO] [stdout] test test_real_macro_1 ... ok
[INFO] [stdout] test test_string_macro_1 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/variables_int_tests-53508d60e0c5609a
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test test_int_var_macro_1 ... ok
[INFO] [stdout] test test_new_real_var ... ok
[INFO] [stdout] test test_real_var_macro_1 ... ok
[INFO] [stdout] test test_new_bool_var ... ok
[INFO] [stdout] test test_bool_var_macro_1 ... ok
[INFO] [stderr]    Doc-tests z3_v2
[INFO] [stdout] test test_new_int_var ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "ce37b705b96389d5d15e7e1b858a5a562888263e2c4424d18a2a92aa96252b99", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ce37b705b96389d5d15e7e1b858a5a562888263e2c4424d18a2a92aa96252b99", kill_on_drop: false }`
[INFO] [stdout] ce37b705b96389d5d15e7e1b858a5a562888263e2c4424d18a2a92aa96252b99
