[INFO] fetching crate decdnnf_rs 1.0.0...
[INFO] testing decdnnf_rs-1.0.0 against try#c2e32f1c9652b13ed99608599c1e855462f421f3 for pr-146098-7
[INFO] extracting crate decdnnf_rs 1.0.0 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate decdnnf_rs 1.0.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate decdnnf_rs 1.0.0
[INFO] tweaked toml for crates.io crate decdnnf_rs 1.0.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate decdnnf_rs 1.0.0 on toolchain c2e32f1c9652b13ed99608599c1e855462f421f3
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate decdnnf_rs 1.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" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6c179a48b8d49930d62d77f04105d81e194e43a3c36bd126a4a0ea50f2c8ae4b
[INFO] running `Command { std: "docker" "start" "-a" "6c179a48b8d49930d62d77f04105d81e194e43a3c36bd126a4a0ea50f2c8ae4b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6c179a48b8d49930d62d77f04105d81e194e43a3c36bd126a4a0ea50f2c8ae4b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6c179a48b8d49930d62d77f04105d81e194e43a3c36bd126a4a0ea50f2c8ae4b", kill_on_drop: false }`
[INFO] [stdout] 6c179a48b8d49930d62d77f04105d81e194e43a3c36bd126a4a0ea50f2c8ae4b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d1208b7b35e0155609b8252ad361bd68e19f93d00bd8a53d335778c1c31b2707
[INFO] running `Command { std: "docker" "start" "-a" "d1208b7b35e0155609b8252ad361bd68e19f93d00bd8a53d335778c1c31b2707", kill_on_drop: false }`
[INFO] [stderr]    Compiling gmp-mpfr-sys v1.6.7
[INFO] [stderr]    Compiling libm v0.2.15
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling az v1.2.1
[INFO] [stderr]    Compiling is-terminal v0.4.16
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling anyhow v1.0.99
[INFO] [stderr]    Compiling rug v1.28.0
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling iana-time-zone v0.1.63
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling log v0.4.27
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling sysinfo v0.30.13
[INFO] [stderr]    Compiling wyz v0.5.1
[INFO] [stderr]    Compiling chrono v0.4.41
[INFO] [stderr]    Compiling rustc-hash v1.1.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 decdnnf_rs v1.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 4m 38s
[INFO] running `Command { std: "docker" "inspect" "d1208b7b35e0155609b8252ad361bd68e19f93d00bd8a53d335778c1c31b2707", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d1208b7b35e0155609b8252ad361bd68e19f93d00bd8a53d335778c1c31b2707", kill_on_drop: false }`
[INFO] [stdout] d1208b7b35e0155609b8252ad361bd68e19f93d00bd8a53d335778c1c31b2707
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 496bf5edc1817c7d1c5fd8ec498189b31a984b1d5bbd620e6e11774693110ed4
[INFO] running `Command { std: "docker" "start" "-a" "496bf5edc1817c7d1c5fd8ec498189b31a984b1d5bbd620e6e11774693110ed4", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.7.5
[INFO] [stderr]    Compiling regex-syntax v0.8.6
[INFO] [stderr]    Compiling doc-comment v0.3.3
[INFO] [stderr]    Compiling float-cmp v0.10.0
[INFO] [stderr]    Compiling anstyle v1.0.11
[INFO] [stderr]    Compiling difflib v0.4.0
[INFO] [stderr]    Compiling assert_cmd v2.0.17
[INFO] [stderr]    Compiling normalize-line-endings v0.3.0
[INFO] [stderr]    Compiling bitflags v2.9.3
[INFO] [stderr]    Compiling getrandom v0.3.3
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling rustix v1.0.8
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling tempfile v3.21.0
[INFO] [stderr]    Compiling regex-automata v0.4.10
[INFO] [stderr]    Compiling regex v1.11.2
[INFO] [stderr]    Compiling bstr v1.12.0
[INFO] [stderr]    Compiling predicates v3.1.3
[INFO] [stderr]    Compiling decdnnf_rs v1.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 15.33s
[INFO] running `Command { std: "docker" "inspect" "496bf5edc1817c7d1c5fd8ec498189b31a984b1d5bbd620e6e11774693110ed4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "496bf5edc1817c7d1c5fd8ec498189b31a984b1d5bbd620e6e11774693110ed4", kill_on_drop: false }`
[INFO] [stdout] 496bf5edc1817c7d1c5fd8ec498189b31a984b1d5bbd620e6e11774693110ed4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c2e32f1c9652b13ed99608599c1e855462f421f3" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8b4521b5a32541c705574c0fb3336d6d0025bb05737ba3d169bc5f49d69338eb
[INFO] running `Command { std: "docker" "start" "-a" "8b4521b5a32541c705574c0fb3336d6d0025bb05737ba3d169bc5f49d69338eb", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.17s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/decdnnf_rs-62679be79a7eade6)
[INFO] [stdout] 
[INFO] [stdout] running 87 tests
[INFO] [stdout] test algorithms::checker::tests::test_not_determinist ... ok
[INFO] [stdout] test algorithms::counting::tests::test_clause ... ok
[INFO] [stdout] test algorithms::counting::tests::test_implied_lit ... ok
[INFO] [stdout] test algorithms::counting::tests::test_true_two_vars ... ok
[INFO] [stdout] test algorithms::counting::tests::test_false ... ok
[INFO] [stdout] test algorithms::checker::tests::test_ok ... ok
[INFO] [stdout] test algorithms::counting::tests::test_ok ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_and ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_tautology ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_unsat ... ok
[INFO] [stdout] test algorithms::direct_access_ordered::tests::test_same_formula_different_orders ... ok
[INFO] [stdout] test algorithms::counting::tests::test_true_one_var ... ok
[INFO] [stdout] test algorithms::counting::tests::test_count_under_assumptions_top ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_2_vars_3_models ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_single_model ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_tautology_two_vars ... ok
[INFO] [stdout] test algorithms::direct_access_ordered::tests::test_equivalent_formula_same_order ... ok
[INFO] [stdout] test algorithms::checker::tests::test_not_decomposable ... ok
[INFO] [stdout] test algorithms::direct_access_ordered::tests::test_wrong_order_missing_var ... ok
[INFO] [stdout] test algorithms::direct_access_ordered::tests::test_wrong_order_unknown_var ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_and_or ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_or ... ok
[INFO] [stdout] test algorithms::counting::tests::test_assumptions ... 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_2_vars_3_models ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_and ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_tautology_two_vars ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_tautology ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_counter_models ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_hide_free_var_tautology ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_single_model ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_or ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_and_or ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_or_and ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_jump_sets_unassigned_or_free_vars_negatively ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_or_with_free_var ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_implied_lit ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_empty ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_unsat ... ok
[INFO] [stdout] test core::free_variables::tests::test_no_vars ... ok
[INFO] [stdout] test core::free_variables::tests::test_one_var_nothing_free ... ok
[INFO] [stdout] test core::involved_vars::tests::test_bit_to_lit_it_first_bit ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_free_var ... 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_none_missing ... ok
[INFO] [stdout] test core::involved_vars::tests::test_iter_missing_literals_all_missing ... ok
[INFO] [stdout] test algorithms::model_enumerator::tests::test_unsat ... ok
[INFO] [stdout] test core::free_variables::tests::test_ok ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_no_such_literal - should panic ... ok
[INFO] [stdout] test io::c2d_format::tests::test_or ... ok
[INFO] [stdout] test io::c2d_format::tests::test_determinism_with_false ... ok
[INFO] [stdout] test io::d4_format::tests::test_clause ... ok
[INFO] [stdout] test algorithms::checker::tests::test_or_determinism_with_false_node ... 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 io::c2d_format::tests::test_true ... ok
[INFO] [stdout] test io::c2d_format::tests::test_lit_with_and ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_source_equals_target ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_missing_zero ... ok
[INFO] [stdout] test io::c2d_format::tests::test_false ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_or_and ... ok
[INFO] [stdout] test io::c2d_format::tests::test_lit_with_or ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_target_is_not_a_number ... ok
[INFO] [stdout] test io::d4_format::tests::test_empty_instance ... ok
[INFO] [stdout] test io::d4_format::tests::test_node_content_after_zero ... ok
[INFO] [stdout] test io::d4_format::tests::test_node_cycle ... 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 algorithms::counting::tests::test_true_no_vars ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_and_or ... ok
[INFO] [stdout] test io::d4_format::tests::test_node_unexpected_kind ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_unknown_target ... ok
[INFO] [stdout] test io::d4_format::tests::test_true_instance ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_or ... ok
[INFO] [stdout] test io::d4_format::tests::test_node_wrong_index ... ok
[INFO] [stdout] test io::d4_format::tests::test_ok ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_unknown_source ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_or_with_free_var ... ok
[INFO] [stdout] test algorithms::direct_access::tests::test_implied_lit ... ok
[INFO] [stdout] test io::d4_format::tests::test_node_unreachable ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_and ... ok
[INFO] [stdout] test algorithms::model_finder::tests::test_or_and ... ok
[INFO] [stdout] test io::c2d_format::tests::test_caching ... ok
[INFO] [stdout] test io::c2d_format::tests::test_and ... ok
[INFO] [stdout] test io::d4_format::tests::test_edge_literal_is_not_a_number ... ok
[INFO] [stdout] test io::d4_format::tests::test_do_not_check ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 87 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.26s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/decdnnf_rs-760099ad15622a57)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test app::writable_string::tests::test_debug ... ok
[INFO] [stdout] test app::writable_string::tests::test_display ... ok
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] decdnnf_rs 1.0.0
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] ----------------------------------------
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] app_name app_version
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] app_name app_version
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] decdnnf_rs 1.0.0
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] decdnnf_rs 1.0.0
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] local_command_name 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] local_command_about
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] USAGE:
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]     local_command_name [FLAGS]
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] app_name app_version
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] author
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] about
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] USAGE:
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]     app_name <SUBCOMMAND>
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] FLAGS:
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]     -h, --help    
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]             Prints help information
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] SUBCOMMANDS:
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]     help                  Prints this message or the help of the given subcommand(s)
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]     local_command_name    local_command_about
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] FLAGS:
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]     -a            
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] app_name app_version
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] ----------------------------------------
[INFO] [stdout] test app::cli_manager::tests::test_wrong_arg ... ok
[INFO] [stdout] test app::cli_manager::tests::test_wrong_subcommand ... ok
[INFO] [stdout] test app::app_helper::tests::test_no_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_help ... ok
[INFO] [stdout] test app::app_helper::tests::test_no_args ... ok
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] app_name app_version
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] author
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] about
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] USAGE:
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]     app_name <SUBCOMMAND>
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] FLAGS:
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]     -h, --help    
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]             Prints help information
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] SUBCOMMANDS:
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]     help                  Prints this message or the help of the given subcommand(s)
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]     local_command_name    local_command_about
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] test app::cli_manager::tests::test_help_subcommand ... ok
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] decdnnf_rs 1.0.0
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] ----------------------------------------
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] app_name app_version
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] ----------------------------------------
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] local_command_name 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] local_command_about
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] USAGE:
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]     local_command_name [FLAGS]
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] FLAGS:
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]     -a            
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]             
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]     -h, --help    
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]             Prints help information
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] app_name app_version
[INFO] [stdout] test app::cli_manager::tests::test_subcommand_help ... ok
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]             
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]     -h, --help    
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44]             Prints help information
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] 
[INFO] [stdout] test app::cli_manager::tests::test_no_subcommand ... ok
[INFO] [stdout] test app::cli_manager::tests::test_help_for_subcommand ... ok
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] running on 8b4521b5a325
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] total memory: 16762826752 KB
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] ----------------------------------------
[INFO] [stdout] test app::cli_manager::tests::test_command_and_arg_involved ... ok
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] running on 8b4521b5a325
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] total memory: 16762826752 KB
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] ----------------------------------------
[INFO] [stdout] test app::cli_manager::tests::test_command_involved ... ok
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] running on 8b4521b5a325
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] total memory: 16762826752 KB
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] ----------------------------------------
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] exiting successfully after 31.276187ms
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] running on 8b4521b5a325
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp
[INFO] [stdout] test app::app_helper::tests::test_subcommand_ok ... ok
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] physical core count: 8 ["AMD EPYC 7B13"]
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] total memory: 16762826752 KB
[INFO] [stdout] ![INFO ] [2025-11-11 09:33:44] ----------------------------------------
[INFO] [stdout] test app::app_helper::tests::test_subcommand_err ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]      Running tests/test_model_enumeration.rs (/opt/rustwide/target/debug/deps/test_model_enumeration-006a4c5be25724d8)
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_enumeration_default ... ok
[INFO] [stdout] test test_enumeration_n_vars ... ok
[INFO] [stdout] test test_enumeration_n_vars_compact ... ok
[INFO] [stdout] test test_enumeration_no_output ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests decdnnf_rs
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test src/core/decision_dnnf.rs - core::decision_dnnf::Literal (line 20) ... ok
[INFO] [stdout] test src/algorithms/model_enumerator.rs - algorithms::model_enumerator::ModelEnumerator (line 24) ... ok
[INFO] [stdout] test src/io/d4_format.rs - io::d4_format::Reader::read (line 43) ... ok
[INFO] [stdout] test src/algorithms/model_finder.rs - algorithms::model_finder::ModelFinder (line 13) ... ok
[INFO] [stdout] test src/algorithms/model_enumerator.rs - algorithms::model_enumerator::ModelEnumerator (line 44) ... ok
[INFO] [stdout] test src/algorithms/counting.rs - algorithms::counting::ModelCounter (line 16) ... ok
[INFO] [stdout] test src/algorithms/checker.rs - algorithms::checker::DecisionDNNFChecker (line 19) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.15s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "8b4521b5a32541c705574c0fb3336d6d0025bb05737ba3d169bc5f49d69338eb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8b4521b5a32541c705574c0fb3336d6d0025bb05737ba3d169bc5f49d69338eb", kill_on_drop: false }`
[INFO] [stdout] 8b4521b5a32541c705574c0fb3336d6d0025bb05737ba3d169bc5f49d69338eb