[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 beta-2026-03-05 for beta-1.95-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsybila%2Fbiodivine-adf-solver" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  10% (149/1455)
Updating files:  11% (161/1455)
Updating files:  12% (175/1455)
Updating files:  13% (190/1455)
Updating files:  14% (204/1455)
Updating files:  15% (219/1455)
Updating files:  16% (233/1455)
Updating files:  17% (248/1455)
Updating files:  18% (262/1455)
Updating files:  19% (277/1455)
Updating files:  20% (291/1455)
Updating files:  21% (306/1455)
Updating files:  22% (321/1455)
Updating files:  23% (335/1455)
Updating files:  24% (350/1455)
Updating files:  25% (364/1455)
Updating files:  26% (379/1455)
Updating files:  27% (393/1455)
Updating files:  28% (408/1455)
Updating files:  29% (422/1455)
Updating files:  30% (437/1455)
Updating files:  31% (452/1455)
Updating files:  32% (466/1455)
Updating files:  33% (481/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-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/sybila/biodivine-adf-solver on toolchain beta-2026-03-05
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-03-05" "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" "+beta-2026-03-05" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-03-05" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c2a8a1a899e09bab186b4a596f4fc36f15c26b1cac9b162da5cf43b215766d28
[INFO] running `Command { std: "docker" "start" "-a" "c2a8a1a899e09bab186b4a596f4fc36f15c26b1cac9b162da5cf43b215766d28", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c2a8a1a899e09bab186b4a596f4fc36f15c26b1cac9b162da5cf43b215766d28", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c2a8a1a899e09bab186b4a596f4fc36f15c26b1cac9b162da5cf43b215766d28", kill_on_drop: false }`
[INFO] [stdout] c2a8a1a899e09bab186b4a596f4fc36f15c26b1cac9b162da5cf43b215766d28
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2026-03-05" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 01c66ecd0b1be40d9948e82cf8a0dc6a07916f0c627ddd03013d87f1bb1b5a51
[INFO] running `Command { std: "docker" "start" "-a" "01c66ecd0b1be40d9948e82cf8a0dc6a07916f0c627ddd03013d87f1bb1b5a51", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling log v0.4.28
[INFO] [stderr]    Compiling replace_with v0.1.8
[INFO] [stderr]    Compiling roxmltree v0.20.0
[INFO] [stderr]    Compiling dyn-clone v1.0.20
[INFO] [stderr]    Compiling bitvector v0.1.5
[INFO] [stderr]    Compiling ruddy v0.0.2 (https://github.com/sybila/ruddy.git?rev=e9b014b7fe3f5b1e8929632dc8a5ca4f9cde717e#e9b014b7)
[INFO] [stderr]    Compiling cancel-this v0.3.0
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[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 34.43s
[INFO] running `Command { std: "docker" "inspect" "01c66ecd0b1be40d9948e82cf8a0dc6a07916f0c627ddd03013d87f1bb1b5a51", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "01c66ecd0b1be40d9948e82cf8a0dc6a07916f0c627ddd03013d87f1bb1b5a51", kill_on_drop: false }`
[INFO] [stdout] 01c66ecd0b1be40d9948e82cf8a0dc6a07916f0c627ddd03013d87f1bb1b5a51
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2026-03-05" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] acd2e39529fb46d4ed2cbef13d4d74b990563cb6fa75e474099bd48b06014faf
[INFO] running `Command { std: "docker" "start" "-a" "acd2e39529fb46d4ed2cbef13d4d74b990563cb6fa75e474099bd48b06014faf", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling winnow v0.7.13
[INFO] [stderr]    Compiling hashbrown v0.16.0
[INFO] [stderr]    Compiling toml_datetime v0.7.3
[INFO] [stderr]    Compiling rstest_macros v0.26.1
[INFO] [stderr]    Compiling relative-path v1.9.3
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]    Compiling futures-timer v3.0.3
[INFO] [stderr]    Compiling indexmap v2.12.0
[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.62s
[INFO] running `Command { std: "docker" "inspect" "acd2e39529fb46d4ed2cbef13d4d74b990563cb6fa75e474099bd48b06014faf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "acd2e39529fb46d4ed2cbef13d4d74b990563cb6fa75e474099bd48b06014faf", kill_on_drop: false }`
[INFO] [stdout] acd2e39529fb46d4ed2cbef13d4d74b990563cb6fa75e474099bd48b06014faf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+beta-2026-03-05" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 9ea8fe79d273a935230bb27153cd95e297fd27e6b5411d530a43ebf9efa5a9cd
[INFO] running `Command { std: "docker" "start" "-a" "9ea8fe79d273a935230bb27153cd95e297fd27e6b5411d530a43ebf9efa5a9cd", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.11s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/biodivine_bass-b686370f564c2c80)
[INFO] [stdout] 
[INFO] [stdout] running 496 tests
[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_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_creation ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_get ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_get_literal ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_encoding_accessors ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_indexing ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_single_literal ... ok
[INFO] [stdout] test adf_bdds::tests::test_adf_bdds_statements_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_size_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_size_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_adf_bdds_statements_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_size_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_conversion_succeeds_with_fixed_missing_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_accessors ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_excludes_invalid_valuations ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_multiple_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_last_valid_variable_id ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_single_statement ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_accessor ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_creation ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_allows_valid_valuations ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_with_free_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_get_literals ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_get ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_indexing ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_complex_adf ... 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_individual_literals ... 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_expression_to_bdd_and ... 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_complex_nested ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_and_multiple_operands ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_implication ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_equivalence ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_constants ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_deeply_nested ... 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_multiple_free ... 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_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_free_statements_mixed ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_non_identity_condition ... ok
[INFO] [stdout] test adf_bdds::tests::test_from_adf_expressions_owned ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_no_conditions ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_single_positive ... 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_negative ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_multiple_variables ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_two_valued_interpretations_all_fixed ... 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_expressions::tests::test_add_condition_duplicate_fails ... ok
[INFO] [stdout] test adf_bdds::tests::test_symbolic_adf_basic ... ok
[INFO] [stdout] test adf_expressions::tests::test_add_condition_existing_statement_no_condition ... 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_multiple_options ... 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_binarize_operators_nested ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_multiple_conditions ... 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_parse_roundtrip ... 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_free_statements_unchanged ... 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_build_dependency_map_duplicates_removed ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_complex_nested ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_multiple_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_no_dependencies ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_self_reference ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_conditions_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_conditions_only_free_statements ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_free_statements_excluded ... ok
[INFO] [stdout] test adf_expressions::tests::test_conditions_mixed ... 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_find_missing_statements_complex ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_implication ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_equivalence ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_nested ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_none ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_xor ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_complex ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_idempotent ... ok
[INFO] [stdout] test adf_expressions::tests::test_free_statements_all_have_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_free_statements_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_free_statements_mixed ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_none ... ok
[INFO] [stdout] test adf_expressions::tests::test_has_statement_does_not_exist ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_simple ... 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_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_02 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_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] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_03 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_10 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_04 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_01 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_02 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_01 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_04 ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- adf_expressions::tests::test_parse_and_fix_file_success stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'adf_expressions::tests::test_parse_and_fix_file_success' (148) panicked at src/adf_expressions.rs:1609:56:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58619a90da8a - std[b80a194dd3c418bb]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x58619a90da8a - std[b80a194dd3c418bb]::backtrace_rs::backtrace::trace_unsynchronized::<std[b80a194dd3c418bb]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x58619a90da8a - std[b80a194dd3c418bb]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x58619a90da8a - <<std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[10b6fa85044e1869]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x58619a92380a - <core[10b6fa85044e1869]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x58619a92380a - core[10b6fa85044e1869]::fmt::write
[INFO] [stdout]    6:     0x58619a912562 - std[b80a194dd3c418bb]::io::default_write_fmt::<alloc[dd269455e567d8e9]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x58619a912562 - <alloc[dd269455e567d8e9]::vec::Vec<u8> as std[b80a194dd3c418bb]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x58619a8ec15f - <std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x58619a8ec15f - std[b80a194dd3c418bb]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x58619a905849 - std[b80a194dd3c418bb]::panicking::default_hook
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x58619a4b6a5c - <alloc[dd269455e567d8e9]::boxed::Box<dyn for<'a, 'b> core[10b6fa85044e1869]::ops::function::Fn<(&'a std[b80a194dd3c418bb]::panic::PanicHookInfo<'b>,), Output = ()> + core[10b6fa85044e1869]::marker::Sync + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::Fn<(&std[b80a194dd3c418bb]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   12:     0x58619a4b6a5c - test[826cbc6ef54ab466]::test_main_with_exit_callback::<test[826cbc6ef54ab466]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x58619a905a02 - <alloc[dd269455e567d8e9]::boxed::Box<dyn for<'a, 'b> core[10b6fa85044e1869]::ops::function::Fn<(&'a std[b80a194dd3c418bb]::panic::PanicHookInfo<'b>,), Output = ()> + core[10b6fa85044e1869]::marker::Sync + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::Fn<(&std[b80a194dd3c418bb]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   14:     0x58619a905a02 - std[b80a194dd3c418bb]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x58619a8ec218 - std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x58619a8e3929 - std[b80a194dd3c418bb]::sys::backtrace::__rust_end_short_backtrace::<std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x58619a8ecf2d - __rustc[9698a3e60dd14283]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x58619a92416c - core[10b6fa85044e1869]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x58619a923ee2 - core[10b6fa85044e1869]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/result.rs:1867:5
[INFO] [stdout]   20:     0x58619a3c6b69 - core::result::Result<T,E>::unwrap::h440ff16d36bf0cf7
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/result.rs:1233:23
[INFO] [stdout]   21:     0x58619a3c6b69 - biodivine_bass::adf_expressions::tests::test_parse_and_fix_file_success::h3759eb828c827e8a
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1609:56
[INFO] [stdout]   22:     0x58619a3c7207 - biodivine_bass::adf_expressions::tests::test_parse_and_fix_file_success::{{closure}}::h54ce589a9aec8da3
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1602:41
[INFO] [stdout]   23:     0x58619a441936 - core::ops::function::FnOnce::call_once::h1801fc69db0c57a7
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x58619a4aab3b - <fn() -> core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x58619a4aab3b - test[826cbc6ef54ab466]::__rust_begin_short_backtrace::<core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>, fn() -> core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x58619a4b752b - test[826cbc6ef54ab466]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x58619a4b752b - <core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x58619a4b752b - std[b80a194dd3c418bb]::panicking::catch_unwind::do_call::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}>, core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x58619a4b752b - std[b80a194dd3c418bb]::panicking::catch_unwind::<core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>, core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x58619a4b752b - std[b80a194dd3c418bb]::panic::catch_unwind::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}>, core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x58619a4b752b - test[826cbc6ef54ab466]::run_test_in_process
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x58619a4b752b - test[826cbc6ef54ab466]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x58619a4b2c44 - test[826cbc6ef54ab466]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x58619a4b2c44 - std[b80a194dd3c418bb]::sys::backtrace::__rust_begin_short_backtrace::<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x58619a4ba132 - std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked::<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x58619a4ba132 - <core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x58619a4ba132 - std[b80a194dd3c418bb]::panicking::catch_unwind::do_call::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x58619a4ba132 - std[b80a194dd3c418bb]::panicking::catch_unwind::<(), core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x58619a4ba132 - std[b80a194dd3c418bb]::panic::catch_unwind::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x58619a4ba132 - std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked::<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x58619a4ba132 - <std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1} as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x58619a90ce7f - <alloc[dd269455e567d8e9]::boxed::Box<dyn core[10b6fa85044e1869]::ops::function::FnOnce<(), Output = ()> + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stdout]   43:     0x58619a90ce7f - <std[b80a194dd3c418bb]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   44:     0x7246cb778aa4 - <unknown>
[INFO] [stdout]   45:     0x7246cb805a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- adf_expressions::tests::test_write_file_roundtrip stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'adf_expressions::tests::test_write_file_roundtrip' (238) panicked at src/adf_expressions.rs:1774:35:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: "Failed to write file: Read-only file system (os error 30)"
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58619a90da8a - std[b80a194dd3c418bb]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x58619a90da8a - std[b80a194dd3c418bb]::backtrace_rs::backtrace::trace_unsynchronized::<std[b80a194dd3c418bb]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x58619a90da8a - std[b80a194dd3c418bb]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x58619a90da8a - <<std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[10b6fa85044e1869]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x58619a92380a - <core[10b6fa85044e1869]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x58619a92380a - core[10b6fa85044e1869]::fmt::write
[INFO] [stdout]    6:     0x58619a912562 - std[b80a194dd3c418bb]::io::default_write_fmt::<alloc[dd269455e567d8e9]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x58619a912562 - <alloc[dd269455e567d8e9]::vec::Vec<u8> as std[b80a194dd3c418bb]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x58619a8ec15f - <std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x58619a8ec15f - std[b80a194dd3c418bb]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x58619a905849 - std[b80a194dd3c418bb]::panicking::default_hook
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x58619a4b6a5c - <alloc[dd269455e567d8e9]::boxed::Box<dyn for<'a, 'b> core[10b6fa85044e1869]::ops::function::Fn<(&'a std[b80a194dd3c418bb]::panic::PanicHookInfo<'b>,), Output = ()> + core[10b6fa85044e1869]::marker::Sync + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::Fn<(&std[b80a194dd3c418bb]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   12:     0x58619a4b6a5c - test[826cbc6ef54ab466]::test_main_with_exit_callback::<test[826cbc6ef54ab466]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x58619a905a02 - <alloc[dd269455e567d8e9]::boxed::Box<dyn for<'a, 'b> core[10b6fa85044e1869]::ops::function::Fn<(&'a std[b80a194dd3c418bb]::panic::PanicHookInfo<'b>,), Output = ()> + core[10b6fa85044e1869]::marker::Sync + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::Fn<(&std[b80a194dd3c418bb]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   14:     0x58619a905a02 - std[b80a194dd3c418bb]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x58619a8ec218 - std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x58619a8e3929 - std[b80a194dd3c418bb]::sys::backtrace::__rust_end_short_backtrace::<std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x58619a8ecf2d - __rustc[9698a3e60dd14283]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x58619a92416c - core[10b6fa85044e1869]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x58619a923ee2 - core[10b6fa85044e1869]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/result.rs:1867:5
[INFO] [stdout]   20:     0x58619a3c1b34 - core::result::Result<T,E>::unwrap::h9b080e00676ff07b
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/result.rs:1233:23
[INFO] [stdout]   21:     0x58619a3c1b34 - biodivine_bass::adf_expressions::tests::test_write_file_roundtrip::hc1bddebf524e8ebe
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1774:35
[INFO] [stdout]   22:     0x58619a3c1e47 - biodivine_bass::adf_expressions::tests::test_write_file_roundtrip::{{closure}}::h153d0fcfc1425294
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1758:35
[INFO] [stdout]   23:     0x58619a442386 - core::ops::function::FnOnce::call_once::h31bbfc01bd5b297b
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x58619a4aab3b - <fn() -> core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x58619a4aab3b - test[826cbc6ef54ab466]::__rust_begin_short_backtrace::<core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>, fn() -> core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x58619a4b752b - test[826cbc6ef54ab466]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x58619a4b752b - <core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x58619a4b752b - std[b80a194dd3c418bb]::panicking::catch_unwind::do_call::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}>, core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x58619a4b752b - std[b80a194dd3c418bb]::panicking::catch_unwind::<core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>, core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x58619a4b752b - std[b80a194dd3c418bb]::panic::catch_unwind::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}>, core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x58619a4b752b - test[826cbc6ef54ab466]::run_test_in_process
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x58619a4b752b - test[826cbc6ef54ab466]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x58619a4b2c44 - test[826cbc6ef54ab466]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x58619a4b2c44 - std[b80a194dd3c418bb]::sys::backtrace::__rust_begin_short_backtrace::<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x58619a4ba132 - std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked::<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x58619a4ba132 - <core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x58619a4ba132 - std[b80a194dd3c418bb]::panicking::catch_unwind::do_call::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x58619a4ba132 - std[b80a194dd3c418bb]::panicking::catch_unwind::<(), core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x58619a4ba132 - std[b80a194dd3c418bb]::panic::catch_unwind::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x58619a4ba132 - std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked::<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x58619a4ba132 - <std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1} as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x58619a90ce7f - <alloc[dd269455e567d8e9]::boxed::Box<dyn core[10b6fa85044e1869]::ops::function::FnOnce<(), Output = ()> + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stdout]   43:     0x58619a90ce7f - <std[b80a194dd3c418bb]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   44:     0x7246cb778aa4 - <unknown>
[INFO] [stdout]   45:     0x7246cb805a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- adf_expressions::tests::test_write_file_success stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'adf_expressions::tests::test_write_file_success' (239) panicked at src/adf_expressions.rs:1747:35:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: "Failed to write file: Read-only file system (os error 30)"
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58619a90da8a - std[b80a194dd3c418bb]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x58619a90da8a - std[b80a194dd3c418bb]::backtrace_rs::backtrace::trace_unsynchronized::<std[b80a194dd3c418bb]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x58619a90da8a - std[b80a194dd3c418bb]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x58619a90da8a - <<std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[10b6fa85044e1869]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x58619a92380a - <core[10b6fa85044e1869]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x58619a92380a - core[10b6fa85044e1869]::fmt::write
[INFO] [stdout]    6:     0x58619a912562 - std[b80a194dd3c418bb]::io::default_write_fmt::<alloc[dd269455e567d8e9]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x58619a912562 - <alloc[dd269455e567d8e9]::vec::Vec<u8> as std[b80a194dd3c418bb]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x58619a8ec15f - <std[b80a194dd3c418bb]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x58619a8ec15f - std[b80a194dd3c418bb]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x58619a905849 - std[b80a194dd3c418bb]::panicking::default_hook
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x58619a4b6a5c - <alloc[dd269455e567d8e9]::boxed::Box<dyn for<'a, 'b> core[10b6fa85044e1869]::ops::function::Fn<(&'a std[b80a194dd3c418bb]::panic::PanicHookInfo<'b>,), Output = ()> + core[10b6fa85044e1869]::marker::Sync + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::Fn<(&std[b80a194dd3c418bb]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   12:     0x58619a4b6a5c - test[826cbc6ef54ab466]::test_main_with_exit_callback::<test[826cbc6ef54ab466]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x58619a905a02 - <alloc[dd269455e567d8e9]::boxed::Box<dyn for<'a, 'b> core[10b6fa85044e1869]::ops::function::Fn<(&'a std[b80a194dd3c418bb]::panic::PanicHookInfo<'b>,), Output = ()> + core[10b6fa85044e1869]::marker::Sync + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::Fn<(&std[b80a194dd3c418bb]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2254:9
[INFO] [stdout]   14:     0x58619a905a02 - std[b80a194dd3c418bb]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x58619a8ec218 - std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x58619a8e3929 - std[b80a194dd3c418bb]::sys::backtrace::__rust_end_short_backtrace::<std[b80a194dd3c418bb]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x58619a8ecf2d - __rustc[9698a3e60dd14283]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x58619a92416c - core[10b6fa85044e1869]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x58619a923ee2 - core[10b6fa85044e1869]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/result.rs:1867:5
[INFO] [stdout]   20:     0x58619a3c011f - core::result::Result<T,E>::unwrap::h9b080e00676ff07b
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/result.rs:1233:23
[INFO] [stdout]   21:     0x58619a3c011f - biodivine_bass::adf_expressions::tests::test_write_file_success::hd38724a77c5e8252
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1747:35
[INFO] [stdout]   22:     0x58619a3c0447 - biodivine_bass::adf_expressions::tests::test_write_file_success::{{closure}}::hab2c5e79a1aa2345
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1738:33
[INFO] [stdout]   23:     0x58619a442306 - core::ops::function::FnOnce::call_once::h31506c231c7554ab
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x58619a4aab3b - <fn() -> core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x58619a4aab3b - test[826cbc6ef54ab466]::__rust_begin_short_backtrace::<core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>, fn() -> core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x58619a4b752b - test[826cbc6ef54ab466]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x58619a4b752b - <core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x58619a4b752b - std[b80a194dd3c418bb]::panicking::catch_unwind::do_call::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}>, core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x58619a4b752b - std[b80a194dd3c418bb]::panicking::catch_unwind::<core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>, core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x58619a4b752b - std[b80a194dd3c418bb]::panic::catch_unwind::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<test[826cbc6ef54ab466]::run_test_in_process::{closure#0}>, core[10b6fa85044e1869]::result::Result<(), alloc[dd269455e567d8e9]::string::String>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x58619a4b752b - test[826cbc6ef54ab466]::run_test_in_process
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x58619a4b752b - test[826cbc6ef54ab466]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x58619a4b2c44 - test[826cbc6ef54ab466]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x58619a4b2c44 - std[b80a194dd3c418bb]::sys::backtrace::__rust_begin_short_backtrace::<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x58619a4ba132 - std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked::<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x58619a4ba132 - <core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x58619a4ba132 - std[b80a194dd3c418bb]::panicking::catch_unwind::do_call::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x58619a4ba132 - std[b80a194dd3c418bb]::panicking::catch_unwind::<(), core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x58619a4ba132 - std[b80a194dd3c418bb]::panic::catch_unwind::<core[10b6fa85044e1869]::panic::unwind_safe::AssertUnwindSafe<std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x58619a4ba132 - std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked::<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x58619a4ba132 - <std[b80a194dd3c418bb]::thread::lifecycle::spawn_unchecked<test[826cbc6ef54ab466]::run_test::{closure#1}, ()>::{closure#1} as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x58619a90ce7f - <alloc[dd269455e567d8e9]::boxed::Box<dyn core[10b6fa85044e1869]::ops::function::FnOnce<(), Output = ()> + core[10b6fa85044e1869]::marker::Send> as core[10b6fa85044e1869]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/alloc/src/boxed.rs:2240:9
[INFO] [stdout]   43:     0x58619a90ce7f - <std[b80a194dd3c418bb]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/ad726b5063362ec9897ef3d67452fc5606ee70fa/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   44:     0x7246cb778aa4 - <unknown>
[INFO] [stdout]   45:     0x7246cb805a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     adf_expressions::tests::test_parse_and_fix_file_success
[INFO] [stdout]     adf_expressions::tests::test_write_file_roundtrip
[INFO] [stdout]     adf_expressions::tests::test_write_file_success
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 493 passed; 3 failed; 0 ignored; 0 measured; 0 filtered out; finished in 217.86s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "9ea8fe79d273a935230bb27153cd95e297fd27e6b5411d530a43ebf9efa5a9cd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9ea8fe79d273a935230bb27153cd95e297fd27e6b5411d530a43ebf9efa5a9cd", kill_on_drop: false }`
[INFO] [stdout] 9ea8fe79d273a935230bb27153cd95e297fd27e6b5411d530a43ebf9efa5a9cd
