[INFO] fetching crate otter_sat 0.1.0...
[INFO] testing otter_sat-0.1.0 against master#caccb4d0368bd918ef6668af8e13834d07040417 for pr-146098-1
[INFO] extracting crate otter_sat 0.1.0 into /workspace/builds/worker-6-tc1/source
[INFO] started tweaking crates.io crate otter_sat 0.1.0
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate otter_sat 0.1.0
[INFO] tweaked toml for crates.io crate otter_sat 0.1.0 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate otter_sat 0.1.0 on toolchain caccb4d0368bd918ef6668af8e13834d07040417
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate otter_sat 0.1.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" "+caccb4d0368bd918ef6668af8e13834d07040417" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 9a6e4b340da3e15e711584f562f57ea575535b5e1a36f7172491b23901102d9c
[INFO] running `Command { std: "docker" "start" "-a" "9a6e4b340da3e15e711584f562f57ea575535b5e1a36f7172491b23901102d9c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "9a6e4b340da3e15e711584f562f57ea575535b5e1a36f7172491b23901102d9c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9a6e4b340da3e15e711584f562f57ea575535b5e1a36f7172491b23901102d9c", kill_on_drop: false }`
[INFO] [stdout] 9a6e4b340da3e15e711584f562f57ea575535b5e1a36f7172491b23901102d9c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 67869117f74e446a9f9d79129b3ddc7693684207b9cec629fad67b3d0f08ba62
[INFO] running `Command { std: "docker" "start" "-a" "67869117f74e446a9f9d79129b3ddc7693684207b9cec629fad67b3d0f08ba62", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.17
[INFO] [stderr]    Compiling log v0.4.25
[INFO] [stderr]    Compiling rand_core v0.9.0
[INFO] [stderr]    Compiling rand v0.9.0
[INFO] [stderr]    Compiling otter_sat v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.45s
[INFO] running `Command { std: "docker" "inspect" "67869117f74e446a9f9d79129b3ddc7693684207b9cec629fad67b3d0f08ba62", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "67869117f74e446a9f9d79129b3ddc7693684207b9cec629fad67b3d0f08ba62", kill_on_drop: false }`
[INFO] [stdout] 67869117f74e446a9f9d79129b3ddc7693684207b9cec629fad67b3d0f08ba62
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 19af23ca5ec6a2ba1058214f6fab495d38363188ed10209b20b9f6bb67232aec
[INFO] running `Command { std: "docker" "start" "-a" "19af23ca5ec6a2ba1058214f6fab495d38363188ed10209b20b9f6bb67232aec", kill_on_drop: false }`
[INFO] [stderr]    Compiling otter_sat v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.94s
[INFO] running `Command { std: "docker" "inspect" "19af23ca5ec6a2ba1058214f6fab495d38363188ed10209b20b9f6bb67232aec", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "19af23ca5ec6a2ba1058214f6fab495d38363188ed10209b20b9f6bb67232aec", kill_on_drop: false }`
[INFO] [stdout] 19af23ca5ec6a2ba1058214f6fab495d38363188ed10209b20b9f6bb67232aec
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 5b57e24cd5e7027629dc8e544c9039b68edce8ae92b57563b60c1c51ffae03b6
[INFO] running `Command { std: "docker" "start" "-a" "5b57e24cd5e7027629dc8e544c9039b68edce8ae92b57563b60c1c51ffae03b6", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/otter_sat-ef562ddbd47209a7)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test builder::dimacs::dimacs_parser_tests::atoms_ensured ... ok
[INFO] [stdout] test builder::dimacs::dimacs_parser_tests::empty_ok ... ok
[INFO] [stdout] test builder::dimacs::dimacs_parser_tests::bad_delimiter ... ok
[INFO] [stdout] test builder::preprocess::preprocessing_tests::contradiction_error ... ok
[INFO] [stdout] test builder::dimacs::dimacs_parser_tests::bad_problem_spec ... ok
[INFO] [stdout] test generic::index_heap::tests::heap_simple ... ok
[INFO] [stdout] test builder::preprocess::preprocessing_tests::duplicate_removal ... ok
[INFO] [stdout] test generic::index_heap::tests::heap_remove ... ok
[INFO] [stdout] test generic::luby::tests::exhaust ... ignored
[INFO] [stdout] test generic::index_heap::tests::heap_sparse ... ok
[INFO] [stdout] test generic::index_heap::tests::heap_update ... ok
[INFO] [stdout] test generic::luby::tests::luby ... ok
[INFO] [stdout] test generic::minimal_pcg::pcg_tests::two_seed ... ok
[INFO] [stdout] test generic::minimal_pcg::pcg_tests::seventy_three_seed ... ok
[INFO] [stdout] test builder::preprocess::preprocessing_tests::pass ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/cli/main.rs (/opt/rustwide/target/debug/deps/otter_cli-e9b8a05616aebbaa)
[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 otter_sat
[INFO] [stdout] 
[INFO] [stdout] running 50 tests
[INFO] [stdout] test src/builder/dimacs.rs - builder::dimacs::GenericContext<R>::read_dimacs (line 33) ... ignored
[INFO] [stdout] test src/db/atom/mod.rs - db::atom::AtomDB::watchers_unchecked (line 241) ... ignored
[INFO] [stdout] test src/db/clause/get.rs - db::clause::get::ClauseDB::get (line 9) ... ignored
[INFO] [stdout] test src/db/clause/get.rs - db::clause::get::ClauseDB::get_mut (line 64) ... ignored
[INFO] [stdout] test src/db/clause/get.rs - db::clause::get::ClauseDB::get_unchecked (line 120) ... ignored
[INFO] [stdout] test src/db/clause/get.rs - db::clause::get::ClauseDB::get_unchecked_mut (line 163) ... ignored
[INFO] [stdout] test src/db/clause/mod.rs - db::clause::ClauseDB::all_nonunit_clauses (line 381) ... ignored
[INFO] [stdout] test src/db/clause/mod.rs - db::clause::ClauseDB::all_unit_clauses (line 316) ... ignored
[INFO] [stdout] test src/db/clause/mod.rs - db::clause::ClauseDB::bump_activity (line 230) ... ignored
[INFO] [stdout] test src/db/clause/mod.rs - db::clause::ClauseDB::current_addition_count (line 283) ... ignored
[INFO] [stdout] test src/db/clause/mod.rs - db::clause::ClauseDB::note_use (line 118) ... ignored
[INFO] [stdout] test src/db/clause/mod.rs - db::clause::ClauseDB::reduce_by (line 155) ... ignored
[INFO] [stdout] test src/db/clause/mod.rs - db::clause::ClauseDB::subsume (line 405) ... ignored
[INFO] [stdout] test src/db/clause/store.rs - db::clause::store::ClauseDB::store (line 27) ... ignored
[INFO] [stdout] test src/db/consequence_q.rs - db::consequence_q (line 6) ... ignored
[INFO] [stdout] test src/db/consequence_q.rs - db::consequence_q::GenericContext<R>::clear_q (line 87) ... ignored
[INFO] [stdout] test src/db/consequence_q.rs - db::consequence_q::GenericContext<R>::value_and_queue (line 101) ... ignored
[INFO] [stdout] test src/db/literal/mod.rs - db::literal::LiteralDB::push_fresh_decision (line 55) ... ignored
[INFO] [stdout] test src/db/literal/mod.rs - db::literal::LiteralDB::top_consequences_unchecked (line 162) ... ignored
[INFO] [stdout] test src/db/literal/mod.rs - db::literal::LiteralDB::top_decision_unchecked (line 137) ... ignored
[INFO] [stdout] test src/db/mod.rs - db::GenericContext<R>::record_consequence (line 49) ... ignored
[INFO] [stdout] test src/procedures/analysis.rs - procedures::analysis (line 13) ... ignored
[INFO] [stdout] test src/procedures/apply_consequences.rs - procedures::apply_consequences (line 36) ... ignored
[INFO] [stdout] test src/procedures/backjump.rs - procedures::backjump (line 32) ... ignored
[INFO] [stdout] test src/procedures/bcp.rs - procedures::bcp (line 40) ... ignored
[INFO] [stdout] test src/procedures/decision.rs - procedures::decision (line 20) ... ignored
[INFO] [stdout] test src/procedures/decision.rs - procedures::decision (line 33) ... ignored
[INFO] [stdout] test src/procedures/decision.rs - procedures::decision (line 45) ... ignored
[INFO] [stdout] test src/procedures/decision.rs - procedures::decision (line 8) ... ignored
[INFO] [stdout] test src/procedures/decision.rs - procedures::decision::GenericContext<R>::atom_without_value (line 124) ... ignored
[INFO] [stdout] test src/procedures/decision.rs - procedures::decision::GenericContext<R>::make_decision (line 85) ... ignored
[INFO] [stdout] test src/procedures/solve.rs - procedures::solve (line 55) ... ignored
[INFO] [stdout] test src/reports/frat/mod.rs - reports::frat (line 21) ... ignored
[INFO] [stdout] test src/resolution_buffer/methods.rs - resolution_buffer::methods::ResolutionBuffer::atoms_used (line 263) ... ignored
[INFO] [stdout] test src/resolution_buffer/methods.rs - resolution_buffer::methods::ResolutionBuffer::to_assertion_clause (line 89) ... ignored
[INFO] [stdout] test src/context/generic.rs - context::generic::GenericContext (line 21) ... ok
[INFO] [stdout] test src/generic/index_heap.rs - generic::index_heap (line 12) ... ok
[INFO] [stdout] test src/structures/literal/mod.rs - structures::literal (line 22) ... ok
[INFO] [stdout] test src/structures/valuation/mod.rs - structures::valuation (line 16) ... ok
[INFO] [stdout] test src/builder/mod.rs - builder (line 23) ... ok
[INFO] [stdout] test src/procedures/solve.rs - procedures::solve (line 89) ... ok
[INFO] [stdout] test src/builder/mod.rs - builder (line 44) ... ok
[INFO] [stdout] test src/structures/valuation/mod.rs - structures::valuation (line 45) ... ok
[INFO] [stdout] test src/structures/atom.rs - structures::atom (line 13) ... ok
[INFO] [stdout] test src/lib.rs - (line 45) ... ok
[INFO] [stdout] test src/structures/literal/mod.rs - structures::literal (line 39) ... ok
[INFO] [stdout] test src/structures/clause/mod.rs - structures::clause (line 5) ... ok
[INFO] [stdout] test src/lib.rs - (line 116) ... ok
[INFO] [stdout] test src/builder/dimacs.rs - builder::dimacs::GenericContext<R>::read_dimacs (line 37) ... ok
[INFO] [stdout] test src/context/mod.rs - context (line 12) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 35 ignored; 0 measured; 0 filtered out; finished in 1.37s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "5b57e24cd5e7027629dc8e544c9039b68edce8ae92b57563b60c1c51ffae03b6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5b57e24cd5e7027629dc8e544c9039b68edce8ae92b57563b60c1c51ffae03b6", kill_on_drop: false }`
[INFO] [stdout] 5b57e24cd5e7027629dc8e544c9039b68edce8ae92b57563b60c1c51ffae03b6