[INFO] cloning repository https://github.com/sybila/biodivine-adf-solver
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/sybila/biodivine-adf-solver" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsybila%2Fbiodivine-adf-solver", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsybila%2Fbiodivine-adf-solver'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] c3ccbda1ef85aaa5e97069cb67cd0f28512ed90e
[INFO] testing sybila/biodivine-adf-solver against try#bd7d74411512a3dd3b35d2f699c51dd2557c7e7e+cargoflags=-Zbuild-dir-new-layout for pr-149852-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsybila%2Fbiodivine-adf-solver" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/source'...
[INFO] [stderr] done.
[INFO] [stderr] Updating files:  33% (483/1442)
Updating files:  34% (491/1442)
Updating files:  35% (505/1442)
Updating files:  36% (520/1442)
Updating files:  37% (534/1442)
Updating files:  38% (548/1442)
Updating files:  39% (563/1442)
Updating files:  40% (577/1442)
Updating files:  41% (592/1442)
Updating files:  42% (606/1442)
Updating files:  43% (621/1442)
Updating files:  44% (635/1442)
Updating files:  45% (649/1442)
Updating files:  46% (664/1442)
Updating files:  47% (678/1442)
Updating files:  48% (693/1442)
Updating files:  49% (707/1442)
Updating files:  49% (712/1442)
Updating files:  50% (721/1442)
Updating files:  51% (736/1442)
Updating files:  52% (750/1442)
Updating files:  53% (765/1442)
Updating files:  54% (779/1442)
Updating files:  55% (794/1442)
Updating files:  56% (808/1442)
Updating files:  57% (822/1442)
Updating files:  58% (837/1442)
Updating files:  59% (851/1442)
Updating files:  60% (866/1442)
Updating files:  61% (880/1442)
Updating files:  62% (895/1442)
Updating files:  63% (909/1442)
Updating files:  64% (923/1442)
Updating files:  65% (938/1442)
Updating files:  66% (952/1442)
Updating files:  67% (967/1442)
Updating files:  68% (981/1442)
Updating files:  69% (995/1442)
Updating files:  70% (1010/1442)
Updating files:  71% (1024/1442)
Updating files:  72% (1039/1442)
Updating files:  73% (1053/1442)
Updating files:  74% (1068/1442)
Updating files:  75% (1082/1442)
Updating files:  76% (1096/1442)
Updating files:  77% (1111/1442)
Updating files:  78% (1125/1442)
Updating files:  79% (1140/1442)
Updating files:  80% (1154/1442)
Updating files:  81% (1169/1442)
Updating files:  82% (1183/1442)
Updating files:  83% (1197/1442)
Updating files:  84% (1212/1442)
Updating files:  85% (1226/1442)
Updating files:  86% (1241/1442)
Updating files:  87% (1255/1442)
Updating files:  88% (1269/1442)
Updating files:  89% (1284/1442)
Updating files:  90% (1298/1442)
Updating files:  91% (1313/1442)
Updating files:  92% (1327/1442)
Updating files:  93% (1342/1442)
Updating files:  94% (1356/1442)
Updating files:  95% (1370/1442)
Updating files:  96% (1385/1442)
Updating files:  97% (1399/1442)
Updating files:  98% (1414/1442)
Updating files:  99% (1428/1442)
Updating files: 100% (1442/1442)
Updating files: 100% (1442/1442), done.
[INFO] started tweaking git repo https://github.com/sybila/biodivine-adf-solver
[INFO] finished tweaking git repo https://github.com/sybila/biodivine-adf-solver
[INFO] tweaked toml for git repo https://github.com/sybila/biodivine-adf-solver written to /workspace/builds/worker-0-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/sybila/biodivine-adf-solver on toolchain bd7d74411512a3dd3b35d2f699c51dd2557c7e7e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "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" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 6eceedcd82703f0e66568231762a59ad621ffdd9ab2aeba57e9eb7b9e73dfc17
[INFO] running `Command { std: "docker" "start" "-a" "6eceedcd82703f0e66568231762a59ad621ffdd9ab2aeba57e9eb7b9e73dfc17", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "6eceedcd82703f0e66568231762a59ad621ffdd9ab2aeba57e9eb7b9e73dfc17", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6eceedcd82703f0e66568231762a59ad621ffdd9ab2aeba57e9eb7b9e73dfc17", kill_on_drop: false }`
[INFO] [stdout] 6eceedcd82703f0e66568231762a59ad621ffdd9ab2aeba57e9eb7b9e73dfc17
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "build" "--frozen" "--message-format=json" "-Zbuild-dir-new-layout", kill_on_drop: false }`
[INFO] [stdout] ccef97ec5741caf59fad88878a3c1afda742dacd0ea1d8fbc1ecb1ae30ea76b7
[INFO] running `Command { std: "docker" "start" "-a" "ccef97ec5741caf59fad88878a3c1afda742dacd0ea1d8fbc1ecb1ae30ea76b7", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling zerocopy v0.8.27
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling log v0.4.28
[INFO] [stderr]    Compiling roxmltree v0.20.0
[INFO] [stderr]    Compiling replace_with v0.1.8
[INFO] [stderr]    Compiling dyn-clone v1.0.20
[INFO] [stderr]    Compiling rustc-hash v2.1.1
[INFO] [stderr]    Compiling bitvector v0.1.5
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[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 num-integer v0.1.46
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling rand_core v0.6.4
[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 23.11s
[INFO] running `Command { std: "docker" "inspect" "ccef97ec5741caf59fad88878a3c1afda742dacd0ea1d8fbc1ecb1ae30ea76b7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ccef97ec5741caf59fad88878a3c1afda742dacd0ea1d8fbc1ecb1ae30ea76b7", kill_on_drop: false }`
[INFO] [stdout] ccef97ec5741caf59fad88878a3c1afda742dacd0ea1d8fbc1ecb1ae30ea76b7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "test" "--frozen" "--no-run" "--message-format=json" "-Zbuild-dir-new-layout", kill_on_drop: false }`
[INFO] [stdout] 892942b25319fcbae358f4494ad2e77d062189f5d7ca6720854d9c500b235459
[INFO] running `Command { std: "docker" "start" "-a" "892942b25319fcbae358f4494ad2e77d062189f5d7ca6720854d9c500b235459", kill_on_drop: false }`
[INFO] [stderr]    Compiling indexmap v2.12.0
[INFO] [stderr]    Compiling syn v2.0.110
[INFO] [stderr]    Compiling toml_edit v0.23.7
[INFO] [stderr]    Compiling proc-macro-crate v3.4.0
[INFO] [stderr]    Compiling futures-macro v0.3.31
[INFO] [stderr]    Compiling rstest_macros v0.26.1
[INFO] [stderr]    Compiling futures-util v0.3.31
[INFO] [stderr]    Compiling rstest v0.26.1
[INFO] [stderr]    Compiling biodivine-bass v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 15.20s
[INFO] running `Command { std: "docker" "inspect" "892942b25319fcbae358f4494ad2e77d062189f5d7ca6720854d9c500b235459", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "892942b25319fcbae358f4494ad2e77d062189f5d7ca6720854d9c500b235459", kill_on_drop: false }`
[INFO] [stdout] 892942b25319fcbae358f4494ad2e77d062189f5d7ca6720854d9c500b235459
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+bd7d74411512a3dd3b35d2f699c51dd2557c7e7e" "test" "--frozen" "-Zbuild-dir-new-layout", kill_on_drop: false }`
[INFO] [stdout] 21d7ae7ab1f2a5128f13b3032bc24cadedacc99410ae7025d5008a93912f29aa
[INFO] running `Command { std: "docker" "start" "-a" "21d7ae7ab1f2a5128f13b3032bc24cadedacc99410ae7025d5008a93912f29aa", 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/build/biodivine-bass/030e9b0851622d77/deps/biodivine_bass-030e9b0851622d77)
[INFO] [stdout] 
[INFO] [stdout] running 496 tests
[INFO] [stdout] test adf_bdds::tests::test_adf_bdds_statements_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_adf_bdds_statements_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_false_bdd ... 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_size_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_indexing ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_accessor ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_accessors ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_get ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_creation ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_get_literal ... ok
[INFO] [stdout] test adf_bdds::tests::test_direct_map_size_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_single_literal ... ok
[INFO] [stdout] test adf_bdds::tests::test_conversion_succeeds_with_fixed_missing_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_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_encoding_accessors ... ok
[INFO] [stdout] test adf_bdds::tests::test_adf_bdds_statements_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_excludes_invalid_valuations ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_creation ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_indexing ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_size_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_get ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_with_free_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_single_statement ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_size_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_get_literals ... 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_complex_adf ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_multiple_statements ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_variable_id_pairs_empty ... ok
[INFO] [stdout] test adf_bdds::tests::test_count_direct_valuations_and ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_encoding_valid_allows_valid_valuations ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_variable_id_pairs_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_variable_id_pairs_single ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_and ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_and_multiple_operands ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_individual_literals ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_constants ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_equivalence ... ok
[INFO] [stdout] test adf_bdds::tests::test_dual_map_size_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_implication ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_preserves_non_free ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_true ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_mixed ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_identity_condition ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_no_conditions ... 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_exclusive_or ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_statement ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_negation ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_false ... ok
[INFO] [stdout] test adf_bdds::tests::test_expression_to_bdd_deeply_nested ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_single_negative ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_two_valued_interpretations_single ... 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_multiple ... ok
[INFO] [stdout] test adf_bdds::tests::test_free_statements_non_identity_condition ... ok
[INFO] [stdout] test adf_bdds::tests::test_most_zero_model_all_false ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_both_dual_variables ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_two_valued_interpretations_all_fixed ... ok
[INFO] [stdout] test adf_bdds::tests::test_mk_three_valued_interpretation_multiple_variables ... ok
[INFO] [stdout] test adf_bdds::tests::test_most_zero_model_multiple_options ... ok
[INFO] [stdout] test adf_bdds::tests::test_symbolic_adf_basic ... ok
[INFO] [stdout] test adf_bdds::tests::test_from_adf_expressions_owned ... 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_fix_free_statements_identity_condition ... ok
[INFO] [stdout] test adf_bdds::tests::test_fix_free_statements_multiple_free ... ok
[INFO] [stdout] test adf_expressions::tests::test_add_statement_with_existing_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_add_condition_duplicate_fails ... ok
[INFO] [stdout] test adf_expressions::tests::test_add_condition_existing_statement_no_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_add_condition_new_statement ... ok
[INFO] [stdout] test adf_bdds::tests::test_most_zero_model_one_true ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_complex_expression ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_free_statements_unchanged ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_idempotent ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_nested ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_multiple_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_empty_adf ... 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_build_dependency_map_duplicates_removed ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_ternary_and ... 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_conditions_mixed ... ok
[INFO] [stdout] test adf_expressions::tests::test_conditions_only_free_statements ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_self_reference ... ok
[INFO] [stdout] test adf_expressions::tests::test_default_equivalent_to_new ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_binarize_operators_with_constants ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_no_dependencies ... ok
[INFO] [stdout] test adf_expressions::tests::test_default_creates_empty_adf ... ok
[INFO] [stdout] test adf_expressions::tests::test_build_dependency_map_multiple_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_equivalence ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_missing_statements_simple ... 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_fix_missing_statements_complex ... 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_build_dependency_map_complex_nested ... ok
[INFO] [stdout] test adf_expressions::tests::test_find_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_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_none ... ok
[INFO] [stdout] test adf_expressions::tests::test_free_statements_mixed ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_has_statement_does_not_exist ... ok
[INFO] [stdout] test adf_expressions::tests::test_has_statement_exists ... ok
[INFO] [stdout] test adf_expressions::tests::test_has_statement_with_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_fix_missing_statements_idempotent ... ok
[INFO] [stdout] test adf_expressions::tests::test_conditions_empty ... ok
[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_without_declaration ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_file_nonexistent ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_duplicate_condition_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_file_success ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_malformed_line ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_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_invalid_expression ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_simple_adf ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_real_example ... 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_string_label ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_statement_redeclaration_is_ok ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_statement_without_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_string_labels ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_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_string_labels_long_form ... 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_and_fix_file_success ... FAILED
[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_write_all_test_instances::case_08 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_07 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_09 ... ok
[INFO] [stdout] test adf_expressions::tests::test_remove_condition_already_none ... ok
[INFO] [stdout] test adf_expressions::tests::test_remove_condition_existing ... ok
[INFO] [stdout] test adf_expressions::tests::test_remove_condition_nonexistent_statement ... ok
[INFO] [stdout] test adf_expressions::tests::test_remove_statement_existing ... ok
[INFO] [stdout] test adf_expressions::tests::test_remove_statement_nonexistent ... ok
[INFO] [stdout] test adf_expressions::tests::test_remove_statement_with_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_all_operators ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_chain ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_complex_expression ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_multiple_occurrences ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_nonexistent_fails ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_parse_roundtrip ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_preserves_other_statements ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_referenced_in_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_self_referential ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_string_labels ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_target_exists_fails ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_with_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statement_with_free_statement ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_complex_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_conflict_fails ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_empty_map ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_multiple ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_nonexistent_fails ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_parse_roundtrip ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_preserves_free_statements ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_single ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_swap_allowed ... ok
[INFO] [stdout] test adf_expressions::tests::test_rename_statements_with_self_reference ... ok
[INFO] [stdout] test adf_expressions::tests::test_statements_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_statements_multiple ... ok
[INFO] [stdout] test adf_expressions::tests::test_statements_single ... ok
[INFO] [stdout] test adf_expressions::tests::test_statements_with_and_without_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_all_operators ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_chain ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_complex_expression ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_empty_adf ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_free_statements_unchanged ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_multiple_conditions ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_no_occurrences ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_parse_roundtrip ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_preserves_statements ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_self_reference ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_simple ... ok
[INFO] [stdout] test adf_expressions::tests::test_substitute_statement_with_complex_replacement ... ok
[INFO] [stdout] test adf_expressions::tests::test_update_condition_existing_no_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_update_condition_existing_with_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_update_condition_new_statement ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_complex_expression ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_file_roundtrip ... FAILED
[INFO] [stdout] test adf_expressions::tests::test_write_file_success ... FAILED
[INFO] [stdout] test adf_expressions::tests::test_write_mixed_statements ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_parse_roundtrip ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_real_example ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_sorted_order ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_statement_with_condition ... ok
[INFO] [stdout] test adf_expressions::tests::test_write_statement_without_condition ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_admissible_simple_constant_true ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_admissible_two_statements ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_admissible_with_free_statement ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_complete_simple_constant_true ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_complete_two_statements ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_complete_with_free_statement ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_preferred_mutual_dependency ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_preferred_simple_constant_true ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_preferred_two_statements_one_free ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_simple_adf_constant_true ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_complex_and_or ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_constant_false ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_empty_result ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_minimal_ones ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_multiple_minimal_models ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_mutual_dependency ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_negation ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_self_reference ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_simple_constant_true ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_three_statements_chain ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_stable_with_free_statement ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_two_statements ... ok
[INFO] [stdout] test adf_interpretation_solver::tests::test_solve_with_free_statement ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_contradiction ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_empty ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_shared_contradiction ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_shared_empty ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_shared_simple ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_shared_single ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_shared_with_false ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_shared_with_true ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_simple ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_single ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_with_false ... ok
[INFO] [stdout] test bdd_solver::tests::test_naive_greedy_solver_with_true ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_contradiction ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_empty ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_shared_contradiction ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_shared_empty ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_shared_simple ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_shared_single ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_shared_with_false ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_shared_with_true ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_simple ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_single ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_with_false ... ok
[INFO] [stdout] test bdd_solver::tests::test_quadratic_greedy_solver_with_true ... ok
[INFO] [stdout] test bdd_solver::tests::test_solvers_equivalence_complex ... ok
[INFO] [stdout] test bdd_solver::tests::test_solvers_equivalence_simple ... ok
[INFO] [stdout] test bdd_solver::tests::test_solvers_with_many_constraints ... ok
[INFO] [stdout] test bn_conversions::tests::test_adf_to_bn_simple ... ok
[INFO] [stdout] test bn_conversions::tests::test_bn_to_adf_simple ... ok
[INFO] [stdout] test bn_conversions::tests::test_network_with_parameters_rejected - should panic ... ok
[INFO] [stdout] test bn_conversions::tests::test_numeric_identifier_conversion ... ok
[INFO] [stdout] test bn_conversions::tests::test_roundtrip_conversion ... ok
[INFO] [stdout] test condition_expression::tests::test_and_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_already_binary ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_and_empty ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_and_four ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_and_single ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_and_three ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_and_two ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_complex_mixed ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_constant ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_deeply_nested ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_equivalence ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_idempotent ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_implication ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_negation ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_nested_and_or ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_or_empty ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_or_five ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_or_single ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_or_three ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_or_two ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_statement ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_with_negation ... ok
[INFO] [stdout] test condition_expression::tests::test_binarize_xor ... ok
[INFO] [stdout] test condition_expression::tests::test_cloning ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_and ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_constant ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_duplicates ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_equivalence ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_implication ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_negation ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_nested ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_single_statement ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_sorted ... ok
[INFO] [stdout] test condition_expression::tests::test_collect_statements_xor ... ok
[INFO] [stdout] test condition_expression::tests::test_constant_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_display_and ... ok
[INFO] [stdout] test condition_expression::tests::test_display_constant_false ... ok
[INFO] [stdout] test condition_expression::tests::test_display_constant_true ... ok
[INFO] [stdout] test condition_expression::tests::test_display_negation ... ok
[INFO] [stdout] test condition_expression::tests::test_display_nested ... ok
[INFO] [stdout] test condition_expression::tests::test_display_parse_roundtrip ... ok
[INFO] [stdout] test condition_expression::tests::test_display_statement ... ok
[INFO] [stdout] test condition_expression::tests::test_equivalence_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_exclusive_or_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_binary_and ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_binary_or ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_constant ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_deeply_nested_non_binary ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_empty_and ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_implication_binary ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_implication_non_binary ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_negation_binary ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_negation_non_binary ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_nested ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_statement ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_ternary_and ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_ternary_or ... ok
[INFO] [stdout] test condition_expression::tests::test_has_non_binary_operators_unary_and ... ok
[INFO] [stdout] test condition_expression::tests::test_implication_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_negation_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_nested_expressions ... ok
[INFO] [stdout] test condition_expression::tests::test_none_returns_for_wrong_type ... ok
[INFO] [stdout] test condition_expression::tests::test_or_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_statement_constructor_and_accessors ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_and_simple ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_chain ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_constant_unchanged ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_equivalence ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_implication ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_all_occurrences ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_all_operators ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_complex_replacement ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_empty_map ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_multiple ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_nested ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_no_match ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_many_single ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_negation ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_nested_complex ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_no_occurrences ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_or_multiple_occurrences ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_statement_match ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_statement_no_match ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_with_complex_replacement ... ok
[INFO] [stdout] test condition_expression::tests::test_substitute_xor ... ok
[INFO] [stdout] test condition_expression::tests::test_try_from_invalid_expression ... ok
[INFO] [stdout] test condition_expression::tests::test_try_from_roundtrip ... ok
[INFO] [stdout] test condition_expression::tests::test_try_from_valid_expression ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_expect_method_wrong_token ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_and_three_operands ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_and_two_operands ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_complex_from_test_file ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_complex_with_string_labels ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_constant_false ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_constant_incomplete ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_constant_true ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_constant_with_number ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_constant_with_wrong_token ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_deeply_nested_expression ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_empty_string_fails ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_equivalence ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_expression_starting_with_unexpected_token ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_extra_tokens_fails ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_implication ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_incomplete_expression_fails ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_mixed_labels_in_expression ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_negation ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_nested_expression ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_numeric_string_as_statement ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_or_two_operands ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_real_example_1 ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_real_example_2 ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_real_example_3 ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_real_example_4 ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_real_example_5 ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_statement_number ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_string_label_with_numbers ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_string_label_with_underscores ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_string_statement_label ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_unknown_identifier_fails ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_with_whitespace ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_wrong_closing_paren ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_parse_xor ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_comma ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_complex_expression ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_identifier ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_invalid_character ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_number ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_parentheses ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_string_labels ... ok
[INFO] [stdout] test condition_expression_parser::tests::test_tokenize_with_whitespace ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_and ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_complex_from_test_files ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_constant_false ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_constant_true ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_deeply_nested_expression ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_equivalence ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_implication ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_negation ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_nested_expression ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_or ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_simple_statement ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_with_whitespace ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_roundtrip_xor ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_and_three_operands ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_and_two_operands ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_complex_expression ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_constant_false ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_constant_true ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_deeply_nested_expression ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_equivalence ... ok
[INFO] [stdout] test condition_expression_writer::tests::test_write_implication ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_05 ... 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 condition_expression_writer::tests::test_write_multiple_negations ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_intersect ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_extend_with_looser_models ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_minus ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_is_empty ... 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_most_fixed_model ... ok
[INFO] [stdout] test model_set::three_valued::tests::test_model_count_valid ... 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_partial_eq_different_bdd ... 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_single_model ... 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_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_and ... 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_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_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_minus_self ... ok
[INFO] [stdout] test model_set::two_valued::tests::test_union_with_empty ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_06 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_09 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_10 ... ok
[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_06 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_03 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_10 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_all_test_instances::case_02 ... 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_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_03 has been running for over 60 seconds
[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_03 ... 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_04 ... ok
[INFO] [stdout] test adf_expressions::tests::test_parse_write_all_test_instances::case_01 ... 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' (157) 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:     0x64df46a67732 - std[840933623431fd06]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x64df46a67732 - std[840933623431fd06]::backtrace_rs::backtrace::trace_unsynchronized::<std[840933623431fd06]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x64df46a67732 - std[840933623431fd06]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x64df46a67732 - <<std[840933623431fd06]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[8f93d80df273fe75]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x64df46a7e0aa - <core[8f93d80df273fe75]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x64df46a7e0aa - core[8f93d80df273fe75]::fmt::write
[INFO] [stdout]    6:     0x64df46a6c7b6 - std[840933623431fd06]::io::default_write_fmt::<alloc[40b2bae28975ac47]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x64df46a6c7b6 - <alloc[40b2bae28975ac47]::vec::Vec<u8> as std[840933623431fd06]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x64df46a4509f - <std[840933623431fd06]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x64df46a4509f - std[840933623431fd06]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x64df46a5f2a9 - std[840933623431fd06]::panicking::default_hook
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x64df4661713e - <alloc[40b2bae28975ac47]::boxed::Box<dyn for<'a, 'b> core[8f93d80df273fe75]::ops::function::Fn<(&'a std[840933623431fd06]::panic::PanicHookInfo<'b>,), Output = ()> + core[8f93d80df273fe75]::marker::Sync + core[8f93d80df273fe75]::marker::Send> as core[8f93d80df273fe75]::ops::function::Fn<(&std[840933623431fd06]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x64df4661713e - test[2f1252070343a163]::test_main_with_exit_callback::<test[2f1252070343a163]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x64df46a5f462 - <alloc[40b2bae28975ac47]::boxed::Box<dyn for<'a, 'b> core[8f93d80df273fe75]::ops::function::Fn<(&'a std[840933623431fd06]::panic::PanicHookInfo<'b>,), Output = ()> + core[8f93d80df273fe75]::marker::Sync + core[8f93d80df273fe75]::marker::Send> as core[8f93d80df273fe75]::ops::function::Fn<(&std[840933623431fd06]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x64df46a5f462 - std[840933623431fd06]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x64df46a45158 - std[840933623431fd06]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x64df46a3c8e9 - std[840933623431fd06]::sys::backtrace::__rust_end_short_backtrace::<std[840933623431fd06]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x64df46a45fad - __rustc[5b4a0c6d8cc4a177]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x64df46a7e86c - core[8f93d80df273fe75]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x64df46a7e5e2 - core[8f93d80df273fe75]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/result.rs:1867:5
[INFO] [stdout]   20:     0x64df4652ce09 - <core[8f93d80df273fe75]::result::Result<std[840933623431fd06]::fs::File, std[840933623431fd06]::io::error::Error>>::unwrap
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/result.rs:1233:23
[INFO] [stdout]   21:     0x64df4652ce09 - biodivine_bass[4687bddc3a06b61d]::adf_expressions::tests::test_parse_and_fix_file_success
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1609:56
[INFO] [stdout]   22:     0x64df46522967 - biodivine_bass[4687bddc3a06b61d]::adf_expressions::tests::test_parse_and_fix_file_success::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1602:41
[INFO] [stdout]   23:     0x64df46587e96 - <biodivine_bass[4687bddc3a06b61d]::adf_expressions::tests::test_parse_and_fix_file_success::{closure#0} as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x64df4660b4eb - <fn() -> core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x64df4660b4eb - test[2f1252070343a163]::__rust_begin_short_backtrace::<core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>, fn() -> core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x64df46617d4a - test[2f1252070343a163]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x64df46617d4a - <core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<test[2f1252070343a163]::run_test_in_process::{closure#0}> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x64df46617d4a - std[840933623431fd06]::panicking::catch_unwind::do_call::<core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<test[2f1252070343a163]::run_test_in_process::{closure#0}>, core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x64df46617d4a - std[840933623431fd06]::panicking::catch_unwind::<core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>, core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<test[2f1252070343a163]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x64df46617d4a - std[840933623431fd06]::panic::catch_unwind::<core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<test[2f1252070343a163]::run_test_in_process::{closure#0}>, core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x64df46617d4a - test[2f1252070343a163]::run_test_in_process
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x64df46617d4a - test[2f1252070343a163]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x64df46612214 - test[2f1252070343a163]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x64df46612214 - std[840933623431fd06]::sys::backtrace::__rust_begin_short_backtrace::<test[2f1252070343a163]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x64df4661a842 - std[840933623431fd06]::thread::lifecycle::spawn_unchecked::<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x64df4661a842 - <core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x64df4661a842 - std[840933623431fd06]::panicking::catch_unwind::do_call::<core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x64df4661a842 - std[840933623431fd06]::panicking::catch_unwind::<(), core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x64df4661a842 - std[840933623431fd06]::panic::catch_unwind::<core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x64df4661a842 - std[840933623431fd06]::thread::lifecycle::spawn_unchecked::<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x64df4661a842 - <std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1} as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x64df46a66a9f - <alloc[40b2bae28975ac47]::boxed::Box<dyn core[8f93d80df273fe75]::ops::function::FnOnce<(), Output = ()> + core[8f93d80df273fe75]::marker::Send> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   43:     0x64df46a66a9f - <std[840933623431fd06]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   44:     0x71c93c643aa4 - <unknown>
[INFO] [stdout]   45:     0x71c93c6d0a64 - 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' (247) 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:     0x64df46a67732 - std[840933623431fd06]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x64df46a67732 - std[840933623431fd06]::backtrace_rs::backtrace::trace_unsynchronized::<std[840933623431fd06]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x64df46a67732 - std[840933623431fd06]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x64df46a67732 - <<std[840933623431fd06]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[8f93d80df273fe75]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x64df46a7e0aa - <core[8f93d80df273fe75]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x64df46a7e0aa - core[8f93d80df273fe75]::fmt::write
[INFO] [stdout]    6:     0x64df46a6c7b6 - std[840933623431fd06]::io::default_write_fmt::<alloc[40b2bae28975ac47]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x64df46a6c7b6 - <alloc[40b2bae28975ac47]::vec::Vec<u8> as std[840933623431fd06]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x64df46a4509f - <std[840933623431fd06]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x64df46a4509f - std[840933623431fd06]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x64df46a5f2a9 - std[840933623431fd06]::panicking::default_hook
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x64df4661713e - <alloc[40b2bae28975ac47]::boxed::Box<dyn for<'a, 'b> core[8f93d80df273fe75]::ops::function::Fn<(&'a std[840933623431fd06]::panic::PanicHookInfo<'b>,), Output = ()> + core[8f93d80df273fe75]::marker::Sync + core[8f93d80df273fe75]::marker::Send> as core[8f93d80df273fe75]::ops::function::Fn<(&std[840933623431fd06]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x64df4661713e - test[2f1252070343a163]::test_main_with_exit_callback::<test[2f1252070343a163]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x64df46a5f462 - <alloc[40b2bae28975ac47]::boxed::Box<dyn for<'a, 'b> core[8f93d80df273fe75]::ops::function::Fn<(&'a std[840933623431fd06]::panic::PanicHookInfo<'b>,), Output = ()> + core[8f93d80df273fe75]::marker::Sync + core[8f93d80df273fe75]::marker::Send> as core[8f93d80df273fe75]::ops::function::Fn<(&std[840933623431fd06]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x64df46a5f462 - std[840933623431fd06]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x64df46a45158 - std[840933623431fd06]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x64df46a3c8e9 - std[840933623431fd06]::sys::backtrace::__rust_end_short_backtrace::<std[840933623431fd06]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x64df46a45fad - __rustc[5b4a0c6d8cc4a177]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x64df46a7e86c - core[8f93d80df273fe75]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x64df46a7e5e2 - core[8f93d80df273fe75]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/result.rs:1867:5
[INFO] [stdout]   20:     0x64df46528fe4 - <core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>>::unwrap
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/result.rs:1233:23
[INFO] [stdout]   21:     0x64df46528fe4 - biodivine_bass[4687bddc3a06b61d]::adf_expressions::tests::test_write_file_roundtrip
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1774:35
[INFO] [stdout]   22:     0x64df465224f7 - biodivine_bass[4687bddc3a06b61d]::adf_expressions::tests::test_write_file_roundtrip::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1758:35
[INFO] [stdout]   23:     0x64df465878d6 - <biodivine_bass[4687bddc3a06b61d]::adf_expressions::tests::test_write_file_roundtrip::{closure#0} as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x64df4660b4eb - <fn() -> core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x64df4660b4eb - test[2f1252070343a163]::__rust_begin_short_backtrace::<core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>, fn() -> core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x64df46617d4a - test[2f1252070343a163]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x64df46617d4a - <core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<test[2f1252070343a163]::run_test_in_process::{closure#0}> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x64df46617d4a - std[840933623431fd06]::panicking::catch_unwind::do_call::<core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<test[2f1252070343a163]::run_test_in_process::{closure#0}>, core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x64df46617d4a - std[840933623431fd06]::panicking::catch_unwind::<core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>, core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<test[2f1252070343a163]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x64df46617d4a - std[840933623431fd06]::panic::catch_unwind::<core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<test[2f1252070343a163]::run_test_in_process::{closure#0}>, core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x64df46617d4a - test[2f1252070343a163]::run_test_in_process
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x64df46617d4a - test[2f1252070343a163]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x64df46612214 - test[2f1252070343a163]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x64df46612214 - std[840933623431fd06]::sys::backtrace::__rust_begin_short_backtrace::<test[2f1252070343a163]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x64df4661a842 - std[840933623431fd06]::thread::lifecycle::spawn_unchecked::<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x64df4661a842 - <core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x64df4661a842 - std[840933623431fd06]::panicking::catch_unwind::do_call::<core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x64df4661a842 - std[840933623431fd06]::panicking::catch_unwind::<(), core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x64df4661a842 - std[840933623431fd06]::panic::catch_unwind::<core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x64df4661a842 - std[840933623431fd06]::thread::lifecycle::spawn_unchecked::<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x64df4661a842 - <std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1} as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x64df46a66a9f - <alloc[40b2bae28975ac47]::boxed::Box<dyn core[8f93d80df273fe75]::ops::function::FnOnce<(), Output = ()> + core[8f93d80df273fe75]::marker::Send> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   43:     0x64df46a66a9f - <std[840933623431fd06]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   44:     0x71c93c643aa4 - <unknown>
[INFO] [stdout]   45:     0x71c93c6d0a64 - 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' (248) 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:     0x64df46a67732 - std[840933623431fd06]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x64df46a67732 - std[840933623431fd06]::backtrace_rs::backtrace::trace_unsynchronized::<std[840933623431fd06]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x64df46a67732 - std[840933623431fd06]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x64df46a67732 - <<std[840933623431fd06]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[8f93d80df273fe75]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x64df46a7e0aa - <core[8f93d80df273fe75]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x64df46a7e0aa - core[8f93d80df273fe75]::fmt::write
[INFO] [stdout]    6:     0x64df46a6c7b6 - std[840933623431fd06]::io::default_write_fmt::<alloc[40b2bae28975ac47]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x64df46a6c7b6 - <alloc[40b2bae28975ac47]::vec::Vec<u8> as std[840933623431fd06]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x64df46a4509f - <std[840933623431fd06]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x64df46a4509f - std[840933623431fd06]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x64df46a5f2a9 - std[840933623431fd06]::panicking::default_hook
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x64df4661713e - <alloc[40b2bae28975ac47]::boxed::Box<dyn for<'a, 'b> core[8f93d80df273fe75]::ops::function::Fn<(&'a std[840933623431fd06]::panic::PanicHookInfo<'b>,), Output = ()> + core[8f93d80df273fe75]::marker::Sync + core[8f93d80df273fe75]::marker::Send> as core[8f93d80df273fe75]::ops::function::Fn<(&std[840933623431fd06]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x64df4661713e - test[2f1252070343a163]::test_main_with_exit_callback::<test[2f1252070343a163]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x64df46a5f462 - <alloc[40b2bae28975ac47]::boxed::Box<dyn for<'a, 'b> core[8f93d80df273fe75]::ops::function::Fn<(&'a std[840933623431fd06]::panic::PanicHookInfo<'b>,), Output = ()> + core[8f93d80df273fe75]::marker::Sync + core[8f93d80df273fe75]::marker::Send> as core[8f93d80df273fe75]::ops::function::Fn<(&std[840933623431fd06]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x64df46a5f462 - std[840933623431fd06]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x64df46a45158 - std[840933623431fd06]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x64df46a3c8e9 - std[840933623431fd06]::sys::backtrace::__rust_end_short_backtrace::<std[840933623431fd06]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x64df46a45fad - __rustc[5b4a0c6d8cc4a177]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x64df46a7e86c - core[8f93d80df273fe75]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x64df46a7e5e2 - core[8f93d80df273fe75]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/result.rs:1867:5
[INFO] [stdout]   20:     0x64df465277df - <core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>>::unwrap
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/result.rs:1233:23
[INFO] [stdout]   21:     0x64df465277df - biodivine_bass[4687bddc3a06b61d]::adf_expressions::tests::test_write_file_success
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1747:35
[INFO] [stdout]   22:     0x64df465223a7 - biodivine_bass[4687bddc3a06b61d]::adf_expressions::tests::test_write_file_success::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/adf_expressions.rs:1738:33
[INFO] [stdout]   23:     0x64df46587716 - <biodivine_bass[4687bddc3a06b61d]::adf_expressions::tests::test_write_file_success::{closure#0} as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x64df4660b4eb - <fn() -> core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x64df4660b4eb - test[2f1252070343a163]::__rust_begin_short_backtrace::<core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>, fn() -> core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x64df46617d4a - test[2f1252070343a163]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x64df46617d4a - <core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<test[2f1252070343a163]::run_test_in_process::{closure#0}> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x64df46617d4a - std[840933623431fd06]::panicking::catch_unwind::do_call::<core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<test[2f1252070343a163]::run_test_in_process::{closure#0}>, core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x64df46617d4a - std[840933623431fd06]::panicking::catch_unwind::<core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>, core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<test[2f1252070343a163]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x64df46617d4a - std[840933623431fd06]::panic::catch_unwind::<core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<test[2f1252070343a163]::run_test_in_process::{closure#0}>, core[8f93d80df273fe75]::result::Result<(), alloc[40b2bae28975ac47]::string::String>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x64df46617d4a - test[2f1252070343a163]::run_test_in_process
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x64df46617d4a - test[2f1252070343a163]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x64df46612214 - test[2f1252070343a163]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x64df46612214 - std[840933623431fd06]::sys::backtrace::__rust_begin_short_backtrace::<test[2f1252070343a163]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x64df4661a842 - std[840933623431fd06]::thread::lifecycle::spawn_unchecked::<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x64df4661a842 - <core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x64df4661a842 - std[840933623431fd06]::panicking::catch_unwind::do_call::<core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x64df4661a842 - std[840933623431fd06]::panicking::catch_unwind::<(), core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x64df4661a842 - std[840933623431fd06]::panic::catch_unwind::<core[8f93d80df273fe75]::panic::unwind_safe::AssertUnwindSafe<std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x64df4661a842 - std[840933623431fd06]::thread::lifecycle::spawn_unchecked::<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x64df4661a842 - <std[840933623431fd06]::thread::lifecycle::spawn_unchecked<test[2f1252070343a163]::run_test::{closure#1}, ()>::{closure#1} as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x64df46a66a9f - <alloc[40b2bae28975ac47]::boxed::Box<dyn core[8f93d80df273fe75]::ops::function::FnOnce<(), Output = ()> + core[8f93d80df273fe75]::marker::Send> as core[8f93d80df273fe75]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   43:     0x64df46a66a9f - <std[840933623431fd06]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/bd7d74411512a3dd3b35d2f699c51dd2557c7e7e/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   44:     0x71c93c643aa4 - <unknown>
[INFO] [stdout]   45:     0x71c93c6d0a64 - 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 123.61s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "21d7ae7ab1f2a5128f13b3032bc24cadedacc99410ae7025d5008a93912f29aa", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "21d7ae7ab1f2a5128f13b3032bc24cadedacc99410ae7025d5008a93912f29aa", kill_on_drop: false }`
[INFO] [stdout] 21d7ae7ab1f2a5128f13b3032bc24cadedacc99410ae7025d5008a93912f29aa
