[INFO] fetching crate otter_sat 0.1.0...
[INFO] testing otter_sat-0.1.0 against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1
[INFO] extracting crate otter_sat 0.1.0 into /workspace/builds/worker-5-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-5-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate otter_sat 0.1.0 on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d9621cd75d9ae4697eec61c515e2305c9b0ca781806ff3ef305ec9c34e84ef5b
[INFO] running `Command { std: "docker" "start" "-a" "d9621cd75d9ae4697eec61c515e2305c9b0ca781806ff3ef305ec9c34e84ef5b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d9621cd75d9ae4697eec61c515e2305c9b0ca781806ff3ef305ec9c34e84ef5b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d9621cd75d9ae4697eec61c515e2305c9b0ca781806ff3ef305ec9c34e84ef5b", kill_on_drop: false }`
[INFO] [stdout] d9621cd75d9ae4697eec61c515e2305c9b0ca781806ff3ef305ec9c34e84ef5b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] edc129413d821818ef77fb29edf324de84bac54c70b791e098354aea00dabcfd
[INFO] running `Command { std: "docker" "start" "-a" "edc129413d821818ef77fb29edf324de84bac54c70b791e098354aea00dabcfd", 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 6.06s
[INFO] running `Command { std: "docker" "inspect" "edc129413d821818ef77fb29edf324de84bac54c70b791e098354aea00dabcfd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "edc129413d821818ef77fb29edf324de84bac54c70b791e098354aea00dabcfd", kill_on_drop: false }`
[INFO] [stdout] edc129413d821818ef77fb29edf324de84bac54c70b791e098354aea00dabcfd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ce297df8e23d778d8f41bdfa1de8a4c1d438bd099a8dcdc8c2b97f6a27da5ebb
[INFO] running `Command { std: "docker" "start" "-a" "ce297df8e23d778d8f41bdfa1de8a4c1d438bd099a8dcdc8c2b97f6a27da5ebb", 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 3.37s
[INFO] running `Command { std: "docker" "inspect" "ce297df8e23d778d8f41bdfa1de8a4c1d438bd099a8dcdc8c2b97f6a27da5ebb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ce297df8e23d778d8f41bdfa1de8a4c1d438bd099a8dcdc8c2b97f6a27da5ebb", kill_on_drop: false }`
[INFO] [stdout] ce297df8e23d778d8f41bdfa1de8a4c1d438bd099a8dcdc8c2b97f6a27da5ebb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] b366e9f16c9d1cfa444d92c66f6788d06304dad302cd89425702d61e2db663e3
[INFO] running `Command { std: "docker" "start" "-a" "b366e9f16c9d1cfa444d92c66f6788d06304dad302cd89425702d61e2db663e3", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s
[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::preprocess::preprocessing_tests::contradiction_error ... ok
[INFO] [stdout] test generic::index_heap::tests::heap_remove ... 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 generic::index_heap::tests::heap_update ... ok
[INFO] [stdout] test builder::dimacs::dimacs_parser_tests::bad_problem_spec ... ok
[INFO] [stdout] test generic::index_heap::tests::heap_sparse ... ok
[INFO] [stdout] test generic::luby::tests::exhaust ... ignored
[INFO] [stdout] test generic::luby::tests::luby ... ok
[INFO] [stdout] test generic::minimal_pcg::pcg_tests::seventy_three_seed ... ok
[INFO] [stdout] test generic::minimal_pcg::pcg_tests::two_seed ... ok
[INFO] [stdout] test builder::preprocess::preprocessing_tests::duplicate_removal ... ok
[INFO] [stdout] test builder::preprocess::preprocessing_tests::pass ... ok
[INFO] [stdout] test generic::index_heap::tests::heap_simple ... ok
[INFO] [stdout] test builder::dimacs::dimacs_parser_tests::atoms_ensured ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 14 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.01s
[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/context/generic.rs - context::generic::GenericContext (line 21) ... ok
[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/generic/index_heap.rs - generic::index_heap (line 12) ... ok
[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/mod.rs - context (line 12) ... ok
[INFO] [stdout] test src/builder/mod.rs - builder (line 23) ... ok
[INFO] [stdout] test src/lib.rs - (line 45) ... ok
[INFO] [stdout] test src/lib.rs - (line 116) ... ok
[INFO] [stdout] test src/builder/mod.rs - builder (line 44) ... ok
[INFO] [stdout] test src/procedures/solve.rs - procedures::solve (line 89) ... ok
[INFO] [stdout] test src/structures/clause/mod.rs - structures::clause (line 5) ... ok
[INFO] [stdout] test src/structures/atom.rs - structures::atom (line 13) ... ok
[INFO] [stdout] test src/builder/dimacs.rs - builder::dimacs::GenericContext<R>::read_dimacs (line 37) ... ok
[INFO] [stdout] test src/structures/literal/mod.rs - structures::literal (line 39) ... 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/structures/valuation/mod.rs - structures::valuation (line 45) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 35 ignored; 0 measured; 0 filtered out; finished in 1.57s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "b366e9f16c9d1cfa444d92c66f6788d06304dad302cd89425702d61e2db663e3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b366e9f16c9d1cfa444d92c66f6788d06304dad302cd89425702d61e2db663e3", kill_on_drop: false }`
[INFO] [stdout] b366e9f16c9d1cfa444d92c66f6788d06304dad302cd89425702d61e2db663e3