[INFO] fetching crate lemma-engine 0.6.5...
[INFO] testing lemma-engine-0.6.5 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-7
[INFO] extracting crate lemma-engine 0.6.5 into /workspace/builds/worker-5-tc1/source
[INFO] started tweaking crates.io crate lemma-engine 0.6.5
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate lemma-engine 0.6.5
[INFO] tweaked toml for crates.io crate lemma-engine 0.6.5 written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate lemma-engine 0.6.5 on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate lemma-engine 0.6.5 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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded rusty-fork v0.3.1
[INFO] [stderr]   Downloaded syn v2.0.107
[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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 8928e9b264df516bc77b8dd2b1d0cda39f2cfe0bb069f23b971c5ddb77b9d07b
[INFO] running `Command { std: "docker" "start" "-a" "8928e9b264df516bc77b8dd2b1d0cda39f2cfe0bb069f23b971c5ddb77b9d07b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8928e9b264df516bc77b8dd2b1d0cda39f2cfe0bb069f23b971c5ddb77b9d07b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8928e9b264df516bc77b8dd2b1d0cda39f2cfe0bb069f23b971c5ddb77b9d07b", kill_on_drop: false }`
[INFO] [stdout] 8928e9b264df516bc77b8dd2b1d0cda39f2cfe0bb069f23b971c5ddb77b9d07b
[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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5e105b07f21b4540e36645097e3143ea584be76359080a9cf31af77b71652cc4
[INFO] running `Command { std: "docker" "start" "-a" "5e105b07f21b4540e36645097e3143ea584be76359080a9cf31af77b71652cc4", kill_on_drop: false }`
[INFO] [stderr]    Compiling ucd-trie v0.1.7
[INFO] [stderr]    Compiling rust_decimal v1.39.0
[INFO] [stderr]    Compiling arrayvec v0.7.6
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling quote v1.0.41
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling pest v2.8.3
[INFO] [stderr]    Compiling syn v2.0.107
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling pest_meta v2.8.3
[INFO] [stderr]    Compiling pest_generator v2.8.3
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling pest_derive v2.8.3
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling chrono v0.4.42
[INFO] [stderr]    Compiling lemma-engine v0.6.5 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 18.00s
[INFO] running `Command { std: "docker" "inspect" "5e105b07f21b4540e36645097e3143ea584be76359080a9cf31af77b71652cc4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5e105b07f21b4540e36645097e3143ea584be76359080a9cf31af77b71652cc4", kill_on_drop: false }`
[INFO] [stdout] 5e105b07f21b4540e36645097e3143ea584be76359080a9cf31af77b71652cc4
[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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2d124236ced49c16e1e1b482d1a16f816db6c98e7350c0af9faa8b66b748c52f
[INFO] running `Command { std: "docker" "start" "-a" "2d124236ced49c16e1e1b482d1a16f816db6c98e7350c0af9faa8b66b748c52f", kill_on_drop: false }`
[INFO] [stderr]    Compiling bitflags v2.9.4
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling rust_decimal v1.39.0
[INFO] [stderr]    Compiling chrono v0.4.42
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling proptest v1.8.0
[INFO] [stderr]    Compiling lemma-engine v0.6.5 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 24.82s
[INFO] running `Command { std: "docker" "inspect" "2d124236ced49c16e1e1b482d1a16f816db6c98e7350c0af9faa8b66b748c52f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2d124236ced49c16e1e1b482d1a16f816db6c98e7350c0af9faa8b66b748c52f", kill_on_drop: false }`
[INFO] [stdout] 2d124236ced49c16e1e1b482d1a16f816db6c98e7350c0af9faa8b66b748c52f
[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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] e73328c1181193b88e5d33635765c176db456dc08f616bff5bdc0eb9e1e4cfa0
[INFO] running `Command { std: "docker" "start" "-a" "e73328c1181193b88e5d33635765c176db456dc08f616bff5bdc0eb9e1e4cfa0", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.16s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/lemma-0e1a664070c09fcd)
[INFO] [stdout] 
[INFO] [stdout] running 112 tests
[INFO] [stdout] test serializers::json::tests::test_number_as_string ... ok
[INFO] [stdout] test serializers::json::tests::test_boolean_as_string ... ok
[INFO] [stdout] test serializers::json::tests::test_mixed_types ... ok
[INFO] [stdout] test serializers::json::tests::test_percentage_as_number ... ok
[INFO] [stdout] test tests::analysis::test_extract_rule_references ... ok
[INFO] [stdout] test serializers::json::tests::test_unknown_fact_error ... ok
[INFO] [stdout] test tests::analysis::test_extract_fact_references ... ok
[INFO] [stdout] test serializers::json::tests::test_percentage_as_string_with_percent ... ok
[INFO] [stdout] test serializers::json::tests::test_date_as_string ... ok
[INFO] [stdout] test serializers::json::tests::test_text_with_quotes ... ok
[INFO] [stdout] test serializers::json::tests::test_type_mismatch_error ... ok
[INFO] [stdout] test tests::basic_parsing::test_parse_document_with_inheritance ... ok
[INFO] [stdout] test tests::basic_parsing::test_parse_document_with_unless_clause ... ok
[INFO] [stdout] test tests::basic_parsing::test_parse_empty_input ... ok
[INFO] [stdout] test tests::basic_parsing::test_parse_error_duplicate_fact_names ... ok
[INFO] [stdout] test tests::basic_parsing::test_parse_error_duplicate_rule_names ... ok
[INFO] [stdout] test tests::basic_parsing::test_parse_error_malformed_input ... ok
[INFO] [stdout] test tests::basic_parsing::test_mixing_facts_and_rules ... ok
[INFO] [stdout] test tests::basic_parsing::test_parse_facts_from_strings ... ok
[INFO] [stdout] test tests::basic_parsing::test_multiple_unless_clauses ... ok
[INFO] [stdout] test tests::analysis::test_recursive_fact_finding ... ok
[INFO] [stdout] test tests::basic_parsing::test_parse_document_with_commentary ... ok
[INFO] [stdout] test tests::context::test_build_fact_map_basic ... ok
[INFO] [stdout] test tests::basic_parsing::test_parse_simple_document ... ok
[INFO] [stdout] test tests::basic_parsing::test_parse_workspace_file ... ok
[INFO] [stdout] test tests::basic_parsing::test_type_annotations_in_facts ... ok
[INFO] [stdout] test tests::basic_parsing::test_multiple_rules_in_document ... ok
[INFO] [stdout] test tests::basic_parsing::test_whitespace_handling_comprehensive ... ok
[INFO] [stdout] test serializers::json::tests::test_percentage_as_string_without_percent ... ok
[INFO] [stdout] test serializers::json::tests::test_boolean_values ... ok
[INFO] [stdout] test serializers::json::tests::test_unit_as_string ... ok
[INFO] [stdout] test tests::basic_parsing::test_parse_multiple_documents ... ok
[INFO] [stdout] test tests::edge_cases::test_veto_in_unless_clauses ... ok
[INFO] [stdout] test tests::context::test_build_fact_map_skips_type_annotations ... ok
[INFO] [stdout] test tests::context::test_build_fact_map_type_validation_failure ... ok
[INFO] [stdout] test tests::basic_parsing::test_parse_document_with_rule ... ok
[INFO] [stdout] test tests::basic_parsing::test_complex_unit_type_annotations ... ok
[INFO] [stdout] test tests::edge_cases::test_mixed_veto_and_regular_unless ... ok
[INFO] [stdout] test tests::context::test_build_fact_map_type_validation_success ... ok
[INFO] [stdout] test tests::engine::test_document_not_found ... ok
[INFO] [stdout] test tests::context::test_build_fact_map_with_overrides ... ok
[INFO] [stdout] test tests::error::test_error_creation_and_display ... ok
[INFO] [stdout] test tests::engine::test_evaluate_empty_facts ... ok
[INFO] [stdout] test tests::engine::test_evaluate_boolean_rule ... ok
[INFO] [stdout] test tests::edge_cases::test_veto_without_message ... ok
[INFO] [stdout] test tests::engine::test_multiple_documents ... ok
[INFO] [stdout] test tests::edge_cases::test_error_cases_comprehensive ... ok
[INFO] [stdout] test tests::expression_parsing::test_arithmetic_operations_work ... ok
[INFO] [stdout] test tests::expression_parsing::test_fact_reference_parsing ... ok
[INFO] [stdout] test tests::expression_parsing::test_arithmetic_expressions_comprehensive ... ok
[INFO] [stdout] test tests::engine::test_runtime_error_mapping ... ok
[INFO] [stdout] test tests::engine::test_evaluate_with_unless_clause ... ok
[INFO] [stdout] test tests::expression_parsing::test_fact_reference_expressions_comprehensive ... ok
[INFO] [stdout] test tests::expression_parsing::test_comparison_expressions_comprehensive ... ok
[INFO] [stdout] test tests::engine::test_evaluate_document_all_rules ... ok
[INFO] [stdout] test tests::expressions::test_evaluate_simple_arithmetic ... ok
[INFO] [stdout] test tests::fact_overrides::test_parse_simple_document_reference ... ok
[INFO] [stdout] test tests::fact_overrides::test_parse_fact_overrides ... ok
[INFO] [stdout] test tests::expressions::test_evaluate_fact_reference ... ok
[INFO] [stdout] test tests::literal_parsing::test_accept_reject_literals ... ok
[INFO] [stdout] test tests::rules::test_evaluate_rule_last_matching_wins ... ok
[INFO] [stdout] test tests::expression_parsing::test_logical_expressions_comprehensive ... ok
[INFO] [stdout] test tests::expression_parsing::test_rule_references_comprehensive ... ok
[INFO] [stdout] test tests::rules::test_evaluate_rule_no_unless ... ok
[INFO] [stdout] test tests::expressions::test_evaluate_literal ... ok
[INFO] [stdout] test tests::expression_parsing::test_simple_number ... ok
[INFO] [stdout] test tests::expression_parsing::test_nested_expressions_comprehensive ... ok
[INFO] [stdout] test tests::literal_parsing::test_scientific_notation ... ok
[INFO] [stdout] test tests::literal_parsing::test_literal_expressions_comprehensive ... ok
[INFO] [stdout] test tests::literal_parsing::test_date_literals_comprehensive ... ok
[INFO] [stdout] test tests::literal_parsing::test_number_with_underscores ... ok
[INFO] [stdout] test tests::expression_parsing::test_operator_precedence_comprehensive ... ok
[INFO] [stdout] test tests::literal_parsing::test_edge_cases_comprehensive ... ok
[INFO] [stdout] test tests::literal_parsing::test_percentage_literals ... ok
[INFO] [stdout] test tests::semantic::test_all_unit_categories ... ok
[INFO] [stdout] test tests::semantic::test_arithmetic_operation_display ... ok
[INFO] [stdout] test tests::semantic::test_arithmetic_operation_name ... ok
[INFO] [stdout] test tests::semantic::test_display_implementations ... ok
[INFO] [stdout] test tests::semantic::test_literal_value_display_value ... ok
[INFO] [stdout] test tests::semantic::test_money_unit_display ... ok
[INFO] [stdout] test tests::semantic::test_literal_value_time_type ... ok
[INFO] [stdout] test tests::semantic::test_negation_types ... ok
[INFO] [stdout] test tests::semantic::test_numeric_unit_same_category ... ok
[INFO] [stdout] test tests::rules::test_evaluate_rule_with_unless_no_match ... ok
[INFO] [stdout] test tests::semantic::test_numeric_unit_validate_currency_mismatch ... ok
[INFO] [stdout] test tests::semantic::test_comparison_operator_display ... ok
[INFO] [stdout] test tests::semantic::test_comparison_operator_name ... ok
[INFO] [stdout] test tests::semantic::test_numeric_unit_value ... ok
[INFO] [stdout] test tests::semantic::test_veto_expression ... ok
[INFO] [stdout] test tests::semantic::test_lemma_type_display ... ok
[INFO] [stdout] test tests::serializers::test_response_filter_rules ... ok
[INFO] [stdout] test tests::semantic::test_literal_value_to_type ... ok
[INFO] [stdout] test tests::semantic::test_numeric_unit_validate_same_currency ... ok
[INFO] [stdout] test tests::semantic::test_numeric_unit_with_value ... ok
[INFO] [stdout] test tests::semantic::test_time_value_display ... ok
[INFO] [stdout] test tests::semantic::test_timezone_value ... ok
[INFO] [stdout] test tests::semantic::test_unit_display_formats ... ok
[INFO] [stdout] test tests::rules::test_evaluate_rule_with_unless_match ... ok
[INFO] [stdout] test tests::serializers::test_response_with_warnings ... ok
[INFO] [stdout] test tests::serializers::test_rule_result_types ... ok
[INFO] [stdout] test tests::semantic::test_conversion_target_display ... ok
[INFO] [stdout] test tests::topological_sort::test_topological_sort_simple ... ok
[INFO] [stdout] test tests::expression_parsing::test_parenthesized_expression_edge_cases ... ok
[INFO] [stdout] test tests::semantic::test_datetime_value_display ... ok
[INFO] [stdout] test tests::serializers::test_response_serialization ... ok
[INFO] [stdout] test tests::topological_sort::test_topological_sort_chain ... ok
[INFO] [stdout] test tests::expression_parsing::test_complex_real_world_expressions ... ok
[INFO] [stdout] test tests::unit_parsing::test_in_expressions_comprehensive ... ok
[INFO] [stdout] test tests::unit_parsing::test_all_unit_types_comprehensive ... ok
[INFO] [stdout] test tests::unit_parsing::test_comparison_with_unit_conversions ... ok
[INFO] [stdout] test tests::unit_parsing::test_unit_literals_in_rules ... ok
[INFO] [stdout] test tests::literal_parsing::test_regex_literals ... ok
[INFO] [stderr]      Running tests/cross_document_references.rs (/opt/rustwide/target/debug/deps/cross_document_references-f9c85cb27f8b7e23)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 112 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test test_cross_doc_fact_reference ... ok
[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_cross_doc_rule_reference_with_dependencies ... ok
[INFO] [stdout] test test_different_fact_paths_produce_different_results ... ok
[INFO] [stdout] test test_simple_fact_override ... ok
[INFO] [stdout] test test_nested_cross_doc_rule_reference ... ok
[INFO] [stdout] test test_multi_level_fact_override ... ok
[INFO] [stdout] test test_cross_doc_rule_reference ... ok
[INFO] [stdout] test test_cross_doc_fact_override_with_rule_reference ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/currency_validation.rs (/opt/rustwide/target/debug/deps/currency_validation-13149813845cf1ac)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_same_currency_arithmetic_allowed ... ok
[INFO] [stdout] test test_same_currency_comparison_allowed ... ok
[INFO] [stdout] test test_mixed_currency_arithmetic_rejected ... ok
[INFO] [stdout] test test_mixed_currency_comparison_rejected ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/datetime_edge_cases.rs (/opt/rustwide/target/debug/deps/datetime_edge_cases-235b98db18c7296e)
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test test_add_hours_crossing_midnight ... ok
[INFO] [stdout] test test_add_4_years_to_feb_29_leap_to_leap ... ok
[INFO] [stdout] test test_add_month_with_day_overflow_jan_31_to_feb_non_leap ... ok
[INFO] [stdout] test test_add_minutes_precise ... ok
[INFO] [stdout] test test_add_large_duration_days ... ok
[INFO] [stdout] test test_add_month_with_day_overflow_jan_31_to_feb ... ok
[INFO] [stdout] test test_add_seconds_overflow_to_minutes ... ok
[INFO] [stdout] test test_leap_year_century_2000 ... ok
[INFO] [stdout] test test_add_months_cross_multiple_years ... ok
[INFO] [stdout] test test_datetime_comparison_across_years ... ok
[INFO] [stdout] test test_date_difference_across_leap_year ... 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_non_leap_year_century_1900 ... ok
[INFO] [stdout] test test_subtract_months_cross_year_boundary ... 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_negative_time_difference ... ok
[INFO] [stdout] test test_date_difference_non_leap_year ... ok
[INFO] [stdout] test test_dec_31_plus_1_month ... ok
[INFO] [stdout] test test_subtract_year_from_year_boundary ... ok
[INFO] [stdout] test test_fractional_hours ... ok
[INFO] [stdout] test test_leap_year_century_2100_not_leap ... ok
[INFO] [stdout] test test_time_difference ... ok
[INFO] [stdout] test test_time_arithmetic_crossing_midnight ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/documentation_examples.rs (/opt/rustwide/target/debug/deps/documentation_examples-e89c8f3a7c389cd4)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test test_01_simple_facts ... FAILED
[INFO] [stdout] test test_02_rules_and_unless ... FAILED
[INFO] [stdout] test test_03_document_references ... FAILED
[INFO] [stdout] test test_05_date_handling ... FAILED
[INFO] [stdout] test test_09_stress_test_config ... FAILED
[INFO] [stdout] test test_09_stress_test_extended ... FAILED
[INFO] [stdout] test test_all_examples_parse ... FAILED
[INFO] [stdout] test test_04_unit_conversions ... FAILED
[INFO] [stdout] test test_06_tax_calculation ... FAILED
[INFO] [stdout] test test_08_rule_references ... FAILED
[INFO] [stdout] test test_07_shipping_policy ... FAILED
[INFO] [stdout] test test_10_compensation_policy ... FAILED
[INFO] [stdout] test test_09_stress_test ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- test_01_simple_facts stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_01_simple_facts' (180) panicked at tests/documentation_examples.rs:26:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_simple_facts.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x60469349c632 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x60469349c632 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x60469349c632 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x60469349c632 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hde21067283f7e82e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x6046934ae57f - core::fmt::rt::Argument::fmt::he65307037dca33c6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x6046934ae57f - core::fmt::write::h24186904251c31cb
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x60469346a233 - std::io::default_write_fmt::h4e8d11c5c4b9cafe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x60469346a233 - std::io::Write::write_fmt::ha849be0824d095ef
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x604693475ea2 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x60469347a97f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x60469347a811 - std::panicking::default_hook::he2e9efee79b3dce9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x604692fc88ce - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h202f496763929329
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   12:     0x604692fc88ce - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x60469347af8f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h2883c9d2dbd4e81c
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   14:     0x60469347af8f - std::panicking::panic_with_hook::hf5648b7cec6bc73e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x60469347adea - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x604693475fd9 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x60469345e16d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x6046934b72d0 - core::panicking::panic_fmt::hb5d6b83773432920
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x604692f9d4e5 - documentation_examples::load_examples::{{closure}}::hdf6b167f69b5a5d2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:33
[INFO] [stdout]   20:     0x604692fa372a - core::result::Result<T,E>::unwrap_or_else::h82830fcf1c656ac4
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x604692f9d2a1 - documentation_examples::load_examples::h30bf9c5950273415
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:14
[INFO] [stdout]   22:     0x604692f9d9a6 - documentation_examples::test_01_simple_facts::h0e8e10608406e768
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:37:18
[INFO] [stdout]   23:     0x604692f9dbc7 - documentation_examples::test_01_simple_facts::{{closure}}::h37c5641a78f8801a
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:36:26
[INFO] [stdout]   24:     0x604692fa29a6 - core::ops::function::FnOnce::call_once::h221cf6d703bee79b
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x604692fc873b - core::ops::function::FnOnce::call_once::h3a2d82edd1a9b770
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x604692fc873b - test::__rust_begin_short_backtrace::h85d4fe5033219107
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x604692fdc72d - test::run_test_in_process::{{closure}}::h67b48a81b9c9d7b6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x604692fdc72d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h7680585480377cb5
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x604692fdc72d - std::panicking::catch_unwind::do_call::hf71351b2657d4002
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   30:     0x604692fdc72d - std::panicking::catch_unwind::h7fcb5c0312d9e172
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   31:     0x604692fdc72d - std::panic::catch_unwind::h5cf3c9bdee894ebe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x604692fdc72d - test::run_test_in_process::h1469cb85193a3a25
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x604692fdc72d - test::run_test::{{closure}}::h59d45b3cd6453d69
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x604692fb5c74 - test::run_test::{{closure}}::h9baa0c3d443f28c9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x604692fb5c74 - std::sys::backtrace::__rust_begin_short_backtrace::h97ea8cee4828663e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   36:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5d7539d5f78cee61
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   37:     0x604692fb94ca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he4c551e23c5e9b22
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x604692fb94ca - std::panicking::catch_unwind::do_call::h522b41a6c157aaba
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   39:     0x604692fb94ca - std::panicking::catch_unwind::h0efbf72006b8e365
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   40:     0x604692fb94ca - std::panic::catch_unwind::h3b081041e6c97066
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::ha751309815d5d8cf
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30
[INFO] [stdout]   42:     0x604692fb94ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2084b887a5fe25a7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6046934713df - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3adbd6ccf5f737af
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9
[INFO] [stdout]   44:     0x6046934713df - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stdout]   45:     0x730b9b938aa4 - <unknown>
[INFO] [stdout]   46:     0x730b9b9c5a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_02_rules_and_unless stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_02_rules_and_unless' (181) panicked at tests/documentation_examples.rs:26:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_simple_facts.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x60469349c632 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x60469349c632 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x60469349c632 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x60469349c632 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hde21067283f7e82e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x6046934ae57f - core::fmt::rt::Argument::fmt::he65307037dca33c6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x6046934ae57f - core::fmt::write::h24186904251c31cb
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x60469346a233 - std::io::default_write_fmt::h4e8d11c5c4b9cafe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x60469346a233 - std::io::Write::write_fmt::ha849be0824d095ef
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x604693475ea2 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x60469347a97f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x60469347a811 - std::panicking::default_hook::he2e9efee79b3dce9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x604692fc88ce - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h202f496763929329
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   12:     0x604692fc88ce - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x60469347af8f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h2883c9d2dbd4e81c
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   14:     0x60469347af8f - std::panicking::panic_with_hook::hf5648b7cec6bc73e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x60469347adea - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x604693475fd9 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x60469345e16d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x6046934b72d0 - core::panicking::panic_fmt::hb5d6b83773432920
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x604692f9d4e5 - documentation_examples::load_examples::{{closure}}::hdf6b167f69b5a5d2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:33
[INFO] [stdout]   20:     0x604692fa372a - core::result::Result<T,E>::unwrap_or_else::h82830fcf1c656ac4
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x604692f9d2a1 - documentation_examples::load_examples::h30bf9c5950273415
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:14
[INFO] [stdout]   22:     0x604692f9f621 - documentation_examples::test_02_rules_and_unless::ha8fb04bd553f2663
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:50:18
[INFO] [stdout]   23:     0x604692f9fa77 - documentation_examples::test_02_rules_and_unless::{{closure}}::hd5b8f3b1d66a795d
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:49:30
[INFO] [stdout]   24:     0x604692fa2bf6 - core::ops::function::FnOnce::call_once::ha6fe15a16dea6ff9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x604692fc873b - core::ops::function::FnOnce::call_once::h3a2d82edd1a9b770
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x604692fc873b - test::__rust_begin_short_backtrace::h85d4fe5033219107
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x604692fdc72d - test::run_test_in_process::{{closure}}::h67b48a81b9c9d7b6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x604692fdc72d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h7680585480377cb5
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x604692fdc72d - std::panicking::catch_unwind::do_call::hf71351b2657d4002
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   30:     0x604692fdc72d - std::panicking::catch_unwind::h7fcb5c0312d9e172
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   31:     0x604692fdc72d - std::panic::catch_unwind::h5cf3c9bdee894ebe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x604692fdc72d - test::run_test_in_process::h1469cb85193a3a25
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x604692fdc72d - test::run_test::{{closure}}::h59d45b3cd6453d69
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x604692fb5c74 - test::run_test::{{closure}}::h9baa0c3d443f28c9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x604692fb5c74 - std::sys::backtrace::__rust_begin_short_backtrace::h97ea8cee4828663e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   36:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5d7539d5f78cee61
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   37:     0x604692fb94ca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he4c551e23c5e9b22
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x604692fb94ca - std::panicking::catch_unwind::do_call::h522b41a6c157aaba
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   39:     0x604692fb94ca - std::panicking::catch_unwind::h0efbf72006b8e365
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   40:     0x604692fb94ca - std::panic::catch_unwind::h3b081041e6c97066
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::ha751309815d5d8cf
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30
[INFO] [stdout]   42:     0x604692fb94ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2084b887a5fe25a7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6046934713df - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3adbd6ccf5f737af
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9
[INFO] [stdout]   44:     0x6046934713df - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stdout]   45:     0x730b9b938aa4 - <unknown>
[INFO] [stdout]   46:     0x730b9b9c5a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_03_document_references stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_03_document_references' (182) panicked at tests/documentation_examples.rs:26:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_simple_facts.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x60469349c632 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x60469349c632 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x60469349c632 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x60469349c632 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hde21067283f7e82e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x6046934ae57f - core::fmt::rt::Argument::fmt::he65307037dca33c6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x6046934ae57f - core::fmt::write::h24186904251c31cb
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x60469346a233 - std::io::default_write_fmt::h4e8d11c5c4b9cafe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x60469346a233 - std::io::Write::write_fmt::ha849be0824d095ef
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x604693475ea2 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x60469347a97f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x60469347a811 - std::panicking::default_hook::he2e9efee79b3dce9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x604692fc88ce - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h202f496763929329
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   12:     0x604692fc88ce - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x60469347af8f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h2883c9d2dbd4e81c
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   14:     0x60469347af8f - std::panicking::panic_with_hook::hf5648b7cec6bc73e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x60469347adea - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x604693475fd9 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x60469345e16d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x6046934b72d0 - core::panicking::panic_fmt::hb5d6b83773432920
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x604692f9d4e5 - documentation_examples::load_examples::{{closure}}::hdf6b167f69b5a5d2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:33
[INFO] [stdout]   20:     0x604692fa372a - core::result::Result<T,E>::unwrap_or_else::h82830fcf1c656ac4
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x604692f9d2a1 - documentation_examples::load_examples::h30bf9c5950273415
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:14
[INFO] [stdout]   22:     0x604692fa017c - documentation_examples::test_03_document_references::h5446e4a714de2d8e
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:72:18
[INFO] [stdout]   23:     0x604692fa09a7 - documentation_examples::test_03_document_references::{{closure}}::h85ad11185af50a89
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:71:33
[INFO] [stdout]   24:     0x604692fa2ae6 - core::ops::function::FnOnce::call_once::h6f38d6e4e35f5cba
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x604692fc873b - core::ops::function::FnOnce::call_once::h3a2d82edd1a9b770
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x604692fc873b - test::__rust_begin_short_backtrace::h85d4fe5033219107
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x604692fdc72d - test::run_test_in_process::{{closure}}::h67b48a81b9c9d7b6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x604692fdc72d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h7680585480377cb5
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x604692fdc72d - std::panicking::catch_unwind::do_call::hf71351b2657d4002
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   30:     0x604692fdc72d - std::panicking::catch_unwind::h7fcb5c0312d9e172
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   31:     0x604692fdc72d - std::panic::catch_unwind::h5cf3c9bdee894ebe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x604692fdc72d - test::run_test_in_process::h1469cb85193a3a25
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x604692fdc72d - test::run_test::{{closure}}::h59d45b3cd6453d69
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x604692fb5c74 - test::run_test::{{closure}}::h9baa0c3d443f28c9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x604692fb5c74 - std::sys::backtrace::__rust_begin_short_backtrace::h97ea8cee4828663e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   36:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5d7539d5f78cee61
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   37:     0x604692fb94ca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he4c551e23c5e9b22
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x604692fb94ca - std::panicking::catch_unwind::do_call::h522b41a6c157aaba
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   39:     0x604692fb94ca - std::panicking::catch_unwind::h0efbf72006b8e365
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   40:     0x604692fb94ca - std::panic::catch_unwind::h3b081041e6c97066
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::ha751309815d5d8cf
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30
[INFO] [stdout]   42:     0x604692fb94ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2084b887a5fe25a7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6046934713df - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3adbd6ccf5f737af
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9
[INFO] [stdout]   44:     0x6046934713df - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stdout]   45:     0x730b9b938aa4 - <unknown>
[INFO] [stdout]   46:     0x730b9b9c5a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_05_date_handling stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_05_date_handling' (184) panicked at tests/documentation_examples.rs:26:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_simple_facts.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x60469349c632 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x60469349c632 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x60469349c632 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x60469349c632 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hde21067283f7e82e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x6046934ae57f - core::fmt::rt::Argument::fmt::he65307037dca33c6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x6046934ae57f - core::fmt::write::h24186904251c31cb
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x60469346a233 - std::io::default_write_fmt::h4e8d11c5c4b9cafe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x60469346a233 - std::io::Write::write_fmt::ha849be0824d095ef
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x604693475ea2 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x60469347a97f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x60469347a811 - std::panicking::default_hook::he2e9efee79b3dce9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x604692fc88ce - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h202f496763929329
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   12:     0x604692fc88ce - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x60469347af8f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h2883c9d2dbd4e81c
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   14:     0x60469347af8f - std::panicking::panic_with_hook::hf5648b7cec6bc73e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x60469347adea - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x604693475fd9 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x60469345e16d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x6046934b72d0 - core::panicking::panic_fmt::hb5d6b83773432920
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x604692f9d4e5 - documentation_examples::load_examples::{{closure}}::hdf6b167f69b5a5d2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:33
[INFO] [stdout]   20:     0x604692fa372a - core::result::Result<T,E>::unwrap_or_else::h82830fcf1c656ac4
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x604692f9d2a1 - documentation_examples::load_examples::h30bf9c5950273415
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:14
[INFO] [stdout]   22:     0x604692f9dbf9 - documentation_examples::test_05_date_handling::h4c2f463cebf3b876
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:150:18
[INFO] [stdout]   23:     0x604692f9e057 - documentation_examples::test_05_date_handling::{{closure}}::h19fc4e7e707baa3d
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:149:27
[INFO] [stdout]   24:     0x604692fa2966 - core::ops::function::FnOnce::call_once::h21e9de57197879df
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x604692fc873b - core::ops::function::FnOnce::call_once::h3a2d82edd1a9b770
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x604692fc873b - test::__rust_begin_short_backtrace::h85d4fe5033219107
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x604692fdc72d - test::run_test_in_process::{{closure}}::h67b48a81b9c9d7b6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x604692fdc72d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h7680585480377cb5
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x604692fdc72d - std::panicking::catch_unwind::do_call::hf71351b2657d4002
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   30:     0x604692fdc72d - std::panicking::catch_unwind::h7fcb5c0312d9e172
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   31:     0x604692fdc72d - std::panic::catch_unwind::h5cf3c9bdee894ebe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x604692fdc72d - test::run_test_in_process::h1469cb85193a3a25
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x604692fdc72d - test::run_test::{{closure}}::h59d45b3cd6453d69
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x604692fb5c74 - test::run_test::{{closure}}::h9baa0c3d443f28c9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x604692fb5c74 - std::sys::backtrace::__rust_begin_short_backtrace::h97ea8cee4828663e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   36:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5d7539d5f78cee61
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   37:     0x604692fb94ca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he4c551e23c5e9b22
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x604692fb94ca - std::panicking::catch_unwind::do_call::h522b41a6c157aaba
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   39:     0x604692fb94ca - std::panicking::catch_unwind::h0efbf72006b8e365
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   40:     0x604692fb94ca - std::panic::catch_unwind::h3b081041e6c97066
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::ha751309815d5d8cf
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30
[INFO] [stdout]   42:     0x604692fb94ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2084b887a5fe25a7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6046934713df - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3adbd6ccf5f737af
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9
[INFO] [stdout]   44:     0x6046934713df - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stdout]   45:     0x730b9b938aa4 - <unknown>
[INFO] [stdout]   46:     0x730b9b9c5a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_09_stress_test_config stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_09_stress_test_config' (189) panicked at tests/documentation_examples.rs:26:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_simple_facts.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x60469349c632 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x60469349c632 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x60469349c632 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x60469349c632 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hde21067283f7e82e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x6046934ae57f - core::fmt::rt::Argument::fmt::he65307037dca33c6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x6046934ae57f - core::fmt::write::h24186904251c31cb
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x60469346a233 - std::io::default_write_fmt::h4e8d11c5c4b9cafe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x60469346a233 - std::io::Write::write_fmt::ha849be0824d095ef
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x604693475ea2 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x60469347a97f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x60469347a811 - std::panicking::default_hook::he2e9efee79b3dce9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x604692fc88ce - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h202f496763929329
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   12:     0x604692fc88ce - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x60469347af8f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h2883c9d2dbd4e81c
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   14:     0x60469347af8f - std::panicking::panic_with_hook::hf5648b7cec6bc73e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x60469347adea - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x604693475fd9 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x60469345e16d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x6046934b72d0 - core::panicking::panic_fmt::hb5d6b83773432920
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x604692f9d4e5 - documentation_examples::load_examples::{{closure}}::hdf6b167f69b5a5d2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:33
[INFO] [stdout]   20:     0x604692fa372a - core::result::Result<T,E>::unwrap_or_else::h82830fcf1c656ac4
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x604692f9d2a1 - documentation_examples::load_examples::h30bf9c5950273415
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:14
[INFO] [stdout]   22:     0x604692f9ffb6 - documentation_examples::test_09_stress_test_config::h921ec3c99bed8130
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:286:18
[INFO] [stdout]   23:     0x604692fa0147 - documentation_examples::test_09_stress_test_config::{{closure}}::h41d70e6a60b4eb2a
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:285:32
[INFO] [stdout]   24:     0x604692fa2b76 - core::ops::function::FnOnce::call_once::h943c34c73a913942
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x604692fc873b - core::ops::function::FnOnce::call_once::h3a2d82edd1a9b770
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x604692fc873b - test::__rust_begin_short_backtrace::h85d4fe5033219107
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x604692fdc72d - test::run_test_in_process::{{closure}}::h67b48a81b9c9d7b6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x604692fdc72d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h7680585480377cb5
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x604692fdc72d - std::panicking::catch_unwind::do_call::hf71351b2657d4002
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   30:     0x604692fdc72d - std::panicking::catch_unwind::h7fcb5c0312d9e172
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   31:     0x604692fdc72d - std::panic::catch_unwind::h5cf3c9bdee894ebe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x604692fdc72d - test::run_test_in_process::h1469cb85193a3a25
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x604692fdc72d - test::run_test::{{closure}}::h59d45b3cd6453d69
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x604692fb5c74 - test::run_test::{{closure}}::h9baa0c3d443f28c9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x604692fb5c74 - std::sys::backtrace::__rust_begin_short_backtrace::h97ea8cee4828663e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   36:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5d7539d5f78cee61
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   37:     0x604692fb94ca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he4c551e23c5e9b22
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x604692fb94ca - std::panicking::catch_unwind::do_call::h522b41a6c157aaba
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   39:     0x604692fb94ca - std::panicking::catch_unwind::h0efbf72006b8e365
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   40:     0x604692fb94ca - std::panic::catch_unwind::h3b081041e6c97066
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::ha751309815d5d8cf
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30
[INFO] [stdout]   42:     0x604692fb94ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2084b887a5fe25a7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6046934713df - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3adbd6ccf5f737af
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9
[INFO] [stdout]   44:     0x6046934713df - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stdout]   45:     0x730b9b938aa4 - <unknown>
[INFO] [stdout]   46:     0x730b9b9c5a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_09_stress_test_extended stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_09_stress_test_extended' (190) panicked at tests/documentation_examples.rs:26:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_simple_facts.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x60469349c632 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x60469349c632 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x60469349c632 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x60469349c632 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hde21067283f7e82e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x6046934ae57f - core::fmt::rt::Argument::fmt::he65307037dca33c6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x6046934ae57f - core::fmt::write::h24186904251c31cb
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x60469346a233 - std::io::default_write_fmt::h4e8d11c5c4b9cafe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x60469346a233 - std::io::Write::write_fmt::ha849be0824d095ef
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x604693475ea2 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x60469347a97f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x60469347a811 - std::panicking::default_hook::he2e9efee79b3dce9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x604692fc88ce - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h202f496763929329
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   12:     0x604692fc88ce - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x60469347af8f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h2883c9d2dbd4e81c
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   14:     0x60469347af8f - std::panicking::panic_with_hook::hf5648b7cec6bc73e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x60469347adea - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x604693475fd9 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x60469345e16d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x6046934b72d0 - core::panicking::panic_fmt::hb5d6b83773432920
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x604692f9d4e5 - documentation_examples::load_examples::{{closure}}::hdf6b167f69b5a5d2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:33
[INFO] [stdout]   20:     0x604692fa372a - core::result::Result<T,E>::unwrap_or_else::h82830fcf1c656ac4
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x604692f9d2a1 - documentation_examples::load_examples::h30bf9c5950273415
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:14
[INFO] [stdout]   22:     0x604692fa13f9 - documentation_examples::test_09_stress_test_extended::h057f8fc6701095bd
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:299:18
[INFO] [stdout]   23:     0x604692fa1857 - documentation_examples::test_09_stress_test_extended::{{closure}}::h837a77769ade28a5
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:298:34
[INFO] [stdout]   24:     0x604692fa2cb6 - core::ops::function::FnOnce::call_once::hd7d98961cbc126d5
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x604692fc873b - core::ops::function::FnOnce::call_once::h3a2d82edd1a9b770
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x604692fc873b - test::__rust_begin_short_backtrace::h85d4fe5033219107
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x604692fdc72d - test::run_test_in_process::{{closure}}::h67b48a81b9c9d7b6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x604692fdc72d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h7680585480377cb5
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x604692fdc72d - std::panicking::catch_unwind::do_call::hf71351b2657d4002
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   30:     0x604692fdc72d - std::panicking::catch_unwind::h7fcb5c0312d9e172
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   31:     0x604692fdc72d - std::panic::catch_unwind::h5cf3c9bdee894ebe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x604692fdc72d - test::run_test_in_process::h1469cb85193a3a25
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x604692fdc72d - test::run_test::{{closure}}::h59d45b3cd6453d69
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x604692fb5c74 - test::run_test::{{closure}}::h9baa0c3d443f28c9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x604692fb5c74 - std::sys::backtrace::__rust_begin_short_backtrace::h97ea8cee4828663e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   36:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5d7539d5f78cee61
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   37:     0x604692fb94ca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he4c551e23c5e9b22
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x604692fb94ca - std::panicking::catch_unwind::do_call::h522b41a6c157aaba
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   39:     0x604692fb94ca - std::panicking::catch_unwind::h0efbf72006b8e365
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   40:     0x604692fb94ca - std::panic::catch_unwind::h3b081041e6c97066
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::ha751309815d5d8cf
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30
[INFO] [stdout]   42:     0x604692fb94ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2084b887a5fe25a7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6046934713df - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3adbd6ccf5f737af
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9
[INFO] [stdout]   44:     0x6046934713df - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stdout]   45:     0x730b9b938aa4 - <unknown>
[INFO] [stdout]   46:     0x730b9b9c5a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_all_examples_parse stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_all_examples_parse' (192) panicked at tests/documentation_examples.rs:26:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_simple_facts.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x60469349c632 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x60469349c632 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x60469349c632 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x60469349c632 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hde21067283f7e82e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x6046934ae57f - core::fmt::rt::Argument::fmt::he65307037dca33c6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x6046934ae57f - core::fmt::write::h24186904251c31cb
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x60469346a233 - std::io::default_write_fmt::h4e8d11c5c4b9cafe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x60469346a233 - std::io::Write::write_fmt::ha849be0824d095ef
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x604693475ea2 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x60469347a97f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x60469347a811 - std::panicking::default_hook::he2e9efee79b3dce9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x604692fc88ce - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h202f496763929329
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   12:     0x604692fc88ce - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x60469347af8f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h2883c9d2dbd4e81c
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   14:     0x60469347af8f - std::panicking::panic_with_hook::hf5648b7cec6bc73e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x60469347adea - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x604693475fd9 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x60469345e16d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x6046934b72d0 - core::panicking::panic_fmt::hb5d6b83773432920
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x604692f9d4e5 - documentation_examples::load_examples::{{closure}}::hdf6b167f69b5a5d2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:33
[INFO] [stdout]   20:     0x604692fa372a - core::result::Result<T,E>::unwrap_or_else::h82830fcf1c656ac4
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x604692f9d2a1 - documentation_examples::load_examples::h30bf9c5950273415
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:14
[INFO] [stdout]   22:     0x604692f9f106 - documentation_examples::test_all_examples_parse::h81872d4cf66c2753
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:363:18
[INFO] [stdout]   23:     0x604692f9f5f7 - documentation_examples::test_all_examples_parse::{{closure}}::hbd352756ff1be36e
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:361:29
[INFO] [stdout]   24:     0x604692fa2aa6 - core::ops::function::FnOnce::call_once::h5bbb84af0be551dd
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x604692fc873b - core::ops::function::FnOnce::call_once::h3a2d82edd1a9b770
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x604692fc873b - test::__rust_begin_short_backtrace::h85d4fe5033219107
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x604692fdc72d - test::run_test_in_process::{{closure}}::h67b48a81b9c9d7b6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x604692fdc72d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h7680585480377cb5
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x604692fdc72d - std::panicking::catch_unwind::do_call::hf71351b2657d4002
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   30:     0x604692fdc72d - std::panicking::catch_unwind::h7fcb5c0312d9e172
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   31:     0x604692fdc72d - std::panic::catch_unwind::h5cf3c9bdee894ebe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x604692fdc72d - test::run_test_in_process::h1469cb85193a3a25
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x604692fdc72d - test::run_test::{{closure}}::h59d45b3cd6453d69
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x604692fb5c74 - test::run_test::{{closure}}::h9baa0c3d443f28c9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x604692fb5c74 - std::sys::backtrace::__rust_begin_short_backtrace::h97ea8cee4828663e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   36:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5d7539d5f78cee61
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   37:     0x604692fb94ca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he4c551e23c5e9b22
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x604692fb94ca - std::panicking::catch_unwind::do_call::h522b41a6c157aaba
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   39:     0x604692fb94ca - std::panicking::catch_unwind::h0efbf72006b8e365
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   40:     0x604692fb94ca - std::panic::catch_unwind::h3b081041e6c97066
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::ha751309815d5d8cf
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30
[INFO] [stdout]   42:     0x604692fb94ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2084b887a5fe25a7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6046934713df - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3adbd6ccf5f737af
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9
[INFO] [stdout]   44:     0x6046934713df - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stdout]   45:     0x730b9b938aa4 - <unknown>
[INFO] [stdout]   46:     0x730b9b9c5a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_04_unit_conversions stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_04_unit_conversions' (183) panicked at tests/documentation_examples.rs:26:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_simple_facts.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x60469349c632 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x60469349c632 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x60469349c632 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x60469349c632 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hde21067283f7e82e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x6046934ae57f - core::fmt::rt::Argument::fmt::he65307037dca33c6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x6046934ae57f - core::fmt::write::h24186904251c31cb
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x60469346a233 - std::io::default_write_fmt::h4e8d11c5c4b9cafe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x60469346a233 - std::io::Write::write_fmt::ha849be0824d095ef
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x604693475ea2 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x60469347a97f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x60469347a811 - std::panicking::default_hook::he2e9efee79b3dce9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x604692fc88ce - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h202f496763929329
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   12:     0x604692fc88ce - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x60469347af8f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h2883c9d2dbd4e81c
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   14:     0x60469347af8f - std::panicking::panic_with_hook::hf5648b7cec6bc73e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x60469347adea - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x604693475fd9 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x60469345e16d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x6046934b72d0 - core::panicking::panic_fmt::hb5d6b83773432920
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x604692f9d4e5 - documentation_examples::load_examples::{{closure}}::hdf6b167f69b5a5d2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:33
[INFO] [stdout]   20:     0x604692fa372a - core::result::Result<T,E>::unwrap_or_else::h82830fcf1c656ac4
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x604692f9d2a1 - documentation_examples::load_examples::h30bf9c5950273415
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:14
[INFO] [stdout]   22:     0x604692f9fadc - documentation_examples::test_04_unit_conversions::h6bf2518de5c6c063
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:122:18
[INFO] [stdout]   23:     0x604692f9ff27 - documentation_examples::test_04_unit_conversions::{{closure}}::h6e342fa23e0f92e6
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:121:30
[INFO] [stdout]   24:     0x604692fa2b26 - core::ops::function::FnOnce::call_once::h82c5561c6e104a11
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x604692fc873b - core::ops::function::FnOnce::call_once::h3a2d82edd1a9b770
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x604692fc873b - test::__rust_begin_short_backtrace::h85d4fe5033219107
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x604692fdc72d - test::run_test_in_process::{{closure}}::h67b48a81b9c9d7b6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x604692fdc72d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h7680585480377cb5
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x604692fdc72d - std::panicking::catch_unwind::do_call::hf71351b2657d4002
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   30:     0x604692fdc72d - std::panicking::catch_unwind::h7fcb5c0312d9e172
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   31:     0x604692fdc72d - std::panic::catch_unwind::h5cf3c9bdee894ebe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x604692fdc72d - test::run_test_in_process::h1469cb85193a3a25
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x604692fdc72d - test::run_test::{{closure}}::h59d45b3cd6453d69
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x604692fb5c74 - test::run_test::{{closure}}::h9baa0c3d443f28c9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x604692fb5c74 - std::sys::backtrace::__rust_begin_short_backtrace::h97ea8cee4828663e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   36:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5d7539d5f78cee61
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   37:     0x604692fb94ca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he4c551e23c5e9b22
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x604692fb94ca - std::panicking::catch_unwind::do_call::h522b41a6c157aaba
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   39:     0x604692fb94ca - std::panicking::catch_unwind::h0efbf72006b8e365
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   40:     0x604692fb94ca - std::panic::catch_unwind::h3b081041e6c97066
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::ha751309815d5d8cf
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30
[INFO] [stderr] error: test failed, to rerun pass `--test documentation_examples`
[INFO] [stdout]   42:     0x604692fb94ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2084b887a5fe25a7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6046934713df - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3adbd6ccf5f737af
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9
[INFO] [stdout]   44:     0x6046934713df - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stdout]   45:     0x730b9b938aa4 - <unknown>
[INFO] [stdout]   46:     0x730b9b9c5a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_06_tax_calculation stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_06_tax_calculation' (185) panicked at tests/documentation_examples.rs:26:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_simple_facts.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x60469349c632 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x60469349c632 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x60469349c632 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x60469349c632 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hde21067283f7e82e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x6046934ae57f - core::fmt::rt::Argument::fmt::he65307037dca33c6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x6046934ae57f - core::fmt::write::h24186904251c31cb
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x60469346a233 - std::io::default_write_fmt::h4e8d11c5c4b9cafe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x60469346a233 - std::io::Write::write_fmt::ha849be0824d095ef
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x604693475ea2 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x60469347a97f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x60469347a811 - std::panicking::default_hook::he2e9efee79b3dce9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x604692fc88ce - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h202f496763929329
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   12:     0x604692fc88ce - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x60469347af8f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h2883c9d2dbd4e81c
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   14:     0x60469347af8f - std::panicking::panic_with_hook::hf5648b7cec6bc73e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x60469347adea - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x604693475fd9 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x60469345e16d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x6046934b72d0 - core::panicking::panic_fmt::hb5d6b83773432920
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x604692f9d4e5 - documentation_examples::load_examples::{{closure}}::hdf6b167f69b5a5d2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:33
[INFO] [stdout]   20:     0x604692fa372a - core::result::Result<T,E>::unwrap_or_else::h82830fcf1c656ac4
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x604692f9d2a1 - documentation_examples::load_examples::h30bf9c5950273415
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:14
[INFO] [stdout]   22:     0x604692f9e08c - documentation_examples::test_06_tax_calculation::h2166b0577bd8595a
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:165:18
[INFO] [stdout]   23:     0x604692f9e537 - documentation_examples::test_06_tax_calculation::{{closure}}::h45b050961f3114d5
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:164:29
[INFO] [stdout]   24:     0x604692fa29e6 - core::ops::function::FnOnce::call_once::h2b9f57d3218e6e65
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x604692fc873b - core::ops::function::FnOnce::call_once::h3a2d82edd1a9b770
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x604692fc873b - test::__rust_begin_short_backtrace::h85d4fe5033219107
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x604692fdc72d - test::run_test_in_process::{{closure}}::h67b48a81b9c9d7b6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x604692fdc72d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h7680585480377cb5
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x604692fdc72d - std::panicking::catch_unwind::do_call::hf71351b2657d4002
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   30:     0x604692fdc72d - std::panicking::catch_unwind::h7fcb5c0312d9e172
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   31:     0x604692fdc72d - std::panic::catch_unwind::h5cf3c9bdee894ebe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x604692fdc72d - test::run_test_in_process::h1469cb85193a3a25
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x604692fdc72d - test::run_test::{{closure}}::h59d45b3cd6453d69
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x604692fb5c74 - test::run_test::{{closure}}::h9baa0c3d443f28c9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x604692fb5c74 - std::sys::backtrace::__rust_begin_short_backtrace::h97ea8cee4828663e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   36:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5d7539d5f78cee61
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   37:     0x604692fb94ca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he4c551e23c5e9b22
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x604692fb94ca - std::panicking::catch_unwind::do_call::h522b41a6c157aaba
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   39:     0x604692fb94ca - std::panicking::catch_unwind::h0efbf72006b8e365
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   40:     0x604692fb94ca - std::panic::catch_unwind::h3b081041e6c97066
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::ha751309815d5d8cf
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30
[INFO] [stdout]   42:     0x604692fb94ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2084b887a5fe25a7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6046934713df - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3adbd6ccf5f737af
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9
[INFO] [stdout]   44:     0x6046934713df - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stdout]   45:     0x730b9b938aa4 - <unknown>
[INFO] [stdout]   46:     0x730b9b9c5a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_08_rule_references stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_08_rule_references' (187) panicked at tests/documentation_examples.rs:26:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_simple_facts.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x60469349c632 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x60469349c632 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x60469349c632 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x60469349c632 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hde21067283f7e82e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x6046934ae57f - core::fmt::rt::Argument::fmt::he65307037dca33c6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x6046934ae57f - core::fmt::write::h24186904251c31cb
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x60469346a233 - std::io::default_write_fmt::h4e8d11c5c4b9cafe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x60469346a233 - std::io::Write::write_fmt::ha849be0824d095ef
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x604693475ea2 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x60469347a97f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x60469347a811 - std::panicking::default_hook::he2e9efee79b3dce9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x604692fc88ce - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h202f496763929329
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   12:     0x604692fc88ce - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x60469347af8f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h2883c9d2dbd4e81c
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   14:     0x60469347af8f - std::panicking::panic_with_hook::hf5648b7cec6bc73e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x60469347adea - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x604693475fd9 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x60469345e16d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x6046934b72d0 - core::panicking::panic_fmt::hb5d6b83773432920
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x604692f9d4e5 - documentation_examples::load_examples::{{closure}}::hdf6b167f69b5a5d2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:33
[INFO] [stdout]   20:     0x604692fa372a - core::result::Result<T,E>::unwrap_or_else::h82830fcf1c656ac4
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x604692f9d2a1 - documentation_examples::load_examples::h30bf9c5950273415
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:14
[INFO] [stdout]   22:     0x604692f9eafc - documentation_examples::test_08_rule_references::hedf69620187ba573
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:225:18
[INFO] [stdout]   23:     0x604692f9f047 - documentation_examples::test_08_rule_references::{{closure}}::h79a19b268ccc1c35
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:224:29
[INFO] [stdout]   24:     0x604692fa2bb6 - core::ops::function::FnOnce::call_once::ha6c032d7ffe1a91a
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x604692fc873b - core::ops::function::FnOnce::call_once::h3a2d82edd1a9b770
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x604692fc873b - test::__rust_begin_short_backtrace::h85d4fe5033219107
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x604692fdc72d - test::run_test_in_process::{{closure}}::h67b48a81b9c9d7b6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x604692fdc72d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h7680585480377cb5
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x604692fdc72d - std::panicking::catch_unwind::do_call::hf71351b2657d4002
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   30:     0x604692fdc72d - std::panicking::catch_unwind::h7fcb5c0312d9e172
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   31:     0x604692fdc72d - std::panic::catch_unwind::h5cf3c9bdee894ebe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x604692fdc72d - test::run_test_in_process::h1469cb85193a3a25
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x604692fdc72d - test::run_test::{{closure}}::h59d45b3cd6453d69
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x604692fb5c74 - test::run_test::{{closure}}::h9baa0c3d443f28c9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x604692fb5c74 - std::sys::backtrace::__rust_begin_short_backtrace::h97ea8cee4828663e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   36:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5d7539d5f78cee61
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   37:     0x604692fb94ca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he4c551e23c5e9b22
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x604692fb94ca - std::panicking::catch_unwind::do_call::h522b41a6c157aaba
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   39:     0x604692fb94ca - std::panicking::catch_unwind::h0efbf72006b8e365
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   40:     0x604692fb94ca - std::panic::catch_unwind::h3b081041e6c97066
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::ha751309815d5d8cf
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30
[INFO] [stdout]   42:     0x604692fb94ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2084b887a5fe25a7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6046934713df - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3adbd6ccf5f737af
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9
[INFO] [stdout]   44:     0x6046934713df - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stdout]   45:     0x730b9b938aa4 - <unknown>
[INFO] [stdout]   46:     0x730b9b9c5a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_07_shipping_policy stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_07_shipping_policy' (186) panicked at tests/documentation_examples.rs:26:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_simple_facts.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x60469349c632 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x60469349c632 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x60469349c632 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x60469349c632 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hde21067283f7e82e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x6046934ae57f - core::fmt::rt::Argument::fmt::he65307037dca33c6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x6046934ae57f - core::fmt::write::h24186904251c31cb
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x60469346a233 - std::io::default_write_fmt::h4e8d11c5c4b9cafe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x60469346a233 - std::io::Write::write_fmt::ha849be0824d095ef
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x604693475ea2 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x60469347a97f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x60469347a811 - std::panicking::default_hook::he2e9efee79b3dce9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x604692fc88ce - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h202f496763929329
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   12:     0x604692fc88ce - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x60469347af8f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h2883c9d2dbd4e81c
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   14:     0x60469347af8f - std::panicking::panic_with_hook::hf5648b7cec6bc73e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x60469347adea - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x604693475fd9 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x60469345e16d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x6046934b72d0 - core::panicking::panic_fmt::hb5d6b83773432920
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x604692f9d4e5 - documentation_examples::load_examples::{{closure}}::hdf6b167f69b5a5d2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:33
[INFO] [stdout]   20:     0x604692fa372a - core::result::Result<T,E>::unwrap_or_else::h82830fcf1c656ac4
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x604692f9d2a1 - documentation_examples::load_examples::h30bf9c5950273415
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:14
[INFO] [stdout]   22:     0x604692f9e564 - documentation_examples::test_07_shipping_policy::h00366d67e9d29243
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:190:18
[INFO] [stdout]   23:     0x604692f9eac7 - documentation_examples::test_07_shipping_policy::{{closure}}::hfd9c12517c2645ce
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:189:29
[INFO] [stdout]   24:     0x604692fa2c36 - core::ops::function::FnOnce::call_once::hc2904b5acbab04e9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x604692fc873b - core::ops::function::FnOnce::call_once::h3a2d82edd1a9b770
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x604692fc873b - test::__rust_begin_short_backtrace::h85d4fe5033219107
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x604692fdc72d - test::run_test_in_process::{{closure}}::h67b48a81b9c9d7b6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x604692fdc72d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h7680585480377cb5
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x604692fdc72d - std::panicking::catch_unwind::do_call::hf71351b2657d4002
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   30:     0x604692fdc72d - std::panicking::catch_unwind::h7fcb5c0312d9e172
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   31:     0x604692fdc72d - std::panic::catch_unwind::h5cf3c9bdee894ebe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x604692fdc72d - test::run_test_in_process::h1469cb85193a3a25
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x604692fdc72d - test::run_test::{{closure}}::h59d45b3cd6453d69
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x604692fb5c74 - test::run_test::{{closure}}::h9baa0c3d443f28c9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x604692fb5c74 - std::sys::backtrace::__rust_begin_short_backtrace::h97ea8cee4828663e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   36:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5d7539d5f78cee61
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   37:     0x604692fb94ca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he4c551e23c5e9b22
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x604692fb94ca - std::panicking::catch_unwind::do_call::h522b41a6c157aaba
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   39:     0x604692fb94ca - std::panicking::catch_unwind::h0efbf72006b8e365
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   40:     0x604692fb94ca - std::panic::catch_unwind::h3b081041e6c97066
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::ha751309815d5d8cf
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30
[INFO] [stdout]   42:     0x604692fb94ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2084b887a5fe25a7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6046934713df - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3adbd6ccf5f737af
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9
[INFO] [stdout]   44:     0x6046934713df - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stdout]   45:     0x730b9b938aa4 - <unknown>
[INFO] [stdout]   46:     0x730b9b9c5a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_10_compensation_policy stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_10_compensation_policy' (191) panicked at tests/documentation_examples.rs:26:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_simple_facts.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x60469349c632 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x60469349c632 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x60469349c632 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x60469349c632 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hde21067283f7e82e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x6046934ae57f - core::fmt::rt::Argument::fmt::he65307037dca33c6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x6046934ae57f - core::fmt::write::h24186904251c31cb
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x60469346a233 - std::io::default_write_fmt::h4e8d11c5c4b9cafe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x60469346a233 - std::io::Write::write_fmt::ha849be0824d095ef
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x604693475ea2 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x60469347a97f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x60469347a811 - std::panicking::default_hook::he2e9efee79b3dce9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x604692fc88ce - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h202f496763929329
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   12:     0x604692fc88ce - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x60469347af8f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h2883c9d2dbd4e81c
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   14:     0x60469347af8f - std::panicking::panic_with_hook::hf5648b7cec6bc73e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x60469347adea - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x604693475fd9 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x60469345e16d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x6046934b72d0 - core::panicking::panic_fmt::hb5d6b83773432920
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x604692f9d4e5 - documentation_examples::load_examples::{{closure}}::hdf6b167f69b5a5d2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:33
[INFO] [stdout]   20:     0x604692fa372a - core::result::Result<T,E>::unwrap_or_else::h82830fcf1c656ac4
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x604692f9d2a1 - documentation_examples::load_examples::h30bf9c5950273415
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:14
[INFO] [stdout]   22:     0x604692fa0a7c - documentation_examples::test_10_compensation_policy::hd5988484442539b3
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:325:18
[INFO] [stdout]   23:     0x604692fa13c7 - documentation_examples::test_10_compensation_policy::{{closure}}::h43703b925a27abcf
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:324:33
[INFO] [stdout]   24:     0x604692fa2a26 - core::ops::function::FnOnce::call_once::h4504b5c069e433d1
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x604692fc873b - core::ops::function::FnOnce::call_once::h3a2d82edd1a9b770
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x604692fc873b - test::__rust_begin_short_backtrace::h85d4fe5033219107
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x604692fdc72d - test::run_test_in_process::{{closure}}::h67b48a81b9c9d7b6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x604692fdc72d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h7680585480377cb5
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x604692fdc72d - std::panicking::catch_unwind::do_call::hf71351b2657d4002
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   30:     0x604692fdc72d - std::panicking::catch_unwind::h7fcb5c0312d9e172
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   31:     0x604692fdc72d - std::panic::catch_unwind::h5cf3c9bdee894ebe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x604692fdc72d - test::run_test_in_process::h1469cb85193a3a25
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x604692fdc72d - test::run_test::{{closure}}::h59d45b3cd6453d69
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x604692fb5c74 - test::run_test::{{closure}}::h9baa0c3d443f28c9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x604692fb5c74 - std::sys::backtrace::__rust_begin_short_backtrace::h97ea8cee4828663e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   36:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5d7539d5f78cee61
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   37:     0x604692fb94ca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he4c551e23c5e9b22
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x604692fb94ca - std::panicking::catch_unwind::do_call::h522b41a6c157aaba
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   39:     0x604692fb94ca - std::panicking::catch_unwind::h0efbf72006b8e365
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   40:     0x604692fb94ca - std::panic::catch_unwind::h3b081041e6c97066
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::ha751309815d5d8cf
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30
[INFO] [stdout]   42:     0x604692fb94ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2084b887a5fe25a7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6046934713df - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3adbd6ccf5f737af
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9
[INFO] [stdout]   44:     0x6046934713df - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stdout]   45:     0x730b9b938aa4 - <unknown>
[INFO] [stdout]   46:     0x730b9b9c5a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_09_stress_test stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'test_09_stress_test' (188) panicked at tests/documentation_examples.rs:26:33:
[INFO] [stdout] Failed to read ../documentation/examples/01_simple_facts.lemma: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x60469349c632 - std::backtrace_rs::backtrace::libunwind::trace::ha50a1f28c7a10cf8
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x60469349c632 - std::backtrace_rs::backtrace::trace_unsynchronized::h34f8c4ec82a320bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x60469349c632 - std::sys::backtrace::_print_fmt::h2d23e84e13d343bc
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x60469349c632 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hde21067283f7e82e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x6046934ae57f - core::fmt::rt::Argument::fmt::he65307037dca33c6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x6046934ae57f - core::fmt::write::h24186904251c31cb
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/fmt/mod.rs:1469:25
[INFO] [stdout]    6:     0x60469346a233 - std::io::default_write_fmt::h4e8d11c5c4b9cafe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x60469346a233 - std::io::Write::write_fmt::ha849be0824d095ef
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x604693475ea2 - std::sys::backtrace::BacktraceLock::print::he038489aba5894a6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x60469347a97f - std::panicking::default_hook::{{closure}}::h80a26d916c49679b
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x60469347a811 - std::panicking::default_hook::he2e9efee79b3dce9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x604692fc88ce - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h202f496763929329
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   12:     0x604692fc88ce - test::test_main_with_exit_callback::{{closure}}::h805a6913adddaea3
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x60469347af8f - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h2883c9d2dbd4e81c
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2099:9
[INFO] [stdout]   14:     0x60469347af8f - std::panicking::panic_with_hook::hf5648b7cec6bc73e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x60469347adea - std::panicking::panic_handler::{{closure}}::h1b2ed3864ba94359
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:707:13
[INFO] [stdout]   16:     0x604693475fd9 - std::sys::backtrace::__rust_end_short_backtrace::hd0186b2b27f5aaa7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x60469345e16d - __rustc[f7dae8b92efe1d7a]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x6046934b72d0 - core::panicking::panic_fmt::hb5d6b83773432920
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x604692f9d4e5 - documentation_examples::load_examples::{{closure}}::hdf6b167f69b5a5d2
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:33
[INFO] [stdout]   20:     0x604692fa372a - core::result::Result<T,E>::unwrap_or_else::h82830fcf1c656ac4
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/result.rs:1622:23
[INFO] [stdout]   21:     0x604692f9d2a1 - documentation_examples::load_examples::h30bf9c5950273415
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:26:14
[INFO] [stdout]   22:     0x604692f9d519 - documentation_examples::test_09_stress_test::ha6a820077070bc75
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:260:18
[INFO] [stdout]   23:     0x604692f9d977 - documentation_examples::test_09_stress_test::{{closure}}::h95a90156193ad967
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/documentation_examples.rs:259:25
[INFO] [stdout]   24:     0x604692fa2a66 - core::ops::function::FnOnce::call_once::h53e5beb9b0477580
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x604692fc873b - core::ops::function::FnOnce::call_once::h3a2d82edd1a9b770
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x604692fc873b - test::__rust_begin_short_backtrace::h85d4fe5033219107
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:663:18
[INFO] [stdout]   27:     0x604692fdc72d - test::run_test_in_process::{{closure}}::h67b48a81b9c9d7b6
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:74
[INFO] [stdout]   28:     0x604692fdc72d - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h7680585480377cb5
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   29:     0x604692fdc72d - std::panicking::catch_unwind::do_call::hf71351b2657d4002
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   30:     0x604692fdc72d - std::panicking::catch_unwind::h7fcb5c0312d9e172
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   31:     0x604692fdc72d - std::panic::catch_unwind::h5cf3c9bdee894ebe
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   32:     0x604692fdc72d - test::run_test_in_process::h1469cb85193a3a25
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:686:27
[INFO] [stdout]   33:     0x604692fdc72d - test::run_test::{{closure}}::h59d45b3cd6453d69
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:607:43
[INFO] [stdout]   34:     0x604692fb5c74 - test::run_test::{{closure}}::h9baa0c3d443f28c9
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/test/src/lib.rs:637:41
[INFO] [stdout]   35:     0x604692fb5c74 - std::sys::backtrace::__rust_begin_short_backtrace::h97ea8cee4828663e
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   36:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5d7539d5f78cee61
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:562:17
[INFO] [stdout]   37:     0x604692fb94ca - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he4c551e23c5e9b22
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   38:     0x604692fb94ca - std::panicking::catch_unwind::do_call::h522b41a6c157aaba
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:590:40
[INFO] [stdout]   39:     0x604692fb94ca - std::panicking::catch_unwind::h0efbf72006b8e365
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panicking.rs:553:19
[INFO] [stdout]   40:     0x604692fb94ca - std::panic::catch_unwind::h3b081041e6c97066
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/panic.rs:359:14
[INFO] [stdout]   41:     0x604692fb94ca - std::thread::Builder::spawn_unchecked_::{{closure}}::ha751309815d5d8cf
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/thread/mod.rs:560:30
[INFO] [stdout]   42:     0x604692fb94ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h2084b887a5fe25a7
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   43:     0x6046934713df - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3adbd6ccf5f737af
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/alloc/src/boxed.rs:2085:9
[INFO] [stdout]   44:     0x6046934713df - std::sys::thread::unix::Thread::new::thread_start::hb3dc6483caa1b987
[INFO] [stdout]                                at /rustc/c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38/library/std/src/sys/thread/unix.rs:124:17
[INFO] [stdout]   45:     0x730b9b938aa4 - <unknown>
[INFO] [stdout]   46:     0x730b9b9c5a64 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     test_01_simple_facts
[INFO] [stdout]     test_02_rules_and_unless
[INFO] [stdout]     test_03_document_references
[INFO] [stdout]     test_04_unit_conversions
[INFO] [stdout]     test_05_date_handling
[INFO] [stdout]     test_06_tax_calculation
[INFO] [stdout]     test_07_shipping_policy
[INFO] [stdout]     test_08_rule_references
[INFO] [stdout]     test_09_stress_test
[INFO] [stdout]     test_09_stress_test_config
[INFO] [stdout]     test_09_stress_test_extended
[INFO] [stdout]     test_10_compensation_policy
[INFO] [stdout]     test_all_examples_parse
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 13 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.22s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "e73328c1181193b88e5d33635765c176db456dc08f616bff5bdc0eb9e1e4cfa0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e73328c1181193b88e5d33635765c176db456dc08f616bff5bdc0eb9e1e4cfa0", kill_on_drop: false }`
[INFO] [stdout] e73328c1181193b88e5d33635765c176db456dc08f616bff5bdc0eb9e1e4cfa0
