[INFO] fetching crate decdnnf_rs 0.1.1... [INFO] testing decdnnf_rs-0.1.1 against try#b83b707f97d809763b7861afa7638871f3339a33 for pr-145838-1 [INFO] extracting crate decdnnf_rs 0.1.1 into /workspace/builds/worker-7-tc2/source [INFO] started tweaking crates.io crate decdnnf_rs 0.1.1 [INFO] finished tweaking crates.io crate decdnnf_rs 0.1.1 [INFO] tweaked toml for crates.io crate decdnnf_rs 0.1.1 written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate decdnnf_rs 0.1.1 on toolchain b83b707f97d809763b7861afa7638871f3339a33 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate decdnnf_rs 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" "+b83b707f97d809763b7861afa7638871f3339a33" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d694196eff80d2be5e0bdea588d2081b94357249bbf6e1e43ff7c9b50888e72c [INFO] running `Command { std: "docker" "start" "-a" "d694196eff80d2be5e0bdea588d2081b94357249bbf6e1e43ff7c9b50888e72c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d694196eff80d2be5e0bdea588d2081b94357249bbf6e1e43ff7c9b50888e72c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d694196eff80d2be5e0bdea588d2081b94357249bbf6e1e43ff7c9b50888e72c", kill_on_drop: false }` [INFO] [stdout] d694196eff80d2be5e0bdea588d2081b94357249bbf6e1e43ff7c9b50888e72c [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c539a04d87eaeaeff279986266c011761b5118532803119a5bdb886abba449b2 [INFO] running `Command { std: "docker" "start" "-a" "c539a04d87eaeaeff279986266c011761b5118532803119a5bdb886abba449b2", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.155 [INFO] [stderr] Compiling autocfg v1.3.0 [INFO] [stderr] Compiling gmp-mpfr-sys v1.6.4 [INFO] [stderr] Compiling libm v0.2.8 [INFO] [stderr] Compiling az v1.2.1 [INFO] [stderr] Compiling anyhow v1.0.86 [INFO] [stderr] Compiling unicode-width v0.1.13 [INFO] [stderr] Compiling rug v1.24.1 [INFO] [stderr] Compiling iana-time-zone v0.1.60 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling rayon v1.10.0 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling is-terminal v0.4.12 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling colored v1.9.4 [INFO] [stderr] Compiling clap v2.34.0 [INFO] [stderr] Compiling fern v0.6.2 [INFO] [stderr] Compiling chrono v0.4.38 [INFO] [stderr] Compiling sysinfo v0.30.13 [INFO] [stderr] Compiling decdnnf_rs v0.1.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 4m 11s [INFO] running `Command { std: "docker" "inspect" "c539a04d87eaeaeff279986266c011761b5118532803119a5bdb886abba449b2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c539a04d87eaeaeff279986266c011761b5118532803119a5bdb886abba449b2", kill_on_drop: false }` [INFO] [stdout] c539a04d87eaeaeff279986266c011761b5118532803119a5bdb886abba449b2 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 0bb094644f9ee6146076d2cd664858943f7f100bfb72ec7df601e6465976bd21 [INFO] running `Command { std: "docker" "start" "-a" "0bb094644f9ee6146076d2cd664858943f7f100bfb72ec7df601e6465976bd21", kill_on_drop: false }` [INFO] [stderr] Compiling decdnnf_rs v0.1.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1.78s [INFO] running `Command { std: "docker" "inspect" "0bb094644f9ee6146076d2cd664858943f7f100bfb72ec7df601e6465976bd21", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0bb094644f9ee6146076d2cd664858943f7f100bfb72ec7df601e6465976bd21", kill_on_drop: false }` [INFO] [stdout] 0bb094644f9ee6146076d2cd664858943f7f100bfb72ec7df601e6465976bd21 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 0835f8a7acd0dba7597ea275d10c3f55421a2423820f97a457e8e3317cdc2616 [INFO] running `Command { std: "docker" "start" "-a" "0835f8a7acd0dba7597ea275d10c3f55421a2423820f97a457e8e3317cdc2616", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/decdnnf_rs-1ba41e44f07c4961) [INFO] [stdout] running 55 tests [INFO] [stdout] test algorithms::checker::tests::test_not_decomposable ... ok [INFO] [stdout] test algorithms::checker::tests::test_or_determinism_with_false_node ... ok [INFO] [stdout] test algorithms::model_counter::tests::test_clause ... ok [INFO] [stdout] test algorithms::model_counter::tests::test_false ... ok [INFO] [stdout] test algorithms::checker::tests::test_ok ... ok [INFO] [stdout] test algorithms::model_counter::tests::test_implied_lit ... ok [INFO] [stdout] test algorithms::model_counter::tests::test_true_one_var ... ok [INFO] [stdout] test algorithms::model_counter::tests::test_ok ... ok [INFO] [stdout] test algorithms::model_enumerator::tests::test_2_vars_3_models ... ok [INFO] [stdout] test algorithms::model_counter::tests::test_true_no_vars ... ok [INFO] [stdout] test algorithms::model_enumerator::tests::test_and ... ok [INFO] [stdout] test algorithms::model_counter::tests::test_true_two_vars ... ok [INFO] [stdout] test algorithms::model_enumerator::tests::test_hide_free_var_tautology ... ok [INFO] [stdout] test algorithms::model_enumerator::tests::test_and_or ... ok [INFO] [stdout] test algorithms::model_enumerator::tests::test_or ... ok [INFO] [stdout] test algorithms::model_enumerator::tests::test_implied_lit ... ok [INFO] [stdout] test algorithms::model_enumerator::tests::test_single_model ... ok [INFO] [stdout] test algorithms::model_finder::tests::test_and ... ok [INFO] [stdout] test algorithms::model_enumerator::tests::test_unsat ... ok [INFO] [stdout] test algorithms::model_enumerator::tests::test_or_and ... ok [INFO] [stdout] test algorithms::model_finder::tests::test_and_or ... ok [INFO] [stdout] test algorithms::model_finder::tests::test_empty ... ok [INFO] [stdout] test algorithms::model_finder::tests::test_free_var ... ok [INFO] [stdout] test algorithms::model_finder::tests::test_or ... ok [INFO] [stdout] test algorithms::model_finder::tests::test_unsat ... ok [INFO] [stdout] test io::c2d_format::tests::test_and ... ok [INFO] [stdout] test algorithms::model_finder::tests::test_no_such_literal - should panic ... ok [INFO] [stdout] test io::c2d_format::tests::test_caching ... 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::c2d_format::tests::test_lit_with_and ... ok [INFO] [stdout] test io::d4_format::tests::test_clause ... ok [INFO] [stdout] test io::d4_format::tests::test_edge_from_false ... ok [INFO] [stdout] test io::d4_format::tests::test_edge_content_after_zero ... ok [INFO] [stdout] test io::c2d_format::tests::test_false ... ok [INFO] [stdout] test io::d4_format::tests::test_edge_from_true ... ok [INFO] [stdout] test algorithms::checker::tests::test_not_determinist ... 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_source_equals_target ... ok [INFO] [stdout] test io::d4_format::tests::test_edge_missing_zero ... 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_unknown_target ... ok [INFO] [stdout] test algorithms::model_finder::tests::test_or_and ... ok [INFO] [stdout] test io::d4_format::tests::test_node_cycle ... ok [INFO] [stdout] test io::d4_format::tests::test_node_unreachable ... ok [INFO] [stdout] test io::d4_format::tests::test_node_wrong_index ... 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_ok ... ok [INFO] [stdout] test io::d4_format::tests::test_node_not_a_zero ... ok [INFO] [stdout] test io::d4_format::tests::test_node_unexpected_kind ... ok [INFO] [stdout] test algorithms::model_enumerator::tests::test_tautology ... ok [INFO] [stdout] test io::d4_format::tests::test_node_missing_zero ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 55 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s [INFO] [stdout] [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/decdnnf_rs-788c9f1b3a46c21d) [INFO] [stdout] [INFO] [stdout] running 15 tests [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] decdnnf_rs 0.1.1 [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] decdnnf_rs 0.1.1 [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] author [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] about [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] USAGE: [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] app_name [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] FLAGS: [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] -h, --help [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] Prints help information [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] SUBCOMMANDS: [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] help Prints this message or the help of the given subcommand(s) [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] local_command_name local_command_about [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] decdnnf_rs 0.1.1 [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] local_command_name [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] local_command_about [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] USAGE: [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] local_command_name [FLAGS] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] FLAGS: [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] -a [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] -h, --help [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] Prints help information [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] author [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] about [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] USAGE: [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] app_name [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] FLAGS: [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] -h, --help [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] Prints help information [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] SUBCOMMANDS: [INFO] [stdout] test app::app_helper::tests::test_no_args ... ![INFO ] [2025-09-01 08:20:21] help Prints this message or the help of the given subcommand(s) [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] local_command_name local_command_about [INFO] [stdout] ok [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [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::cli_manager::tests::test_help_for_subcommand ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] local_command_name [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] local_command_about [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] USAGE: [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] local_command_name [FLAGS] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] FLAGS: [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] -a [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] -h, --help [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] Prints help information [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] app_name app_version [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] app_name app_version [INFO] [stdout] test app::cli_manager::tests::test_no_subcommand ... ok [INFO] [stdout] test app::cli_manager::tests::test_help_subcommand ... ok [INFO] [stdout] test app::writable_string::tests::test_display ... ok [INFO] [stdout] test app::cli_manager::tests::test_subcommand_help ... ok [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::writable_string::tests::test_debug ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] decdnnf_rs 0.1.1 [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] running on 0835f8a7acd0 [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] total memory: 16762834944 KB [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] ---------------------------------------- [INFO] [stdout] test app::cli_manager::tests::test_command_involved ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] running on 0835f8a7acd0 [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] total memory: 16762834944 KB [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] ---------------------------------------- [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] exiting successfully after 122.922753ms [INFO] [stdout] test app::app_helper::tests::test_subcommand_ok ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] running on 0835f8a7acd0 [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] total memory: 16762834944 KB [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] ---------------------------------------- [INFO] [stdout] test app::app_helper::tests::test_subcommand_err ... ok [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] running on 0835f8a7acd0 [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] OS is Ubuntu 24.04 with kernel 6.14.0-1014-gcp [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] physical core count: 8 ["AMD EPYC 7B13"] [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] total memory: 16762834944 KB [INFO] [stdout] ![INFO ] [2025-09-01 08:20:21] ---------------------------------------- [INFO] [stdout] test app::cli_manager::tests::test_command_and_arg_involved ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.21s [INFO] [stdout] [INFO] [stderr] Doc-tests decdnnf_rs [INFO] [stdout] [INFO] [stdout] running 9 tests [INFO] [stdout] test src/algorithms/model_finder.rs - algorithms::model_finder::ModelFinder (line 13) ... ok [INFO] [stdout] test src/core/bottom_up_traversal.rs - core::bottom_up_traversal::BottomUpTraversal (line 14) ... ok [INFO] [stdout] test src/core/decision_dnnf.rs - core::decision_dnnf::Literal (line 18) ... ok [INFO] [stdout] test src/io/d4_format.rs - io::d4_format::Reader::read (line 33) ... ok [INFO] [stdout] test src/core/bottom_up_traversal.rs - core::bottom_up_traversal::BiBottomUpVisitor (line 119) ... ok [INFO] [stdout] test src/algorithms/checker.rs - algorithms::checker::CheckingVisitor (line 22) ... ok [INFO] [stdout] test src/algorithms/model_enumerator.rs - algorithms::model_enumerator::ModelEnumerator (line 43) ... ok [INFO] [stdout] test src/algorithms/model_counter.rs - algorithms::model_counter::ModelCountingVisitor (line 13) ... ok [INFO] [stdout] test src/algorithms/model_enumerator.rs - algorithms::model_enumerator::ModelEnumerator (line 23) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.35s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "0835f8a7acd0dba7597ea275d10c3f55421a2423820f97a457e8e3317cdc2616", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0835f8a7acd0dba7597ea275d10c3f55421a2423820f97a457e8e3317cdc2616", kill_on_drop: false }` [INFO] [stdout] 0835f8a7acd0dba7597ea275d10c3f55421a2423820f97a457e8e3317cdc2616