[INFO] fetching crate symbit 0.1.1...
[INFO] testing symbit-0.1.1 against 1.95.0 for beta-1.96-2
[INFO] extracting crate symbit 0.1.1 into /workspace/builds/worker-4-tc1/source
[INFO] started tweaking crates.io crate symbit 0.1.1
[INFO] finished tweaking crates.io crate symbit 0.1.1
[INFO] tweaked toml for crates.io crate symbit 0.1.1 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate symbit 0.1.1 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate symbit 0.1.1 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.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded aiger-circuit v1.0.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] dedc12c7e8d2d8d3fe38945d7b74e8f1a20a38ff68badb48563b6560f2872c43
[INFO] running `Command { std: "docker" "start" "-a" "dedc12c7e8d2d8d3fe38945d7b74e8f1a20a38ff68badb48563b6560f2872c43", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dedc12c7e8d2d8d3fe38945d7b74e8f1a20a38ff68badb48563b6560f2872c43", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dedc12c7e8d2d8d3fe38945d7b74e8f1a20a38ff68badb48563b6560f2872c43", kill_on_drop: false }`
[INFO] [stdout] dedc12c7e8d2d8d3fe38945d7b74e8f1a20a38ff68badb48563b6560f2872c43
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cc3775f533577b6d2a8dcba2d6c15588d01c2491d3dfa4842a741377966d8573
[INFO] running `Command { std: "docker" "start" "-a" "cc3775f533577b6d2a8dcba2d6c15588d01c2491d3dfa4842a741377966d8573", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.111
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]    Compiling symbit v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.30s
[INFO] running `Command { std: "docker" "inspect" "cc3775f533577b6d2a8dcba2d6c15588d01c2491d3dfa4842a741377966d8573", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cc3775f533577b6d2a8dcba2d6c15588d01c2491d3dfa4842a741377966d8573", kill_on_drop: false }`
[INFO] [stdout] cc3775f533577b6d2a8dcba2d6c15588d01c2491d3dfa4842a741377966d8573
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a490183e7f5a55c5b167add664a7866fd89bd502a14abc70f5fddd337d192795
[INFO] running `Command { std: "docker" "start" "-a" "a490183e7f5a55c5b167add664a7866fd89bd502a14abc70f5fddd337d192795", kill_on_drop: false }`
[INFO] [stderr]    Compiling symbit v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.72s
[INFO] running `Command { std: "docker" "inspect" "a490183e7f5a55c5b167add664a7866fd89bd502a14abc70f5fddd337d192795", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a490183e7f5a55c5b167add664a7866fd89bd502a14abc70f5fddd337d192795", kill_on_drop: false }`
[INFO] [stdout] a490183e7f5a55c5b167add664a7866fd89bd502a14abc70f5fddd337d192795
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 4ca69157ebe4cada8646999ec452d325826403964237ca06b3796144f50f4f37
[INFO] running `Command { std: "docker" "start" "-a" "4ca69157ebe4cada8646999ec452d325826403964237ca06b3796144f50f4f37", 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/symbit-76cc565c6196a564)
[INFO] [stdout] 
[INFO] [stdout] running 74 tests
[INFO] [stdout] test tests::bit::conjunction_with_false ... ok
[INFO] [stdout] test tests::bit::conjunction_with_true ... ok
[INFO] [stdout] test tests::bit::conjunction_with_negated_self ... ok
[INFO] [stdout] test tests::bit::double_negation ... ok
[INFO] [stdout] test tests::bit::exclusive_or_with_complex_self ... ok
[INFO] [stdout] test tests::bit::exclusive_or_with_same_variable ... ok
[INFO] [stdout] test tests::bit::exclusive_or_with_zero ... ok
[INFO] [stdout] test tests::bitbuf::ops_bitand ... ok
[INFO] [stdout] test tests::bitbuf::ops_bitor ... ok
[INFO] [stdout] test tests::bit::disjunction_with_true ... ok
[INFO] [stdout] test tests::bit::disjunction_with_false ... ok
[INFO] [stdout] test tests::bitbuf::ops_shl_sym ... ok
[INFO] [stdout] test tests::bitbuf::ops_not ... ok
[INFO] [stdout] test tests::bitbuf::ops_shr_usize ... ok
[INFO] [stdout] test tests::bitvec::add_bytes_no_carry ... ok
[INFO] [stdout] test tests::bitvec::addition_overflow ... ok
[INFO] [stdout] test tests::bitvec::addition_overflow_carry ... ok
[INFO] [stdout] test tests::bitvec::greater_than ... ok
[INFO] [stdout] test tests::bitvec::equals ... ok
[INFO] [stdout] test tests::bitvec::concatenation ... ok
[INFO] [stdout] test tests::bitvec::maximal_carry_addition ... ok
[INFO] [stdout] test tests::bitbuf::ops_shr_sym ... ok
[INFO] [stdout] test tests::bitvec::shift_left ... ok
[INFO] [stdout] test tests::bitvec::popcount ... ok
[INFO] [stdout] test tests::bitvec::left_shift ... ok
[INFO] [stdout] test tests::bit::bit_equality ... ok
[INFO] [stdout] test tests::bitvec::less_than ... ok
[INFO] [stdout] test tests::bitvec::negative_one ... ok
[INFO] [stdout] test tests::bitvec::one_bit_equality ... ok
[INFO] [stdout] test tests::bitvec::one_plus_one ... ok
[INFO] [stdout] test tests::bitbuf::ops_shl_usize ... ok
[INFO] [stdout] test tests::bitvec::multiply ... ok
[INFO] [stdout] test tests::bitvec::shift_right ... ok
[INFO] [stdout] test tests::bitvec::signed_multiply ... ok
[INFO] [stdout] test tests::bitvec::signed_shift_right_negative ... ok
[INFO] [stdout] test tests::bitvec::signed_shift_right_positive ... ok
[INFO] [stdout] test tests::bitvec::signed_greater_than ... ok
[INFO] [stdout] test tests::bitvec::sign_extension ... ok
[INFO] [stdout] test tests::bitvec::signed_less_than ... ok
[INFO] [stdout] test tests::bitvec::single_bit_multiply ... ok
[INFO] [stdout] test tests::bitvec::signed_greater_than_eq ... ok
[INFO] [stdout] test tests::bitvec::signed_less_than_eq ... ok
[INFO] [stdout] test tests::bitvec::symbolic_concrete_conversions ... ok
[INFO] [stdout] test tests::bitvec::truncation_lsb ... ok
[INFO] [stdout] test tests::bitvec::truncation_msb ... ok
[INFO] [stdout] test tests::bitvec::split_into_bytes ... ok
[INFO] [stdout] test tests::convert::concretize_happy ... ok
[INFO] [stdout] test tests::convert::symbolicbitvec_conversions ... ok
[INFO] [stdout] test tests::eval::evaluate_expression ... ok
[INFO] [stdout] test tests::eval::evaluate_false_and_symbolic ... ok
[INFO] [stdout] test tests::eval::evaluate_literal ... ok
[INFO] [stdout] test tests::eval::evaluate_symbolic_and_false ... ok
[INFO] [stdout] test tests::eval::evaluate_symbolic_and_true ... ok
[INFO] [stdout] test tests::eval::evaluate_symbolic_expression ... ok
[INFO] [stdout] test tests::bitvec::zero_extension ... ok
[INFO] [stdout] test tests::convert::bool_error ... ok
[INFO] [stdout] test tests::convert::bool_happy ... ok
[INFO] [stdout] test tests::convert::combine_bitvecs ... ok
[INFO] [stdout] test tests::convert::combine_symbytes_into_vec ... ok
[INFO] [stdout] test tests::eval::evaluator_from_assignments ... ok
[INFO] [stdout] test tests::eval::var_assignments_from_bitvecs_without_literals ... ok
[INFO] [stdout] test tests::eval::evaluate_true_and_symbolic ... ok
[INFO] [stdout] test tests::convert::concrete_value_derives ... ok
[INFO] [stdout] test tests::eval::evaluate_variable ... ok
[INFO] [stdout] test tests::convert::concretize_buf ... ok
[INFO] [stdout] test tests::convert::concretize_symbolic_err ... ok
[INFO] [stdout] test tests::bitvec::subtraction_borrows ... ok
[INFO] [stdout] test tests::eval::var_assignments_from_bitvecs ... ok
[INFO] [stdout] test tests::convert::concretize_overflow_err ... ok
[INFO] [stdout] test tests::eval::var_assignments_from_swapped_bitvecs ... ok
[INFO] [stdout] test tests::convert::symbolicbitbuf_conversions ... ok
[INFO] [stdout] test tests::bitvec::subtraction ... ok
[INFO] [stdout] test tests::bitvec::unsigned_divide ... ok
[INFO] [stdout] test tests::bitvec::signed_divide ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 74 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests symbit
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test src/vec.rs - vec::SymbolicBitVec::multiply (line 231) ... ok
[INFO] [stdout] test src/convert.rs - convert::ConcreteValue (line 44) ... ok
[INFO] [stdout] test src/../README.md - (line 13) ... ok
[INFO] [stdout] test src/vec.rs - vec::SymbolicBitVec::multiply (line 246) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 0.54s; merged doctests compilation took 0.49s
[INFO] running `Command { std: "docker" "inspect" "4ca69157ebe4cada8646999ec452d325826403964237ca06b3796144f50f4f37", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4ca69157ebe4cada8646999ec452d325826403964237ca06b3796144f50f4f37", kill_on_drop: false }`
[INFO] [stdout] 4ca69157ebe4cada8646999ec452d325826403964237ca06b3796144f50f4f37
