[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] ab04fe725d87b37cec7e12429176b23117e9c91a
[INFO] testing endre90/z3_v2 against 1.49.0 for beta-1.50-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.49.0
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.49.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.49.0" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+1.49.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ce0864c957f74e14fd7df15d38eb64f2958228bc929c6a70ff0eb29c9162c72b
[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" "ce0864c957f74e14fd7df15d38eb64f2958228bc929c6a70ff0eb29c9162c72b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ce0864c957f74e14fd7df15d38eb64f2958228bc929c6a70ff0eb29c9162c72b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ce0864c957f74e14fd7df15d38eb64f2958228bc929c6a70ff0eb29c9162c72b", kill_on_drop: false }`
[INFO] [stdout] ce0864c957f74e14fd7df15d38eb64f2958228bc929c6a70ff0eb29c9162c72b
[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:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+1.49.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1a7617f374bf11677ef96eaa7a8f93c59189237c2724f1a6573cb9a9cc7bd952
[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" "1a7617f374bf11677ef96eaa7a8f93c59189237c2724f1a6573cb9a9cc7bd952", 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 env_logger v0.6.2
[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] [stdout] warning: getting the inner pointer of a temporary `CString`
[INFO] [stdout]    --> src/z3sorts.rs:120:90
[INFO] [stdout]     |
[INFO] [stdout] 120 |                 enum_names[index] = Z3_mk_string_symbol(ctx.r, CString::new(*s).unwrap().as_ptr());
[INFO] [stdout]     |                                                                ------------------------- ^^^^^^ this pointer will be invalid
[INFO] [stdout]     |                                                                |
[INFO] [stdout]     |                                                                this `CString` is deallocated at the end of the statement, bind it to a variable to extend its lifetime
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(temporary_cstring_as_ptr)]` on by default
[INFO] [stdout]     = note: pointers do not have a lifetime; when calling `as_ptr` the `CString` will be deallocated at the end of the statement because nothing is referencing it as far as the type system is concerned
[INFO] [stdout]     = help: for more information, see https://doc.rust-lang.org/reference/destructors.html
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: getting the inner pointer of a temporary `CString`
[INFO] [stdout]    --> src/z3utils.rs:257:95
[INFO] [stdout]     |
[INFO] [stdout] 257 |             let tactic = Z3_mk_tactic(ctx.r, CString::new("tseitin-cnf".to_string()).unwrap().as_ptr());
[INFO] [stdout]     |                                              ------------------------------------------------ ^^^^^^ this pointer will be invalid
[INFO] [stdout]     |                                              |
[INFO] [stdout]     |                                              this `CString` is deallocated at the end of the statement, bind it to a variable to extend its lifetime
[INFO] [stdout]     |
[INFO] [stdout]     = note: pointers do not have a lifetime; when calling `as_ptr` the `CString` will be deallocated at the end of the statement because nothing is referencing it as far as the type system is concerned
[INFO] [stdout]     = help: for more information, see https://doc.rust-lang.org/reference/destructors.html
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 43.68s
[INFO] running `Command { std: "docker" "inspect" "1a7617f374bf11677ef96eaa7a8f93c59189237c2724f1a6573cb9a9cc7bd952", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1a7617f374bf11677ef96eaa7a8f93c59189237c2724f1a6573cb9a9cc7bd952", kill_on_drop: false }`
[INFO] [stdout] 1a7617f374bf11677ef96eaa7a8f93c59189237c2724f1a6573cb9a9cc7bd952
[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:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+1.49.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 05a8bedc82ef996481215b84715957db8ee32b043abc3fdebca86cea8e6767ff
[INFO] running `Command { std: "docker" "start" "-a" "05a8bedc82ef996481215b84715957db8ee32b043abc3fdebca86cea8e6767ff", kill_on_drop: false }`
[INFO] [stderr]    Compiling byteorder v1.3.4
[INFO] [stderr]    Compiling smallvec v1.4.2
[INFO] [stderr]    Compiling half v1.6.0
[INFO] [stderr]    Compiling oorandom v11.1.2
[INFO] [stderr]    Compiling num-traits v0.2.12
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling cast v0.2.3
[INFO] [stderr]    Compiling csv-core v0.1.10
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling serial_test_derive v0.4.0
[INFO] [stderr]    Compiling tinytemplate v1.1.0
[INFO] [stdout] warning: getting the inner pointer of a temporary `CString`
[INFO] [stdout]    --> src/z3sorts.rs:120:90
[INFO] [stdout]     |
[INFO] [stdout] 120 |                 enum_names[index] = Z3_mk_string_symbol(ctx.r, CString::new(*s).unwrap().as_ptr());
[INFO] [stdout]     |                                                                ------------------------- ^^^^^^ this pointer will be invalid
[INFO] [stdout]     |                                                                |
[INFO] [stdout]     |                                                                this `CString` is deallocated at the end of the statement, bind it to a variable to extend its lifetime
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(temporary_cstring_as_ptr)]` on by default
[INFO] [stdout]     = note: pointers do not have a lifetime; when calling `as_ptr` the `CString` will be deallocated at the end of the statement because nothing is referencing it as far as the type system is concerned
[INFO] [stdout]     = help: for more information, see https://doc.rust-lang.org/reference/destructors.html
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: getting the inner pointer of a temporary `CString`
[INFO] [stdout]    --> src/z3utils.rs:257:95
[INFO] [stdout]     |
[INFO] [stdout] 257 |             let tactic = Z3_mk_tactic(ctx.r, CString::new("tseitin-cnf".to_string()).unwrap().as_ptr());
[INFO] [stdout]     |                                              ------------------------------------------------ ^^^^^^ this pointer will be invalid
[INFO] [stdout]     |                                              |
[INFO] [stdout]     |                                              this `CString` is deallocated at the end of the statement, bind it to a variable to extend its lifetime
[INFO] [stdout]     |
[INFO] [stdout]     = note: pointers do not have a lifetime; when calling `as_ptr` the `CString` will be deallocated at the end of the statement because nothing is referencing it as far as the type system is concerned
[INFO] [stdout]     = help: for more information, see https://doc.rust-lang.org/reference/destructors.html
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling parking_lot_core v0.7.2
[INFO] [stderr]    Compiling serde_cbor v0.11.1
[INFO] [stderr]    Compiling parking_lot v0.10.2
[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 plotters v0.2.15
[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] [stdout] warning: getting the inner pointer of a temporary `CString`
[INFO] [stdout]    --> src/z3sorts.rs:120:90
[INFO] [stdout]     |
[INFO] [stdout] 120 |                 enum_names[index] = Z3_mk_string_symbol(ctx.r, CString::new(*s).unwrap().as_ptr());
[INFO] [stdout]     |                                                                ------------------------- ^^^^^^ this pointer will be invalid
[INFO] [stdout]     |                                                                |
[INFO] [stdout]     |                                                                this `CString` is deallocated at the end of the statement, bind it to a variable to extend its lifetime
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(temporary_cstring_as_ptr)]` on by default
[INFO] [stdout]     = note: pointers do not have a lifetime; when calling `as_ptr` the `CString` will be deallocated at the end of the statement because nothing is referencing it as far as the type system is concerned
[INFO] [stdout]     = help: for more information, see https://doc.rust-lang.org/reference/destructors.html
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: getting the inner pointer of a temporary `CString`
[INFO] [stdout]    --> src/z3utils.rs:257:95
[INFO] [stdout]     |
[INFO] [stdout] 257 |             let tactic = Z3_mk_tactic(ctx.r, CString::new("tseitin-cnf".to_string()).unwrap().as_ptr());
[INFO] [stdout]     |                                              ------------------------------------------------ ^^^^^^ this pointer will be invalid
[INFO] [stdout]     |                                              |
[INFO] [stdout]     |                                              this `CString` is deallocated at the end of the statement, bind it to a variable to extend its lifetime
[INFO] [stdout]     |
[INFO] [stdout]     = note: pointers do not have a lifetime; when calling `as_ptr` the `CString` will be deallocated at the end of the statement because nothing is referencing it as far as the type system is concerned
[INFO] [stdout]     = help: for more information, see https://doc.rust-lang.org/reference/destructors.html
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 48.85s
[INFO] running `Command { std: "docker" "inspect" "05a8bedc82ef996481215b84715957db8ee32b043abc3fdebca86cea8e6767ff", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "05a8bedc82ef996481215b84715957db8ee32b043abc3fdebca86cea8e6767ff", kill_on_drop: false }`
[INFO] [stdout] 05a8bedc82ef996481215b84715957db8ee32b043abc3fdebca86cea8e6767ff
[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:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+1.49.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 7618291431c0c5750aebb2ad347be2b3ef37fa222d714e5d9f845b8f34332e7f
[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" "7618291431c0c5750aebb2ad347be2b3ef37fa222d714e5d9f845b8f34332e7f", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr] warning: getting the inner pointer of a temporary `CString`
[INFO] [stderr]    --> src/z3sorts.rs:120:90
[INFO] [stderr]     |
[INFO] [stderr] 120 |                 enum_names[index] = Z3_mk_string_symbol(ctx.r, CString::new(*s).unwrap().as_ptr());
[INFO] [stderr]     |                                                                ------------------------- ^^^^^^ this pointer will be invalid
[INFO] [stderr]     |                                                                |
[INFO] [stderr]     |                                                                this `CString` is deallocated at the end of the statement, bind it to a variable to extend its lifetime
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(temporary_cstring_as_ptr)]` on by default
[INFO] [stderr]     = note: pointers do not have a lifetime; when calling `as_ptr` the `CString` will be deallocated at the end of the statement because nothing is referencing it as far as the type system is concerned
[INFO] [stderr]     = help: for more information, see https://doc.rust-lang.org/reference/destructors.html
[INFO] [stderr] 
[INFO] [stderr] warning: getting the inner pointer of a temporary `CString`
[INFO] [stderr]    --> src/z3utils.rs:257:95
[INFO] [stderr]     |
[INFO] [stderr] 257 |             let tactic = Z3_mk_tactic(ctx.r, CString::new("tseitin-cnf".to_string()).unwrap().as_ptr());
[INFO] [stderr]     |                                              ------------------------------------------------ ^^^^^^ this pointer will be invalid
[INFO] [stderr]     |                                              |
[INFO] [stderr]     |                                              this `CString` is deallocated at the end of the statement, bind it to a variable to extend its lifetime
[INFO] [stderr]     |
[INFO] [stderr]     = note: pointers do not have a lifetime; when calling `as_ptr` the `CString` will be deallocated at the end of the statement because nothing is referencing it as far as the type system is concerned
[INFO] [stderr]     = help: for more information, see https://doc.rust-lang.org/reference/destructors.html
[INFO] [stderr] 
[INFO] [stderr] warning: 2 warnings emitted
[INFO] [stderr] 
[INFO] [stderr] warning: getting the inner pointer of a temporary `CString`
[INFO] [stderr]    --> src/z3sorts.rs:120:90
[INFO] [stderr]     |
[INFO] [stderr] 120 |                 enum_names[index] = Z3_mk_string_symbol(ctx.r, CString::new(*s).unwrap().as_ptr());
[INFO] [stderr]     |                                                                ------------------------- ^^^^^^ this pointer will be invalid
[INFO] [stderr]     |                                                                |
[INFO] [stderr]     |                                                                this `CString` is deallocated at the end of the statement, bind it to a variable to extend its lifetime
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(temporary_cstring_as_ptr)]` on by default
[INFO] [stderr]     = note: pointers do not have a lifetime; when calling `as_ptr` the `CString` will be deallocated at the end of the statement because nothing is referencing it as far as the type system is concerned
[INFO] [stderr]     = help: for more information, see https://doc.rust-lang.org/reference/destructors.html
[INFO] [stderr] 
[INFO] [stderr] warning: getting the inner pointer of a temporary `CString`
[INFO] [stderr]    --> src/z3utils.rs:257:95
[INFO] [stderr]     |
[INFO] [stderr] 257 |             let tactic = Z3_mk_tactic(ctx.r, CString::new("tseitin-cnf".to_string()).unwrap().as_ptr());
[INFO] [stderr]     |                                              ------------------------------------------------ ^^^^^^ this pointer will be invalid
[INFO] [stderr]     |                                              |
[INFO] [stderr]     |                                              this `CString` is deallocated at the end of the statement, bind it to a variable to extend its lifetime
[INFO] [stderr]     |
[INFO] [stderr]     = note: pointers do not have a lifetime; when calling `as_ptr` the `CString` will be deallocated at the end of the statement because nothing is referencing it as far as the type system is concerned
[INFO] [stderr]     = help: for more information, see https://doc.rust-lang.org/reference/destructors.html
[INFO] [stderr] 
[INFO] [stderr] warning: 2 warnings emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.16s
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/z3_v2-d861dfd3d75e2613
[INFO] [stdout] 
[INFO] [stdout] running 119 tests
[INFO] [stdout] test z3config::test_cfg_macro_1 ... ok
[INFO] [stdout] test z3config::test_param_set ... ok
[INFO] [stdout] test z3context::test_ctx ... ok
[INFO] [stdout] test z3config::test_new_cfg ... ok
[INFO] [stdout] test z3logics::test_and_macro_2 ... ok
[INFO] [stdout] test z3logics::test_distinct_macro_1 ... ok
[INFO] [stdout] test z3logics::test_distinct_macro_2 ... ok
[INFO] [stdout] test z3logics::test_imp_macro_1 ... ok
[INFO] [stdout] test z3context::test_default_ctx ... ok
[INFO] [stdout] test z3logics::test_and_macro_1 ... ok
[INFO] [stdout] test z3context::test_update_param_macro ... ok
[INFO] [stdout] test z3logics::test_equiv_macro_1 ... ok
[INFO] [stdout] test z3logics::test_iff_macro_1 ... ok
[INFO] [stderr] WARNING: unknown parameter 'model_compress'
[INFO] [stdout] test z3config::test_macro_param_set ... ok
[INFO] [stderr] Legal parameters are:
[INFO] [stdout] test z3context::test_update_param ... ok
[INFO] [stderr]   auto_config (bool) (default: true)
[INFO] [stdout] test z3context::test_ctx_macro ... ok
[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] [stderr]   proof (bool) (default: false)
[INFO] [stderr]   rlimit (unsigned int) (default: 0)
[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 z3logics::test_new_equiv ... ok
[INFO] [stdout] test z3logics::test_new_iff ... ok
[INFO] [stdout] test z3logics::test_new_imp ... ok
[INFO] [stdout] test z3logics::test_new_or ... ok
[INFO] [stdout] test z3logics::test_new_ite ... ok
[INFO] [stdout] test z3logics::test_or_macro_1 ... ok
[INFO] [stdout] test z3logics::test_new_ntrue_2 ... ok
[INFO] [stdout] test z3logics::test_not_macro_1 ... ok
[INFO] [stdout] test z3logics::test_ntrue_macro ... ok
[INFO] [stdout] test z3logics::test_new_xor ... ok
[INFO] [stdout] test z3logics::test_xor_macro_1 ... ok
[INFO] [stdout] test z3logics::test_or_macro_2 ... ok
[INFO] [stdout] test z3config::test_default_cfg ... ok
[INFO] [stdout] test z3operations::test_add_macro_1 ... ok
[INFO] [stdout] test z3operations::test_new_add ... ok
[INFO] [stdout] test z3logics::test_ite_macro_1 ... ok
[INFO] [stdout] test z3operations::test_mod_macro_1 ... ok
[INFO] [stdout] test z3logics::test_new_and ... ok
[INFO] [stdout] test z3operations::test_div_macro_1 ... ok
[INFO] [stdout] test z3operations::test_add_macro_2 ... ok
[INFO] [stdout] test z3operations::test_new_pow ... ok
[INFO] [stdout] test z3operations::test_new_sub ... ok
[INFO] [stdout] test z3operations::test_neg_macro_1 ... ok
[INFO] [stdout] test z3operations::test_new_rem ... ok
[INFO] [stdout] test z3logics::test_new_not ... ok
[INFO] [stdout] test z3operations::test_new_mul ... ok
[INFO] [stdout] test z3operations::test_sub_macro_2 ... ok
[INFO] [stdout] test z3operations::test_new_div ... ok
[INFO] [stdout] test z3optimizer::test_new_maximize ... ok
[INFO] [stdout] test z3operations::test_pow_macro_1 ... ok
[INFO] [stdout] test z3optimizer::test_new_oassert ... ok
[INFO] [stdout] test z3operations::test_rem_macro_1 ... ok
[INFO] [stdout] test z3operations::test_sub_macro_1 ... ok
[INFO] [stdout] test z3operations::test_new_neg ... ok
[INFO] [stdout] test z3optimizer::test_oot_assert_macro_1 ... ok
[INFO] [stdout] test z3operations::test_mul_macro_2 ... ok
[INFO] [stdout] test z3relations::test_eq_macro_1 ... ok
[INFO] [stdout] test z3optimizer::test_ocheck_macro_1 ... ok
[INFO] [stdout] test z3relations::test_gt_macro_1 ... ok
[INFO] [stdout] test z3optimizer::test_new_ocheck ... ok
[INFO] [stdout] test z3optimizer::test_opt_macro_1 ... ok
[INFO] [stdout] test z3logics::test_new_ntrue ... ok
[INFO] [stdout] test z3operations::test_mul_macro_1 ... ok
[INFO] [stdout] test z3optimizer::test_omin_macro_1 ... ok
[INFO] [stdout] test z3relations::test_new_gt ... ok
[INFO] [stdout] test z3optimizer::test_new_optimizer ... ok
[INFO] [stdout] test z3relations::test_new_ge ... ok
[INFO] [stdout] test z3relations::test_lt_macro_1 ... ok
[INFO] [stdout] test z3relations::test_new_lt ... ok
[INFO] [stdout] test z3optimizer::test_omax_macro_1 ... ok
[INFO] [stdout] test z3relations::test_new_le ... ok
[INFO] [stdout] test z3relations::test_ge_macro_1 ... ok
[INFO] [stdout] test z3relations::test_new_neq_1 ... ok
[INFO] [stdout] test z3relations::test_new_eq_1 ... ok
[INFO] [stdout] test z3relations::test_le_macro_1 ... ok
[INFO] [stdout] test z3operations::test_new_mod ... ok
[INFO] [stdout] test z3solver::get_unsat_core_test ... ok
[INFO] [stdout] test z3logics::test_distinct_macro_3 ... ok
[INFO] [stdout] test z3logics::test_new_distinct ... ok
[INFO] [stdout] test z3solver::test_new_solver ... ok
[INFO] [stdout] test z3solver::test_get_unsat_core_macro_1 ... ok
[INFO] [stdout] test z3optimizer::test_new_minimize ... ok
[INFO] [stdout] test z3logics::test_new_pbeq ... ok
[INFO] [stdout] test z3solver::test_new_scheck ... ok
[INFO] [stdout] test z3solver::test_new_solver_for_logic ... ok
[INFO] [stdout] test z3solver::test_new_solver_get_param_descr ... ok
[INFO] [stdout] test z3sorts::test_bool_sort_macro_1 ... ok
[INFO] [stdout] test z3sorts::test_bool_sort ... ok
[INFO] [stdout] test z3solver::test_slv_macro_1 ... ok
[INFO] [stdout] test z3sorts::test_int_sort ... ok
[INFO] [stdout] test z3sorts::test_real_sort ... ok
[INFO] [stdout] test z3solver::test_slv_assert_and_track_macro_1 ... ok
[INFO] [stdout] test z3solver::test_slv_param_descr_macro_1 ... ok
[INFO] [stdout] test z3sorts::test_enum_sort ... ok
[INFO] [stdout] test z3utils::test_tseitin ... ok
[INFO] [stdout] test z3values::test_bool_macro_1 ... ok
[INFO] [stdout] test z3values::test_int_macro_1 ... ok
[INFO] [stdout] test z3values::test_new_bool ... ok
[INFO] [stdout] test z3values::test_new_int ... ok
[INFO] [stdout] test z3values::test_new_string ... 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_macro_1 ... ok
[INFO] [stdout] test z3variables::test_bool_var_macro_1 ... ok
[INFO] [stdout] test z3variables::test_int_var_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_new_real_var ... ok
[INFO] [stdout] test z3variables::test_new_string_var ... ok
[INFO] [stdout] test z3variables::test_real_var_macro_1 ... ok
[INFO] [stdout] test z3variables::test_string_var_macro_1 ... ok
[INFO] [stdout] test z3values::test_real_macro_1 ... ok
[INFO] [stdout] test z3sorts::test_string_sort ... ok
[INFO] [stdout] test z3values::test_string_macro_1 ... ok
[INFO] [stdout] test z3solver::test_new_solver_assert ... ok
[INFO] [stdout] test z3solver::test_slv_assert_macro_1 ... ok
[INFO] [stdout] test z3solver::get_all_models_dont_care_bool_test ... ok
[INFO] [stdout] test z3solver::get_n_models_test ... ok
[INFO] [stdout] test z3solver::test_push_pop ... ok
[INFO] [stdout] test z3solver::get_proof_test ... ok
[INFO] [stdout] test z3solver::test_get_proof_macro_1 ... ok
[INFO] [stdout] test z3solver::test_new_solver_assert_and_track ... ok
[INFO] [stdout] test z3solver::test_slv_check_macro_1 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 119 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/config_int_tests-6de77ba983afd7bd
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/context_int_tests-b1b8d387c3334b4c
[INFO] [stdout] test test_cfg_macro_1 ... ok
[INFO] [stdout] test test_default_cfg ... ok
[INFO] [stdout] test test_new_cfg ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_ctx_macro ... ok
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/logics_int_tests-f9bf26e56df9f205
[INFO] [stdout] test test_ctx ... ok
[INFO] [stdout] test test_default_ctx ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 20 tests
[INFO] [stdout] test test_distinct_macro_1 ... ok
[INFO] [stdout] test test_new_ite ... ok
[INFO] [stdout] test test_and_macro_2 ... ok
[INFO] [stdout] test test_imp_macro_1 ... ok
[INFO] [stdout] test test_ite_macro_1 ... ok
[INFO] [stdout] test test_new_iff ... ok
[INFO] [stdout] test test_new_and ... ok
[INFO] [stdout] test test_iff_macro_1 ... ok
[INFO] [stdout] test test_distinct_macro_2 ... ok
[INFO] [stdout] test test_new_imp ... ok
[INFO] [stdout] test test_or_macro_2 ... ok
[INFO] [stdout] test test_new_distinct ... ok
[INFO] [stdout] test test_and_macro_1 ... ok
[INFO] [stdout] test test_new_or ... ok
[INFO] [stdout] test test_xor_macro_1 ... ok
[INFO] [stdout] test test_new_xor ... ok
[INFO] [stdout] test test_new_not ... ok
[INFO] [stdout] test test_or_macro_1 ... ok
[INFO] [stdout] test test_not_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-9ed84b1f1e203e5d
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test test_add_macro_1 ... ok
[INFO] [stdout] test test_neg_macro_1 ... ok
[INFO] [stdout] test test_new_mod ... ok
[INFO] [stdout] test test_pow_macro_1 ... ok
[INFO] [stdout] test test_new_rem ... ok
[INFO] [stdout] test test_sub_macro_1 ... ok
[INFO] [stdout] test test_div_macro_1 ... ok
[INFO] [stdout] test test_new_pow ... ok
[INFO] [stdout] test test_new_neg ... ok
[INFO] [stdout] test test_rem_macro_1 ... ok
[INFO] [stdout] test test_new_add ... ok
[INFO] [stdout] test test_mul_macro_2 ... ok
[INFO] [stdout] test test_new_mul ... ok
[INFO] [stdout] test test_new_div ... ok
[INFO] [stdout] test test_mod_macro_1 ... ok
[INFO] [stdout] test test_new_sub ... ok
[INFO] [stdout] test test_mul_macro_1 ... ok
[INFO] [stdout] test test_add_macro_2 ... ok
[INFO] [stdout] test test_sub_macro_2 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/optimizer_int_tests-de304f26175948bf
[INFO] [stdout] test test_new_optimizer ... ok
[INFO] [stdout] test test_new_ocheck ... ok
[INFO] [stdout] test test_opt_macro_1 ... ok
[INFO] [stdout] test test_new_maximize ... ok
[INFO] [stdout] test test_omin_macro_1 ... ok
[INFO] [stdout] test test_new_oassert ... ok
[INFO] [stdout] test test_omax_macro_1 ... ok
[INFO] [stdout] test test_oot_assert_macro_1 ... ok
[INFO] [stdout] test test_ocheck_macro_1 ... ok
[INFO] [stdout] test test_new_minimize ... 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-c8c3af8cf0650e24
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test test_gt_macro_1 ... ok
[INFO] [stdout] test test_ge_macro_1 ... ok
[INFO] [stdout] test test_new_gt ... ok
[INFO] [stdout] test test_eq_macro_1 ... ok
[INFO] [stdout] test test_le_macro_1 ... ok
[INFO] [stdout] test test_lt_macro_1 ... ok
[INFO] [stdout] test test_new_ge ... ok
[INFO] [stdout] test test_new_lt ... ok
[INFO] [stdout] test test_new_le ... ok
[INFO] [stdout] test test_new_eq ... 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-5d56786c7b4ca11f
[INFO] [stdout] 
[INFO] [stdout] running 14 tests
[INFO] [stdout] test get_unsat_core_test ... ok
[INFO] [stdout] test test_slv_macro_1 ... ok
[INFO] [stdout] test test_new_solver_assert ... ok
[INFO] [stdout] test test_new_solver_assert_and_track ... ok
[INFO] [stdout] test test_new_solver_get_param_descr ... ok
[INFO] [stdout] test test_slv_assert_macro_1 ... ok
[INFO] [stdout] test test_slv_assert_and_track_macro_1 ... 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 ... ok
[INFO] [stdout] test test_slv_check_macro_1 ... ok
[INFO] [stdout] test get_proof_test ... ok
[INFO] [stdout] test test_new_scheck ... ok
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/sorts_int_tests-8dd396f0063ed309
[INFO] [stdout] test test_get_proof_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_int_sort ... ok
[INFO] [stdout] test test_string_sort ... ok
[INFO] [stdout] test test_bool_sort ... ok
[INFO] [stdout] test test_string_sort_macro_1 ... ok
[INFO] [stdout] test test_real_sort ... ok
[INFO] [stdout] test test_int_sort_macro_1 ... ok
[INFO] [stdout] test test_real_sort_macro_1 ... ok
[INFO] [stdout] test test_bool_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] [stderr]      Running /opt/rustwide/target/debug/deps/values_int_tests-735f9499f80fcf81
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test test_string_macro_1 ... ok
[INFO] [stdout] test test_real_macro_1 ... ok
[INFO] [stdout] test test_new_string ... ok
[INFO] [stdout] test test_new_int ... ok
[INFO] [stdout] test test_int_macro_1 ... ok
[INFO] [stdout] test test_bool_macro_1 ... ok
[INFO] [stdout] test test_new_bool ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/variables_int_tests-ce68e5d539d24a50
[INFO] [stdout] test test_bool_var_macro_1 ... ok
[INFO] [stdout] test test_real_var_macro_1 ... ok
[INFO] [stdout] test test_new_int_var ... ok
[INFO] [stdout] test test_int_var_macro_1 ... ok
[INFO] [stdout] test test_new_bool_var ... ok
[INFO] [stdout] test test_new_real_var ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests z3_v2
[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" "7618291431c0c5750aebb2ad347be2b3ef37fa222d714e5d9f845b8f34332e7f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7618291431c0c5750aebb2ad347be2b3ef37fa222d714e5d9f845b8f34332e7f", kill_on_drop: false }`
[INFO] [stdout] 7618291431c0c5750aebb2ad347be2b3ef37fa222d714e5d9f845b8f34332e7f