[INFO] fetching crate decdnnf_rs 2.0.0...
[INFO] testing decdnnf_rs-2.0.0 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate decdnnf_rs 2.0.0 into /workspace/builds/worker-0-tc2/source
[INFO] started tweaking crates.io crate decdnnf_rs 2.0.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate decdnnf_rs 2.0.0
[INFO] tweaked toml for crates.io crate decdnnf_rs 2.0.0 written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate decdnnf_rs 2.0.0 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate decdnnf_rs 2.0.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.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/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:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 7e078e001f3554ff277de645cfb5630f37367cf6830142bc10c255117d820562
[INFO] running `Command { std: "docker" "start" "7e078e001f3554ff277de645cfb5630f37367cf6830142bc10c255117d820562", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7e078e001f3554ff277de645cfb5630f37367cf6830142bc10c255117d820562", 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" "7e078e001f3554ff277de645cfb5630f37367cf6830142bc10c255117d820562" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7e078e001f3554ff277de645cfb5630f37367cf6830142bc10c255117d820562", 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" "7e078e001f3554ff277de645cfb5630f37367cf6830142bc10c255117d820562" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling gmp-mpfr-sys v1.7.1
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling rug v1.30.0
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling libm v0.2.16
[INFO] [stderr]    Compiling wyz v0.5.1
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling az v1.3.0
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling cnf-parser v0.1.1
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling colored v1.9.4
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling fern v0.6.2
[INFO] [stderr]    Compiling bitvec v1.0.1
[INFO] [stderr]    Compiling sysinfo v0.30.13
[INFO] [stderr]    Compiling decdnnf_rs v2.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 5m 25s
[INFO] running `Command { std: "docker" "inspect" "7e078e001f3554ff277de645cfb5630f37367cf6830142bc10c255117d820562", 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" "7e078e001f3554ff277de645cfb5630f37367cf6830142bc10c255117d820562" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling predicates-core v1.0.10
[INFO] [stderr]    Compiling difflib v0.4.0
[INFO] [stderr]    Compiling termtree v0.5.1
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling assert_cmd v2.2.2
[INFO] [stderr]    Compiling normalize-line-endings v0.3.0
[INFO] [stderr]    Compiling bitflags v2.11.1
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling predicates-tree v1.0.13
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling bstr v1.12.1
[INFO] [stderr]    Compiling predicates v3.1.4
[INFO] [stderr]    Compiling decdnnf_rs v2.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 31.78s
[INFO] running `Command { std: "docker" "inspect" "7e078e001f3554ff277de645cfb5630f37367cf6830142bc10c255117d820562", 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" "7e078e001f3554ff277de645cfb5630f37367cf6830142bc10c255117d820562" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.13s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/decdnnf_rs/c8ee0d6368d35698/out/decdnnf_rs-c8ee0d6368d35698)
[INFO] [stdout] 
[INFO] [stdout] running 144 tests
[INFO] [stdout] test algorithms::counting::tests::test_false ... ok
[INFO] [stdout] test algorithms::checker::tests::test_or_determinism_with_false_node ... ok
[INFO] [stdout] test algorithms::counting::tests::test_count_under_assumptions_top ... ok
[INFO] [stdout] test algorithms::checker::tests::test_ok ... ok
[INFO] [stdout] test algorithms::counting::tests::test_ok ... ok
[INFO] [stdout] test algorithms::counting::tests::test_true_one_var ... ok
[INFO] [stdout] test algorithms::counting::tests::test_true_two_vars ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_2_vars_3_models ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_and ... ok
[INFO] [stdout] test algorithms::checker::tests::test_not_decomposable ... ok
[INFO] [stdout] test algorithms::counting::tests::test_count_under_assumptions_top_2vars ... ok
[INFO] [stdout] test algorithms::counting::tests::test_clause ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_becomes_unsat_with_assumptions ... ok
[INFO] [stdout] test algorithms::counting::tests::test_true_no_vars ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_and_or ... ok
[INFO] [stdout] test algorithms::checker::tests::test_not_determinist ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_no_such_model_index ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_or ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_or_with_free_var ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_single_model ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_or_free_vars_with_assumptions ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_implied_lit ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_tautology_two_vars ... ok
[INFO] [stdout] test algorithms::direct_access_ordered::tests::test_assumptions_last ... ok
[INFO] [stdout] test algorithms::direct_access_ordered::tests::test_no_such_model_index ... ok
[INFO] [stdout] test algorithms::direct_access_ordered::tests::test_equivalent_formula_same_order ... ok
[INFO] [stdout] test algorithms::direct_access_ordered::tests::test_same_formula_different_orders ... ok
[INFO] [stdout] test algorithms::direct_access_ordered::tests::test_assumptions_first ... ok
[INFO] [stdout] test algorithms::equivalent_nodes_merging::tests::test_equiv ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_or_and ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_tautology ... ok
[INFO] [stdout] test algorithms::equivalent_nodes_merging::tests::test_equiv_is_ancestor ... ok
[INFO] [stdout] test algorithms::direct_access_ordered::tests::test_lexico ... ok
[INFO] [stdout] test algorithms::direct_access_ordered::tests::test_wrong_order_unknown_var ... ok
[INFO] [stdout] test algorithms::counting::tests::test_assumptions ... ok
[INFO] [stdout] test algorithms::counting::tests::test_implied_lit ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_and ... ok
[INFO] [stdout] test algorithms::direct_access_ordered::tests::test_wrong_order_missing_var ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_2_vars_3_models ... ok
[INFO] [stdout] test algorithms::equivalent_nodes_merging::tests::test_equiv_clause_with_single_free_var ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_counter_models ... ok
[INFO] [stdout] test algorithms::equivalent_nodes_merging::tests::test_propagations ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_ask_for_one_but_unsat ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_and_or ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_jump_sets_unassigned_or_free_vars_negatively ... ok
[INFO] [stdout] test algorithms::direct_access_ordered::tests::test_wrong_order_multiple_instance_of_var ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_model_enumerator_assumptions_becomes_unsat ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_model_enumerator_assumptions_or_free_vars ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_implied_lit ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_unsat ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_hide_free_var_tautology ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_root_free_vars_with_assumptions ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_model_enumerator_assumptions_root_free_vars ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_mt_stop ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_mt ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_mt_under_assumptions ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_or ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_or_and ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_or_with_free_var ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_empty ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_reset_root_free_vars ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_free_var ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_reset_or_free_vars ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_no_such_literal - should panic ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_tautology ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_unsat ... ok
[INFO] [stdout] test algorithms::model_sampler::tests::test_sample_all_under_assumptions_first ... ok
[INFO] [stdout] test algorithms::model_sampler::tests::test_sample_all_under_assumptions_lexico_first ... ok
[INFO] [stdout] test algorithms::model_sampler::tests::test_sample_all_under_assumptions_second ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_no_such_model_index ... ok
[INFO] [stdout] test algorithms::model_sampler::tests::test_sample_all ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_and ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_and_or ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_tautology_two_vars ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_single_model ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_or ... ok
[INFO] [stdout] test algorithms::model_sampler::tests::test_lexico_too_late - should panic ... ok
[INFO] [stdout] test algorithms::model_sampler::tests::test_sample_some ... ok
[INFO] [stdout] test algorithms::model_sampler::tests::test_sample_all_under_assumptions_lexico_second ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_unsat ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_or_and ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_mt_compact ... ok
[INFO] [stdout] test core::free_variables::tests::test_apply_assumptions_root ... ok
[INFO] [stdout] test algorithms::model_sampler::tests::test_sample_all_lexico ... ok
[INFO] [stdout] test core::assumptions::tests::test_ok ... ok
[INFO] [stdout] test core::free_variables::tests::test_ok ... ok
[INFO] [stdout] test core::involved_vars::tests::test_bit_to_lit_it_first_bit ... ok
[INFO] [stdout] test core::involved_vars::tests::test_bit_to_lit_it_last_bit ... ok
[INFO] [stdout] test core::involved_vars::tests::test_iter_missing_literals_all_missing ... ok
[INFO] [stdout] test core::involved_vars::tests::test_iter_missing_literals_none_missing ... ok
[INFO] [stdout] test io::binary_format::tests::test_and ... ok
[INFO] [stdout] test io::binary_format::tests::test_or ... ok
[INFO] [stdout] test io::binary_format::tests::test_trivial ... ok
[INFO] [stdout] test io::c2d_format::tests::test_and ... ok
[INFO] [stdout] test io::c2d_format::tests::test_caching ... ok
[INFO] [stdout] test io::c2d_format::tests::test_determinism_with_false ... ok
[INFO] [stdout] test io::c2d_format::tests::test_false ... ok
[INFO] [stdout] test io::c2d_format::tests::test_lit_with_and ... ok
[INFO] [stdout] test io::c2d_format::tests::test_lit_with_or ... ok
[INFO] [stdout] test io::c2d_format::tests::test_or ... ok
[INFO] [stdout] test io::c2d_format::tests::test_true ... ok
[INFO] [stdout] test io::d4_format::tests::test_clause ... ok
[INFO] [stdout] test io::d4_format::tests::test_do_not_check ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_content_after_zero ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_from_false ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_from_true ... ok
[INFO] [stdout] test core::free_variables::tests::test_one_var_nothing_free ... ok
[INFO] [stdout] test algorithms::model_sampler::tests::test_sample_some_lexico ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_literal_is_not_a_number ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_missing_zero ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_source_equals_target ... ok
[INFO] [stdout] test algorithms::model_sampler::tests::test_seed_too_late - should panic ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_target_is_not_a_number ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_unknown_source ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_unknown_target ... ok
[INFO] [stdout] test io::d4_format::tests::test_empty_instance ... ok
[INFO] [stdout] test algorithms::orphan_nodes_and_edges::tests::test_node_cycle ... ok
[INFO] [stdout] test algorithms::orphan_nodes_and_edges::tests::test_remove_edge ... ok
[INFO] [stdout] test algorithms::orphan_nodes_and_edges::tests::test_remove_node ... ok
[INFO] [stdout] test io::d4_format::tests::test_node_content_after_zero ... ok
[INFO] [stdout] test core::assumptions::tests::test_redefinition - should panic ... ok
[INFO] [stdout] test core::decision_dnnf::tests::test_subformula_and ... ok
[INFO] [stdout] test core::decision_dnnf::tests::test_subformula_and_chain ... ok
[INFO] [stdout] test core::decision_dnnf::tests::test_subformula_trivial ... ok
[INFO] [stdout] test core::free_variables::tests::test_apply_assumptions_or_node ... ok
[INFO] [stdout] test core::assumptions::tests::test_out_of_bounds - should panic ... ok
[INFO] [stdout] test algorithms::orphan_nodes_and_edges::tests::test_node_unreachable ... ok
[INFO] [stdout] test io::d4_format::tests::test_node_missing_zero ... ok
[INFO] [stdout] test io::d4_format::tests::test_node_not_a_zero ... ok
[INFO] [stdout] test io::d4_format::tests::test_ok ... ok
[INFO] [stdout] test io::d4_format::tests::test_node_unexpected_kind ... ok
[INFO] [stdout] test io::d4_format::tests::test_node_cycle ... ok
[INFO] [stdout] test io::dimacs_cnf_format::tests::test_empty ... ok
[INFO] [stdout] test io::dimacs_cnf_format::tests::test_not_enough_clauses ... ok
[INFO] [stdout] test io::dimacs_cnf_format::tests::test_ok ... ok
[INFO] [stdout] test io::dimacs_cnf_format::tests::test_unexpected_character - should panic ... FAILED
[INFO] [stdout] test io::d4_format::tests::test_true_instance ... ok
[INFO] [stdout] test io::dimacs_cnf_format::tests::test_var_out_of_bounds ... ok
[INFO] [stdout] test io::d4_format::tests::test_node_wrong_index ... ok
[INFO] [stdout] test io::d4_format::tests::test_write ... ok
[INFO] [stdout] test io::d4_format::tests::test_node_unreachable ... ok
[INFO] [stdout] test algorithms::model_sampler::tests::test_seed_repr ... ok
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] [stdout] test core::free_variables::tests::test_no_vars ... ok
[INFO] [stdout] test io::dimacs_cnf_format::tests::test_too_much_clauses ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- io::dimacs_cnf_format::tests::test_unexpected_character stdout ----
[INFO] [stdout] note: test did not panic as expected at src/io/dimacs_cnf_format.rs:156:8
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     io::dimacs_cnf_format::tests::test_unexpected_character
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 143 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "7e078e001f3554ff277de645cfb5630f37367cf6830142bc10c255117d820562", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7e078e001f3554ff277de645cfb5630f37367cf6830142bc10c255117d820562", kill_on_drop: false }`
[INFO] [stdout] 7e078e001f3554ff277de645cfb5630f37367cf6830142bc10c255117d820562