[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] 1366658cb1c7be653035ae2510851c11bf66c888
[INFO] testing sybila/biodivine-adf-solver against try#33835004928d3bf65db4d4712e1330766263b0bd for pr-155739
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsybila%2Fbiodivine-adf-solver" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  33% (486/1455)
Updating files:  34% (495/1455)
Updating files:  35% (510/1455)
Updating files:  36% (524/1455)
Updating files:  37% (539/1455)
Updating files:  38% (553/1455)
Updating files:  39% (568/1455)
Updating files:  40% (582/1455)
Updating files:  41% (597/1455)
Updating files:  42% (612/1455)
Updating files:  43% (626/1455)
Updating files:  44% (641/1455)
Updating files:  45% (655/1455)
Updating files:  46% (670/1455)
Updating files:  47% (684/1455)
Updating files:  48% (699/1455)
Updating files:  49% (713/1455)
Updating files:  50% (728/1455)
Updating files:  50% (729/1455)
Updating files:  51% (743/1455)
Updating files:  52% (757/1455)
Updating files:  53% (772/1455)
Updating files:  54% (786/1455)
Updating files:  55% (801/1455)
Updating files:  56% (815/1455)
Updating files:  57% (830/1455)
Updating files:  58% (844/1455)
Updating files:  59% (859/1455)
Updating files:  60% (873/1455)
Updating files:  61% (888/1455)
Updating files:  62% (903/1455)
Updating files:  63% (917/1455)
Updating files:  64% (932/1455)
Updating files:  65% (946/1455)
Updating files:  66% (961/1455)
Updating files:  67% (975/1455)
Updating files:  68% (990/1455)
Updating files:  69% (1004/1455)
Updating files:  70% (1019/1455)
Updating files:  71% (1034/1455)
Updating files:  72% (1048/1455)
Updating files:  73% (1063/1455)
Updating files:  74% (1077/1455)
Updating files:  75% (1092/1455)
Updating files:  76% (1106/1455)
Updating files:  77% (1121/1455)
Updating files:  78% (1135/1455)
Updating files:  79% (1150/1455)
Updating files:  80% (1164/1455)
Updating files:  81% (1179/1455)
Updating files:  82% (1194/1455)
Updating files:  83% (1208/1455)
Updating files:  84% (1223/1455)
Updating files:  85% (1237/1455)
Updating files:  86% (1252/1455)
Updating files:  87% (1266/1455)
Updating files:  88% (1281/1455)
Updating files:  89% (1295/1455)
Updating files:  90% (1310/1455)
Updating files:  91% (1325/1455)
Updating files:  92% (1339/1455)
Updating files:  93% (1354/1455)
Updating files:  94% (1368/1455)
Updating files:  95% (1383/1455)
Updating files:  96% (1397/1455)
Updating files:  97% (1412/1455)
Updating files:  98% (1426/1455)
Updating files:  99% (1441/1455)
Updating files: 100% (1455/1455)
Updating files: 100% (1455/1455), 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-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/sybila/biodivine-adf-solver on toolchain 33835004928d3bf65db4d4712e1330766263b0bd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "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" "+33835004928d3bf65db4d4712e1330766263b0bd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 34f219ec189052ac5ad4f4c41eea95ee73ed11b66182937f01941bd896ef56e0
[INFO] running `Command { std: "docker" "start" "-a" "34f219ec189052ac5ad4f4c41eea95ee73ed11b66182937f01941bd896ef56e0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "34f219ec189052ac5ad4f4c41eea95ee73ed11b66182937f01941bd896ef56e0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "34f219ec189052ac5ad4f4c41eea95ee73ed11b66182937f01941bd896ef56e0", kill_on_drop: false }`
[INFO] [stdout] 34f219ec189052ac5ad4f4c41eea95ee73ed11b66182937f01941bd896ef56e0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 97598e39abecad641316595a01fc7d51f1e65fdf276c7b3b2ed9b7bbee8c154d
[INFO] running `Command { std: "docker" "start" "-a" "97598e39abecad641316595a01fc7d51f1e65fdf276c7b3b2ed9b7bbee8c154d", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling lazy_static v1.5.0
[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 fxhash v0.2.1
[INFO] [stderr]    Compiling log v0.4.28
[INFO] [stderr]    Compiling dyn-clone v1.0.20
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[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 aho-corasick v1.1.4
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling regex v1.12.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 39.87s
[INFO] running `Command { std: "docker" "inspect" "97598e39abecad641316595a01fc7d51f1e65fdf276c7b3b2ed9b7bbee8c154d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "97598e39abecad641316595a01fc7d51f1e65fdf276c7b3b2ed9b7bbee8c154d", kill_on_drop: false }`
[INFO] [stdout] 97598e39abecad641316595a01fc7d51f1e65fdf276c7b3b2ed9b7bbee8c154d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7a7ded132afdaff23988661e989aaa9014fabf4cfddd6f5c2dac3108127d84a1
[INFO] running `Command { std: "docker" "start" "-a" "7a7ded132afdaff23988661e989aaa9014fabf4cfddd6f5c2dac3108127d84a1", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling winnow v0.7.13
[INFO] [stderr]    Compiling equivalent v1.0.2
[INFO] [stderr]    Compiling hashbrown v0.16.0
[INFO] [stderr]    Compiling semver v1.0.27
[INFO] [stderr]    Compiling toml_datetime v0.7.3
[INFO] [stderr]    Compiling pin-project-lite v0.2.16
[INFO] [stderr]    Compiling futures-core v0.3.31
[INFO] [stderr]    Compiling relative-path v1.9.3
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]    Compiling slab v0.4.11
[INFO] [stderr]    Compiling futures-task v0.3.31
[INFO] [stderr]    Compiling rustc_version v0.4.1
[INFO] [stderr]    Compiling pin-utils v0.1.0
[INFO] [stderr]    Compiling futures-timer v3.0.3
[INFO] [stderr]    Compiling indexmap v2.12.0
[INFO] [stderr]    Compiling rstest_macros v0.26.1
[INFO] [stderr]    Compiling syn v2.0.110
[INFO] [stderr]    Compiling toml_parser v1.0.4
[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 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 28.71s
[INFO] running `Command { std: "docker" "inspect" "7a7ded132afdaff23988661e989aaa9014fabf4cfddd6f5c2dac3108127d84a1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7a7ded132afdaff23988661e989aaa9014fabf4cfddd6f5c2dac3108127d84a1", kill_on_drop: false }`
[INFO] [stdout] 7a7ded132afdaff23988661e989aaa9014fabf4cfddd6f5c2dac3108127d84a1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] b1f0773366c9f9209b4cc34cc548b60346fd629e334f9262a08488facfbab44c
[INFO] running `Command { std: "docker" "start" "-a" "b1f0773366c9f9209b4cc34cc548b60346fd629e334f9262a08488facfbab44c", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.14s
[INFO] [stdout] 
[INFO] [stdout] running 496 tests
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/biodivine_bass-259643c14d7df145)
[INFO] [stdout] test adf_bdds::tests::test_adf_bdds_statements_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_adf_bdds_statements_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_conversion_succeeds_with_fixed_missing_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_encoding_accessors ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_true_bdd ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_creation ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_and ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_false_bdd ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_get_literal ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_single_literal ... 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_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_direct_map_size_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_size_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_accessors ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_complex_adf ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_accessor ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_allows_valid_valuations ... ok
[INFO] [stdout] test adf_bdds::tests::test_adf_bdds_statements_single ... 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_multiple_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_creation ... 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_dual_map_size_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_size_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_variable_id_pairs_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_variable_id_pairs_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_variable_id_pairs_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_and ... 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_single_statement ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_three_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_complex_nested ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_excludes_invalid_valuations ... 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_implication ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_exclusive_or ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_negation ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_or ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_or_multiple_operands ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_statement ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_false ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_true ... 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_multiple_free ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_no_conditions ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_identity_condition ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_multiple_variables ... ok
[INFO] [stdout] test adf_bdds::tests::test_from_adf_expressions_owned ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_single_negative ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_both_dual_variables ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_single_positive ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_two_valued_interpretations_all_fixed ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_non_identity_condition ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_two_valued_interpretations_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_mixed ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_two_valued_interpretations_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_most_zero_model_all_false ... ok
[INFO] [stdout] test adf_bdds::tests::test_most_zero_model_one_true ... ok
[INFO] [stdout] test adf_bdds::tests::test_most_zero_model_multiple_options ... 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_expressions::tests::test_add_condition_existing_statement_no_condition ... 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_statement_new ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_empty_adf ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_complex_expression ... ok
[INFO] [stdout] test adf_expressions::tests::test_add_statement_with_existing_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_idempotent ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_nested ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_multiple_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_parse_roundtrip ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_ternary_or ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_with_constants ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_free_statements_unchanged ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_ternary_and ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_complex_nested ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_duplicates_removed ... 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_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_simple ... 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_build_dependency_map_no_dependencies ... ok
[INFO] [stdout] test adf_expressions::tests::test_conditions_only_free_statements ... ok
[INFO] [stdout] test adf_expressions::tests::test_default_creates_empty_adf ... ok
[INFO] [stdout] test adf_expressions::tests::test_default_equivalent_to_new ... ok
[INFO] [stdout] test adf_expressions::tests::test_conditions_mixed ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_self_reference ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_nested ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_equivalence ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_implication ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_xor ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_complex ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_none ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_complex ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_idempotent ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_none ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_free_statements_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_free_statements_all_have_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_free_statements_mixed ... 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_has_statement_does_not_exist ... ok
[INFO] [stdout] test adf_bdds::tests::test_conversion_fails_with_missing_statements - should panic ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_indexing_panic - should panic ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_indexing_panic - should panic ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_08 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_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_parse_and_fix_file_success ... FAILED
[INFO] [stdout] test adf_expressions::tests::test_parse_and_fix_no_missing ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_and_fix_with_missing ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_complex_expressions ... 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_different_statements_ok ... 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_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_invalid_expression ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_malformed_line ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_missing_comma_in_ac ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_missing_comma_in_ac_multiline ... 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_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_string_label ... 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_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_all_test_instances::case_10 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_03 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_01 has been running for over 60 seconds
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_02 has been running for over 60 seconds
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_04 has been running for over 60 seconds
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_01 has been running for over 60 seconds
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_05 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_02 has been running for over 60 seconds
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_03 has been running for over 60 seconds
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_02 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_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_04 has been running for over 60 seconds
[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_06 ... 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] [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-259643c14d7df145` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "b1f0773366c9f9209b4cc34cc548b60346fd629e334f9262a08488facfbab44c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b1f0773366c9f9209b4cc34cc548b60346fd629e334f9262a08488facfbab44c", kill_on_drop: false }`
[INFO] [stdout] b1f0773366c9f9209b4cc34cc548b60346fd629e334f9262a08488facfbab44c
