[INFO] cloning repository https://github.com/sybila/biodivine-adf-solver
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/sybila/biodivine-adf-solver" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsybila%2Fbiodivine-adf-solver", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsybila%2Fbiodivine-adf-solver'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] c3ccbda1ef85aaa5e97069cb67cd0f28512ed90e
[INFO] testing sybila/biodivine-adf-solver against master#2fd6efc32704647e64d3d646d21c4c68eae100e4 for pr-149852-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsybila%2Fbiodivine-adf-solver" "/workspace/builds/worker-0-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  33% (489/1442)
Updating files:  34% (491/1442)
Updating files:  35% (505/1442)
Updating files:  36% (520/1442)
Updating files:  37% (534/1442)
Updating files:  38% (548/1442)
Updating files:  39% (563/1442)
Updating files:  40% (577/1442)
Updating files:  41% (592/1442)
Updating files:  42% (606/1442)
Updating files:  43% (621/1442)
Updating files:  44% (635/1442)
Updating files:  45% (649/1442)
Updating files:  46% (664/1442)
Updating files:  47% (678/1442)
Updating files:  48% (693/1442)
Updating files:  49% (707/1442)
Updating files:  49% (716/1442)
Updating files:  50% (721/1442)
Updating files:  51% (736/1442)
Updating files:  52% (750/1442)
Updating files:  53% (765/1442)
Updating files:  54% (779/1442)
Updating files:  55% (794/1442)
Updating files:  56% (808/1442)
Updating files:  57% (822/1442)
Updating files:  58% (837/1442)
Updating files:  59% (851/1442)
Updating files:  60% (866/1442)
Updating files:  61% (880/1442)
Updating files:  62% (895/1442)
Updating files:  63% (909/1442)
Updating files:  64% (923/1442)
Updating files:  65% (938/1442)
Updating files:  66% (952/1442)
Updating files:  67% (967/1442)
Updating files:  68% (981/1442)
Updating files:  69% (995/1442)
Updating files:  70% (1010/1442)
Updating files:  71% (1024/1442)
Updating files:  72% (1039/1442)
Updating files:  73% (1053/1442)
Updating files:  74% (1068/1442)
Updating files:  75% (1082/1442)
Updating files:  76% (1096/1442)
Updating files:  77% (1111/1442)
Updating files:  78% (1125/1442)
Updating files:  79% (1140/1442)
Updating files:  80% (1154/1442)
Updating files:  81% (1169/1442)
Updating files:  82% (1183/1442)
Updating files:  83% (1197/1442)
Updating files:  84% (1212/1442)
Updating files:  85% (1226/1442)
Updating files:  86% (1241/1442)
Updating files:  87% (1255/1442)
Updating files:  88% (1269/1442)
Updating files:  89% (1284/1442)
Updating files:  90% (1298/1442)
Updating files:  91% (1313/1442)
Updating files:  92% (1327/1442)
Updating files:  93% (1342/1442)
Updating files:  94% (1356/1442)
Updating files:  95% (1370/1442)
Updating files:  96% (1385/1442)
Updating files:  97% (1399/1442)
Updating files:  98% (1414/1442)
Updating files:  99% (1428/1442)
Updating files: 100% (1442/1442)
Updating files: 100% (1442/1442), done.
[INFO] started tweaking git repo https://github.com/sybila/biodivine-adf-solver
[INFO] finished tweaking git repo https://github.com/sybila/biodivine-adf-solver
[INFO] tweaked toml for git repo https://github.com/sybila/biodivine-adf-solver written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/sybila/biodivine-adf-solver on toolchain 2fd6efc32704647e64d3d646d21c4c68eae100e4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/sybila/biodivine-adf-solver 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" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Updating git repository `https://github.com/sybila/ruddy.git`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded replace_with v0.1.8
[INFO] [stderr]   Downloaded biodivine-lib-bdd v0.6.2
[INFO] [stderr]   Downloaded cancel-this v0.3.0
[INFO] [stderr]   Downloaded jiff-static v0.2.16
[INFO] [stderr]   Downloaded bitvector v0.1.5
[INFO] [stderr]   Downloaded jiff v0.2.16
[INFO] [stderr]   Downloaded biodivine-lib-param-bn v0.6.3
[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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 17983241f38d350f349f5fb30af4aac71061c0e82f60b31f255f4c6907896ba3
[INFO] running `Command { std: "docker" "start" "-a" "17983241f38d350f349f5fb30af4aac71061c0e82f60b31f255f4c6907896ba3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "17983241f38d350f349f5fb30af4aac71061c0e82f60b31f255f4c6907896ba3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "17983241f38d350f349f5fb30af4aac71061c0e82f60b31f255f4c6907896ba3", kill_on_drop: false }`
[INFO] [stdout] 17983241f38d350f349f5fb30af4aac71061c0e82f60b31f255f4c6907896ba3
[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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 17fe160ecc11231cdf52d65468e3fafc3d0655b9dbac295bcb46528cfad1683c
[INFO] running `Command { std: "docker" "start" "-a" "17fe160ecc11231cdf52d65468e3fafc3d0655b9dbac295bcb46528cfad1683c", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling log v0.4.28
[INFO] [stderr]    Compiling dyn-clone v1.0.20
[INFO] [stderr]    Compiling replace_with v0.1.8
[INFO] [stderr]    Compiling bitvector v0.1.5
[INFO] [stderr]    Compiling roxmltree v0.20.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling cancel-this v0.3.0
[INFO] [stderr]    Compiling ruddy v0.0.2 (https://github.com/sybila/ruddy.git?rev=e9b014b7fe3f5b1e8929632dc8a5ca4f9cde717e#e9b014b7)
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling biodivine-lib-bdd v0.6.2
[INFO] [stderr]    Compiling biodivine-lib-param-bn v0.6.3
[INFO] [stderr]    Compiling biodivine-bass v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 22.98s
[INFO] running `Command { std: "docker" "inspect" "17fe160ecc11231cdf52d65468e3fafc3d0655b9dbac295bcb46528cfad1683c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "17fe160ecc11231cdf52d65468e3fafc3d0655b9dbac295bcb46528cfad1683c", kill_on_drop: false }`
[INFO] [stdout] 17fe160ecc11231cdf52d65468e3fafc3d0655b9dbac295bcb46528cfad1683c
[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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ae0275aa3c25332e16ef250dc933fe7692cadd8d045695a2d6c390c00951391a
[INFO] running `Command { std: "docker" "start" "-a" "ae0275aa3c25332e16ef250dc933fe7692cadd8d045695a2d6c390c00951391a", kill_on_drop: false }`
[INFO] [stderr]    Compiling indexmap v2.12.0
[INFO] [stderr]    Compiling syn v2.0.110
[INFO] [stderr]    Compiling toml_edit v0.23.7
[INFO] [stderr]    Compiling proc-macro-crate v3.4.0
[INFO] [stderr]    Compiling futures-macro v0.3.31
[INFO] [stderr]    Compiling rstest_macros v0.26.1
[INFO] [stderr]    Compiling futures-util v0.3.31
[INFO] [stderr]    Compiling rstest v0.26.1
[INFO] [stderr]    Compiling biodivine-bass v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 15.85s
[INFO] running `Command { std: "docker" "inspect" "ae0275aa3c25332e16ef250dc933fe7692cadd8d045695a2d6c390c00951391a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ae0275aa3c25332e16ef250dc933fe7692cadd8d045695a2d6c390c00951391a", kill_on_drop: false }`
[INFO] [stdout] ae0275aa3c25332e16ef250dc933fe7692cadd8d045695a2d6c390c00951391a
[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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 274caad99a78f8d7445804e972c6f5905b6d4d5060a8d7c8889922f9565ba08b
[INFO] running `Command { std: "docker" "start" "-a" "274caad99a78f8d7445804e972c6f5905b6d4d5060a8d7c8889922f9565ba08b", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.10s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/biodivine_bass-030e9b0851622d77)
[INFO] [stdout] 
[INFO] [stdout] running 496 tests
[INFO] [stdout] test adf_bdds::tests::test_adf_bdds_statements_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_and ... ok
[INFO] [stdout] test adf_bdds::tests::test_adf_bdds_statements_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_single_literal ... ok
[INFO] [stdout] test adf_bdds::tests::test_conversion_succeeds_with_fixed_missing_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_false_bdd ... ok
[INFO] [stdout] test adf_bdds::tests::test_adf_bdds_statements_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_three_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_true_bdd ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_get ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_indexing ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_encoding_accessors ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_creation ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_get_literal ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_with_free_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_allows_valid_valuations ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_last_valid_variable_id ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_size_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_single_statement ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_accessors ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_size_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_creation ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_accessor ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_get ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_get_literals ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_indexing ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_individual_literals ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_last_valid_variable_id ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_size_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_complex_nested ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_multiple_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_and_multiple_operands ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_excludes_invalid_valuations ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_size_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_variable_id_pairs_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_variable_id_pairs_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_size_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_and ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_constants ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_equivalence ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_deeply_nested ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_negation ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_exclusive_or ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_statement ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_implication ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_false ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_or_multiple_operands ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_no_conditions ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_identity_condition ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_preserves_non_free ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_true ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_multiple_free ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_complex_adf ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_or ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_variable_id_pairs_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_identity_condition ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_mixed ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_both_dual_variables ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_two_valued_interpretations_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_most_zero_model_one_true ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_two_valued_interpretations_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_symbolic_adf_basic ... ok
[INFO] [stdout] test adf_expressions::tests::test_add_condition_duplicate_fails ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_single_positive ... ok
[INFO] [stdout] test adf_expressions::tests::test_add_condition_new_statement ... ok
[INFO] [stdout] test adf_expressions::tests::test_add_statement_existing ... ok
[INFO] [stdout] test adf_expressions::tests::test_add_condition_existing_statement_no_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_add_statement_new ... ok
[INFO] [stdout] test adf_bdds::tests::test_most_zero_model_multiple_options ... ok
[INFO] [stdout] test adf_bdds::tests::test_most_zero_model_all_false ... ok
[INFO] [stdout] test adf_bdds::tests::test_from_adf_expressions_owned ... ok
[INFO] [stdout] test adf_expressions::tests::test_add_statement_with_existing_condition ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_non_identity_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_free_statements_unchanged ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_multiple_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_nested ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_idempotent ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_ternary_and ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_complex_expression ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_ternary_or ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_parse_roundtrip ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_with_constants ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_complex_nested ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_free_statements_excluded ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_multiple_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_conditions_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_empty_adf ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_self_reference ... ok
[INFO] [stdout] test adf_expressions::tests::test_conditions_mixed ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_duplicates_removed ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_no_dependencies ... ok
[INFO] [stdout] test adf_expressions::tests::test_default_equivalent_to_new ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_complex ... ok
[INFO] [stdout] test adf_expressions::tests::test_conditions_only_free_statements ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_equivalence ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_implication ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_none ... ok
[INFO] [stdout] test adf_expressions::tests::test_default_creates_empty_adf ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_none ... ok
[INFO] [stdout] test adf_expressions::tests::test_free_statements_all_have_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_nested ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_idempotent ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_xor ... ok
[INFO] [stdout] test adf_expressions::tests::test_free_statements_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_complex ... ok
[INFO] [stdout] test adf_expressions::tests::test_has_statement_exists ... ok
[INFO] [stdout] test adf_expressions::tests::test_has_statement_with_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_free_statements_mixed ... ok
[INFO] [stdout] test adf_expressions::tests::test_has_statement_does_not_exist ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_multiple_variables ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_single_negative ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_two_valued_interpretations_all_fixed ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_and_fix_no_missing ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_size_multiple ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_and_fix_with_missing ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_condition_string_label ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_condition_without_declaration ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_complex_expressions ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_duplicate_condition_complex ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_duplicate_condition_mixed_order ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_different_statements_ok ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_duplicate_condition_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_duplicate_condition_without_declaration ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_file_nonexistent ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_file_success ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_malformed_line ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_invalid_expression ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_missing_comma_in_ac ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_mixed_numeric_and_string_labels ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_real_example ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_missing_comma_in_ac_multiline ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_simple_adf ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_statement_long_form ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_statement_mixed_forms ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_statement_redeclaration_is_ok ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_statement_without_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_string_labels ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_string_labels_long_form ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_unordered_declarations ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_with_comments_and_empty_lines ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_statement_string_label ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_08 ... ok
[INFO] [stdout] test adf_bdds::tests::test_conversion_fails_with_missing_statements - should panic ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_indexing_panic - should panic ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_indexing_panic - should panic ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_and_fix_file_success ... FAILED
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_07 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_08 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_07 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_09 ... ok
[INFO] [stdout] test adf_expressions::tests::test_remove_condition_already_none ... ok
[INFO] [stdout] test adf_expressions::tests::test_remove_condition_existing ... ok
[INFO] [stdout] test adf_expressions::tests::test_remove_condition_nonexistent_statement ... ok
[INFO] [stdout] test adf_expressions::tests::test_remove_statement_existing ... ok
[INFO] [stdout] test adf_expressions::tests::test_remove_statement_nonexistent ... ok
[INFO] [stdout] test adf_expressions::tests::test_remove_statement_with_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_all_operators ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_chain ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_complex_expression ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_multiple_occurrences ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_nonexistent_fails ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_parse_roundtrip ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_preserves_other_statements ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_referenced_in_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_self_referential ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_string_labels ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_target_exists_fails ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_with_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_with_free_statement ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_complex_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_conflict_fails ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_empty_map ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_multiple ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_nonexistent_fails ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_parse_roundtrip ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_preserves_free_statements ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_single ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_swap_allowed ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_with_self_reference ... ok
[INFO] [stdout] test adf_expressions::tests::test_statements_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_statements_multiple ... ok
[INFO] [stdout] test adf_expressions::tests::test_statements_single ... ok
[INFO] [stdout] test adf_expressions::tests::test_statements_with_and_without_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_all_operators ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_chain ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_complex_expression ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_empty_adf ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_free_statements_unchanged ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_multiple_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_no_occurrences ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_parse_roundtrip ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_preserves_statements ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_self_reference ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_with_complex_replacement ... ok
[INFO] [stdout] test adf_expressions::tests::test_update_condition_existing_no_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_update_condition_existing_with_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_update_condition_new_statement ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_complex_expression ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_file_roundtrip ... FAILED
[INFO] [stdout] test adf_expressions::tests::test_write_file_success ... FAILED
[INFO] [stdout] test adf_expressions::tests::test_write_mixed_statements ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_parse_roundtrip ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_real_example ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_sorted_order ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_statement_with_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_statement_without_condition ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_admissible_simple_constant_true ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_admissible_two_statements ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_admissible_with_free_statement ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_complete_simple_constant_true ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_complete_two_statements ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_complete_with_free_statement ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_preferred_mutual_dependency ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_preferred_simple_constant_true ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_preferred_two_statements_one_free ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_simple_adf_constant_true ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_complex_and_or ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_constant_false ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_empty_result ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_minimal_ones ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_multiple_minimal_models ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_mutual_dependency ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_negation ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_self_reference ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_simple_constant_true ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_three_statements_chain ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_with_free_statement ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_two_statements ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_with_free_statement ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_contradiction ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_empty ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_shared_contradiction ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_shared_empty ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_shared_simple ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_shared_single ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_shared_with_false ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_shared_with_true ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_simple ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_single ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_with_false ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_with_true ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_contradiction ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_empty ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_shared_contradiction ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_shared_empty ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_shared_simple ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_shared_single ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_shared_with_false ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_shared_with_true ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_simple ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_single ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_with_false ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_with_true ... ok
[INFO] [stdout] test bdd_solver::tests::test_solvers_equivalence_complex ... ok
[INFO] [stdout] test bdd_solver::tests::test_solvers_equivalence_simple ... ok
[INFO] [stdout] test bdd_solver::tests::test_solvers_with_many_constraints ... ok
[INFO] [stdout] test bn_conversions::tests::test_adf_to_bn_simple ... ok
[INFO] [stdout] test bn_conversions::tests::test_bn_to_adf_simple ... ok
[INFO] [stdout] test bn_conversions::tests::test_network_with_parameters_rejected - should panic ... ok
[INFO] [stdout] test bn_conversions::tests::test_numeric_identifier_conversion ... ok
[INFO] [stdout] test bn_conversions::tests::test_roundtrip_conversion ... ok
[INFO] [stdout] test condition_expression::tests::test_and_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_already_binary ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_and_empty ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_and_four ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_and_single ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_and_three ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_and_two ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_complex_mixed ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_constant ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_deeply_nested ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_equivalence ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_idempotent ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_implication ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_negation ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_nested_and_or ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_or_empty ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_or_five ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_or_single ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_or_three ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_or_two ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_statement ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_with_negation ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_xor ... ok
[INFO] [stdout] test condition_expression::tests::test_cloning ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_and ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_constant ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_duplicates ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_equivalence ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_implication ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_negation ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_nested ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_single_statement ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_sorted ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_xor ... ok
[INFO] [stdout] test condition_expression::tests::test_constant_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_display_and ... ok
[INFO] [stdout] test condition_expression::tests::test_display_constant_false ... ok
[INFO] [stdout] test condition_expression::tests::test_display_constant_true ... ok
[INFO] [stdout] test condition_expression::tests::test_display_negation ... ok
[INFO] [stdout] test condition_expression::tests::test_display_nested ... ok
[INFO] [stdout] test condition_expression::tests::test_display_parse_roundtrip ... ok
[INFO] [stdout] test condition_expression::tests::test_display_statement ... ok
[INFO] [stdout] test condition_expression::tests::test_equivalence_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_exclusive_or_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_binary_and ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_binary_or ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_constant ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_deeply_nested_non_binary ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_empty_and ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_implication_binary ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_implication_non_binary ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_negation_binary ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_negation_non_binary ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_nested ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_statement ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_ternary_and ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_ternary_or ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_unary_and ... ok
[INFO] [stdout] test condition_expression::tests::test_implication_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_negation_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_nested_expressions ... ok
[INFO] [stdout] test condition_expression::tests::test_none_returns_for_wrong_type ... ok
[INFO] [stdout] test condition_expression::tests::test_or_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_statement_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_and_simple ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_chain ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_constant_unchanged ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_equivalence ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_implication ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_all_occurrences ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_all_operators ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_complex_replacement ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_empty_map ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_multiple ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_nested ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_no_match ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_single ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_negation ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_nested_complex ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_no_occurrences ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_or_multiple_occurrences ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_statement_match ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_statement_no_match ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_with_complex_replacement ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_xor ... ok
[INFO] [stdout] test condition_expression::tests::test_try_from_invalid_expression ... ok
[INFO] [stdout] test condition_expression::tests::test_try_from_roundtrip ... ok
[INFO] [stdout] test condition_expression::tests::test_try_from_valid_expression ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_expect_method_wrong_token ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_and_three_operands ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_and_two_operands ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_complex_from_test_file ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_complex_with_string_labels ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_constant_false ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_constant_incomplete ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_constant_true ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_constant_with_number ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_constant_with_wrong_token ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_deeply_nested_expression ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_empty_string_fails ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_equivalence ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_expression_starting_with_unexpected_token ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_extra_tokens_fails ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_implication ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_incomplete_expression_fails ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_mixed_labels_in_expression ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_negation ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_nested_expression ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_numeric_string_as_statement ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_or_two_operands ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_real_example_1 ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_real_example_2 ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_real_example_3 ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_real_example_4 ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_real_example_5 ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_statement_number ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_string_label_with_numbers ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_string_label_with_underscores ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_string_statement_label ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_unknown_identifier_fails ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_with_whitespace ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_wrong_closing_paren ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_xor ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_comma ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_complex_expression ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_identifier ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_invalid_character ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_number ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_parentheses ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_string_labels ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_with_whitespace ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_and ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_complex_from_test_files ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_constant_false ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_constant_true ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_deeply_nested_expression ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_equivalence ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_implication ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_negation ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_nested_expression ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_or ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_simple_statement ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_with_whitespace ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_xor ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_and_three_operands ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_and_two_operands ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_complex_expression ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_constant_false ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_constant_true ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_deeply_nested_expression ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_equivalence ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_implication ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_multiple_negations ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_negation ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_nested_expression ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_or_two_operands ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_statement ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_very_complex_expression ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_xor ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_clone ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_encoding_accessor ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_extend_with_looser_models ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_intersect ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_is_empty ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_minus ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_mk_exactly_k_free_statements ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_model_count_both_literals ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_model_count_false ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_model_count_single_positive_literal ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_model_count_valid ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_most_fixed_model ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_partial_eq_different_bdd ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_partial_eq_equal ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_symbolic_set_accessor ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_union ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_clone ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_encoding_accessor ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_extend_with_more_ones_all_true ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_extend_with_more_ones_empty ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_extend_with_more_ones_partial ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_extend_with_more_ones_single_model ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_intersect_non_overlapping ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_intersect_overlapping ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_intersect_with_empty ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_is_empty_false ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_is_empty_single_model ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_is_empty_true ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_iter_models_all_true ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_iter_models_and ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_iter_models_empty ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_iter_models_single_literal ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_minus_non_overlapping ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_minus_overlapping ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_minus_self ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_mk_exactly_k_one_statements_k0 ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_mk_exactly_k_one_statements_k1 ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_mk_exactly_k_one_statements_k2 ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_mk_exactly_k_one_statements_k_too_large ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_model_count_and ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_model_count_complex_expression ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_model_count_false ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_model_count_single_literal ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_model_count_true ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_most_zero_model_all_false ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_most_zero_model_multiple_options ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_most_zero_model_one_true ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_partial_eq_different_bdd ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_partial_eq_equal ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_symbolic_set_accessor ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_union_non_overlapping ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_union_overlapping ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_union_with_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_05 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_06 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_09 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_05 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_10 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_06 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_03 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_10 ... ok
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/deps/biodivine_bass-030e9b0851622d77` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "274caad99a78f8d7445804e972c6f5905b6d4d5060a8d7c8889922f9565ba08b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "274caad99a78f8d7445804e972c6f5905b6d4d5060a8d7c8889922f9565ba08b", kill_on_drop: false }`
[INFO] [stdout] 274caad99a78f8d7445804e972c6f5905b6d4d5060a8d7c8889922f9565ba08b
