[INFO] fetching crate z3rs 0.0.9...
[INFO] testing z3rs-0.0.9 against 1.99.0-beta.8 for beta-1.100-2
[INFO] extracting crate z3rs 0.0.9 into /workspace/builds/worker-3-tc1/source
[INFO] started tweaking crates.io crate z3rs 0.0.9
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate z3rs 0.0.9
[INFO] tweaked toml for crates.io crate z3rs 0.0.9 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate z3rs 0.0.9 on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate z3rs 0.0.9 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded puremp v0.2.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3111399a4047eeb3a02b7a90e478d715f38a8c6669b5c4b49d30a17385265909" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] ad7fcf49c06c81c38c0c302bae837639463a44fe975678832f3541290defde58
[INFO] running `Command { std: "docker" "start" "ad7fcf49c06c81c38c0c302bae837639463a44fe975678832f3541290defde58", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ad7fcf49c06c81c38c0c302bae837639463a44fe975678832f3541290defde58", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "ad7fcf49c06c81c38c0c302bae837639463a44fe975678832f3541290defde58" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ad7fcf49c06c81c38c0c302bae837639463a44fe975678832f3541290defde58", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "ad7fcf49c06c81c38c0c302bae837639463a44fe975678832f3541290defde58" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling puremp v0.2.0
[INFO] [stderr]    Compiling z3rs v0.0.9 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 18.38s
[INFO] running `Command { std: "docker" "inspect" "ad7fcf49c06c81c38c0c302bae837639463a44fe975678832f3541290defde58", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "ad7fcf49c06c81c38c0c302bae837639463a44fe975678832f3541290defde58" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling z3rs v0.0.9 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 18.34s
[INFO] running `Command { std: "docker" "inspect" "ad7fcf49c06c81c38c0c302bae837639463a44fe975678832f3541290defde58", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "ad7fcf49c06c81c38c0c302bae837639463a44fe975678832f3541290defde58" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.01s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/z3rs-121310c5e48f1437)
[INFO] [stdout] 
[INFO] [stdout] running 439 tests
[INFO] [stdout] test api::build::tests::arithmetic_unsat ... ok
[INFO] [stdout] test api::build::tests::array_select_store ... ok
[INFO] [stdout] test api::build::tests::forall_uf_unsat ... ok
[INFO] [stdout] test api::build::tests::bitvector_extended_ops ... ok
[INFO] [stdout] test api::build::tests::boolean_and_model ... ok
[INFO] [stdout] test api::build::tests::bitvector_ops ... ok
[INFO] [stdout] test api::build::tests::forall_with_pattern ... ok
[INFO] [stdout] test api::build::tests::numeral_readback ... ok
[INFO] [stdout] test api::build::tests::ite_and_distinct ... ok
[INFO] [stdout] test api::build::tests::push_pop_scopes ... ok
[INFO] [stdout] test api::tests::solver_get_value ... ok
[INFO] [stdout] test api::build::tests::uf_apply_congruence ... ok
[INFO] [stdout] test api::build::tests::uf_congruence_unsat ... ok
[INFO] [stdout] test ast::array::tests::select_store_shapes ... ok
[INFO] [stdout] test ast::basic::tests::build_a_propositional_formula ... ok
[INFO] [stdout] test ast::basic::tests::bool_sort_is_unique_and_finite ... ok
[INFO] [stdout] test ast::array::tests::array_sort_roundtrip ... ok
[INFO] [stdout] test ast::basic::tests::ite_and_eq_take_argument_sorts ... ok
[INFO] [stdout] test ast::arith::tests::numerals_carry_their_value_and_sort ... ok
[INFO] [stdout] test api::tests::solver_optimization ... ok
[INFO] [stdout] test ast::basic::tests::structural_sharing_holds_for_formulas ... ok
[INFO] [stdout] test ast::arith::tests::int_and_real_sorts_are_distinct ... ok
[INFO] [stdout] test api::tests::solver_incremental ... ok
[INFO] [stdout] test ast::arith::tests::build_and_print_arithmetic_atom ... ok
[INFO] [stdout] test ast::bv::tests::bitwise_ops_shapes ... ok
[INFO] [stdout] test ast::bv::tests::build_bitvector_term ... ok
[INFO] [stdout] test ast::bv::tests::numerals_wrap_modulo_width ... ok
[INFO] [stdout] test ast::bv::tests::bv_sort_carries_width ... ok
[INFO] [stdout] test ast::manager::tests::variables_hash_cons_by_index_and_sort ... ok
[INFO] [stdout] test ast::parameter::tests::double_uses_bit_equality ... ok
[INFO] [stdout] test ast::parameter::tests::equality_and_kind_order ... ok
[INFO] [stdout] test ast::parameter::tests::kinds_and_accessors ... ok
[INFO] [stdout] test ast::manager::tests::sorts_are_hash_consed ... ok
[INFO] [stdout] test ast::pp::tests::prints_constants_and_applications ... ok
[INFO] [stdout] test ast::query::tests::recognizers ... ok
[INFO] [stdout] test ast::tests::ast_kind_discriminants_match_z3 ... ok
[INFO] [stdout] test ast::query::tests::shared_subterms_counted_once ... ok
[INFO] [stdout] test ast::tests::sort_size_variants ... ok
[INFO] [stdout] test ast::pp::tests::prints_uninterpreted_terms_and_vars ... ok
[INFO] [stdout] test cmd_context::algebraic_pp::tests::exactly_precision_digits_then_stop ... ok
[INFO] [stdout] test ast::translation::tests::translate_nested_sort_parameters ... ok
[INFO] [stdout] test ast::translation::tests::translate_quantifier ... ok
[INFO] [stdout] test ast::query::tests::postorder_visits_children_first_and_once ... ok
[INFO] [stdout] test ast::query::tests::depth_of_nested_arithmetic ... ok
[INFO] [stdout] test cmd_context::algebraic_pp::tests::negative_reports_sign_and_magnitude ... ok
[INFO] [stdout] test cmd_context::algebraic_pp::tests::terminating_has_no_question_mark ... ok
[INFO] [stdout] test cmd_context::algebraic_pp::tests::truncates_never_rounds ... ok
[INFO] [stdout] test ast::translation::tests::translate_arith_remaps_family ... ok
[INFO] [stdout] test ast::manager::tests::applications_dedupe_and_carry_sorts ... ok
[INFO] [stdout] test ast::translation::tests::round_trip_preserves_pp ... ok
[INFO] [stdout] test cmd_context::algebraic_pp::tests::nonterminating_gets_question_mark ... ok
[INFO] [stdout] test ast::manager::tests::hash_cons_survives_table_growth ... ok
[INFO] [stdout] test cmd_context::algebraic_pp::tests::integer_part_and_precision_zero ... ok
[INFO] [stdout] test cmd_context::smt2::tests::array_read_over_write_same ... ok
[INFO] [stdout] test cmd_context::smt2::tests::array_read_over_write_other ... ok
[INFO] [stdout] test cmd_context::smt2::tests::array_extensionality_sat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::apply_simplify_tactic ... ok
[INFO] [stdout] test cmd_context::smt2::tests::abs_and_to_real ... ok
[INFO] [stdout] test cmd_context::smt2::tests::bitvector_bitwise_and_compare ... ok
[INFO] [stdout] test cmd_context::smt2::tests::as_array_and_check_sat_using ... ok
[INFO] [stdout] test cmd_context::smt2::tests::apply_ctx_solver_simplify ... ok
[INFO] [stdout] test cmd_context::smt2::tests::array_satisfiable ... ok
[INFO] [stdout] test cmd_context::smt2::tests::arity_n_uninterpreted_sorts ... ok
[INFO] [stdout] test cmd_context::smt2::tests::bitvector_concat_extract ... ok
[INFO] [stdout] test cmd_context::smt2::tests::boolean_and_ite ... ok
[INFO] [stdout] test cmd_context::smt2::tests::array_congruence_via_equality ... ok
[INFO] [stdout] test cmd_context::smt2::tests::bitvector_arithmetic_and_literals ... ok
[INFO] [stdout] test cmd_context::smt2::tests::bv_get_value_produces_model ... ok
[INFO] [stdout] test cmd_context::smt2::tests::check_sat_assuming_does_not_persist ... ok
[INFO] [stdout] test cmd_context::smt2::tests::array_extensionality_store_commute ... ok
[INFO] [stdout] test cmd_context::smt2::tests::comments_and_multiple_checks ... ok
[INFO] [stdout] test cmd_context::smt2::tests::array_map_combinator ... ok
[INFO] [stdout] test cmd_context::smt2::tests::concat_boundary_char_mismatch ... ok
[INFO] [stdout] test cmd_context::smt2::tests::bv_comp_reductions_conversions ... ok
[INFO] [stdout] test cmd_context::smt2::tests::define_fun_macros ... ok
[INFO] [stdout] test cmd_context::smt2::tests::distinct_expands_to_pairwise_disequality ... ok
[INFO] [stdout] test cmd_context::smt2::tests::constant_array ... ok
[INFO] [stdout] test cmd_context::smt2::tests::bitvector_width_mismatch_rejected ... ok
[INFO] [stdout] test cmd_context::smt2::tests::distinct_bool_pigeonhole_unsat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::concat_equation_cancellation ... ok
[INFO] [stdout] test cmd_context::smt2::tests::bitvector_overflow_predicates ... ok
[INFO] [stdout] test cmd_context::algebraic_pp::tests::trig_exact_root_obj_and_rational ... ok
[INFO] [stdout] test cmd_context::smt2::tests::define_sort_macros ... ok
[INFO] [stdout] test cmd_context::smt2::tests::floating_point_folding ... ok
[INFO] [stdout] test cmd_context::smt2::tests::datatype_universal_selector_property_is_sound ... ok
[INFO] [stdout] test cmd_context::smt2::tests::datatype_match_expression ... ok
[INFO] [stdout] test cmd_context::smt2::tests::get_model_lists_constants ... ok
[INFO] [stdout] test cmd_context::smt2::tests::enum_datatypes_decide ... ok
[INFO] [stdout] test cmd_context::smt2::tests::echo_and_get_info ... ok
[INFO] [stdout] test cmd_context::smt2::tests::get_value_real_fraction ... ok
[INFO] [stdout] test cmd_context::smt2::tests::functional_array_equality_is_sound ... ok
[INFO] [stdout] test api::build::tests::datatype_list_sat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::get_value_without_sat_is_error ... ok
[INFO] [stdout] test cmd_context::smt2::tests::exists_forall_alternation ... ok
[INFO] [stdout] test cmd_context::smt2::tests::get_value_returns_assignments ... ok
[INFO] [stdout] test cmd_context::smt2::tests::integer_div_mod_fold ... ok
[INFO] [stdout] test cmd_context::smt2::tests::bv2int_range ... ok
[INFO] [stdout] test cmd_context::smt2::tests::integer_fourier_motzkin_unsat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::chc_transition_system_decided ... ok
[INFO] [stdout] test cmd_context::smt2::tests::integer_dark_shadow_sat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::integer_gcd_inequality_tightening ... ok
[INFO] [stdout] test cmd_context::smt2::tests::is_int_constant_fold ... ok
[INFO] [stdout] test cmd_context::smt2::tests::let_bindings ... ok
[INFO] [stdout] test cmd_context::smt2::tests::is_int_symbolic ... ok
[INFO] [stdout] test cmd_context::smt2::tests::lambda_arrays ... ok
[INFO] [stdout] test cmd_context::smt2::tests::divisible_define_const_power ... ok
[INFO] [stdout] test cmd_context::smt2::tests::int_bv_bridge ... ok
[INFO] [stdout] test cmd_context::smt2::tests::integer_dark_shadow_with_equality ... ok
[INFO] [stdout] test cmd_context::smt2::tests::mod_div_variable_axioms ... ok
[INFO] [stdout] test cmd_context::smt2::tests::nested_and_shadowing_lets ... ok
[INFO] [stdout] test cmd_context::smt2::tests::more_string_operations ... ok
[INFO] [stdout] test cmd_context::smt2::tests::mutually_recursive_datatypes ... ok
[INFO] [stdout] test cmd_context::smt2::tests::multi_trigger_ematching ... ok
[INFO] [stdout] test cmd_context::smt2::tests::integer_implied_equality ... ok
[INFO] [stdout] test cmd_context::smt2::tests::negative_literals ... ok
[INFO] [stdout] test cmd_context::smt2::tests::nested_term_ite_in_arith ... ok
[INFO] [stdout] test cmd_context::smt2::tests::parse_error_is_reported ... ok
[INFO] [stdout] test cmd_context::smt2::tests::nested_forall_flattened ... ok
[INFO] [stdout] test cmd_context::smt2::tests::pop_undeclares_scoped_constants ... ok
[INFO] [stdout] test cmd_context::smt2::tests::push_pop_scopes_assertions ... ok
[INFO] [stdout] test cmd_context::smt2::tests::qe_valid_universals_are_sat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::parametric_datatypes ... ok
[INFO] [stdout] test cmd_context::smt2::tests::mutually_recursive_datatype_acyclicity ... ok
[INFO] [stdout] test cmd_context::smt2::tests::qf_lia_divisibility_sat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::nonlinear_power_is_gated ... ok
[INFO] [stdout] test cmd_context::smt2::tests::named_assertion_transparent ... ok
[INFO] [stdout] test cmd_context::smt2::tests::nonlinear_now_decided_matches_z3 ... ok
[INFO] [stdout] test cmd_context::smt2::tests::mod_div_satisfiable ... ok
[INFO] [stdout] test cmd_context::smt2::tests::pseudo_boolean_cardinality ... ok
[INFO] [stdout] test cmd_context::smt2::tests::maxsat_soft_constraints ... ok
[INFO] [stdout] test cmd_context::smt2::tests::qf_lra_bounds_unsat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::qf_lia_integrality_unsat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::qf_uf_congruence_unsat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::qf_lia_satisfiable_and_decimals ... ok
[INFO] [stdout] test cmd_context::smt2::tests::qf_uf_transitivity_unsat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::quantified_uf_instantiates_not_qe ... ok
[INFO] [stdout] test cmd_context::smt2::tests::real_division_is_exact ... ok
[INFO] [stdout] test cmd_context::smt2::tests::ematching_decides_recursive_and_uf ... ok
[INFO] [stdout] test cmd_context::smt2::tests::quantifier_instantiation_and_skolemization ... ok
[INFO] [stdout] test cmd_context::smt2::tests::recursive_datatype_acyclicity ... ok
[INFO] [stdout] test cmd_context::smt2::tests::regex_complement_and_difference ... ok
[INFO] [stdout] test cmd_context::smt2::tests::quantifier_elimination_real_lra ... ok
[INFO] [stdout] test cmd_context::smt2::tests::regex_loop ... ok
[INFO] [stdout] test cmd_context::smt2::tests::reset_assertions_keeps_declarations ... ok
[INFO] [stdout] test cmd_context::smt2::tests::regex_power ... ok
[INFO] [stdout] test cmd_context::smt2::tests::regex_membership_folds ... ok
[INFO] [stdout] test cmd_context::smt2::tests::scoped_declaration_can_be_reused_after_pop ... ok
[INFO] [stdout] test cmd_context::smt2::tests::record_datatypes_decide ... ok
[INFO] [stdout] test cmd_context::smt2::tests::sequence_search_and_replace ... ok
[INFO] [stdout] test cmd_context::smt2::tests::sequence_structural_fragment ... ok
[INFO] [stdout] test cmd_context::smt2::tests::satisfiable_script ... ok
[INFO] [stdout] test cmd_context::smt2::tests::set_sort_is_array_to_bool ... ok
[INFO] [stdout] test cmd_context::smt2::tests::smtlib_v1_arith_let_and_implies ... ok
[INFO] [stdout] test cmd_context::smt2::tests::real_optimization ... ok
[INFO] [stdout] test cmd_context::smt2::tests::divmod_linking ... ok
[INFO] [stdout] test cmd_context::smt2::tests::session_is_incremental ... ok
[INFO] [stdout] test cmd_context::smt2::tests::smtlib_v1_benchmark_euf ... ok
[INFO] [stdout] test cmd_context::smt2::tests::str_is_digit_and_fp_to_real ... ok
[INFO] [stdout] test cmd_context::smt2::tests::singular_datatype_eval_simplify ... ok
[INFO] [stdout] test cmd_context::smt2::tests::recursive_function_definitions ... ok
[INFO] [stdout] test cmd_context::smt2::tests::str_len_nonnegative ... ok
[INFO] [stdout] test cmd_context::smt2::tests::string_fragment_decides ... ok
[INFO] [stdout] test cmd_context::smt2::tests::square_nonnegativity ... ok
[INFO] [stdout] test cmd_context::smt2::tests::seq_len_symbolic ... ok
[INFO] [stdout] test cmd_context::smt2::tests::string_concat_word_equations ... ok
[INFO] [stdout] test cmd_context::smt2::tests::string_predicate_length_links ... ok
[INFO] [stdout] test cmd_context::smt2::tests::quantifier_saturation_decides_sat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::symbolic_fp_mul_bitblast ... ok
[INFO] [stdout] test cmd_context::smt2::tests::quantifier_iterative_instantiation ... ok
[INFO] [stdout] test cmd_context::smt2::tests::symbolic_floating_point_via_bv ... ok
[INFO] [stdout] test cmd_context::smt2::tests::term_ite_arithmetic ... ok
[INFO] [stdout] test cmd_context::smt2::tests::recursive_function_over_datatype ... ok
[INFO] [stdout] test cmd_context::smt2::tests::to_fp_from_bitvec_no_crash ... ok
[INFO] [stdout] test cmd_context::smt2::tests::to_int_symbolic ... ok
[INFO] [stdout] test cmd_context::smt2::tests::unsat_core_minimal ... ok
[INFO] [stdout] test cmd_context::smt2::tests::symbolic_fp_abs_neg_decide ... ok
[INFO] [stdout] test math::interval::tests::add_and_neg ... ok
[INFO] [stdout] test math::interval::tests::empty_normalisation ... ok
[INFO] [stdout] test math::interval::tests::intersect_basic ... ok
[INFO] [stdout] test math::interval::tests::membership_open_closed ... ok
[INFO] [stdout] test math::interval::tests::mul_sign_cases ... ok
[INFO] [stdout] test math::interval::tests::mul_soundness_sampled ... ok
[INFO] [stdout] test cmd_context::smt2::tests::fp_min_max_zero_clash_unspecified ... ok
[INFO] [stdout] test math::interval::tests::unbounded_bounds ... ok
[INFO] [stdout] test math::polynomial::tests::degree_queries ... ok
[INFO] [stdout] test math::polynomial::tests::difference_of_squares ... ok
[INFO] [stdout] test math::polynomial::tests::constant_recognition ... ok
[INFO] [stdout] test cmd_context::smt2::tests::str_indexof_no_crash ... ok
[INFO] [stdout] test cmd_context::smt2::tests::to_real_linear_nonconstant ... ok
[INFO] [stdout] test math::resultant::tests::discriminant_of_quadratic ... ok
[INFO] [stdout] test math::polynomial::tests::square_of_sum ... ok
[INFO] [stdout] test math::polynomial::tests::scaling_and_zero ... ok
[INFO] [stdout] test math::polynomial::tests::eval_matches_factored_form ... ok
[INFO] [stdout] test math::resultant::tests::psc_coprime ... ok
[INFO] [stdout] test math::resultant::tests::resultant_common_root_is_zero ... ok
[INFO] [stdout] test math::resultant::tests::psc_proportional ... ok
[INFO] [stdout] test math::resultant::tests::resultant_coprime_linear_nonzero ... ok
[INFO] [stdout] test math::resultant::tests::psc_common_factor_degree1 ... ok
[INFO] [stdout] test math::resultant::tests::resultant_eliminates_variable ... ok
[INFO] [stdout] test math::upoly::tests::arithmetic_and_eval ... ok
[INFO] [stdout] test math::resultant::tests::psc_s0_is_resultant ... ok
[INFO] [stdout] test math::upoly::tests::div_rem_exact ... ok
[INFO] [stdout] test math::upoly::tests::gcd_and_squarefree ... ok
[INFO] [stdout] test math::upoly::tests::isolates_roots ... ok
[INFO] [stdout] test model::tests::evaluates_arithmetic_and_predicates ... ok
[INFO] [stdout] test model::tests::evaluates_function_graph ... ok
[INFO] [stdout] test math::upoly::tests::sturm_counts_roots ... ok
[INFO] [stdout] test model::tests::partial_model_is_total_and_symbolic ... ok
[INFO] [stdout] test muz::datalog::tests::open_query_enumerates_solutions ... ok
[INFO] [stdout] test muz::datalog::tests::rejects_malformed ... ok
[INFO] [stdout] test muz::datalog::tests::transitive_closure ... ok
[INFO] [stdout] test muz::datalog::tests::parses_facts_rules_and_queries ... ok
[INFO] [stdout] test nlsat::cad::tests::circle_equality_sat ... ok
[INFO] [stdout] test nlsat::cad::tests::empty_variety_unsat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::variant_datatypes_decide ... ok
[INFO] [stdout] test cmd_context::smt2::tests::quantifiers_accepted_soundly ... ok
[INFO] [stdout] test nlsat::cad::tests::product_and_sum_sat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::unbounded_diophantine ... ok
[INFO] [stdout] test nlsat::cad::tests::circle_vs_hyperbola_unsat ... ok
[INFO] [stdout] test nlsat::elim::tests::eliminate_into_inequality ... ok
[INFO] [stdout] test nlsat::elim::tests::eliminate_reduces_to_univariate ... ok
[INFO] [stdout] test nlsat::elim::tests::nonlinear_coefficient_not_eliminated ... ok
[INFO] [stdout] test nlsat::elim::tests::subst_composes_polynomials ... ok
[INFO] [stdout] test nlsat::icp::tests::bound_and_square_unsat ... ok
[INFO] [stdout] test nlsat::icp::tests::bounded_int_product_sat ... ok
[INFO] [stdout] test nlsat::icp::tests::bounded_int_product_unsat ... ok
[INFO] [stdout] test nlsat::icp::tests::bounded_int_xy_eq_x_unsat ... ok
[INFO] [stdout] test nlsat::icp::tests::circle_and_bound_unsat ... ok
[INFO] [stdout] test nlsat::icp::tests::feasible_linear_not_refuted ... ok
[INFO] [stdout] test nlsat::icp::tests::linear_box_empty_unsat ... ok
[INFO] [stdout] test nlsat::icp::tests::satisfiable_not_refuted ... ok
[INFO] [stdout] test nlsat::icp::tests::square_narrowing_no_false_refute ... ok
[INFO] [stdout] test cmd_context::smt2::tests::integer_optimization ... ok
[INFO] [stdout] test nlsat::icp::tests::square_narrowing_refutes ... ok
[INFO] [stdout] test nlsat::icp::tests::square_negative_unsat ... ok
[INFO] [stdout] test nlsat::icp::tests::unbounded_int_declined ... ok
[INFO] [stdout] test nlsat::nla::tests::derives_sum_of_squares_nonneg ... ok
[INFO] [stdout] test nlsat::nla::tests::derives_product_of_nonnegatives ... ok
[INFO] [stdout] test nlsat::nla::tests::multiplies_equality_by_variable ... ok
[INFO] [stdout] test nlsat::nla::tests::mutual_bounds_give_equality ... ok
[INFO] [stdout] test nlsat::nla::tests::perfect_square_is_detected ... ok
[INFO] [stdout] test nlsat::nla::tests::square_monomial_is_nonnegative ... ok
[INFO] [stdout] test nlsat::realclosure::tests::isolates_sqrt2 ... ok
[INFO] [stdout] test nlsat::realclosure::tests::rational_root_is_rational ... ok
[INFO] [stdout] test nlsat::realclosure::tests::locate_rationals ... ok
[INFO] [stdout] test nlsat::realclosure::tests::sign_at_sqrt2 ... ok
[INFO] [stdout] test nlsat::univariate::tests::contradictory_bounds_unsat ... ok
[INFO] [stdout] test nlsat::univariate::tests::cubic_roots_constrained_unsat ... ok
[INFO] [stdout] test nlsat::univariate::tests::integer_inherits_real_unsat ... ok
[INFO] [stdout] test nlsat::univariate::tests::integer_roots_with_zero_constant ... ok
[INFO] [stdout] test nlsat::univariate::tests::integer_square_roots ... ok
[INFO] [stdout] test nlsat::univariate::tests::integer_trivial_equality_not_unsat ... ok
[INFO] [stdout] test nlsat::univariate::tests::multivariate_declined ... ok
[INFO] [stdout] test nlsat::realclosure::tests::sign_at_algebraic_point ... ok
[INFO] [stdout] test nlsat::univariate::tests::square_eq_four_sat ... ok
[INFO] [stdout] test nlsat::univariate::tests::square_eq_negative_unsat ... ok
[INFO] [stdout] test nlsat::univariate::tests::square_eq_two_sat ... ok
[INFO] [stdout] test nlsat::univariate::tests::square_eq_nine_positive_sat ... ok
[INFO] [stdout] test nlsat::univariate::tests::square_gt_and_between_unsat ... ok
[INFO] [stdout] test nlsat::univariate::tests::square_lt_four_sat ... ok
[INFO] [stdout] test params::tests::effective_falls_back_to_default ... ok
[INFO] [stdout] test params::tests::kind_matching ... ok
[INFO] [stdout] test params::tests::extend_merges_tables ... ok
[INFO] [stdout] test params::tests::validate_accepts_known_and_rejects_unknown ... ok
[INFO] [stdout] test rewriter::arith_rewriter::tests::collects_like_terms_in_sums ... ok
[INFO] [stdout] test nlsat::cad::tests::sphere_vs_plane_unsat ... ok
[INFO] [stdout] test rewriter::arith_rewriter::tests::folds_comparisons_to_booleans ... ok
[INFO] [stdout] test rewriter::arith_rewriter::tests::folds_inside_a_larger_term ... ok
[INFO] [stdout] test rewriter::arith_rewriter::tests::folds_arithmetic_constants ... ok
[INFO] [stdout] test rewriter::arith_rewriter::tests::leaves_symbolic_arithmetic_alone ... ok
[INFO] [stdout] test parsers::tests::all_frontends_reachable ... ok
[INFO] [stdout] test rewriter::array_rewriter::tests::select_const_array ... ok
[INFO] [stdout] test rewriter::array_rewriter::tests::select_store_distinct_index ... ok
[INFO] [stdout] test rewriter::array_rewriter::tests::negative_symbolic_indices_not_folded ... ok
[INFO] [stdout] test rewriter::array_rewriter::tests::store_const_of_same_value ... ok
[INFO] [stdout] test rewriter::array_rewriter::tests::store_select_identity ... ok
[INFO] [stdout] test rewriter::array_rewriter::tests::store_store_shadow ... ok
[INFO] [stdout] test rewriter::array_rewriter::tests::select_store_same_index ... ok
[INFO] [stdout] test rewriter::bool_rewriter::tests::constant_folds_connectives ... ok
[INFO] [stdout] test rewriter::bool_rewriter::tests::folds_complementary_pairs_and_bool_eq ... ok
[INFO] [stdout] test rewriter::bool_rewriter::tests::folds_ite_and_eq ... ok
[INFO] [stdout] test rewriter::bool_rewriter::tests::folds_implies_and_xor ... ok
[INFO] [stdout] test rewriter::bool_rewriter::tests::folds_numeral_equality_and_bool_ite ... ok
[INFO] [stdout] test rewriter::bool_rewriter::tests::simplifies_nested_formula_bottom_up ... ok
[INFO] [stdout] test rewriter::bv_rewriter::tests::applies_algebraic_identities ... ok
[INFO] [stdout] test rewriter::bv_rewriter::tests::folds_arithmetic_constants ... ok
[INFO] [stdout] test rewriter::bv_rewriter::tests::folds_bitwise_constants ... ok
[INFO] [stdout] test rewriter::bv_rewriter::tests::folds_comparisons ... ok
[INFO] [stdout] test rewriter::bv_rewriter::tests::folds_concat_extract_extend ... ok
[INFO] [stdout] test rewriter::bool_rewriter::tests::preserves_irreducible_terms ... ok
[INFO] [stdout] test rewriter::bv_rewriter::tests::folds_div_rem_including_zero_divisor ... ok
[INFO] [stdout] test rewriter::bv_rewriter::tests::folds_shifts_constants ... ok
[INFO] [stdout] test rewriter::bv_rewriter::tests::leaves_symbolic_bv_alone ... ok
[INFO] [stdout] test rewriter::nnf::tests::atoms_and_constants ... ok
[INFO] [stdout] test rewriter::nnf::tests::expands_implications ... ok
[INFO] [stdout] test rewriter::nnf::tests::pushes_through_nested_negation ... ok
[INFO] [stdout] test rewriter::subst::tests::replacements_are_not_rewritten_further ... ok
[INFO] [stdout] test rewriter::nnf::tests::de_morgan_on_and_or ... ok
[INFO] [stdout] test rewriter::subst::tests::substitution_is_simultaneous ... ok
[INFO] [stdout] test rewriter::subst::tests::substitutes_de_bruijn_variables ... ok
[INFO] [stdout] test rewriter::subst::tests::replaces_a_subterm_everywhere ... ok
[INFO] [stdout] test sat::dimacs::tests::clauses_may_span_lines ... ok
[INFO] [stdout] test sat::dimacs::tests::parses_and_solves_unsat ... ok
[INFO] [stdout] test rewriter::th_rewriter::tests::mixed_boolean_and_arithmetic_simplification ... ok
[INFO] [stdout] test sat::dimacs::tests::parses_and_solves_sat ... ok
[INFO] [stdout] test sat::drat::tests::checks_rup_refutation ... ok
[INFO] [stdout] test sat::dimacs::tests::rejects_garbage ... ok
[INFO] [stdout] test sat::drat::tests::checks_trivial_refutation ... ok
[INFO] [stdout] test sat::drat::tests::handles_deletions ... ok
[INFO] [stdout] test sat::drat::tests::rejects_incomplete_proof ... ok
[INFO] [stdout] test sat::literal::tests::display ... ok
[INFO] [stdout] test sat::drat::tests::rejects_invalid_addition ... ok
[INFO] [stdout] test sat::literal::tests::packing_and_negation ... ok
[INFO] [stdout] test sat::solver::tests::assumption_directly_contradicting_a_unit ... ok
[INFO] [stdout] test sat::solver::tests::contradiction_is_unsat ... ok
[INFO] [stdout] test nlsat::cad::tests::eq_and_strict_square_ineq_sat ... ok
[INFO] [stdout] test sat::solver::tests::empty_problem_is_sat ... ok
[INFO] [stdout] test sat::solver::tests::finds_a_satisfying_model ... ok
[INFO] [stdout] test sat::solver::tests::learns_and_verifies_model_on_larger_sat ... ok
[INFO] [stdout] test sat::solver::tests::luby_sequence_prefix ... ok
[INFO] [stdout] test sat::solver::tests::pigeonhole_php_3_2_is_unsat ... ok
[INFO] [stdout] test sat::solver::tests::implication_cycle_is_unsat ... ok
[INFO] [stdout] test sat::solver::tests::empty_clause_is_unsat ... ok
[INFO] [stdout] test sat::solver::tests::solving_under_assumptions ... ok
[INFO] [stdout] test sat::solver::tests::theory_conflict_forces_backtrack_to_model ... ok
[INFO] [stdout] test sat::solver::tests::six_clause_cycle_unsat_regression ... ok
[INFO] [stdout] test sat::solver::tests::theory_conflict_yields_unsat_at_level_zero ... ok
[INFO] [stdout] test sat::solver::tests::theory_lemma_injected_between_solves_is_incremental ... ok
[INFO] [stdout] test sat::solver::tests::theory_lemma_clause_forces_implied_literal ... ok
[INFO] [stdout] test sat::solver::tests::theory_propagation_forces_and_chains ... ok
[INFO] [stdout] test sat::solver::tests::unit_propagation_chain ... ok
[INFO] [stdout] test sat::solver::tests::unit_clause_added_after_solve_backtracks_to_level_zero ... ok
[INFO] [stdout] test sat::tseitin::tests::contradiction_is_unsat ... ok
[INFO] [stdout] test sat::tseitin::tests::excluded_middle_is_a_tautology ... ok
[INFO] [stdout] test sat::tseitin::tests::satisfiable_disjunction ... ok
[INFO] [stdout] test sat::tseitin::tests::iff_and_implies ... ok
[INFO] [stdout] test sat::tseitin::tests::resolution_refutation ... ok
[INFO] [stdout] test smt::arith::tests::contradictory_bounds_infeasible ... ok
[INFO] [stdout] test sat::tseitin::tests::theory_atoms_are_abstracted ... ok
[INFO] [stdout] test smt::arith::tests::core_contradictory_bounds ... ok
[INFO] [stdout] test smt::arith::tests::core_excludes_irrelevant_constraint ... ok
[INFO] [stdout] test smt::arith::tests::core_three_constraint_farkas ... ok
[INFO] [stdout] test smt::arith::tests::core_none_when_feasible ... ok
[INFO] [stdout] test smt::arith::tests::equality_pins_a_value ... ok
[INFO] [stdout] test smt::arith::tests::model_with_disequality ... ok
[INFO] [stdout] test smt::arith::tests::non_strict_boundary_is_feasible ... ok
[INFO] [stdout] test smt::arith::tests::model_respects_strict_bounds ... ok
[INFO] [stdout] test smt::arith::tests::strict_cycle_infeasible ... ok
[INFO] [stdout] test smt::arith::tests::satisfiable_system ... ok
[INFO] [stdout] test smt::arith::tests::model_satisfies_bounded_system ... ok
[INFO] [stdout] test smt::bv::tests::equality_of_distinct_numerals_unsat ... ok
[INFO] [stdout] test smt::bv::tests::add_overflow_wraps ... ok
[INFO] [stdout] test smt::bv::tests::bitwise_and_identity ... ok
[INFO] [stdout] test smt::bv::tests::multiply_commutes_and_solves ... ok
[INFO] [stdout] test smt::bv::tests::sub_is_add_inverse ... ok
[INFO] [stdout] test smt::cooper::tests::forall_exists_empty ... ok
[INFO] [stdout] test smt::cooper::tests::forall_exists_even ... ok
[INFO] [stdout] test smt::cooper::tests::forall_exists_double ... ok
[INFO] [stdout] test smt::cooper::tests::forall_exists_gt ... ok
[INFO] [stdout] test smt::euf::tests::explain_minimal_ignores_irrelevant ... ok
[INFO] [stdout] test smt::bv::tests::ult_is_strict ... ok
[INFO] [stdout] test smt::euf::tests::congruence_forces_equality ... ok
[INFO] [stdout] test smt::euf::tests::explain_nested_congruence ... ok
[INFO] [stdout] test smt::euf::tests::explain_transitivity ... ok
[INFO] [stdout] test smt::euf::tests::explain_through_congruence ... ok
[INFO] [stdout] test smt::euf::tests::transitivity_conflict ... ok
[INFO] [stdout] test smt::euf::tests::explain_two_arg_congruence ... ok
[INFO] [stdout] test smt::solver::tests::congruence_is_unsat ... ok
[INFO] [stdout] test smt::solver::tests::congruence_on_int_range_function_sat ... ok
[INFO] [stdout] test smt::solver::tests::congruence_on_int_range_function_unsat ... ok
[INFO] [stdout] test smt::solver::tests::consistent_equalities_are_sat ... ok
[INFO] [stdout] test smt::solver::tests::divisibility_equation_sat ... ok
[INFO] [stdout] test smt::solver::tests::divisibility_equation_unsat ... ok
[INFO] [stdout] test smt::solver::tests::disjunctive_case_split ... ok
[INFO] [stdout] test smt::solver::tests::model_assigns_consistent_arith_value ... ok
[INFO] [stdout] test smt::solver::tests::model_shares_class_for_equal_uninterp ... ok
[INFO] [stdout] test smt::solver::tests::model_renders_bool_and_real ... ok
[INFO] [stdout] test smt::solver::tests::nelson_oppen_implied_equality_unsat ... ok
[INFO] [stdout] test smt::solver::tests::nelson_oppen_euf_to_arith_unsat ... ok
[INFO] [stdout] test smt::solver::tests::parity_equation_unsat ... ok
[INFO] [stdout] test smt::solver::tests::nelson_oppen_no_forced_equality_sat ... ok
[INFO] [stdout] test smt::solver::tests::predicate_congruence_unsat ... ok
[INFO] [stdout] test smt::solver::tests::pure_propositional_still_decided ... ok
[INFO] [stdout] test smt::solver::tests::qf_lia_no_integer_between_zero_and_one ... ok
[INFO] [stdout] test smt::solver::tests::qf_lra_contradictory_bounds ... ok
[INFO] [stdout] test smt::solver::tests::qf_lia_fractional_relaxation_has_integer_point ... ok
[INFO] [stdout] test smt::solver::tests::qf_lra_disequality_case_split ... ok
[INFO] [stdout] test smt::solver::tests::qf_lra_disjunction_forces_conflict ... ok
[INFO] [stdout] test smt::euf::tests::satisfiable_equalities ... ok
[INFO] [stdout] test smt::solver::tests::qf_lra_strict_cycle_unsat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::string_witness_search_decides_sat ... ok
[INFO] [stdout] test smt::solver::tests::real_variable_between_zero_and_one_is_sat ... ok
[INFO] [stdout] test smt::solver::tests::qf_lra_satisfiable_bounds ... ok
[INFO] [stdout] test smt::solver::tests::transitivity_is_unsat ... ok
[INFO] [stdout] test smt::solver::tests::qf_lra_disjunction_sat ... ok
[INFO] [stdout] test tactic::tests::combinators_compose ... ok
[INFO] [stdout] test tactic::tests::split_conjuncts_flattens ... ok
[INFO] [stdout] test tests::numeric_backend_is_wired ... ok
[INFO] [stdout] test util::bit_vector::tests::bitwise_ops ... ok
[INFO] [stdout] test tactic::tests::probe_guarded_cond ... ok
[INFO] [stdout] test tactic::tests::simplify_tactic_folds_and_detects_unsat ... ok
[INFO] [stdout] test nlsat::cad::tests::inequalities_only_sat ... ok
[INFO] [stdout] test util::bit_vector::tests::equality_ignores_bits_past_len ... ok
[INFO] [stdout] test util::bit_vector::tests::shift_right_inserts_low_zeros ... ok
[INFO] [stdout] test util::bit_vector::tests::resize_fills_and_masks_partial_word ... ok
[INFO] [stdout] test util::hash::tests::deterministic_and_seed_sensitive ... ok
[INFO] [stdout] test util::hash::tests::handles_long_keys_past_the_12_byte_block ... ok
[INFO] [stdout] test util::hash::tests::integer_mixers_are_stable ... ok
[INFO] [stdout] test util::hash::tests::empty_key_is_init_dependent ... ok
[INFO] [stdout] test util::bit_vector::tests::push_get_set ... ok
[INFO] [stdout] test util::lbool::tests::lifting_roundtrips ... ok
[INFO] [stdout] test util::lbool::tests::display_and_sat_str ... ok
[INFO] [stdout] test util::params::tests::set_get_roundtrip_and_colon_normalisation ... ok
[INFO] [stdout] test util::lbool::tests::negation_matches_arithmetic ... ok
[INFO] [stdout] test util::rlimit::tests::inc_by_and_reset ... ok
[INFO] [stdout] test util::rlimit::tests::limited_exhausts_at_ceiling ... ok
[INFO] [stdout] test util::rlimit::tests::unlimited_never_exhausts ... ok
[INFO] [stdout] test util::symbol::tests::accessors_and_display ... ok
[INFO] [stdout] test util::params::tests::defaults_on_missing_or_wrong_type ... ok
[INFO] [stdout] test util::symbol::tests::numeric_and_null_symbols ... ok
[INFO] [stdout] test util::bit_vector::tests::negate_and_display ... ok
[INFO] [stdout] test util::sync::tests::lock_gives_mutable_access ... ok
[INFO] [stdout] test util::sync::tests::usable_as_static ... ok
[INFO] [stdout] test sat::solver::tests::pigeonhole_unsat_with_clause_deletion ... ok
[INFO] [stdout] test util::zstring::tests::roundtrip_and_indexing ... ok
[INFO] [stdout] test util::zstring::tests::eq_and_unicode ... ok
[INFO] [stdout] test util::symbol::tests::total_order_is_deterministic ... ok
[INFO] [stdout] test util::symbol::tests::equal_strings_are_interned_to_one_handle ... ok
[INFO] [stdout] test smt::solver::tests::qf_lra_sum_bound_unsat ... ok
[INFO] [stdout] test nlsat::cad::tests::two_equalities_and_inequality_sat ... ok
[INFO] [stdout] test nlsat::cad::tests::coupled_products_unsat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::divmod_symbolic_divisor_complete ... ok
[INFO] [stdout] test cmd_context::smt2::tests::symbolic_fp_add_sub_bitblast ... ok
[INFO] [stdout] test nlsat::cad::tests::circle_vs_hyperbola_sat ... ok
[INFO] [stdout] test cmd_context::smt2::tests::symbolic_fp_min_max ... ok
[INFO] [stdout] test cmd_context::smt2::tests::fp_ops_decide_and_never_contradict ... ok
[INFO] [stdout] test cmd_context::smt2::tests::nonlinear_integer_equality_bounds_decide ... ok
[INFO] [stdout] test cmd_context::smt2::tests::store_equality_terminates ... ok
[INFO] [stdout] test cmd_context::smt2::tests::symbolic_fp_ordered_compare ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 439 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.37s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/z3rs-912a53d3679ec398)
[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; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/differential.rs (/opt/rustwide/target/debug/deps/differential-6fe5e40214cd6a17)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test matches_z3_on_corpus ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/end_to_end.rs (/opt/rustwide/target/debug/deps/end_to_end-85babf36a6dc1dc1)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test drat_frontend_checks_refutation ... ok
[INFO] [stdout] test datalog_reachability_frontend ... ok
[INFO] [stdout] test smt2_reports_errors ... ok
[INFO] [stdout] test dimacs_sat_and_unsat ... ok
[INFO] [stdout] test smt2_qf_uf_transitivity_unsat ... ok
[INFO] [stdout] test smt2_qf_uf_congruence_with_let ... ok
[INFO] [stdout] test smt2_satisfiable_and_push_pop ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/no_external_deps.rs (/opt/rustwide/target/debug/deps/no_external_deps-415aa53f6a72cc2f)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test cargo_manifest_only_allows_first_party_deps ... ok
[INFO] [stdout] test lockfile_has_no_unexpected_crates ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests z3rs
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test src/api/build.rs - api::build::Context::quantifier (line 722) ... ok
[INFO] [stdout] test src/api/mod.rs - api::Solver::get_model (line 165) ... ok
[INFO] [stdout] test src/api/mod.rs - api::Solver::simplify (line 206) ... ok
[INFO] [stdout] test src/api/mod.rs - api (line 8) ... ok
[INFO] [stdout] test src/api/mod.rs - api::Solver::check_assuming (line 123) ... ok
[INFO] [stdout] test src/api/mod.rs - api::Solver::get_unsat_core (line 144) ... ok
[INFO] [stdout] test src/api/build.rs - api::build (line 13) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 0.50s; merged doctests compilation took 0.49s
[INFO] running `Command { std: "docker" "inspect" "ad7fcf49c06c81c38c0c302bae837639463a44fe975678832f3541290defde58", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ad7fcf49c06c81c38c0c302bae837639463a44fe975678832f3541290defde58", kill_on_drop: false }`
[INFO] [stdout] ad7fcf49c06c81c38c0c302bae837639463a44fe975678832f3541290defde58
