[INFO] fetching crate lemma-engine 0.7.1...
[INFO] testing lemma-engine-0.7.1 against 1.93.0 for beta-1.94-1
[INFO] extracting crate lemma-engine 0.7.1 into /workspace/builds/worker-5-tc1/source
[INFO] started tweaking crates.io crate lemma-engine 0.7.1
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate lemma-engine 0.7.1
[INFO] tweaked toml for crates.io crate lemma-engine 0.7.1 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate lemma-engine 0.7.1 on toolchain 1.93.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.93.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate lemma-engine 0.7.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.93.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rkyv_derive v0.7.46
[INFO] [stderr]   Downloaded strum_macros v0.26.4
[INFO] [stderr]   Downloaded heck v0.5.0
[INFO] [stderr]   Downloaded strum v0.26.3
[INFO] [stderr]   Downloaded getrandom v0.2.17
[INFO] [stderr]   Downloaded tinyvec v1.10.0
[INFO] [stderr]   Downloaded windows-targets v0.52.6
[INFO] [stderr]   Downloaded wait-timeout v0.2.1
[INFO] [stderr]   Downloaded proc-macro-crate v3.4.0
[INFO] [stderr]   Downloaded pest_meta v2.8.5
[INFO] [stderr]   Downloaded boolean_expression v0.4.4
[INFO] [stderr]   Downloaded bit-vec v0.8.0
[INFO] [stderr]   Downloaded console v0.15.11
[INFO] [stderr]   Downloaded toml_parser v1.0.6+spec-1.1.0
[INFO] [stderr]   Downloaded encode_unicode v1.0.0
[INFO] [stderr]   Downloaded similar v2.7.0
[INFO] [stderr]   Downloaded itertools v0.9.0
[INFO] [stderr]   Downloaded insta v1.46.1
[INFO] [stderr]   Downloaded borsh v1.6.0
[INFO] [stderr]   Downloaded pest v2.8.5
[INFO] [stderr]   Downloaded rust_decimal v1.40.0
[INFO] [stderr]   Downloaded toml_edit v0.23.10+spec-1.0.0
[INFO] [stderr]   Downloaded proptest v1.9.0
[INFO] [stderr]   Downloaded winnow v0.7.14
[INFO] [stderr]   Downloaded rkyv v0.7.46
[INFO] [stderr]   Downloaded pest_derive v2.8.5
[INFO] [stderr]   Downloaded rusty-fork v0.3.1
[INFO] [stderr]   Downloaded tempfile v3.24.0
[INFO] [stderr]   Downloaded toml_datetime v0.7.5+spec-1.1.0
[INFO] [stderr]   Downloaded borsh-derive v1.6.0
[INFO] [stderr]   Downloaded ucd-trie v0.1.7
[INFO] [stderr]   Downloaded pest_generator v2.8.5
[INFO] [stderr]   Downloaded fastrand v2.3.0
[INFO] [stderr]   Downloaded unarray v0.1.4
[INFO] [stderr]   Downloaded windows_aarch64_gnullvm v0.52.6
[INFO] [stderr]   Downloaded windows_x86_64_gnullvm v0.52.6
[INFO] [stderr]   Downloaded console_error_panic_hook v0.1.7
[INFO] [stderr]   Downloaded rustix v1.1.3
[INFO] [stderr]   Downloaded windows_i686_gnullvm v0.52.6
[INFO] [stderr]   Downloaded bit-set v0.8.0
[INFO] [stderr]   Downloaded rand_xorshift v0.4.0
[INFO] [stderr]   Downloaded fnv v1.0.7
[INFO] [stderr]   Downloaded quick-error v1.2.3
[INFO] [stderr]   Downloaded zmij v1.0.14
[INFO] [stderr]   Downloaded windows_i686_gnu v0.52.6
[INFO] [stderr]   Downloaded windows_x86_64_gnu v0.52.6
[INFO] [stderr]   Downloaded windows_aarch64_msvc v0.52.6
[INFO] [stderr]   Downloaded windows_i686_msvc v0.52.6
[INFO] [stderr]   Downloaded windows_x86_64_msvc v0.52.6
[INFO] [stderr]   Downloaded windows-sys v0.59.0
[INFO] [stderr]   Downloaded linux-raw-sys v0.11.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+1.93.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cbdbbf0bd52cfdac69701dc323d41e9763aa4963f748f1442446dda849a303a6
[INFO] running `Command { std: "docker" "start" "-a" "cbdbbf0bd52cfdac69701dc323d41e9763aa4963f748f1442446dda849a303a6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cbdbbf0bd52cfdac69701dc323d41e9763aa4963f748f1442446dda849a303a6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cbdbbf0bd52cfdac69701dc323d41e9763aa4963f748f1442446dda849a303a6", kill_on_drop: false }`
[INFO] [stdout] cbdbbf0bd52cfdac69701dc323d41e9763aa4963f748f1442446dda849a303a6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+1.93.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c6fa9eb654b0f2b38d0024350a871fb4764261ddea1702c7600c564088ed30e8
[INFO] running `Command { std: "docker" "start" "-a" "c6fa9eb654b0f2b38d0024350a871fb4764261ddea1702c7600c564088ed30e8", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.105
[INFO] [stderr]    Compiling quote v1.0.43
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling ucd-trie v0.1.7
[INFO] [stderr]    Compiling rustversion v1.0.22
[INFO] [stderr]    Compiling zmij v1.0.14
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling rust_decimal v1.40.0
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling arrayvec v0.7.6
[INFO] [stderr]    Compiling itoa v1.0.17
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling iana-time-zone v0.1.64
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling equivalent v1.0.2
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]    Compiling strum v0.26.3
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling pest v2.8.5
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling boolean_expression v0.4.4
[INFO] [stderr]    Compiling pest_meta v2.8.5
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling pest_generator v2.8.5
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling strum_macros v0.26.4
[INFO] [stderr]    Compiling pest_derive v2.8.5
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling chrono v0.4.43
[INFO] [stderr]    Compiling lemma-engine v0.7.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 18.87s
[INFO] running `Command { std: "docker" "inspect" "c6fa9eb654b0f2b38d0024350a871fb4764261ddea1702c7600c564088ed30e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c6fa9eb654b0f2b38d0024350a871fb4764261ddea1702c7600c564088ed30e8", kill_on_drop: false }`
[INFO] [stdout] c6fa9eb654b0f2b38d0024350a871fb4764261ddea1702c7600c564088ed30e8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+1.93.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 78be24119085af91806512ca3d681891a6ea80d6bf61a26940c1f4046acdf9bc
[INFO] running `Command { std: "docker" "start" "-a" "78be24119085af91806512ca3d681891a6ea80d6bf61a26940c1f4046acdf9bc", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling zerocopy v0.8.33
[INFO] [stderr]    Compiling linux-raw-sys v0.11.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling fastrand v2.3.0
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling similar v2.7.0
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling rust_decimal v1.40.0
[INFO] [stderr]    Compiling chrono v0.4.43
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling console v0.15.11
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling insta v1.46.1
[INFO] [stderr]    Compiling proptest v1.9.0
[INFO] [stderr]    Compiling lemma-engine v0.7.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 21.23s
[INFO] running `Command { std: "docker" "inspect" "78be24119085af91806512ca3d681891a6ea80d6bf61a26940c1f4046acdf9bc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "78be24119085af91806512ca3d681891a6ea80d6bf61a26940c1f4046acdf9bc", kill_on_drop: false }`
[INFO] [stdout] 78be24119085af91806512ca3d681891a6ea80d6bf61a26940c1f4046acdf9bc
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+1.93.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] a71ba475d5a2dda25adf28f3ca579b1180e3209af6f17f9f0932871a7700a20d
[INFO] running `Command { std: "docker" "start" "-a" "a71ba475d5a2dda25adf28f3ca579b1180e3209af6f17f9f0932871a7700a20d", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.24s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/lemma-f296d12eefca123a)
[INFO] [stdout] 
[INFO] [stdout] running 254 tests
[INFO] [stdout] test computation::algebra::tests::error_power_not_invertible ... ok
[INFO] [stdout] test computation::algebra::tests::solve_add_left ... ok
[INFO] [stdout] test computation::algebra::tests::error_modulo_not_invertible ... ok
[INFO] [stdout] test computation::algebra::tests::solve_divide_left ... ok
[INFO] [stdout] test computation::algebra::tests::solve_divide_right ... ok
[INFO] [stdout] test computation::algebra::tests::error_unknown_not_found ... ok
[INFO] [stdout] test computation::algebra::tests::error_non_linear ... ok
[INFO] [stdout] test computation::algebra::tests::solve_multiply_left ... ok
[INFO] [stdout] test computation::algebra::tests::solve_compound_fahrenheit_to_celsius ... ok
[INFO] [stdout] test computation::algebra::tests::solve_multiply_right ... ok
[INFO] [stdout] test computation::algebra::tests::solve_subtract_right ... ok
[INFO] [stdout] test computation::algebra::tests::solve_with_fact_reference ... ok
[INFO] [stdout] test computation::algebra::tests::substitute_nested ... ok
[INFO] [stdout] test computation::algebra::tests::substitute_chained_units ... ok
[INFO] [stdout] test computation::algebra::tests::solve_subtract_left ... ok
[INFO] [stdout] test computation::algebra::tests::substitute_simple ... ok
[INFO] [stdout] test computation::units::tests::duration_conversion ... ok
[INFO] [stdout] test computation::units::tests::duration_seconds_roundtrip ... ok
[INFO] [stdout] test engine::tests::test_document_not_found ... ok
[INFO] [stdout] test inversion::constraint::tests::test_constraint_display_simple ... ok
[INFO] [stdout] test evaluation::response::tests::test_response_serialization ... ok
[INFO] [stdout] test engine::tests::test_evaluate_empty_facts ... ok
[INFO] [stdout] test evaluation::response::tests::test_rule_result_types ... ok
[INFO] [stdout] test inversion::constraint::tests::test_constraint_or_short_circuit ... ok
[INFO] [stdout] test inversion::constraint::tests::test_collect_facts ... ok
[INFO] [stdout] test inversion::constraint::tests::test_constraint_display_and ... ok
[INFO] [stdout] test error::tests::test_error_creation_and_display ... ok
[INFO] [stdout] test inversion::constraint::tests::test_constraint_and_short_circuit ... ok
[INFO] [stdout] test inversion::constraint::tests::test_simplify_detects_neq_contradiction ... ok
[INFO] [stdout] test inversion::constraint::tests::test_constraint_not_double_negation ... ok
[INFO] [stdout] test inversion::constraint::tests::test_simplify_detects_ordering_implication_contradiction ... ok
[INFO] [stdout] test engine::tests::test_multiple_documents ... ok
[INFO] [stdout] test inversion::constraint::tests::test_simplify_contradiction ... ok
[INFO] [stdout] test engine::tests::test_evaluate_with_unless_clause ... ok
[INFO] [stdout] test engine::tests::test_evaluate_boolean_rule ... ok
[INFO] [stdout] test evaluation::response::tests::test_response_filter_rules ... ok
[INFO] [stdout] test engine::tests::test_rule_filtering_evaluates_dependencies ... ok
[INFO] [stdout] test engine::tests::test_runtime_error_mapping ... ok
[INFO] [stdout] test engine::tests::test_rules_sorted_by_source_order ... ok
[INFO] [stdout] test engine::tests::test_evaluate_document_all_rules ... ok
[INFO] [stdout] test inversion::domain::tests::test_domain_display ... ok
[INFO] [stdout] test inversion::constraint::tests::test_simplify_tautology ... ok
[INFO] [stdout] test inversion::domain::tests::test_extract_domain_from_boolean_fact ... ok
[INFO] [stdout] test inversion::domain::tests::test_extract_domain_from_comparison ... ok
[INFO] [stdout] test inversion::domain::tests::test_extract_domain_from_and ... ok
[INFO] [stdout] test inversion::domain::tests::test_extract_domain_from_equality ... ok
[INFO] [stdout] test inversion::domain::tests::test_extract_domain_from_not_boolean_fact ... ok
[INFO] [stdout] test inversion::domain::tests::test_normalize_double_complement ... ok
[INFO] [stdout] test inversion::domain::tests::test_normalize_union_absorbs_unconstrained ... ok
[INFO] [stdout] test inversion::solve::tests::test_can_solve_single_unknown ... ok
[INFO] [stdout] test inversion::solve::tests::test_cannot_solve_multiple_occurrences ... ok
[INFO] [stdout] test inversion::solve::tests::test_error_multiple_occurrences ... ok
[INFO] [stdout] test inversion::solve::tests::test_find_unknown_facts ... ok
[INFO] [stdout] test inversion::solve::tests::test_solve_right_operand_subtraction ... ok
[INFO] [stdout] test inversion::solve::tests::test_solve_simple_addition ... ok
[INFO] [stdout] test inversion::solve::tests::test_solve_chained_operations ... ok
[INFO] [stdout] test inversion::solve::tests::test_solve_simple_division ... ok
[INFO] [stdout] test inversion::solve::tests::test_solve_simple_multiplication ... ok
[INFO] [stdout] test inversion::solve::tests::test_try_solve_for_any_unknown ... ok
[INFO] [stdout] test inversion::tests::test_compute_is_determined_empty ... ok
[INFO] [stdout] test inversion::tests::test_compute_is_determined_false ... ok
[INFO] [stdout] test inversion::world::tests::test_constant_fold_comparison ... ok
[INFO] [stdout] test inversion::tests::test_compute_is_determined_true ... ok
[INFO] [stdout] test inversion::tests::test_compute_undetermined_facts_empty ... ok
[INFO] [stdout] test inversion::tests::test_compute_undetermined_facts_range ... ok
[INFO] [stdout] test inversion::world::tests::test_hydrate_fact_not_provided ... ok
[INFO] [stdout] test inversion::world::tests::test_hydrate_literal_unchanged ... ok
[INFO] [stdout] test inversion::tests::test_format_target_any ... ok
[INFO] [stdout] test inversion::tests::test_compute_undetermined_facts_single_value ... ok
[INFO] [stdout] test inversion::tests::test_format_target_eq ... ok
[INFO] [stdout] test inversion::tests::test_invert_strict_any_veto_target_matches_all_veto_ranges ... ok
[INFO] [stdout] test inversion::tests::test_invert_strict_no_solution_when_value_is_blocked_by_veto ... ok
[INFO] [stdout] test inversion::tests::test_invert_strict_rule_reference_expands_constraints ... ok
[INFO] [stdout] test inversion::world::tests::test_constant_fold_arithmetic ... ok
[INFO] [stdout] test inversion::solve::tests::test_solve_simple_subtraction ... ok
[INFO] [stdout] test inversion::world::tests::test_world_new ... ok
[INFO] [stdout] test inversion::world::tests::test_world_insert_and_get ... ok
[INFO] [stdout] test inversion::tests::test_invert_strict_veto_target_constrains_domain ... ok
[INFO] [stdout] test parsing::expressions::tests::test_fact_reference_parsing ... ok
[INFO] [stdout] test parsing::expressions::tests::test_conversion_expression_parsing ... ok
[INFO] [stdout] test parsing::expressions::tests::test_comparison_expressions ... ok
[INFO] [stdout] test parsing::expressions::tests::test_simple_number ... ok
[INFO] [stdout] test parsing::facts::tests::parse_standard_type_annotations_in_facts_collects_all_facts ... ok
[INFO] [stdout] test parsing::facts::tests::parse_type_annotations_in_facts_collects_all_facts ... ok
[INFO] [stdout] test parsing::facts::tests::test_parse_simple_document_reference ... ok
[INFO] [stdout] test parsing::literals::tests::parse_rejects_percent_literal_with_trailing_digits ... ok
[INFO] [stdout] test parsing::source::tests::test_extract_text_empty ... ok
[INFO] [stdout] test parsing::source::tests::test_extract_text_full_string ... ok
[INFO] [stdout] test parsing::rules::tests::parse_document_with_unless_clause_records_unless_clause ... ok
[INFO] [stdout] test parsing::source::tests::test_extract_text_out_of_bounds_start ... ok
[INFO] [stdout] test parsing::facts::tests::test_parse_fact_overrides ... ok
[INFO] [stdout] test parsing::rules::tests::mixed_veto_and_regular_unless_parses_both_results ... ok
[INFO] [stdout] test parsing::source::tests::test_new_with_str ... ok
[INFO] [stdout] test parsing::source::tests::test_extract_text_out_of_bounds_end ... ok
[INFO] [stdout] test parsing::rules::tests::veto_without_message_parses_as_veto_with_no_message ... ok
[INFO] [stdout] test parsing::source::tests::test_extract_text_middle ... ok
[INFO] [stdout] test parsing::rules::tests::parse_multiple_rules_in_document_preserves_rule_names ... ok
[INFO] [stdout] test parsing::rules::tests::veto_in_unless_clauses_parses_with_message ... ok
[INFO] [stdout] test parsing::source::tests::test_extract_text_unicode ... ok
[INFO] [stdout] test parsing::source::tests::test_extract_text_valid ... ok
[INFO] [stdout] test parsing::source::tests::test_new_with_string ... ok
[INFO] [stdout] test parsing::expressions::tests::test_logical_expressions ... ok
[INFO] [stdout] test parsing::tests::parse_allows_duplicate_fact_names ... ok
[INFO] [stdout] test parsing::tests::mixing_facts_and_rules_is_collected_into_doc ... ok
[INFO] [stdout] test parsing::tests::parse_allows_duplicate_rule_names ... ok
[INFO] [stdout] test parsing::tests::parse_commentary_block_is_attached_to_doc ... ok
[INFO] [stdout] test parsing::tests::parse_doc_name_with_slashes_is_preserved ... ok
[INFO] [stdout] test parsing::expressions::tests::test_arithmetic_operations_work ... ok
[INFO] [stdout] test parsing::rules::tests::parse_multiple_unless_clauses_records_all_unless_clauses ... ok
[INFO] [stdout] test parsing::tests::parse_document_with_rule_collects_rule ... ok
[INFO] [stdout] test parsing::tests::parse_empty_input_returns_no_documents ... ok
[INFO] [stdout] test parsing::tests::parse_error_includes_attribute_and_parse_error_doc_name ... ok
[INFO] [stdout] test parsing::tests::parse_duration_literals_in_rules ... ok
[INFO] [stdout] test parsing::tests::parse_error_is_returned_for_garbage_input ... ok
[INFO] [stdout] test parsing::tests::parse_simple_document_collects_facts ... ok
[INFO] [stdout] test parsing::tests::parse_multiple_documents_returns_all_docs ... ok
[INFO] [stdout] test parsing::tests::parse_rejects_malformed_input ... ok
[INFO] [stdout] test parsing::tests::parse_workspace_file_yields_expected_doc_facts_and_rules ... ok
[INFO] [stdout] test parsing::tests::parse_handles_whitespace_variants_in_expressions ... ok
[INFO] [stdout] test parsing::tests::parse_error_cases_are_rejected ... ok
[INFO] [stdout] test parsing::types::tests::type_definition_parsing_produces_regular_typedef_with_overrides ... ok
[INFO] [stdout] test planning::execution_plan::tests::test_serialize_deserialize_empty_plan ... ok
[INFO] [stdout] test planning::execution_plan::tests::test_serialize_deserialize_execution_plan ... ok
[INFO] [stdout] test planning::execution_plan::tests::test_serialize_deserialize_plan_with_arithmetic_expressions ... ok
[INFO] [stdout] test planning::execution_plan::tests::test_serialize_deserialize_plan_with_multiple_fact_types ... ok
[INFO] [stdout] test planning::execution_plan::tests::test_serialize_deserialize_plan_with_nested_fact_paths ... ok
[INFO] [stdout] test planning::execution_plan::tests::test_serialize_deserialize_plan_with_rules ... ok
[INFO] [stdout] test parsing::tests::parse_comparisons_with_duration_unit_conversions ... ok
[INFO] [stdout] test planning::execution_plan::tests::test_serialize_deserialize_round_trip_equality ... ok
[INFO] [stdout] test planning::execution_plan::tests::test_with_nested_typed_values ... ok
[INFO] [stdout] test planning::execution_plan::tests::test_with_typed_values ... ok
[INFO] [stdout] test planning::execution_plan::tests::test_with_typed_values_type_mismatch ... ok
[INFO] [stdout] test planning::execution_plan::tests::test_serialize_deserialize_plan_with_multiple_branches ... ok
[INFO] [stdout] test planning::execution_plan::tests::test_with_typed_values_unknown_fact ... ok
[INFO] [stdout] test planning::execution_plan::tests::with_values_should_enforce_text_enum_options ... ok
[INFO] [stdout] test planning::execution_plan::tests::with_values_should_enforce_number_maximum_constraint ... ok
[INFO] [stdout] test planning::graph::tests::should_reject_fact_and_rule_name_collision ... ok
[INFO] [stdout] test planning::graph::tests::should_reject_fact_override_into_non_document_fact ... ok
[INFO] [stdout] test planning::execution_plan::tests::with_values_should_enforce_scale_decimals ... ok
[INFO] [stdout] test planning::graph::tests::test_build_graph_with_rule ... ok
[INFO] [stdout] test planning::graph::tests::test_build_simple_graph ... ok
[INFO] [stdout] test planning::graph::tests::test_collect_multiple_errors ... ok
[INFO] [stdout] test planning::graph::tests::test_duplicate_fact ... ok
[INFO] [stdout] test planning::graph::tests::test_duplicate_rule ... ok
[INFO] [stdout] test planning::graph::tests::test_fact_reference_conversion ... ok
[INFO] [stdout] test planning::graph::tests::test_missing_document_reference ... ok
[INFO] [stdout] test planning::graph::tests::test_missing_fact_reference ... ok
[INFO] [stdout] test planning::graph::tests::test_rule_reference_conversion ... ok
[INFO] [stdout] test planning::internal_tests::test_circular_dependency ... ok
[INFO] [stdout] test planning::internal_tests::test_duplicate_facts ... ok
[INFO] [stdout] test planning::internal_tests::test_basic_validation ... ok
[INFO] [stdout] test planning::internal_tests::test_duplicate_rules ... ok
[INFO] [stdout] test planning::internal_tests::test_fact_override_with_custom_type_resolves_in_correct_document_context ... ok
[INFO] [stdout] test planning::internal_tests::test_invalid_document_reference ... ok
[INFO] [stdout] test planning::internal_tests::test_multiple_documents ... ok
[INFO] [stdout] test planning::types::tests::test_document_level_unit_ambiguity_errors_are_reported ... ok
[INFO] [stdout] test planning::types::tests::test_duplicate_unit_in_same_type_is_rejected ... ok
[INFO] [stdout] test planning::types::tests::test_invalid_parent_type_in_named_type_should_error ... ok
[INFO] [stdout] test planning::types::tests::test_invalid_standard_type_name_should_error ... ok
[INFO] [stdout] test planning::internal_tests::test_reference_type_errors ... ok
[INFO] [stdout] test planning::types::tests::test_extending_type_inherits_units ... ok
[INFO] [stdout] test planning::types::tests::test_number_type_cannot_have_units ... ok
[INFO] [stdout] test planning::types::tests::test_number_type_decimals_only ... ok
[INFO] [stdout] test planning::types::tests::test_number_type_with_decimals ... ok
[INFO] [stdout] test planning::types::tests::test_ratio_type_rejects_decimals_command ... ok
[INFO] [stdout] test planning::types::tests::test_ratio_type_with_default_command ... ok
[INFO] [stdout] test planning::types::tests::test_register_duplicate_type_fails ... ok
[INFO] [stdout] test planning::types::tests::test_register_inline_type_definition ... ok
[INFO] [stdout] test planning::types::tests::test_register_named_type ... ok
[INFO] [stdout] test planning::types::tests::test_registry_creation ... ok
[INFO] [stdout] test planning::types::tests::test_resolve_custom_type_from_standard ... ok
[INFO] [stdout] test planning::types::tests::test_resolve_standard_types ... ok
[INFO] [stdout] test planning::types::tests::test_scale_type_can_have_units ... ok
[INFO] [stdout] test planning::types::tests::test_scale_type_decimals_only ... ok
[INFO] [stdout] test planning::types::tests::test_type_definition_resolution ... ok
[INFO] [stdout] test planning::types::tests::test_type_definition_with_multiple_commands ... ok
[INFO] [stdout] test planning::validation::tests::validate_basic_document ... ok
[INFO] [stdout] test planning::validation::tests::validate_date_minimum_after_maximum ... ok
[INFO] [stdout] test planning::types::tests::test_unit_override_validation_errors_are_reported ... ok
[INFO] [stdout] test planning::validation::tests::validate_date_valid_range ... ok
[INFO] [stdout] test planning::validation::tests::validate_number_default_above_maximum ... ok
[INFO] [stdout] test planning::validation::tests::validate_number_default_below_minimum ... ok
[INFO] [stdout] test planning::validation::tests::validate_number_default_valid ... ok
[INFO] [stdout] test planning::validation::tests::validate_number_minimum_greater_than_maximum ... ok
[INFO] [stdout] test planning::validation::tests::validate_number_valid_range ... ok
[INFO] [stdout] test planning::validation::tests::validate_ratio_minimum_greater_than_maximum ... ok
[INFO] [stdout] test planning::validation::tests::validate_text_default_not_in_options ... ok
[INFO] [stdout] test planning::validation::tests::validate_text_default_valid_in_options ... ok
[INFO] [stdout] test planning::validation::tests::validate_text_length_inconsistent_with_minimum ... ok
[INFO] [stdout] test planning::validation::tests::validate_text_minimum_greater_than_maximum ... ok
[INFO] [stdout] test planning::validation::tests::validate_type_definition_with_invalid_constraints ... ok
[INFO] [stdout] test semantic::tests::test_arithmetic_operation_display ... ok
[INFO] [stdout] test planning::validation::tests::validate_time_minimum_after_maximum ... ok
[INFO] [stdout] test semantic::tests::test_arithmetic_operation_name ... ok
[INFO] [stdout] test semantic::tests::test_comparison_operator_display ... ok
[INFO] [stdout] test semantic::tests::test_comparison_operator_name ... ok
[INFO] [stdout] test semantic::tests::test_conversion_target_display ... ok
[INFO] [stdout] test semantic::tests::test_datetime_value_display ... ok
[INFO] [stdout] test semantic::tests::test_doc_type_display ... ok
[INFO] [stdout] test semantic::tests::test_duration_unit_display ... ok
[INFO] [stdout] test semantic::tests::test_expression_get_source_text_no_location ... ok
[INFO] [stdout] test semantic::tests::test_expression_get_source_text_source_not_found ... ok
[INFO] [stdout] test semantic::tests::test_expression_get_source_text_with_location ... ok
[INFO] [stdout] test semantic::tests::test_literal_value_display_value ... ok
[INFO] [stdout] test semantic::tests::test_literal_value_time_type ... ok
[INFO] [stdout] test semantic::tests::test_literal_value_to_standard_type ... ok
[INFO] [stdout] test semantic::tests::test_negation_types ... ok
[INFO] [stdout] test semantic::tests::test_time_value_display ... ok
[INFO] [stdout] test semantic::tests::test_timezone_value ... ok
[INFO] [stdout] test parsing::expressions::tests::test_parentheses_syntax_and_spacing_edge_cases ... ok
[INFO] [stdout] test semantic::tests::test_type_constructor ... ok
[INFO] [stdout] test semantic::tests::test_type_display ... ok
[INFO] [stdout] test semantic::tests::test_type_equality ... ok
[INFO] [stdout] test semantic::tests::test_type_serialization ... ok
[INFO] [stdout] test semantic::tests::test_veto_expression ... ok
[INFO] [stdout] test serialization::json::tests::test_all_null_values ... ok
[INFO] [stdout] test serialization::json::tests::test_array_value_for_non_text ... ok
[INFO] [stdout] test serialization::json::tests::test_boolean_from_false ... ok
[INFO] [stdout] test serialization::json::tests::test_boolean_from_string_no ... ok
[INFO] [stdout] test serialization::json::tests::test_boolean_from_string_yes ... ok
[INFO] [stdout] test serialization::json::tests::test_boolean_from_true ... ok
[INFO] [stdout] test serialization::json::tests::test_boolean_rejects_invalid_string ... ok
[INFO] [stdout] test serialization::json::tests::test_boolean_rejects_number ... ok
[INFO] [stdout] test serialization::json::tests::test_date_from_string ... ok
[INFO] [stdout] test serialization::json::tests::test_date_rejects_number ... ok
[INFO] [stdout] test serialization::json::tests::test_duration_from_string ... ok
[INFO] [stdout] test serialization::json::tests::test_duration_rejects_number ... ok
[INFO] [stdout] test serialization::json::tests::test_invalid_json_syntax ... ok
[INFO] [stdout] test serialization::json::tests::test_mixed_valid_types ... ok
[INFO] [stdout] test serialization::json::tests::test_null_value_skipped ... ok
[INFO] [stdout] test serialization::json::tests::test_number_from_decimal ... ok
[INFO] [stdout] test serialization::json::tests::test_number_from_integer ... ok
[INFO] [stdout] test serialization::json::tests::test_number_from_invalid_string ... ok
[INFO] [stdout] test serialization::json::tests::test_number_from_string ... ok
[INFO] [stdout] test serialization::json::tests::test_number_from_string_with_formatting ... ok
[INFO] [stdout] test serialization::json::tests::test_number_rejects_boolean ... ok
[INFO] [stdout] test serialization::json::tests::test_object_value_for_non_text ... ok
[INFO] [stdout] test serialization::json::tests::test_percentage_from_bare_string ... ok
[INFO] [stdout] test serialization::json::tests::test_percentage_from_number ... ok
[INFO] [stdout] test serialization::json::tests::test_percentage_from_string_with_percent_sign ... ok
[INFO] [stdout] test serialization::json::tests::test_percentage_from_string_with_percent_word ... ok
[INFO] [stdout] test serialization::json::tests::test_percentage_rejects_boolean ... ok
[INFO] [stdout] test serialization::json::tests::test_percentage_from_invalid_string ... ok
[INFO] [stdout] test serialization::json::tests::test_text_from_array ... ok
[INFO] [stdout] test serialization::json::tests::test_text_from_boolean ... ok
[INFO] [stdout] test serialization::json::tests::test_text_from_number ... ok
[INFO] [stdout] test serialization::json::tests::test_text_from_object ... ok
[INFO] [stdout] test serialization::json::tests::test_text_from_string ... ok
[INFO] [stdout] test serialization::json::tests::test_time_from_string_hhmm ... ok
[INFO] [stdout] test serialization::json::tests::test_time_from_string_hhmmss ... ok
[INFO] [stdout] test serialization::json::tests::test_time_from_string_with_timezone ... ok
[INFO] [stdout] test serialization::json::tests::test_time_rejects_invalid_format ... ok
[INFO] [stdout] test serialization::json::tests::test_time_rejects_number ... ok
[INFO] [stdout] test serialization::json::tests::test_unknown_fact_error ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 254 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/bdd_consensus.rs (/opt/rustwide/target/debug/deps/bdd_consensus-e978ea2ce3bc6e0f)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stderr]      Running tests/bdd_partial_simplification.rs (/opt/rustwide/target/debug/deps/bdd_partial_simplification-86775ba06bed049e)
[INFO] [stdout] test bdd_consensus_rule_simplifies_three_terms_to_two ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test bdd_partial_simplification_on_large_expression ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/bdd_simplification.rs (/opt/rustwide/target/debug/deps/bdd_simplification-aea12226e286de82)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test bdd_unification_simplifies_to_single_atom ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/coffee_order.rs (/opt/rustwide/target/debug/deps/coffee_order-4839bb678d5170d2)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test test_coffee_order_latte_large_with_loyalty ... ok
[INFO] [stdout] test test_coffee_order_parses ... ok
[INFO] [stdout] test test_coffee_order_espresso_small_no_loyalty ... ok
[INFO] [stdout] test test_coffee_order_invalid_size_veto ... ok
[INFO] [stdout] test test_coffee_order_ordered_priority ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cross_document_references.rs (/opt/rustwide/target/debug/deps/cross_document_references-640d8204d0c82e20)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test test_cross_doc_mixed_fact_and_rule_references ... ok
[INFO] [stdout] test test_cross_doc_rule_reference_in_unless_clause ... ok
[INFO] [stdout] test test_different_fact_paths_produce_different_results ... ok
[INFO] [stdout] test test_cross_doc_rule_reference ... ok
[INFO] [stdout] test test_cross_doc_fact_reference ... ok
[INFO] [stdout] test test_cross_doc_fact_override_with_rule_reference ... ok
[INFO] [stdout] test test_cross_doc_rule_reference_with_dependencies ... ok
[INFO] [stdout] test test_multi_level_fact_override ... ok
[INFO] [stdout] test test_simple_fact_override ... ok
[INFO] [stdout] test test_nested_cross_doc_rule_reference ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/datetime_edge_cases.rs (/opt/rustwide/target/debug/deps/datetime_edge_cases-0ee0e8004277431d)
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test test_dec_31_plus_1_month ... ok
[INFO] [stdout] test test_date_difference_across_leap_year ... ok
[INFO] [stdout] test test_leap_year_century_2100_not_leap ... ok
[INFO] [stdout] test test_leap_year_century_2000 ... ok
[INFO] [stdout] test test_add_large_duration_days ... ok
[INFO] [stdout] test test_datetime_comparison_across_years ... ok
[INFO] [stdout] test test_add_month_with_day_overflow_jan_31_to_feb_non_leap ... ok
[INFO] [stdout] test test_add_hours_crossing_midnight ... ok
[INFO] [stdout] test test_add_minutes_precise ... ok
[INFO] [stdout] test test_add_month_with_day_overflow_jan_31_to_feb ... ok
[INFO] [stdout] test test_add_4_years_to_feb_29_leap_to_leap ... ok
[INFO] [stdout] test test_negative_time_difference ... ok
[INFO] [stdout] test test_date_difference_non_leap_year ... ok
[INFO] [stdout] test test_fractional_hours ... ok
[INFO] [stdout] test test_add_year_to_feb_29_leap_to_non_leap ... ok
[INFO] [stdout] test test_leap_year_feb_29_valid ... ok
[INFO] [stdout] test test_add_months_cross_multiple_years ... ok
[INFO] [stdout] test test_add_seconds_overflow_to_minutes ... ok
[INFO] [stdout] test test_subtract_hours_crossing_midnight_backward ... ok
[INFO] [stdout] test test_month_31_to_30_day_month ... ok
[INFO] [stdout] test test_non_leap_year_century_1900 ... ok
[INFO] [stdout] test test_time_difference ... ok
[INFO] [stdout] test test_subtract_months_cross_year_boundary ... ok
[INFO] [stdout] test test_time_arithmetic_crossing_midnight ... ok
[INFO] [stdout] test test_subtract_year_from_year_boundary ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/documentation_examples.rs (/opt/rustwide/target/debug/deps/documentation_examples-6931abca86e3e44b)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test test_01_coffee_order ... FAILED
[INFO] [stdout] test test_02_library_fees ... FAILED
[INFO] [stdout] test test_05_weather_clothing ... FAILED
[INFO] [stdout] test test_03_recipe_scaling ... FAILED
[INFO] [stdout] test test_04_membership_benefits ... FAILED
[INFO] [stdout] test test_all_documentation_examples_parse ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- test_01_coffee_order stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_01_coffee_order' (329) panicked at tests/documentation_examples.rs:41:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_coffee_order.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x56bfcb600372 - std::backtrace_rs::backtrace::libunwind::trace::h90e89fac33585832
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x56bfcb600372 - std::backtrace_rs::backtrace::trace_unsynchronized::heebcf2380a8e7359
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x56bfcb600372 - std::sys::backtrace::_print_fmt::hdf3e2a22d2f810db
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:68:9
[INFO] [stdout]    3:     0x56bfcb600372 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hac1d885928ba8582
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:38:26
[INFO] [stdout]    4:     0x56bfcb6119c7 - core::fmt::rt::Argument::fmt::h6901eb7c19abebe8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x56bfcb6119c7 - core::fmt::write::h83ebb4d32483be9e
[INFO] [stdout]    6:     0x56bfcb5cf126 - std::io::default_write_fmt::h751a79cdae495f10
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x56bfcb5cf126 - std::io::Write::write_fmt::h9ef514f8700ff7b2
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x56bfcb5df739 - std::sys::backtrace::BacktraceLock::print::hcc2e1a3ac996c911
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:41:9
[INFO] [stdout]    9:     0x56bfcb5df739 - std::panicking::default_hook::{{closure}}::h8e9c4d1276f0925f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x56bfcb5df5d1 - std::panicking::default_hook::h2b2078d38b534dfb
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x56bfcb2ed50e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h39d051e7dedac6a7
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x56bfcb2ed50e - test::test_main_with_exit_callback::{{closure}}::h4b005fe75814c302
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x56bfcb5df9b2 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd426070722c13cbf
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x56bfcb5df9b2 - std::panicking::panic_with_hook::h39b739724e701bfd
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x56bfcb5df7f8 - std::panicking::panic_handler::{{closure}}::he540c4833054e458
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x56bfcb5dadc9 - std::sys::backtrace::__rust_end_short_backtrace::hfa179d89deec8aed
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:176:18
[INFO] [stdout]   17:     0x56bfcb5c378d - __rustc[d131491b17107b07]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x56bfcb61974c - core::panicking::panic_fmt::ha564519d657d9c46
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x56bfcb2c83b3 - documentation_examples::load_documentation_examples::{{closure}}::h511be854b5836fa3
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:41:33
[INFO] [stdout]   20:     0x56bfcb2ca4ea - core::result::Result<T,E>::unwrap_or_else::h6bc127b3aebc59e5
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x56bfcb2c816a - documentation_examples::load_documentation_examples::he06ce3339ffb6ec9
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:41:14
[INFO] [stdout]   22:     0x56bfcb2c5ea1 - documentation_examples::test_01_coffee_order::hb1c75d4c9d18d3c1
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:52:18
[INFO] [stdout]   23:     0x56bfcb2c6667 - documentation_examples::test_01_coffee_order::{{closure}}::h66964349e140b582
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:51:26
[INFO] [stdout]   24:     0x56bfcb2c9ba6 - core::ops::function::FnOnce::call_once::h9d24787026d3adc8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x56bfcb2ed33b - core::ops::function::FnOnce::call_once::h0217b30cfdee2e67
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x56bfcb2ed33b - test::__rust_begin_short_backtrace::h6d98714a1e28f556
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x56bfcb300cca - test::run_test_in_process::{{closure}}::he2c70d2634d3a3cc
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x56bfcb300cca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h40a0a825bcf17fdd
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x56bfcb300cca - std::panicking::catch_unwind::do_call::h6c8eb5dd6e7b5975
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x56bfcb300cca - std::panicking::catch_unwind::h55455eac2972ad1e
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x56bfcb300cca - std::panic::catch_unwind::h0025465150a5e558
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x56bfcb300cca - test::run_test_in_process::hb61e682f9b630fbc
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x56bfcb300cca - test::run_test::{{closure}}::hc2c2a7a38ab176e2
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x56bfcb2daf64 - test::run_test::{{closure}}::ha91867b85cd2a911
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x56bfcb2daf64 - std::sys::backtrace::__rust_begin_short_backtrace::ha00a9fe02049c339
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:160:18
[INFO] [stdout]   36:     0x56bfcb2de892 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::hd629fba9153dfb55
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/thread/lifecycle.rs:92:13
[INFO] [stdout]   37:     0x56bfcb2de892 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4189018816a5c5d9
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x56bfcb2de892 - std::panicking::catch_unwind::do_call::hf9fcdbca3c2e9877
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x56bfcb2de892 - std::panicking::catch_unwind::h97b92d88631c7c64
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x56bfcb2de892 - std::panic::catch_unwind::ha77cdbb68e725e5e
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x56bfcb2de892 - std::thread::lifecycle::spawn_unchecked::{{closure}}::h511f05bc1a132253
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/thread/lifecycle.rs:90:26
[INFO] [stdout]   42:     0x56bfcb2de892 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6b68b31e9b685cb8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x56bfcb5d645f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h22a27d165e4e871d
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   44:     0x56bfcb5d645f - std::sys::thread::unix::Thread::new::thread_start::h45cc87bb053add0f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x74695df04aa4 - <unknown>
[INFO] [stdout]   46:     0x74695df91a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_02_library_fees stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_02_library_fees' (330) panicked at tests/documentation_examples.rs:41:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_coffee_order.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x56bfcb600372 - std::backtrace_rs::backtrace::libunwind::trace::h90e89fac33585832
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x56bfcb600372 - std::backtrace_rs::backtrace::trace_unsynchronized::heebcf2380a8e7359
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x56bfcb600372 - std::sys::backtrace::_print_fmt::hdf3e2a22d2f810db
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:68:9
[INFO] [stdout]    3:     0x56bfcb600372 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hac1d885928ba8582
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:38:26
[INFO] [stdout]    4:     0x56bfcb6119c7 - core::fmt::rt::Argument::fmt::h6901eb7c19abebe8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x56bfcb6119c7 - core::fmt::write::h83ebb4d32483be9e
[INFO] [stdout]    6:     0x56bfcb5cf126 - std::io::default_write_fmt::h751a79cdae495f10
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x56bfcb5cf126 - std::io::Write::write_fmt::h9ef514f8700ff7b2
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x56bfcb5df739 - std::sys::backtrace::BacktraceLock::print::hcc2e1a3ac996c911
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:41:9
[INFO] [stdout]    9:     0x56bfcb5df739 - std::panicking::default_hook::{{closure}}::h8e9c4d1276f0925f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x56bfcb5df5d1 - std::panicking::default_hook::h2b2078d38b534dfb
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x56bfcb2ed50e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h39d051e7dedac6a7
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x56bfcb2ed50e - test::test_main_with_exit_callback::{{closure}}::h4b005fe75814c302
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x56bfcb5df9b2 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd426070722c13cbf
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x56bfcb5df9b2 - std::panicking::panic_with_hook::h39b739724e701bfd
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x56bfcb5df7f8 - std::panicking::panic_handler::{{closure}}::he540c4833054e458
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x56bfcb5dadc9 - std::sys::backtrace::__rust_end_short_backtrace::hfa179d89deec8aed
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:176:18
[INFO] [stdout]   17:     0x56bfcb5c378d - __rustc[d131491b17107b07]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x56bfcb61974c - core::panicking::panic_fmt::ha564519d657d9c46
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x56bfcb2c83b3 - documentation_examples::load_documentation_examples::{{closure}}::h511be854b5836fa3
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:41:33
[INFO] [stdout]   20:     0x56bfcb2ca4ea - core::result::Result<T,E>::unwrap_or_else::h6bc127b3aebc59e5
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x56bfcb2c816a - documentation_examples::load_documentation_examples::he06ce3339ffb6ec9
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:41:14
[INFO] [stdout]   22:     0x56bfcb2c66b1 - documentation_examples::test_02_library_fees::h2439c247d00c735c
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:76:18
[INFO] [stdout]   23:     0x56bfcb2c6db7 - documentation_examples::test_02_library_fees::{{closure}}::he4f409a47ce3e23a
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:75:26
[INFO] [stdout]   24:     0x56bfcb2c9a96 - core::ops::function::FnOnce::call_once::h0463696f86dd4889
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x56bfcb2ed33b - core::ops::function::FnOnce::call_once::h0217b30cfdee2e67
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x56bfcb2ed33b - test::__rust_begin_short_backtrace::h6d98714a1e28f556
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x56bfcb300cca - test::run_test_in_process::{{closure}}::he2c70d2634d3a3cc
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x56bfcb300cca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h40a0a825bcf17fdd
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x56bfcb300cca - std::panicking::catch_unwind::do_call::h6c8eb5dd6e7b5975
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x56bfcb300cca - std::panicking::catch_unwind::h55455eac2972ad1e
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x56bfcb300cca - std::panic::catch_unwind::h0025465150a5e558
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x56bfcb300cca - test::run_test_in_process::hb61e682f9b630fbc
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x56bfcb300cca - test::run_test::{{closure}}::hc2c2a7a38ab176e2
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x56bfcb2daf64 - test::run_test::{{closure}}::ha91867b85cd2a911
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x56bfcb2daf64 - std::sys::backtrace::__rust_begin_short_backtrace::ha00a9fe02049c339
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:160:18
[INFO] [stdout]   36:     0x56bfcb2de892 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::hd629fba9153dfb55
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/thread/lifecycle.rs:92:13
[INFO] [stdout]   37:     0x56bfcb2de892 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4189018816a5c5d9
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x56bfcb2de892 - std::panicking::catch_unwind::do_call::hf9fcdbca3c2e9877
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x56bfcb2de892 - std::panicking::catch_unwind::h97b92d88631c7c64
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x56bfcb2de892 - std::panic::catch_unwind::ha77cdbb68e725e5e
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x56bfcb2de892 - std::thread::lifecycle::spawn_unchecked::{{closure}}::h511f05bc1a132253
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/thread/lifecycle.rs:90:26
[INFO] [stdout]   42:     0x56bfcb2de892 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6b68b31e9b685cb8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x56bfcb5d645f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h22a27d165e4e871d
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   44:     0x56bfcb5d645f - std::sys::thread::unix::Thread::new::thread_start::h45cc87bb053add0f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x74695df04aa4 - <unknown>
[INFO] [stdout]   46:     0x74695df91a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_05_weather_clothing stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_05_weather_clothing' (333) panicked at tests/documentation_examples.rs:41:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_coffee_order.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x56bfcb600372 - std::backtrace_rs::backtrace::libunwind::trace::h90e89fac33585832
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x56bfcb600372 - std::backtrace_rs::backtrace::trace_unsynchronized::heebcf2380a8e7359
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x56bfcb600372 - std::sys::backtrace::_print_fmt::hdf3e2a22d2f810db
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:68:9
[INFO] [stdout]    3:     0x56bfcb600372 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hac1d885928ba8582
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:38:26
[INFO] [stdout]    4:     0x56bfcb6119c7 - core::fmt::rt::Argument::fmt::h6901eb7c19abebe8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x56bfcb6119c7 - core::fmt::write::h83ebb4d32483be9e
[INFO] [stdout]    6:     0x56bfcb5cf126 - std::io::default_write_fmt::h751a79cdae495f10
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x56bfcb5cf126 - std::io::Write::write_fmt::h9ef514f8700ff7b2
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x56bfcb5df739 - std::sys::backtrace::BacktraceLock::print::hcc2e1a3ac996c911
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:41:9
[INFO] [stdout]    9:     0x56bfcb5df739 - std::panicking::default_hook::{{closure}}::h8e9c4d1276f0925f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x56bfcb5df5d1 - std::panicking::default_hook::h2b2078d38b534dfb
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x56bfcb2ed50e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h39d051e7dedac6a7
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x56bfcb2ed50e - test::test_main_with_exit_callback::{{closure}}::h4b005fe75814c302
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x56bfcb5df9b2 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd426070722c13cbf
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x56bfcb5df9b2 - std::panicking::panic_with_hook::h39b739724e701bfd
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x56bfcb5df7f8 - std::panicking::panic_handler::{{closure}}::he540c4833054e458
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x56bfcb5dadc9 - std::sys::backtrace::__rust_end_short_backtrace::hfa179d89deec8aed
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:176:18
[INFO] [stdout]   17:     0x56bfcb5c378d - __rustc[d131491b17107b07]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x56bfcb61974c - core::panicking::panic_fmt::ha564519d657d9c46
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x56bfcb2c83b3 - documentation_examples::load_documentation_examples::{{closure}}::h511be854b5836fa3
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:41:33
[INFO] [stdout]   20:     0x56bfcb2ca4ea - core::result::Result<T,E>::unwrap_or_else::h6bc127b3aebc59e5
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x56bfcb2c816a - documentation_examples::load_documentation_examples::he06ce3339ffb6ec9
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:41:14
[INFO] [stdout]   22:     0x56bfcb2c7921 - documentation_examples::test_05_weather_clothing::h80147fd25131561e
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:183:18
[INFO] [stdout]   23:     0x56bfcb2c7ef7 - documentation_examples::test_05_weather_clothing::{{closure}}::hb88badc4e85064d2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:182:30
[INFO] [stdout]   24:     0x56bfcb2c9b16 - core::ops::function::FnOnce::call_once::h42bc56e0b9b79ad9
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x56bfcb2ed33b - core::ops::function::FnOnce::call_once::h0217b30cfdee2e67
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x56bfcb2ed33b - test::__rust_begin_short_backtrace::h6d98714a1e28f556
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x56bfcb300cca - test::run_test_in_process::{{closure}}::he2c70d2634d3a3cc
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x56bfcb300cca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h40a0a825bcf17fdd
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x56bfcb300cca - std::panicking::catch_unwind::do_call::h6c8eb5dd6e7b5975
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x56bfcb300cca - std::panicking::catch_unwind::h55455eac2972ad1e
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x56bfcb300cca - std::panic::catch_unwind::h0025465150a5e558
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x56bfcb300cca - test::run_test_in_process::hb61e682f9b630fbc
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x56bfcb300cca - test::run_test::{{closure}}::hc2c2a7a38ab176e2
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x56bfcb2daf64 - test::run_test::{{closure}}::ha91867b85cd2a911
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x56bfcb2daf64 - std::sys::backtrace::__rust_begin_short_backtrace::ha00a9fe02049c339
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:160:18
[INFO] [stdout]   36:     0x56bfcb2de892 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::hd629fba9153dfb55
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/thread/lifecycle.rs:92:13
[INFO] [stdout]   37:     0x56bfcb2de892 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4189018816a5c5d9
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x56bfcb2de892 - std::panicking::catch_unwind::do_call::hf9fcdbca3c2e9877
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x56bfcb2de892 - std::panicking::catch_unwind::h97b92d88631c7c64
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x56bfcb2de892 - std::panic::catch_unwind::ha77cdbb68e725e5e
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x56bfcb2de892 - std::thread::lifecycle::spawn_unchecked::{{closure}}::h511f05bc1a132253
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/thread/lifecycle.rs:90:26
[INFO] [stdout]   42:     0x56bfcb2de892 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6b68b31e9b685cb8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x56bfcb5d645f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h22a27d165e4e871d
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   44:     0x56bfcb5d645f - std::sys::thread::unix::Thread::new::thread_start::h45cc87bb053add0f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x74695df04aa4 - <unknown>
[INFO] [stdout]   46:     0x74695df91a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_03_recipe_scaling stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_03_recipe_scaling' (331) panicked at tests/documentation_examples.rs:41:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_coffee_order.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x56bfcb600372 - std::backtrace_rs::backtrace::libunwind::trace::h90e89fac33585832
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x56bfcb600372 - std::backtrace_rs::backtrace::trace_unsynchronized::heebcf2380a8e7359
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x56bfcb600372 - std::sys::backtrace::_print_fmt::hdf3e2a22d2f810db
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:68:9
[INFO] [stdout]    3:     0x56bfcb600372 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hac1d885928ba8582
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:38:26
[INFO] [stdout]    4:     0x56bfcb6119c7 - core::fmt::rt::Argument::fmt::h6901eb7c19abebe8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x56bfcb6119c7 - core::fmt::write::h83ebb4d32483be9e
[INFO] [stdout]    6:     0x56bfcb5cf126 - std::io::default_write_fmt::h751a79cdae495f10
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x56bfcb5cf126 - std::io::Write::write_fmt::h9ef514f8700ff7b2
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x56bfcb5df739 - std::sys::backtrace::BacktraceLock::print::hcc2e1a3ac996c911
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:41:9
[INFO] [stdout]    9:     0x56bfcb5df739 - std::panicking::default_hook::{{closure}}::h8e9c4d1276f0925f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x56bfcb5df5d1 - std::panicking::default_hook::h2b2078d38b534dfb
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x56bfcb2ed50e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h39d051e7dedac6a7
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x56bfcb2ed50e - test::test_main_with_exit_callback::{{closure}}::h4b005fe75814c302
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x56bfcb5df9b2 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd426070722c13cbf
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x56bfcb5df9b2 - std::panicking::panic_with_hook::h39b739724e701bfd
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x56bfcb5df7f8 - std::panicking::panic_handler::{{closure}}::he540c4833054e458
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x56bfcb5dadc9 - std::sys::backtrace::__rust_end_short_backtrace::hfa179d89deec8aed
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:176:18
[INFO] [stdout]   17:     0x56bfcb5c378d - __rustc[d131491b17107b07]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x56bfcb61974c - core::panicking::panic_fmt::ha564519d657d9c46
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x56bfcb2c83b3 - documentation_examples::load_documentation_examples::{{closure}}::h511be854b5836fa3
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:41:33
[INFO] [stdout]   20:     0x56bfcb2ca4ea - core::result::Result<T,E>::unwrap_or_else::h6bc127b3aebc59e5
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x56bfcb2c816a - documentation_examples::load_documentation_examples::he06ce3339ffb6ec9
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:41:14
[INFO] [stdout]   22:     0x56bfcb2c6e01 - documentation_examples::test_03_recipe_scaling::h24bf2415cc458c8d
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:98:18
[INFO] [stdout]   23:     0x56bfcb2c78d7 - documentation_examples::test_03_recipe_scaling::{{closure}}::h1c0b28ffc4c5fdd7
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:97:28
[INFO] [stdout]   24:     0x56bfcb2c9a56 - core::ops::function::FnOnce::call_once::h00a7cb233928feb8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x56bfcb2ed33b - core::ops::function::FnOnce::call_once::h0217b30cfdee2e67
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x56bfcb2ed33b - test::__rust_begin_short_backtrace::h6d98714a1e28f556
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x56bfcb300cca - test::run_test_in_process::{{closure}}::he2c70d2634d3a3cc
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x56bfcb300cca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h40a0a825bcf17fdd
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x56bfcb300cca - std::panicking::catch_unwind::do_call::h6c8eb5dd6e7b5975
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x56bfcb300cca - std::panicking::catch_unwind::h55455eac2972ad1e
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x56bfcb300cca - std::panic::catch_unwind::h0025465150a5e558
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x56bfcb300cca - test::run_test_in_process::hb61e682f9b630fbc
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x56bfcb300cca - test::run_test::{{closure}}::hc2c2a7a38ab176e2
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x56bfcb2daf64 - test::run_test::{{closure}}::ha91867b85cd2a911
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x56bfcb2daf64 - std::sys::backtrace::__rust_begin_short_backtrace::ha00a9fe02049c339
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:160:18
[INFO] [stdout]   36:     0x56bfcb2de892 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::hd629fba9153dfb55
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/thread/lifecycle.rs:92:13
[INFO] [stdout]   37:     0x56bfcb2de892 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4189018816a5c5d9
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x56bfcb2de892 - std::panicking::catch_unwind::do_call::hf9fcdbca3c2e9877
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x56bfcb2de892 - std::panicking::catch_unwind::h97b92d88631c7c64
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x56bfcb2de892 - std::panic::catch_unwind::ha77cdbb68e725e5e
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x56bfcb2de892 - std::thread::lifecycle::spawn_unchecked::{{closure}}::h511f05bc1a132253
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/thread/lifecycle.rs:90:26
[INFO] [stdout]   42:     0x56bfcb2de892 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6b68b31e9b685cb8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x56bfcb5d645f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h22a27d165e4e871d
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   44:     0x56bfcb5d645f - std::sys::thread::unix::Thread::new::thread_start::h45cc87bb053add0f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x74695df04aa4 - <unknown>
[INFO] [stdout]   46:     0x74695df91a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_04_membership_benefits stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_04_membership_benefits' (332) panicked at tests/documentation_examples.rs:41:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_coffee_order.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x56bfcb600372 - std::backtrace_rs::backtrace::libunwind::trace::h90e89fac33585832
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x56bfcb600372 - std::backtrace_rs::backtrace::trace_unsynchronized::heebcf2380a8e7359
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x56bfcb600372 - std::sys::backtrace::_print_fmt::hdf3e2a22d2f810db
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:68:9
[INFO] [stdout]    3:     0x56bfcb600372 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hac1d885928ba8582
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:38:26
[INFO] [stdout]    4:     0x56bfcb6119c7 - core::fmt::rt::Argument::fmt::h6901eb7c19abebe8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x56bfcb6119c7 - core::fmt::write::h83ebb4d32483be9e
[INFO] [stdout]    6:     0x56bfcb5cf126 - std::io::default_write_fmt::h751a79cdae495f10
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x56bfcb5cf126 - std::io::Write::write_fmt::h9ef514f8700ff7b2
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x56bfcb5df739 - std::sys::backtrace::BacktraceLock::print::hcc2e1a3ac996c911
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:41:9
[INFO] [stdout]    9:     0x56bfcb5df739 - std::panicking::default_hook::{{closure}}::h8e9c4d1276f0925f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x56bfcb5df5d1 - std::panicking::default_hook::h2b2078d38b534dfb
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x56bfcb2ed50e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h39d051e7dedac6a7
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x56bfcb2ed50e - test::test_main_with_exit_callback::{{closure}}::h4b005fe75814c302
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x56bfcb5df9b2 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd426070722c13cbf
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x56bfcb5df9b2 - std::panicking::panic_with_hook::h39b739724e701bfd
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x56bfcb5df7f8 - std::panicking::panic_handler::{{closure}}::he540c4833054e458
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x56bfcb5dadc9 - std::sys::backtrace::__rust_end_short_backtrace::hfa179d89deec8aed
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:176:18
[INFO] [stdout]   17:     0x56bfcb5c378d - __rustc[d131491b17107b07]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x56bfcb61974c - core::panicking::panic_fmt::ha564519d657d9c46
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x56bfcb2c83b3 - documentation_examples::load_documentation_examples::{{closure}}::h511be854b5836fa3
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:41:33
[INFO] [stdout]   20:     0x56bfcb2ca4ea - core::result::Result<T,E>::unwrap_or_else::h6bc127b3aebc59e5
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x56bfcb2c816a - documentation_examples::load_documentation_examples::he06ce3339ffb6ec9
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:41:14
[INFO] [stdout]   22:     0x56bfcb2c83e4 - documentation_examples::test_04_membership_benefits::h93e11078ae59aa50
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:134:18
[INFO] [stdout]   23:     0x56bfcb2c8e27 - documentation_examples::test_04_membership_benefits::{{closure}}::hee813ca9db742003
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:133:33
[INFO] [stdout]   24:     0x56bfcb2c9ad6 - core::ops::function::FnOnce::call_once::h2c7ddc146ad3c021
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x56bfcb2ed33b - core::ops::function::FnOnce::call_once::h0217b30cfdee2e67
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x56bfcb2ed33b - test::__rust_begin_short_backtrace::h6d98714a1e28f556
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x56bfcb300cca - test::run_test_in_process::{{closure}}::he2c70d2634d3a3cc
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x56bfcb300cca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h40a0a825bcf17fdd
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x56bfcb300cca - std::panicking::catch_unwind::do_call::h6c8eb5dd6e7b5975
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x56bfcb300cca - std::panicking::catch_unwind::h55455eac2972ad1e
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x56bfcb300cca - std::panic::catch_unwind::h0025465150a5e558
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x56bfcb300cca - test::run_test_in_process::hb61e682f9b630fbc
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x56bfcb300cca - test::run_test::{{closure}}::hc2c2a7a38ab176e2
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x56bfcb2daf64 - test::run_test::{{closure}}::ha91867b85cd2a911
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x56bfcb2daf64 - std::sys::backtrace::__rust_begin_short_backtrace::ha00a9fe02049c339
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:160:18
[INFO] [stdout]   36:     0x56bfcb2de892 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::hd629fba9153dfb55
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/thread/lifecycle.rs:92:13
[INFO] [stdout]   37:     0x56bfcb2de892 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4189018816a5c5d9
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x56bfcb2de892 - std::panicking::catch_unwind::do_call::hf9fcdbca3c2e9877
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x56bfcb2de892 - std::panicking::catch_unwind::h97b92d88631c7c64
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x56bfcb2de892 - std::panic::catch_unwind::ha77cdbb68e725e5e
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x56bfcb2de892 - std::thread::lifecycle::spawn_unchecked::{{closure}}::h511f05bc1a132253
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/thread/lifecycle.rs:90:26
[INFO] [stdout]   42:     0x56bfcb2de892 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6b68b31e9b685cb8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x56bfcb5d645f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h22a27d165e4e871d
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   44:     0x56bfcb5d645f - std::sys::thread::unix::Thread::new::thread_start::h45cc87bb053add0f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x74695df04aa4 - <unknown>
[INFO] [stdout]   46:     0x74695df91a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_all_documentation_examples_parse stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_all_documentation_examples_parse' (334) panicked at tests/documentation_examples.rs:41:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_coffee_order.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x56bfcb600372 - std::backtrace_rs::backtrace::libunwind::trace::h90e89fac33585832
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x56bfcb600372 - std::backtrace_rs::backtrace::trace_unsynchronized::heebcf2380a8e7359
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x56bfcb600372 - std::sys::backtrace::_print_fmt::hdf3e2a22d2f810db
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:68:9
[INFO] [stdout]    3:     0x56bfcb600372 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hac1d885928ba8582
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:38:26
[INFO] [stdout]    4:     0x56bfcb6119c7 - core::fmt::rt::Argument::fmt::h6901eb7c19abebe8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x56bfcb6119c7 - core::fmt::write::h83ebb4d32483be9e
[INFO] [stdout]    6:     0x56bfcb5cf126 - std::io::default_write_fmt::h751a79cdae495f10
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x56bfcb5cf126 - std::io::Write::write_fmt::h9ef514f8700ff7b2
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x56bfcb5df739 - std::sys::backtrace::BacktraceLock::print::hcc2e1a3ac996c911
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:41:9
[INFO] [stdout]    9:     0x56bfcb5df739 - std::panicking::default_hook::{{closure}}::h8e9c4d1276f0925f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x56bfcb5df5d1 - std::panicking::default_hook::h2b2078d38b534dfb
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x56bfcb2ed50e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h39d051e7dedac6a7
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x56bfcb2ed50e - test::test_main_with_exit_callback::{{closure}}::h4b005fe75814c302
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x56bfcb5df9b2 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd426070722c13cbf
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x56bfcb5df9b2 - std::panicking::panic_with_hook::h39b739724e701bfd
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x56bfcb5df7f8 - std::panicking::panic_handler::{{closure}}::he540c4833054e458
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x56bfcb5dadc9 - std::sys::backtrace::__rust_end_short_backtrace::hfa179d89deec8aed
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:176:18
[INFO] [stdout]   17:     0x56bfcb5c378d - __rustc[d131491b17107b07]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x56bfcb61974c - core::panicking::panic_fmt::ha564519d657d9c46
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x56bfcb2c83b3 - documentation_examples::load_documentation_examples::{{closure}}::h511be854b5836fa3
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:41:33
[INFO] [stdout]   20:     0x56bfcb2ca4ea - core::result::Result<T,E>::unwrap_or_else::h6bc127b3aebc59e5
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x56bfcb2c816a - documentation_examples::load_documentation_examples::he06ce3339ffb6ec9
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:41:14
[INFO] [stdout]   22:     0x56bfcb2c8e56 - documentation_examples::test_all_documentation_examples_parse::h66d37be7729578e5
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:207:18
[INFO] [stdout]   23:     0x56bfcb2c9397 - documentation_examples::test_all_documentation_examples_parse::{{closure}}::h63a8ffc5b6e70206
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:205:43
[INFO] [stdout]   24:     0x56bfcb2c9be6 - core::ops::function::FnOnce::call_once::ha94ca0ad95e7973c
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x56bfcb2ed33b - core::ops::function::FnOnce::call_once::h0217b30cfdee2e67
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x56bfcb2ed33b - test::__rust_begin_short_backtrace::h6d98714a1e28f556
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x56bfcb300cca - test::run_test_in_process::{{closure}}::he2c70d2634d3a3cc
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x56bfcb300cca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h40a0a825bcf17fdd
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x56bfcb300cca - std::panicking::catch_unwind::do_call::h6c8eb5dd6e7b5975
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:581:40
[INFO] [stdout]   30:     0x56bfcb300cca - std::panicking::catch_unwind::h55455eac2972ad1e
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:544:19
[INFO] [stdout]   31:     0x56bfcb300cca - std::panic::catch_unwind::h0025465150a5e558
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x56bfcb300cca - test::run_test_in_process::hb61e682f9b630fbc
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x56bfcb300cca - test::run_test::{{closure}}::hc2c2a7a38ab176e2
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x56bfcb2daf64 - test::run_test::{{closure}}::ha91867b85cd2a911
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x56bfcb2daf64 - std::sys::backtrace::__rust_begin_short_backtrace::ha00a9fe02049c339
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/backtrace.rs:160:18
[INFO] [stdout]   36:     0x56bfcb2de892 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::hd629fba9153dfb55
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/thread/lifecycle.rs:92:13
[INFO] [stdout]   37:     0x56bfcb2de892 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4189018816a5c5d9
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x56bfcb2de892 - std::panicking::catch_unwind::do_call::hf9fcdbca3c2e9877
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:581:40
[INFO] [stdout]   39:     0x56bfcb2de892 - std::panicking::catch_unwind::h97b92d88631c7c64
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panicking.rs:544:19
[INFO] [stdout]   40:     0x56bfcb2de892 - std::panic::catch_unwind::ha77cdbb68e725e5e
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x56bfcb2de892 - std::thread::lifecycle::spawn_unchecked::{{closure}}::h511f05bc1a132253
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/thread/lifecycle.rs:90:26
[INFO] [stdout]   42:     0x56bfcb2de892 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6b68b31e9b685cb8
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x56bfcb5d645f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h22a27d165e4e871d
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   44:     0x56bfcb5d645f - std::sys::thread::unix::Thread::new::thread_start::h45cc87bb053add0f
[INFO] [stdout]                                at /rustc/254b59607d4417e9dffbc307138ae5c86280fe4c/library/std/src/sys/thread/unix.rs:118:17
[INFO] [stdout]   45:     0x74695df04aa4 - <unknown>
[INFO] [stdout]   46:     0x74695df91a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     test_01_coffee_order
[INFO] [stdout]     test_02_library_fees
[INFO] [stdout]     test_03_recipe_scaling
[INFO] [stdout]     test_04_membership_benefits
[INFO] [stdout]     test_05_weather_clothing
[INFO] [stdout]     test_all_documentation_examples_parse
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 6 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test documentation_examples`
[INFO] running `Command { std: "docker" "inspect" "a71ba475d5a2dda25adf28f3ca579b1180e3209af6f17f9f0932871a7700a20d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a71ba475d5a2dda25adf28f3ca579b1180e3209af6f17f9f0932871a7700a20d", kill_on_drop: false }`
[INFO] [stdout] a71ba475d5a2dda25adf28f3ca579b1180e3209af6f17f9f0932871a7700a20d
