[INFO] fetching crate warp-types-sat 0.3.0...
[INFO] testing warp-types-sat-0.3.0 against 1.99.0-beta.8 for beta-1.100-2
[INFO] extracting crate warp-types-sat 0.3.0 into /workspace/builds/worker-3-tc1/source
[INFO] started tweaking crates.io crate warp-types-sat 0.3.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate warp-types-sat 0.3.0
[INFO] tweaked toml for crates.io crate warp-types-sat 0.3.0 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate warp-types-sat 0.3.0 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 warp-types-sat 0.3.0 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]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded warp-types-macros v0.3.1
[INFO] [stderr]   Downloaded warp-types-kernel v0.3.1
[INFO] [stderr]   Downloaded warp-types-builder v0.3.1
[INFO] [stderr]   Downloaded libloading v0.9.0
[INFO] [stderr]   Downloaded warp-types v0.3.2
[INFO] [stderr]   Downloaded cudarc v0.19.4
[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] 98f763498115fc487f1a4fe5fd56e1e90f89b0364eb1fe9a5fedb424bea825c0
[INFO] running `Command { std: "docker" "start" "98f763498115fc487f1a4fe5fd56e1e90f89b0364eb1fe9a5fedb424bea825c0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "98f763498115fc487f1a4fe5fd56e1e90f89b0364eb1fe9a5fedb424bea825c0", 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" "98f763498115fc487f1a4fe5fd56e1e90f89b0364eb1fe9a5fedb424bea825c0" "/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" "98f763498115fc487f1a4fe5fd56e1e90f89b0364eb1fe9a5fedb424bea825c0", 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" "98f763498115fc487f1a4fe5fd56e1e90f89b0364eb1fe9a5fedb424bea825c0" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling warp-types-sat v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling warp-types-kernel v0.3.1
[INFO] [stderr]    Compiling warp-types-macros v0.3.1
[INFO] [stderr]    Compiling warp-types v0.3.2
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.69s
[INFO] running `Command { std: "docker" "inspect" "98f763498115fc487f1a4fe5fd56e1e90f89b0364eb1fe9a5fedb424bea825c0", 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" "98f763498115fc487f1a4fe5fd56e1e90f89b0364eb1fe9a5fedb424bea825c0" "/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 warp-types-sat v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.68s
[INFO] running `Command { std: "docker" "inspect" "98f763498115fc487f1a4fe5fd56e1e90f89b0364eb1fe9a5fedb424bea825c0", 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" "98f763498115fc487f1a4fe5fd56e1e90f89b0364eb1fe9a5fedb424bea825c0" "/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.02s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/warp_types_sat-d22ccd8b9fd40af0)
[INFO] [stdout] 
[INFO] [stdout] running 166 tests
[INFO] [stdout] test analyze::tests::minimization_removes_redundant_literal ... ok
[INFO] [stdout] test analyze::tests::minimization_with_level_zero ... ok
[INFO] [stdout] test analyze::tests::simple_conflict_analysis ... ok
[INFO] [stdout] test analyze::tests::minimization_keeps_non_redundant ... ok
[INFO] [stdout] test bcp::tests::batch_utilization ... ok
[INFO] [stdout] test bcp::tests::chain_propagation ... ok
[INFO] [stdout] test analyze::tests::two_level_conflict ... ok
[INFO] [stdout] test bcp::tests::no_propagation_needed ... ok
[INFO] [stdout] test bcp::tests::conflict_after_propagation ... ok
[INFO] [stdout] test bcp::tests::simple_unit_propagation ... ok
[INFO] [stdout] test bcp::tests::conflict_detection ... ok
[INFO] [stdout] test bcp::tests::three_sat_instance ... ok
[INFO] [stdout] test bench::tests::generate_3sat_smoke ... ok
[INFO] [stdout] test clause::tests::affine_discipline ... ok
[INFO] [stdout] test clause::tests::batch_release ... ok
[INFO] [stdout] test clause::tests::acquire_and_release ... ok
[INFO] [stdout] test clause::tests::acquire_next ... ok
[INFO] [stdout] test clause_tile::tests::bin_packing_heterogeneous ... ok
[INFO] [stdout] test clause_tile::tests::batch_check_all ... ok
[INFO] [stdout] test clause_tile::tests::batch_packing ... ok
[INFO] [stdout] test bench::tests::bench_small ... ok
[INFO] [stdout] test clause_tile::tests::duplicate_literals_deduped ... ok
[INFO] [stdout] test clause_tile::tests::conflict ... ok
[INFO] [stdout] test clause::tests::out_of_range ... ok
[INFO] [stdout] test clause_tile::tests::bin_packing_overflow ... ok
[INFO] [stdout] test clause_tile::tests::empty_clause_returns_none ... ok
[INFO] [stdout] test bench::tests::basic_and_scheduled_agree ... ok
[INFO] [stdout] test clause_tile::tests::eval_direct_empty_is_conflict ... ok
[INFO] [stdout] test clause_tile::tests::eval_direct_large_clause ... ok
[INFO] [stdout] test clause_tile::tests::eval_direct_satisfied ... ok
[INFO] [stdout] test clause_tile::tests::negated_literals ... ok
[INFO] [stdout] test clause_tile::tests::oversize_clause_returns_none ... ok
[INFO] [stdout] test clause_tile::tests::satisfied_clause ... ok
[INFO] [stdout] test clause_tile::tests::tile_sizes ... ok
[INFO] [stdout] test clause_tile::tests::unresolved ... ok
[INFO] [stdout] test dimacs::tests::parse_comments_and_blanks ... ok
[INFO] [stdout] test dimacs::tests::bcp_on_parsed_instance ... ok
[INFO] [stdout] test dimacs::tests::parse_simple ... ok
[INFO] [stdout] test dimacs::tests::parse_multiline_clause ... ok
[INFO] [stdout] test clause_tile::tests::tautological_clause_rejected ... ok
[INFO] [stdout] test dimacs::tests::parse_unterminated ... ok
[INFO] [stdout] test dimacs::tests::pigeonhole_2_1 ... ok
[INFO] [stdout] test dimacs::tests::parse_error_missing_header ... ok
[INFO] [stdout] test clause_tile::tests::unit_clause ... ok
[INFO] [stdout] test dimacs::tests::bcp_conflict_from_dimacs ... ok
[INFO] [stdout] test gpu_gradient::tests::all_satisfied_near_zero_loss ... ok
[INFO] [stdout] test gpu_gradient::tests::ballot_padding_does_not_affect_result ... ok
[INFO] [stdout] test gpu_gradient::tests::confidence_ranking_order ... ok
[INFO] [stdout] test gpu_gradient::tests::confidence_ranking_simwarp_agrees ... ok
[INFO] [stdout] test gpu_gradient::tests::confidence_top_k_for_cdcl_seeding ... ok
[INFO] [stdout] test gpu_gradient::tests::empty_clause_db ... ok
[INFO] [stdout] test gpu_gradient::tests::negated_literals_correct ... ok
[INFO] [stdout] test gpu_gradient::tests::simwarp_loss_with_weights ... ok
[INFO] [stdout] test gpu_gradient::tests::gradient_soa_matches_finite_differences ... ok
[INFO] [stdout] test gpu_gradient::tests::large_instance_simwarp_matches_cpu ... ok
[INFO] [stdout] test gpu_gradient::tests::discretize_and_verify_round_trip ... ok
[INFO] [stdout] test gpu_gradient::tests::gradient_soa_matches_cpu ... ok
[INFO] [stdout] test gpu_gradient::tests::skips_non_3sat_clauses ... ok
[INFO] [stdout] test gpu_gradient::tests::padding_contributes_zero ... ok
[INFO] [stdout] test gpu_gradient::tests::ballot_verify_unsat_instance ... ok
[INFO] [stdout] test gpu_gradient::tests::soa_packing_preserves_clauses ... ok
[INFO] [stdout] test gradient::tests::bench_gradient_vs_cdcl ... ignored
[INFO] [stdout] test gpu_gradient::tests::ballot_verify_matches_cpu ... ok
[INFO] [stdout] test gradient::tests::best_continuous_available_on_failure ... ok
[INFO] [stdout] test gradient::tests::empty_formula ... ok
[INFO] [stdout] test gradient::tests::enhanced_improves_success_rate ... ignored
[INFO] [stdout] test gpu_gradient::tests::simwarp_loss_matches_cpu ... ok
[INFO] [stdout] test gradient::tests::larger_clause_widths ... ok
[INFO] [stdout] test gradient::tests::loss_decreases ... ok
[INFO] [stdout] test gradient::tests::scaling_study ... ignored
[INFO] [stdout] test gradient::tests::trail_gradient_soundness ... ok
[INFO] [stdout] test gradient::tests::trivial_sat ... ok
[INFO] [stdout] test gradient::tests::two_clause_forced_var ... ok
[INFO] [stdout] test gradient::tests::unsat_returns_none ... ok
[INFO] [stdout] test literal::tests::literal_encoding ... ok
[INFO] [stdout] test literal::tests::literal_eval ... ok
[INFO] [stdout] test restart::tests::large_index ... ok
[INFO] [stdout] test restart::tests::luby_sequence_first_15 ... ok
[INFO] [stdout] test restart::tests::restart_fires_at_base ... ok
[INFO] [stdout] test restart::tests::restart_sequence_intervals ... ok
[INFO] [stdout] test scheduler::tests::chain_propagation ... ok
[INFO] [stdout] test scheduler::tests::conflict_detection ... ok
[INFO] [stdout] test scheduler::tests::many_clauses_utilization ... ok
[INFO] [stdout] test scheduler::tests::pigeonhole_unsat ... ok
[INFO] [stdout] test scheduler::tests::scheduled_matches_basic ... ok
[INFO] [stdout] test scheduler::tests::simple_propagation ... ok
[INFO] [stdout] test session::tests::backtrack_to_unsat ... ok
[INFO] [stdout] test session::tests::conflict_path ... ok
[INFO] [stdout] test session::tests::full_cdcl_loop ... ok
[INFO] [stdout] test session::tests::generic_transition ... ok
[INFO] [stdout] test session::tests::happy_path_sat ... ok
[INFO] [stdout] test session::tests::initial_propagation ... ok
[INFO] [stdout] test session::tests::phase_names ... ok
[INFO] [stdout] test solver::tests::combined_gradient_pivot_ab_test ... ignored
[INFO] [stdout] test bench::tests::bench_suite_runs ... ok
[INFO] [stdout] test solver::tests::depth_weighted_deletion_ab_test ... ignored
[INFO] [stdout] test solver::tests::empty_clause_is_unsat ... ok
[INFO] [stdout] test solver::tests::empty_db_is_sat ... ok
[INFO] [stdout] test solver::tests::large_clause_does_not_panic ... ok
[INFO] [stdout] test solver::tests::conflict_profiles_structural_invariants ... ok
[INFO] [stdout] test gpu_gradient::tests::ballot_verify_with_known_solution ... ok
[INFO] [stdout] test solver::tests::per_conflict_cost_scaling ... ignored
[INFO] [stdout] test solver::tests::phase_timing_profile ... ignored
[INFO] [stdout] test solver::tests::pigeonhole_2_1_unsat ... ok
[INFO] [stdout] test solver::tests::pigeonhole_3_2_unsat ... ok
[INFO] [stdout] test solver::tests::pivot_augmented_vsids_ab_test ... ignored
[INFO] [stdout] test solver::tests::pivot_scaling_diagnosis ... ignored
[INFO] [stdout] test bench::tests::implication_chain_scaling ... ok
[INFO] [stdout] test solver::tests::resolution_depth_kill_signal ... ignored
[INFO] [stdout] test solver::tests::satisfiable_3sat ... ok
[INFO] [stdout] test solver::tests::simple_sat_two_vars ... ok
[INFO] [stdout] test solver::tests::theory_exclusive_sat ... ok
[INFO] [stdout] test solver::tests::theory_exclusive_unsat ... ok
[INFO] [stdout] test solver::tests::theory_no_theory_matches_pure_sat ... ok
[INFO] [stdout] test solver::tests::trail_gradient_kill_signal ... ignored
[INFO] [stdout] test solver::tests::trivial_sat ... ok
[INFO] [stdout] test solver::tests::trivial_unsat ... ok
[INFO] [stdout] test solver::tests::verify_sat_assignment ... ok
[INFO] [stdout] test solver::tests::proof_dag_topology ... ok
[INFO] [stdout] test solver::tests::watched_agrees_with_solve ... ok
[INFO] [stdout] test solver::tests::watched_pigeonhole_3_2 ... ok
[INFO] [stdout] test solver::tests::watched_satisfiable_3sat ... ok
[INFO] [stdout] test solver::tests::watched_scaling_benchmark ... ignored
[INFO] [stdout] test solver::tests::watched_trivial_sat ... ok
[INFO] [stdout] test solver::tests::watched_trivial_unsat ... ok
[INFO] [stdout] test solver::tests::zero_vars_no_clauses_is_sat ... ok
[INFO] [stdout] test solver::tests::zero_vars_with_clauses_is_unsat ... ok
[INFO] [stdout] test theory::tests::no_theory_backtrack_is_noop ... ok
[INFO] [stdout] test theory::tests::no_theory_explain_panics - should panic ... ok
[INFO] [stdout] test theory::tests::no_theory_is_always_consistent ... ok
[INFO] [stdout] test trail::tests::backtrack ... ok
[INFO] [stdout] test trail::tests::decision_and_propagation ... ok
[INFO] [stdout] test trail::tests::entry_lookup ... ok
[INFO] [stdout] test trail::tests::remap_skips_theory_propagations ... ok
[INFO] [stdout] test trail::tests::theory_propagation ... ok
[INFO] [stdout] test vsids::tests::bump_sifts_up_in_heap ... ok
[INFO] [stdout] test vsids::tests::clause_initialization ... ok
[INFO] [stdout] test vsids::tests::decay_increases_increment ... ok
[INFO] [stdout] test vsids::tests::double_insert_is_idempotent ... ok
[INFO] [stdout] test vsids::tests::heap_order_after_multiple_bumps ... ok
[INFO] [stdout] test vsids::tests::notify_unassigned_reinserts ... ok
[INFO] [stdout] test vsids::tests::overflow_protection ... ok
[INFO] [stdout] test vsids::tests::phase_saving ... ok
[INFO] [stdout] test vsids::tests::picks_highest_activity ... ok
[INFO] [stdout] test vsids::tests::skips_assigned ... ok
[INFO] [stdout] test watch::tests::chain_propagation ... ok
[INFO] [stdout] test watch::tests::conflict_after_propagation ... ok
[INFO] [stdout] test watch::tests::conflict_via_unit_clause ... ok
[INFO] [stdout] test watch::tests::simple_unit_propagation ... ok
[INFO] [stdout] test watch::tests::three_literal_clause_finds_replacement ... ok
[INFO] [stdout] test watch::tests::watched_agrees_with_original_bcp ... ok
[INFO] [stdout] test gpu_gradient::tests::simwarp_search_matches_cpu_enhanced ... ok
[INFO] [stdout] test solver::tests::watched_200var_phase_transition ... ok
[INFO] [stdout] test solver::tests::level_4_correlations ... ok
[INFO] [stdout] test gpu_gradient::tests::simwarp_search_matches_cpu_vanilla ... ok
[INFO] [stdout] test gradient::tests::random_3sat_finds_solutions ... ok
[INFO] [stdout] test gpu_gradient::tests::hybrid_simwarp_finds_more_than_gradient_alone has been running for over 60 seconds
[INFO] [stdout] test gpu_gradient::tests::hybrid_simwarp_matches_cpu_hybrid has been running for over 60 seconds
[INFO] [stdout] test gpu_gradient::tests::hybrid_simwarp_solves_sat has been running for over 60 seconds
[INFO] [stdout] test gpu_gradient::tests::hybrid_simwarp_soundness has been running for over 60 seconds
[INFO] [stdout] test gpu_gradient::tests::simwarp_search_50var has been running for over 60 seconds
[INFO] [stdout] test gpu_gradient::tests::simwarp_search_never_claims_false_sat has been running for over 60 seconds
[INFO] [stdout] test gradient::tests::gradient_never_claims_false_sat has been running for over 60 seconds
[INFO] [stdout] test gradient::tests::hybrid_solves_more_than_gradient_alone has been running for over 60 seconds
[INFO] [stdout] test gradient::tests::hybrid_soundness has been running for over 60 seconds
[INFO] [stdout] test solver::tests::per_conflict_cost_profile has been running for over 60 seconds
[INFO] [stdout] test gpu_gradient::tests::hybrid_simwarp_solves_sat ... ok
[INFO] [stdout] test solver::tests::per_conflict_cost_profile ... ok
[INFO] [stdout] test gpu_gradient::tests::simwarp_search_never_claims_false_sat ... ok
[INFO] [stdout] test gradient::tests::hybrid_soundness ... ok
[INFO] [stdout] test gpu_gradient::tests::hybrid_simwarp_soundness ... ok
[INFO] [stdout] test gradient::tests::gradient_never_claims_false_sat ... ok
[INFO] [stdout] test gpu_gradient::tests::hybrid_simwarp_matches_cpu_hybrid ... ok
[INFO] [stdout] test gpu_gradient::tests::hybrid_simwarp_finds_more_than_gradient_alone ... ok
[INFO] [stdout] test gradient::tests::hybrid_solves_more_than_gradient_alone ... ok
[INFO] [stdout] test gpu_gradient::tests::simwarp_search_50var ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 154 passed; 0 failed; 12 ignored; 0 measured; 0 filtered out; finished in 108.52s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/bin/gpu_bench.rs (/opt/rustwide/target/debug/deps/gpu_bench-c94b3e39dbb6f80a)
[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 unittests src/bin/perf_bench.rs (/opt/rustwide/target/debug/deps/perf_bench-531233621557f808)
[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 unittests src/bin/solve.rs (/opt/rustwide/target/debug/deps/solve-6888903f60e94148)
[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/gpu_loss.rs (/opt/rustwide/target/debug/deps/gpu_loss-a1a2e32d5c6ea64b)
[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/kernel_fuse_profile.rs (/opt/rustwide/target/debug/deps/kernel_fuse_profile-5a3788f88679d798)
[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]    Doc-tests warp_types_sat
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test src/clause.rs - clause (line 12) ... ok
[INFO] [stdout] test src/session.rs - session::with_session (line 63) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.15s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "98f763498115fc487f1a4fe5fd56e1e90f89b0364eb1fe9a5fedb424bea825c0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "98f763498115fc487f1a4fe5fd56e1e90f89b0364eb1fe9a5fedb424bea825c0", kill_on_drop: false }`
[INFO] [stdout] 98f763498115fc487f1a4fe5fd56e1e90f89b0364eb1fe9a5fedb424bea825c0
