[INFO] fetching crate symbit 0.2.0...
[INFO] testing symbit-0.2.0 against 1.99.0-beta.8 for beta-1.100-2
[INFO] extracting crate symbit 0.2.0 into /workspace/builds/worker-5-tc1/source
[INFO] started tweaking crates.io crate symbit 0.2.0
[INFO] finished tweaking crates.io crate symbit 0.2.0
[INFO] tweaked toml for crates.io crate symbit 0.2.0 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate symbit 0.2.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 symbit 0.2.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 aiger-circuit v1.0.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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] e66a061edeceea0edba7b531092ecffe7e9a04ed6b57af0a136f9adaa0465c3c
[INFO] running `Command { std: "docker" "start" "e66a061edeceea0edba7b531092ecffe7e9a04ed6b57af0a136f9adaa0465c3c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e66a061edeceea0edba7b531092ecffe7e9a04ed6b57af0a136f9adaa0465c3c", 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" "e66a061edeceea0edba7b531092ecffe7e9a04ed6b57af0a136f9adaa0465c3c" "/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" "e66a061edeceea0edba7b531092ecffe7e9a04ed6b57af0a136f9adaa0465c3c", 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" "e66a061edeceea0edba7b531092ecffe7e9a04ed6b57af0a136f9adaa0465c3c" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling quote v1.0.42
[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.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 6.45s
[INFO] running `Command { std: "docker" "inspect" "e66a061edeceea0edba7b531092ecffe7e9a04ed6b57af0a136f9adaa0465c3c", 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" "e66a061edeceea0edba7b531092ecffe7e9a04ed6b57af0a136f9adaa0465c3c" "/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 symbit v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.94s
[INFO] running `Command { std: "docker" "inspect" "e66a061edeceea0edba7b531092ecffe7e9a04ed6b57af0a136f9adaa0465c3c", 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" "e66a061edeceea0edba7b531092ecffe7e9a04ed6b57af0a136f9adaa0465c3c" "/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.05s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/symbit-81d386cc95efe0b2)
[INFO] [stdout] 
[INFO] [stdout] running 74 tests
[INFO] [stdout] test tests::bit::double_negation ... ok
[INFO] [stdout] test tests::bit::bit_equality ... ok
[INFO] [stdout] test tests::bit::conjunction_with_true ... ok
[INFO] [stdout] test tests::bit::disjunction_with_false ... ok
[INFO] [stdout] test tests::bit::disjunction_with_true ... ok
[INFO] [stdout] test tests::bit::exclusive_or_with_complex_self ... ok
[INFO] [stdout] test tests::bitbuf::ops_shl_sym ... ok
[INFO] [stdout] test tests::bit::exclusive_or_with_zero ... ok
[INFO] [stdout] test tests::bitbuf::ops_bitor ... ok
[INFO] [stdout] test tests::bitbuf::ops_shl_usize ... ok
[INFO] [stdout] test tests::bit::conjunction_with_false ... ok
[INFO] [stdout] test tests::bitbuf::ops_not ... ok
[INFO] [stdout] test tests::bit::conjunction_with_negated_self ... ok
[INFO] [stdout] test tests::bit::exclusive_or_with_same_variable ... ok
[INFO] [stdout] test tests::bitvec::addition_overflow_carry ... ok
[INFO] [stdout] test tests::bitvec::concatenation ... ok
[INFO] [stdout] test tests::bitvec::equals ... ok
[INFO] [stdout] test tests::bitvec::greater_than ... ok
[INFO] [stdout] test tests::bitvec::left_shift ... ok
[INFO] [stdout] test tests::bitvec::addition_overflow ... ok
[INFO] [stdout] test tests::bitbuf::ops_shr_sym ... ok
[INFO] [stdout] test tests::bitbuf::ops_shr_usize ... 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::bitvec::less_than ... ok
[INFO] [stdout] test tests::bitvec::popcount ... ok
[INFO] [stdout] test tests::bitvec::shift_right ... ok
[INFO] [stdout] test tests::bitvec::sign_extension ... ok
[INFO] [stdout] test tests::bitvec::add_bytes_no_carry ... ok
[INFO] [stdout] test tests::bitvec::maximal_carry_addition ... ok
[INFO] [stdout] test tests::bitbuf::ops_bitand ... ok
[INFO] [stdout] test tests::bitvec::multiply ... ok
[INFO] [stdout] test tests::bitvec::shift_left ... ok
[INFO] [stdout] test tests::bitvec::signed_less_than ... ok
[INFO] [stdout] test tests::bitvec::signed_greater_than_eq ... ok
[INFO] [stdout] test tests::bitvec::signed_greater_than ... ok
[INFO] [stdout] test tests::bitvec::signed_shift_right_positive ... ok
[INFO] [stdout] test tests::bitvec::signed_shift_right_negative ... ok
[INFO] [stdout] test tests::bitvec::single_bit_multiply ... ok
[INFO] [stdout] test tests::bitvec::split_into_bytes ... ok
[INFO] [stdout] test tests::bitvec::signed_less_than_eq ... ok
[INFO] [stdout] test tests::bitvec::subtraction_borrows ... 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::signed_multiply ... 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::concretize_happy ... ok
[INFO] [stdout] test tests::convert::concrete_value_derives ... ok
[INFO] [stdout] test tests::convert::concretize_symbolic_err ... ok
[INFO] [stdout] test tests::convert::concretize_buf ... ok
[INFO] [stdout] test tests::convert::combine_symbytes_into_vec ... ok
[INFO] [stdout] test tests::bitvec::subtraction ... ok
[INFO] [stdout] test tests::convert::concretize_overflow_err ... ok
[INFO] [stdout] test tests::convert::symbolicbitbuf_conversions ... ok
[INFO] [stdout] test tests::convert::symbolicbitvec_conversions ... 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_true_and_symbolic ... ok
[INFO] [stdout] test tests::eval::evaluate_symbolic_expression ... ok
[INFO] [stdout] test tests::eval::evaluator_from_assignments ... ok
[INFO] [stdout] test tests::eval::var_assignments_from_swapped_bitvecs ... ok
[INFO] [stdout] test tests::eval::evaluate_variable ... ok
[INFO] [stdout] test tests::eval::evaluate_expression ... ok
[INFO] [stdout] test tests::eval::var_assignments_from_bitvecs_without_literals ... ok
[INFO] [stdout] test tests::bitvec::unsigned_divide ... ok
[INFO] [stdout] test tests::eval::var_assignments_from_bitvecs ... 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.18s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests symbit
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test src/convert.rs - convert::ConcreteValue (line 42) ... ok
[INFO] [stdout] test src/../README.md - (line 13) ... ok
[INFO] [stdout] test src/vec.rs - vec::SymbolicBitVec::multiply (line 229) ... ok
[INFO] [stdout] test src/vec.rs - vec::SymbolicBitVec::multiply (line 244) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 0.54s; merged doctests compilation took 0.52s
[INFO] running `Command { std: "docker" "inspect" "e66a061edeceea0edba7b531092ecffe7e9a04ed6b57af0a136f9adaa0465c3c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e66a061edeceea0edba7b531092ecffe7e9a04ed6b57af0a136f9adaa0465c3c", kill_on_drop: false }`
[INFO] [stdout] e66a061edeceea0edba7b531092ecffe7e9a04ed6b57af0a136f9adaa0465c3c
