[INFO] fetching crate symbit 0.1.1...
[INFO] testing symbit-0.1.1 against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-2
[INFO] extracting crate symbit 0.1.1 into /workspace/builds/worker-0-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-0-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate symbit 0.1.1 on toolchain 562dee4820c458d823175268e41601d4c060588a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "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" "+562dee4820c458d823175268e41601d4c060588a" "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-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e100b01902be80b3403f4c94b4f00d4e3f274f667b580a786e2a1142c4dbb6c0
[INFO] running `Command { std: "docker" "start" "-a" "e100b01902be80b3403f4c94b4f00d4e3f274f667b580a786e2a1142c4dbb6c0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e100b01902be80b3403f4c94b4f00d4e3f274f667b580a786e2a1142c4dbb6c0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e100b01902be80b3403f4c94b4f00d4e3f274f667b580a786e2a1142c4dbb6c0", kill_on_drop: false }`
[INFO] [stdout] e100b01902be80b3403f4c94b4f00d4e3f274f667b580a786e2a1142c4dbb6c0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 50c5073a5a8de9748402fdd47146aebc2e81753000c010ed056148eea8568ca3
[INFO] running `Command { std: "docker" "start" "-a" "50c5073a5a8de9748402fdd47146aebc2e81753000c010ed056148eea8568ca3", kill_on_drop: false }`
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]    Compiling syn v2.0.111
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling symbit v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 5.23s
[INFO] running `Command { std: "docker" "inspect" "50c5073a5a8de9748402fdd47146aebc2e81753000c010ed056148eea8568ca3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "50c5073a5a8de9748402fdd47146aebc2e81753000c010ed056148eea8568ca3", kill_on_drop: false }`
[INFO] [stdout] 50c5073a5a8de9748402fdd47146aebc2e81753000c010ed056148eea8568ca3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e1ea3e5e14f05c7f98725d0283cc74a9c6839aa372817cdd44e2b4e5349c3d66
[INFO] running `Command { std: "docker" "start" "-a" "e1ea3e5e14f05c7f98725d0283cc74a9c6839aa372817cdd44e2b4e5349c3d66", 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.77s
[INFO] running `Command { std: "docker" "inspect" "e1ea3e5e14f05c7f98725d0283cc74a9c6839aa372817cdd44e2b4e5349c3d66", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e1ea3e5e14f05c7f98725d0283cc74a9c6839aa372817cdd44e2b4e5349c3d66", kill_on_drop: false }`
[INFO] [stdout] e1ea3e5e14f05c7f98725d0283cc74a9c6839aa372817cdd44e2b4e5349c3d66
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] b895f2835e37504652b446d83bd98033d208300fe4f4d0fb2eb83dab36e38301
[INFO] running `Command { std: "docker" "start" "-a" "b895f2835e37504652b446d83bd98033d208300fe4f4d0fb2eb83dab36e38301", 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-cc2b49695c69a7b7)
[INFO] [stdout] 
[INFO] [stdout] running 74 tests
[INFO] [stdout] test tests::bit::bit_equality ... ok
[INFO] [stdout] test tests::bit::disjunction_with_false ... ok
[INFO] [stdout] test tests::bit::disjunction_with_true ... ok
[INFO] [stdout] test tests::bit::conjunction_with_false ... 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_not ... ok
[INFO] [stdout] test tests::bitbuf::ops_shl_sym ... ok
[INFO] [stdout] test tests::bitbuf::ops_shl_usize ... ok
[INFO] [stdout] test tests::bitbuf::ops_shr_sym ... ok
[INFO] [stdout] test tests::bitbuf::ops_bitor ... ok
[INFO] [stdout] test tests::bitbuf::ops_shr_usize ... ok
[INFO] [stdout] test tests::bit::double_negation ... ok
[INFO] [stdout] test tests::bitvec::add_bytes_no_carry ... ok
[INFO] [stdout] test tests::bitvec::addition_overflow ... ok
[INFO] [stdout] test tests::bit::conjunction_with_negated_self ... ok
[INFO] [stdout] test tests::bit::conjunction_with_true ... ok
[INFO] [stdout] test tests::bitvec::equals ... ok
[INFO] [stdout] test tests::bitvec::addition_overflow_carry ... ok
[INFO] [stdout] test tests::bitvec::left_shift ... ok
[INFO] [stdout] test tests::bitvec::maximal_carry_addition ... ok
[INFO] [stdout] test tests::bitvec::one_bit_equality ... ok
[INFO] [stdout] test tests::bitvec::less_than ... ok
[INFO] [stdout] test tests::bitvec::shift_left ... ok
[INFO] [stdout] test tests::bitvec::signed_less_than_eq ... ok
[INFO] [stdout] test tests::bitvec::shift_right ... ok
[INFO] [stdout] test tests::bitvec::sign_extension ... ok
[INFO] [stdout] test tests::bitvec::negative_one ... ok
[INFO] [stdout] test tests::bitvec::signed_shift_right_negative ... ok
[INFO] [stdout] test tests::bitvec::greater_than ... ok
[INFO] [stdout] test tests::bitvec::signed_shift_right_positive ... ok
[INFO] [stdout] test tests::bitvec::single_bit_multiply ... ok
[INFO] [stdout] test tests::bitvec::split_into_bytes ... ok
[INFO] [stdout] test tests::bitvec::truncation_msb ... 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::concrete_value_derives ... ok
[INFO] [stdout] test tests::convert::concretize_buf ... ok
[INFO] [stdout] test tests::bitvec::signed_multiply ... ok
[INFO] [stdout] test tests::convert::concretize_happy ... ok
[INFO] [stdout] test tests::convert::concretize_overflow_err ... ok
[INFO] [stdout] test tests::bitvec::concatenation ... ok
[INFO] [stdout] test tests::convert::symbolicbitvec_conversions ... ok
[INFO] [stdout] test tests::convert::symbolicbitbuf_conversions ... ok
[INFO] [stdout] test tests::eval::evaluate_expression ... ok
[INFO] [stdout] test tests::eval::evaluate_false_and_symbolic ... ok
[INFO] [stdout] test tests::bitvec::symbolic_concrete_conversions ... ok
[INFO] [stdout] test tests::convert::combine_symbytes_into_vec ... ok
[INFO] [stdout] test tests::eval::evaluate_literal ... ok
[INFO] [stdout] test tests::eval::evaluate_symbolic_and_true ... ok
[INFO] [stdout] test tests::eval::evaluate_symbolic_and_false ... ok
[INFO] [stdout] test tests::eval::evaluate_true_and_symbolic ... ok
[INFO] [stdout] test tests::eval::evaluate_variable ... 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_symbolic_expression ... ok
[INFO] [stdout] test tests::eval::var_assignments_from_bitvecs ... ok
[INFO] [stdout] test tests::eval::var_assignments_from_swapped_bitvecs ... ok
[INFO] [stdout] test tests::bitvec::subtraction ... ok
[INFO] [stdout] test tests::bitvec::subtraction_borrows ... ok
[INFO] [stdout] test tests::bitvec::truncation_lsb ... ok
[INFO] [stdout] test tests::convert::concretize_symbolic_err ... ok
[INFO] [stdout] test tests::bitvec::one_plus_one ... ok
[INFO] [stdout] test tests::bitvec::popcount ... ok
[INFO] [stdout] test tests::bitvec::signed_greater_than ... ok
[INFO] [stdout] test tests::bitvec::signed_greater_than_eq ... ok
[INFO] [stdout] test tests::bitvec::signed_less_than ... ok
[INFO] [stdout] test tests::bitvec::multiply ... 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.26s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests symbit
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[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] test src/vec.rs - vec::SymbolicBitVec::multiply (line 231) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 0.66s; merged doctests compilation took 0.63s
[INFO] running `Command { std: "docker" "inspect" "b895f2835e37504652b446d83bd98033d208300fe4f4d0fb2eb83dab36e38301", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b895f2835e37504652b446d83bd98033d208300fe4f4d0fb2eb83dab36e38301", kill_on_drop: false }`
[INFO] [stdout] b895f2835e37504652b446d83bd98033d208300fe4f4d0fb2eb83dab36e38301