[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 1.94.0 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-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  33% (484/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:  49% (721/1455)
Updating files:  50% (728/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-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/sybila/biodivine-adf-solver on toolchain 1.94.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.94.0" "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" "+1.94.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Updating git repository `https://github.com/sybila/ruddy.git`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rstest v0.26.1
[INFO] [stderr]   Downloaded bitvector v0.1.5
[INFO] [stderr]   Downloaded cancel-this v0.3.0
[INFO] [stderr]   Downloaded biodivine-lib-bdd v0.6.2
[INFO] [stderr]   Downloaded rstest_macros v0.26.1
[INFO] [stderr]   Downloaded biodivine-lib-param-bn v0.6.3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.94.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 4b43d26490872038eae4c98e7247ee9dc6f1b9a5c967236b08cccfa5f55b374d
[INFO] running `Command { std: "docker" "start" "-a" "4b43d26490872038eae4c98e7247ee9dc6f1b9a5c967236b08cccfa5f55b374d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4b43d26490872038eae4c98e7247ee9dc6f1b9a5c967236b08cccfa5f55b374d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4b43d26490872038eae4c98e7247ee9dc6f1b9a5c967236b08cccfa5f55b374d", kill_on_drop: false }`
[INFO] [stdout] 4b43d26490872038eae4c98e7247ee9dc6f1b9a5c967236b08cccfa5f55b374d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+1.94.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0e83bf8714e57de7b0694b3e0d27165c68636ec48d52ff883436547e816d24a5
[INFO] running `Command { std: "docker" "start" "-a" "0e83bf8714e57de7b0694b3e0d27165c68636ec48d52ff883436547e816d24a5", 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 bitvector v0.1.5
[INFO] [stderr]    Compiling dyn-clone v1.0.20
[INFO] [stderr]    Compiling roxmltree v0.20.0
[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 35.84s
[INFO] running `Command { std: "docker" "inspect" "0e83bf8714e57de7b0694b3e0d27165c68636ec48d52ff883436547e816d24a5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0e83bf8714e57de7b0694b3e0d27165c68636ec48d52ff883436547e816d24a5", kill_on_drop: false }`
[INFO] [stdout] 0e83bf8714e57de7b0694b3e0d27165c68636ec48d52ff883436547e816d24a5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+1.94.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cf2eb4ae8f476c9105630914abcc723ad07db339afc24f35f309fc1f67645d0d
[INFO] running `Command { std: "docker" "start" "-a" "cf2eb4ae8f476c9105630914abcc723ad07db339afc24f35f309fc1f67645d0d", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling hashbrown v0.16.0
[INFO] [stderr]    Compiling winnow v0.7.13
[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 30.45s
[INFO] running `Command { std: "docker" "inspect" "cf2eb4ae8f476c9105630914abcc723ad07db339afc24f35f309fc1f67645d0d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cf2eb4ae8f476c9105630914abcc723ad07db339afc24f35f309fc1f67645d0d", kill_on_drop: false }`
[INFO] [stdout] cf2eb4ae8f476c9105630914abcc723ad07db339afc24f35f309fc1f67645d0d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=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" "+1.94.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 70c4bb0e2b9bb63b966563c4f49fd0da3a30fa948bebff687a588d25603e94bd
[INFO] running `Command { std: "docker" "start" "-a" "70c4bb0e2b9bb63b966563c4f49fd0da3a30fa948bebff687a588d25603e94bd", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.14s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/biodivine_bass-aea6360a860f1b4f)
[INFO] [stdout] 
[INFO] [stdout] running 496 tests
[INFO] [stdout] test adf_bdds::tests::test_adf_bdds_statements_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_adf_bdds_statements_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_adf_bdds_statements_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_conversion_succeeds_with_fixed_missing_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_encoding_accessors ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_get ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_get_literal ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_single_literal ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_three_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_indexing ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_false_bdd ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_and ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_true_bdd ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_last_valid_variable_id ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_size_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_size_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_size_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_creation ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_accessors ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_accessor ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_allows_valid_valuations ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_multiple_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_single_statement ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_complex_adf ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_get ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_get_literals ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_indexing ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_creation ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_excludes_invalid_valuations ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_individual_literals ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_size_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_last_valid_variable_id ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_with_free_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_variable_id_pairs_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_variable_id_pairs_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_and ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_size_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_size_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_variable_id_pairs_single ... 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_deeply_nested ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_equivalence ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_exclusive_or ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_complex_nested ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_implication ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_constants ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_or ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_negation ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_statement ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_or_multiple_operands ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_false ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_identity_condition ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_multiple_free ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_identity_condition ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_mixed ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_no_conditions ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_true ... 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_mk_three_valued_interpretation_multiple_variables ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_single_negative ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_both_dual_variables ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_single_positive ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_two_valued_interpretations_all_fixed ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_two_valued_interpretations_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_most_zero_model_all_false ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_two_valued_interpretations_single ... 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_fix_free_statements_preserves_non_free ... 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_bdds::tests::test_most_zero_model_one_true ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_free_statements_unchanged ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_complex_expression ... ok
[INFO] [stdout] test adf_expressions::tests::test_add_statement_with_existing_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_empty_adf ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_idempotent ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_multiple_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_nested ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_parse_roundtrip ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_ternary_or ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_ternary_and ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_with_constants ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_complex_nested ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_free_statements_excluded ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_duplicates_removed ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_self_reference ... 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_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_conditions_mixed ... 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_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_equivalence ... ok
[INFO] [stdout] test adf_expressions::tests::test_default_creates_empty_adf ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_nested ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_implication ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_xor ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_none ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_idempotent ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_none ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_free_statements_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_has_statement_exists ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_complex ... ok
[INFO] [stdout] test adf_expressions::tests::test_free_statements_all_have_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_free_statements_mixed ... ok
[INFO] [stdout] test adf_expressions::tests::test_has_statement_does_not_exist ... 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:     0x5cd39f8016d2 - std::backtrace_rs::backtrace::libunwind::trace::hff358a60abf734fc
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5cd39f8016d2 - std::backtrace_rs::backtrace::trace_unsynchronized::h3b121f916dd95ec6
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5cd39f8016d2 - std::sys::backtrace::_print_fmt::hde0a62ded68798e9
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5cd39f8016d2 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h93773fc827e3113d
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5cd39f812f6a - core::fmt::rt::Argument::fmt::h01eff69902dad97f
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5cd39f812f6a - core::fmt::write::hed7b5c73d82ecb7c
[INFO] [stdout]    6:     0x5cd39f7cfa96 - std::io::default_write_fmt::h2f696ff5b8bbaa4b
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5cd39f7cfa96 - std::io::Write::write_fmt::h5e66814db8a9cfce
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x5cd39f7e0839 - std::sys::backtrace::BacktraceLock::print::h8b1d6fcc5a56d1a3
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5cd39f7e0839 - std::panicking::default_hook::{{closure}}::h2be84df4f189ae36
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5cd39f7e06d1 - std::panicking::default_hook::hf0ea8939246f43a9
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5cd39f3ba4fe - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h02d35e3888986252
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x5cd39f3ba4fe - test::test_main_with_exit_callback::{{closure}}::h939640a27d647173
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5cd39f7e0ab2 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hc9df09ff391af3e7
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x5cd39f7e0ab2 - std::panicking::panic_with_hook::hb4bd9ac1123582a0
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5cd39f7e08f8 - std::panicking::panic_handler::{{closure}}::hde00dd15f5637fe2
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x5cd39f7dbc49 - std::sys::backtrace::__rust_end_short_backtrace::hb72197fa777c1785
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5cd39f7c3efd - __rustc[4425a7e20b4c8619]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5cd39f81b2ac - core::panicking::panic_fmt::ha59b517dd231f4da
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5cd39f81a892 - core::result::unwrap_failed::hf2d1f30a3ac850fc
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/result.rs:1867:5
[INFO] [stdout]   20:     0x5cd39f2ba7e9 - core::result::Result<T,E>::unwrap::h39508a632e2becfa
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/result.rs:1233:23
[INFO] [stdout]   21:     0x5cd39f2ba7e9 - biodivine_bass::adf_expressions::tests::test_parse_and_fix_file_success::h25786c491e4cc2a4
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1609:56
[INFO] [stdout]   22:     0x5cd39f2bae87 - biodivine_bass::adf_expressions::tests::test_parse_and_fix_file_success::{{closure}}::h9118cb1ce1168107
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1602:41
[INFO] [stdout]   23:     0x5cd39f342d26 - core::ops::function::FnOnce::call_once::ha1ba0ff117cb8d5f
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5cd39f3ba2bb - core::ops::function::FnOnce::call_once::hddb3cd395c36bfbb
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5cd39f3ba2bb - test::__rust_begin_short_backtrace::h0b6a7601d9750bfa
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x5cd39f3cdcca - test::run_test_in_process::{{closure}}::h444209903f00b347
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x5cd39f3cdcca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hfb3ba8f46e537649
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x5cd39f3cdcca - std::panicking::catch_unwind::do_call::h1672a45911fcf9dc
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x5cd39f3cdcca - std::panicking::catch_unwind::h0fadaee22787a6dd
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x5cd39f3cdcca - std::panic::catch_unwind::hc47ad190f2c8e188
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x5cd39f3cdcca - test::run_test_in_process::hcd7faaf934f29999
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x5cd39f3cdcca - test::run_test::{{closure}}::hddc4550da4871867
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x5cd39f3a8124 - test::run_test::{{closure}}::h98ae26689f13ed94
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x5cd39f3a8124 - std::sys::backtrace::__rust_begin_short_backtrace::h3ec4d1f21ad44588
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x5cd39f3abac2 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::hd8bf2c73d479939f
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x5cd39f3abac2 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h3b4248f358af2491
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x5cd39f3abac2 - std::panicking::catch_unwind::do_call::hda10a64f4b8daebe
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x5cd39f3abac2 - std::panicking::catch_unwind::h659e5ee8336ec8c7
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x5cd39f3abac2 - std::panic::catch_unwind::h9d4d66a538912c18
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x5cd39f3abac2 - std::thread::lifecycle::spawn_unchecked::{{closure}}::h7557906bb51d79f1
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x5cd39f3abac2 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9e460d1d7fc83d35
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5cd39f7d6d9f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h61282da819d64ea9
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   43:     0x5cd39f7d6d9f - std::sys::thread::unix::Thread::new::thread_start::h982f9ea829d1b5fb
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/thread/unix.rs:127:17
[INFO] [stdout]   44:     0x7239d669aaa4 - <unknown>
[INFO] [stdout]   45:     0x7239d6727a64 - 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:     0x5cd39f8016d2 - std::backtrace_rs::backtrace::libunwind::trace::hff358a60abf734fc
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5cd39f8016d2 - std::backtrace_rs::backtrace::trace_unsynchronized::h3b121f916dd95ec6
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5cd39f8016d2 - std::sys::backtrace::_print_fmt::hde0a62ded68798e9
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5cd39f8016d2 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h93773fc827e3113d
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5cd39f812f6a - core::fmt::rt::Argument::fmt::h01eff69902dad97f
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5cd39f812f6a - core::fmt::write::hed7b5c73d82ecb7c
[INFO] [stdout]    6:     0x5cd39f7cfa96 - std::io::default_write_fmt::h2f696ff5b8bbaa4b
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5cd39f7cfa96 - std::io::Write::write_fmt::h5e66814db8a9cfce
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x5cd39f7e0839 - std::sys::backtrace::BacktraceLock::print::h8b1d6fcc5a56d1a3
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5cd39f7e0839 - std::panicking::default_hook::{{closure}}::h2be84df4f189ae36
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5cd39f7e06d1 - std::panicking::default_hook::hf0ea8939246f43a9
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5cd39f3ba4fe - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h02d35e3888986252
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x5cd39f3ba4fe - test::test_main_with_exit_callback::{{closure}}::h939640a27d647173
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5cd39f7e0ab2 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hc9df09ff391af3e7
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x5cd39f7e0ab2 - std::panicking::panic_with_hook::hb4bd9ac1123582a0
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5cd39f7e08f8 - std::panicking::panic_handler::{{closure}}::hde00dd15f5637fe2
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x5cd39f7dbc49 - std::sys::backtrace::__rust_end_short_backtrace::hb72197fa777c1785
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5cd39f7c3efd - __rustc[4425a7e20b4c8619]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5cd39f81b2ac - core::panicking::panic_fmt::ha59b517dd231f4da
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5cd39f81a892 - core::result::unwrap_failed::hf2d1f30a3ac850fc
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/result.rs:1867:5
[INFO] [stdout]   20:     0x5cd39f2b57b4 - core::result::Result<T,E>::unwrap::h1474ae9ceb6d5451
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/result.rs:1233:23
[INFO] [stdout]   21:     0x5cd39f2b57b4 - biodivine_bass::adf_expressions::tests::test_write_file_roundtrip::ha9a20df171cd7214
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1774:35
[INFO] [stdout]   22:     0x5cd39f2b5ac7 - biodivine_bass::adf_expressions::tests::test_write_file_roundtrip::{{closure}}::h3ffab0d16986e77a
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1758:35
[INFO] [stdout]   23:     0x5cd39f3417e6 - core::ops::function::FnOnce::call_once::h76d225434d1bc4d4
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5cd39f3ba2bb - core::ops::function::FnOnce::call_once::hddb3cd395c36bfbb
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5cd39f3ba2bb - test::__rust_begin_short_backtrace::h0b6a7601d9750bfa
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x5cd39f3cdcca - test::run_test_in_process::{{closure}}::h444209903f00b347
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x5cd39f3cdcca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hfb3ba8f46e537649
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x5cd39f3cdcca - std::panicking::catch_unwind::do_call::h1672a45911fcf9dc
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x5cd39f3cdcca - std::panicking::catch_unwind::h0fadaee22787a6dd
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x5cd39f3cdcca - std::panic::catch_unwind::hc47ad190f2c8e188
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x5cd39f3cdcca - test::run_test_in_process::hcd7faaf934f29999
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x5cd39f3cdcca - test::run_test::{{closure}}::hddc4550da4871867
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x5cd39f3a8124 - test::run_test::{{closure}}::h98ae26689f13ed94
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x5cd39f3a8124 - std::sys::backtrace::__rust_begin_short_backtrace::h3ec4d1f21ad44588
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x5cd39f3abac2 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::hd8bf2c73d479939f
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x5cd39f3abac2 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h3b4248f358af2491
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x5cd39f3abac2 - std::panicking::catch_unwind::do_call::hda10a64f4b8daebe
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x5cd39f3abac2 - std::panicking::catch_unwind::h659e5ee8336ec8c7
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x5cd39f3abac2 - std::panic::catch_unwind::h9d4d66a538912c18
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x5cd39f3abac2 - std::thread::lifecycle::spawn_unchecked::{{closure}}::h7557906bb51d79f1
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x5cd39f3abac2 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9e460d1d7fc83d35
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5cd39f7d6d9f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h61282da819d64ea9
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   43:     0x5cd39f7d6d9f - std::sys::thread::unix::Thread::new::thread_start::h982f9ea829d1b5fb
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/thread/unix.rs:127:17
[INFO] [stdout]   44:     0x7239d669aaa4 - <unknown>
[INFO] [stdout]   45:     0x7239d6727a64 - 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:     0x5cd39f8016d2 - std::backtrace_rs::backtrace::libunwind::trace::hff358a60abf734fc
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5cd39f8016d2 - std::backtrace_rs::backtrace::trace_unsynchronized::h3b121f916dd95ec6
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5cd39f8016d2 - std::sys::backtrace::_print_fmt::hde0a62ded68798e9
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5cd39f8016d2 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h93773fc827e3113d
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5cd39f812f6a - core::fmt::rt::Argument::fmt::h01eff69902dad97f
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5cd39f812f6a - core::fmt::write::hed7b5c73d82ecb7c
[INFO] [stdout]    6:     0x5cd39f7cfa96 - std::io::default_write_fmt::h2f696ff5b8bbaa4b
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5cd39f7cfa96 - std::io::Write::write_fmt::h5e66814db8a9cfce
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x5cd39f7e0839 - std::sys::backtrace::BacktraceLock::print::h8b1d6fcc5a56d1a3
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5cd39f7e0839 - std::panicking::default_hook::{{closure}}::h2be84df4f189ae36
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5cd39f7e06d1 - std::panicking::default_hook::hf0ea8939246f43a9
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5cd39f3ba4fe - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h02d35e3888986252
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x5cd39f3ba4fe - test::test_main_with_exit_callback::{{closure}}::h939640a27d647173
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5cd39f7e0ab2 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hc9df09ff391af3e7
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x5cd39f7e0ab2 - std::panicking::panic_with_hook::hb4bd9ac1123582a0
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x5cd39f7e08f8 - std::panicking::panic_handler::{{closure}}::hde00dd15f5637fe2
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x5cd39f7dbc49 - std::sys::backtrace::__rust_end_short_backtrace::hb72197fa777c1785
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5cd39f7c3efd - __rustc[4425a7e20b4c8619]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x5cd39f81b2ac - core::panicking::panic_fmt::ha59b517dd231f4da
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5cd39f81a892 - core::result::unwrap_failed::hf2d1f30a3ac850fc
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/result.rs:1867:5
[INFO] [stdout]   20:     0x5cd39f2b3e5f - core::result::Result<T,E>::unwrap::h1474ae9ceb6d5451
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/result.rs:1233:23
[INFO] [stdout]   21:     0x5cd39f2b3e5f - biodivine_bass::adf_expressions::tests::test_write_file_success::h7fb4760789b04edb
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1747:35
[INFO] [stdout]   22:     0x5cd39f2b4187 - biodivine_bass::adf_expressions::tests::test_write_file_success::{{closure}}::hbcd2d3f944dcab1c
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1738:33
[INFO] [stdout]   23:     0x5cd39f33e486 - core::ops::function::FnOnce::call_once::h0ebba583eef0f9ba
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5cd39f3ba2bb - core::ops::function::FnOnce::call_once::hddb3cd395c36bfbb
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5cd39f3ba2bb - test::__rust_begin_short_backtrace::h0b6a7601d9750bfa
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x5cd39f3cdcca - test::run_test_in_process::{{closure}}::h444209903f00b347
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x5cd39f3cdcca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hfb3ba8f46e537649
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x5cd39f3cdcca - std::panicking::catch_unwind::do_call::h1672a45911fcf9dc
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x5cd39f3cdcca - std::panicking::catch_unwind::h0fadaee22787a6dd
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x5cd39f3cdcca - std::panic::catch_unwind::hc47ad190f2c8e188
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x5cd39f3cdcca - test::run_test_in_process::hcd7faaf934f29999
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x5cd39f3cdcca - test::run_test::{{closure}}::hddc4550da4871867
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x5cd39f3a8124 - test::run_test::{{closure}}::h98ae26689f13ed94
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x5cd39f3a8124 - std::sys::backtrace::__rust_begin_short_backtrace::h3ec4d1f21ad44588
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x5cd39f3abac2 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::hd8bf2c73d479939f
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x5cd39f3abac2 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h3b4248f358af2491
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x5cd39f3abac2 - std::panicking::catch_unwind::do_call::hda10a64f4b8daebe
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x5cd39f3abac2 - std::panicking::catch_unwind::h659e5ee8336ec8c7
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x5cd39f3abac2 - std::panic::catch_unwind::h9d4d66a538912c18
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x5cd39f3abac2 - std::thread::lifecycle::spawn_unchecked::{{closure}}::h7557906bb51d79f1
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x5cd39f3abac2 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9e460d1d7fc83d35
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5cd39f7d6d9f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h61282da819d64ea9
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   43:     0x5cd39f7d6d9f - std::sys::thread::unix::Thread::new::thread_start::h982f9ea829d1b5fb
[INFO] [stdout]                                at /rustc/4a4ef493e3a1488c6e321570238084b38948f6db/library/std/src/sys/thread/unix.rs:127:17
[INFO] [stdout]   44:     0x7239d669aaa4 - <unknown>
[INFO] [stdout]   45:     0x7239d6727a64 - 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 219.62s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "70c4bb0e2b9bb63b966563c4f49fd0da3a30fa948bebff687a588d25603e94bd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "70c4bb0e2b9bb63b966563c4f49fd0da3a30fa948bebff687a588d25603e94bd", kill_on_drop: false }`
[INFO] [stdout] 70c4bb0e2b9bb63b966563c4f49fd0da3a30fa948bebff687a588d25603e94bd
