[INFO] fetching crate rossi-cli 0.2.3...
[INFO] testing rossi-cli-0.2.3 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate rossi-cli 0.2.3 into /workspace/builds/worker-1-tc2/source
[INFO] started tweaking crates.io crate rossi-cli 0.2.3
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate rossi-cli 0.2.3
[INFO] tweaked toml for crates.io crate rossi-cli 0.2.3 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate rossi-cli 0.2.3 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate rossi-cli 0.2.3 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 7416c32508b3c3f083b549ea4942aa7dd0cb3da2b8e196486adf8b077af25827
[INFO] running `Command { std: "docker" "start" "7416c32508b3c3f083b549ea4942aa7dd0cb3da2b8e196486adf8b077af25827", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7416c32508b3c3f083b549ea4942aa7dd0cb3da2b8e196486adf8b077af25827", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "7416c32508b3c3f083b549ea4942aa7dd0cb3da2b8e196486adf8b077af25827" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7416c32508b3c3f083b549ea4942aa7dd0cb3da2b8e196486adf8b077af25827", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "7416c32508b3c3f083b549ea4942aa7dd0cb3da2b8e196486adf8b077af25827" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling cc v1.4.3
[INFO] [stderr]    Compiling pest v2.9.1
[INFO] [stderr]    Compiling syn v3.0.3
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling flate2 v1.1.9
[INFO] [stderr]    Compiling quick-xml v0.41.0
[INFO] [stderr]    Compiling num-bigint v0.5.1
[INFO] [stderr]    Compiling clap_builder v4.6.7
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling zip v8.6.0
[INFO] [stderr]    Compiling pest_meta v2.9.1
[INFO] [stderr]    Compiling stacker v0.1.25
[INFO] [stderr]    Compiling libmimalloc-sys v0.1.49
[INFO] [stderr]    Compiling pest_generator v2.9.1
[INFO] [stderr]    Compiling pest_derive v2.9.1
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling thiserror-impl v2.0.20
[INFO] [stderr]    Compiling clap_derive v4.6.7
[INFO] [stderr]    Compiling ar_archive_writer v0.5.1
[INFO] [stderr]    Compiling thiserror v2.0.20
[INFO] [stderr]    Compiling psm v0.1.31
[INFO] [stderr]    Compiling clap v4.6.7
[INFO] [stderr]    Compiling clap_complete v4.6.11
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling rossi v0.2.3
[INFO] [stderr]    Compiling mimalloc v0.1.52
[INFO] [stderr]    Compiling rossi-prove v0.2.3
[INFO] [stderr]    Compiling rossi-build v0.2.3
[INFO] [stderr]    Compiling rossi-cli v0.2.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1m 41s
[INFO] running `Command { std: "docker" "inspect" "7416c32508b3c3f083b549ea4942aa7dd0cb3da2b8e196486adf8b077af25827", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "7416c32508b3c3f083b549ea4942aa7dd0cb3da2b8e196486adf8b077af25827" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling rossi-cli v0.2.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 8.49s
[INFO] running `Command { std: "docker" "inspect" "7416c32508b3c3f083b549ea4942aa7dd0cb3da2b8e196486adf8b077af25827", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "7416c32508b3c3f083b549ea4942aa7dd0cb3da2b8e196486adf8b077af25827" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.10s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/release/build/rossi-cli/792259201e694e81/out/rossi-792259201e694e81)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test commands::report::tests::output_failure_is_reported_and_exits_nonzero ... ok
[INFO] [stdout] test commands::validate::tests::json_output_propagates_trailing_newline_failure ... ok
[INFO] [stdout] test commands::proofs::tests::dir_source_scopes_sub_projects_by_name ... ok
[INFO] [stdout] test commands::validate::tests::loose_text_flags_assignment_in_invariant ... ok
[INFO] [stdout] test commands::validate::tests::parse_error_region_is_a_point_without_a_span ... ok
[INFO] [stdout] test commands::validate::tests::parse_error_region_covers_reserved_word ... ok
[INFO] [stdout] test commands::report::tests::broken_pipe_preserves_the_command_exit ... ok
[INFO] [stdout] test commands::validate::tests::loose_text_keeps_fallback_alongside_assignment_when_other_errors_exist ... ok
[INFO] [stdout] test commands::validate::tests::rule_for_parse_error_maps_assignment_in_predicate ... ok
[INFO] [stdout] test commands::proofs::tests::local_source_prefers_input_dir_over_workspace ... ok
[INFO] [stdout] test commands::validate::tests::recovered_assignment_arity_resolves_operator_in_later_component ... ok
[INFO] [stdout] test commands::validate::tests::rule_for_parse_error_maps_assignment_arity_to_eb005 ... ok
[INFO] [stdout] test commands::validate::tests::portable_path_normalises_backslashes ... ok
[INFO] [stdout] test commands::validate::tests::project_diagnostic_inner_filename_is_prefix_qualified ... ok
[INFO] [stdout] test commands::validate::tests::project_diagnostic_resolves_component_source_and_file ... ok
[INFO] [stdout] test commands::validate::tests::span_to_region_maps_both_ends_one_indexed ... ok
[INFO] [stdout] test commands::validate::tests::loose_lint_diagnostic_is_positioned ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/cli/main.rs (/opt/rustwide/target/release/build/rossi-cli/78f3e17e67a0a959/out/cli-78f3e17e67a0a959)
[INFO] [stdout] 
[INFO] [stdout] running 177 tests
[INFO] [stdout] test build::build_directory_output_preserves_proof_state ... FAILED
[INFO] [stdout] test build::build_directory_output_preserves_safe_multi_project_layout ... ok
[INFO] [stdout] test build::build_directory_to_zip_carries_proofs_and_statuses ... FAILED
[INFO] [stdout] test build::build_eventb_file_packs_sources_and_checked ... FAILED
[INFO] [stdout] test build::build_zip_rebuild_is_byte_stable ... FAILED
[INFO] [stdout] test build::build_fails_on_circular_refines_with_context_sibling ... ok
[INFO] [stdout] test build::build_zip_preserves_proof_files ... FAILED
[INFO] [stdout] test build::build_duplicate_component_names_fail_with_eb019 ... ok
[INFO] [stdout] test build::build_directory_output_rejects_escaping_project_symlink ... ok
[INFO] [stdout] test clean::clean_needs_something_to_do ... ok
[INFO] [stdout] test build::build_directory_output_allows_contained_project_symlink ... ok
[INFO] [stdout] test build::build_fails_on_duplicate_identifier ... ok
[INFO] [stdout] test build::build_zip_carries_doctored_statuses_across_rebuilds ... FAILED
[INFO] [stdout] test build::build_directory_output_rejects_unsafe_prefixes_before_writing ... ok
[INFO] [stdout] test build::build_ignores_dot_directories_when_classifying_input ... ok
[INFO] [stdout] test build::nested_rodin_xml_does_not_route_a_text_directory_to_the_project_loader ... ok
[INFO] [stdout] test build::build_fails_on_error_diagnostics_but_still_writes_output ... ok
[INFO] [stdout] test clean::clean_all_empties_every_proof ... ok
[INFO] [stdout] test build::build_eventb_directory ... ok
[INFO] [stdout] test build::build_directory_output_allows_symlinked_root ... ok
[INFO] [stdout] test dump::a_clean_project_dumps_and_exits_zero ... ok
[INFO] [stdout] test clean::clean_purges_a_proof_whose_obligation_is_gone ... ok
[INFO] [stdout] test clean::clean_empties_a_selected_proof_and_its_status ... ok
[INFO] [stdout] test build::build_zip_output_preserves_raw_archive_prefixes ... ok
[INFO] [stdout] test dump::a_rejected_project_still_writes_a_document_and_exits_one ... ok
[INFO] [stdout] test clean::clean_refuses_an_output_inside_the_input ... ok
[INFO] [stdout] test clean::clean_refuses_to_purge_against_a_damaged_bpo ... ok
[INFO] [stdout] test dump::a_missing_input_is_a_usage_error ... ok
[INFO] [stdout] test dump::a_dumped_handle_is_the_one_a_build_writes ... ok
[INFO] [stdout] test dump::an_unsupported_extension_is_reported ... ok
[INFO] [stdout] test clean::clean_check_reports_without_writing_and_exits_nonzero ... ok
[INFO] [stdout] test clean::clean_will_not_purge_a_proof_file_with_no_obligations ... ok
[INFO] [stdout] test dump::an_unknown_component_is_a_usage_error_naming_what_there_is ... ok
[INFO] [stdout] test dump::several_component_selections_accumulate ... ok
[INFO] [stdout] test dump::the_schema_is_printed_on_request ... ok
[INFO] [stdout] test clean::clean_broken_empties_only_the_proofs_that_no_longer_apply ... ok
[INFO] [stdout] test dump::a_rodin_project_directory_dumps_without_spans ... ok
[INFO] [stdout] test dump::the_output_file_takes_the_document_and_leaves_stdout_empty ... ok
[INFO] [stdout] test dump::an_archive_of_several_projects_needs_a_choice ... ok
[INFO] [stdout] test dump::a_selection_reports_only_the_components_it_kept ... ok
[INFO] [stdout] test clean::clean_removes_an_emptied_proof_file_only_without_a_status_file ... ok
[INFO] [stdout] test dump::the_document_is_the_same_on_every_run ... ok
[INFO] [stdout] test clean::clean_output_leaves_the_input_alone ... ok
[INFO] [stdout] test export_build::export_build_error_diagnostics_write_then_exit_nonzero ... ok
[INFO] [stdout] test clean::clean_selects_a_whole_component ... ok
[INFO] [stdout] test dump::a_component_selection_keeps_its_closure_and_drops_the_rest ... ok
[INFO] [stdout] test clean::clean_rewrites_an_archive_and_keeps_its_other_entries ... ok
[INFO] [stdout] test export_build::export_build_dir_writes_generated_files ... ok
[INFO] [stdout] test export_build::export_proofs_bare_stdin_errors ... ok
[INFO] [stdout] test export_build::export_build_duplicate_names_write_nothing ... ok
[INFO] [stdout] test export_build::export_build_zip_contains_generated_files ... ok
[INFO] [stdout] test export_build::export_proofs_bare_workspace_convention ... ok
[INFO] [stdout] test export_build::export_proofs_bare_next_to_inputs ... ok
[INFO] [stdout] test clean::clean_broken_leaves_a_proof_rossi_cannot_read_alone ... ok
[INFO] [stdout] test export_build::export_multi_project_proofs_path_scopes_by_name ... ok
[INFO] [stdout] test dump::a_document_is_one_line_unless_asked_to_be_read ... ok
[INFO] [stdout] test dump::a_single_text_file_dumps ... ok
[INFO] [stdout] test fmt::fmt_ascii_on_rodin_zip_is_rejected ... FAILED
[INFO] [stdout] test fmt::fmt_ascii_text_to_unicode_stdout ... ok
[INFO] [stdout] test export_build::export_proofs_implies_build ... ok
[INFO] [stdout] test export_build::export_multi_project_build ... ok
[INFO] [stdout] test export_build::export_proofs_precedence_next_to_inputs_wins ... ok
[INFO] [stdout] test fmt::fmt_raw_copies_non_component_entries ... FAILED
[INFO] [stdout] test fmt::fmt_normalizes_rodin_zip ... FAILED
[INFO] [stdout] test fmt::fmt_preserves_multi_project_archive_structure ... FAILED
[INFO] [stdout] test fmt::fmt_indent_option_changes_indentation ... ok
[INFO] [stdout] test fmt::fmt_rejects_colliding_output_basenames_before_writing ... ok
[INFO] [stdout] test fmt::fmt_multiple_outputs_are_flat ... ok
[INFO] [stdout] test fmt::fmt_style_camille_prints_camille_layout ... ok
[INFO] [stdout] test import_export::export_directory_of_subprojects_to_multi_project_zip ... ok
[INFO] [stdout] test fmt::fmt_output_ends_with_exactly_one_newline ... ok
[INFO] [stdout] test fmt::fmt_private_use_glyphs_is_opt_in ... ok
[INFO] [stdout] test fmt::fmt_max_width_wraps_long_formulas ... ok
[INFO] [stdout] test import_export::import_contains_path_traversal_project_name ... FAILED
[INFO] [stdout] test export_build::export_proofs_dir_carries_statuses_and_bpr ... ok
[INFO] [stdout] test fmt::fmt_style_camille_matches_the_default ... ok
[INFO] [stdout] test export_build::export_proofs_zip_source ... ok
[INFO] [stdout] test fmt::fmt_explicit_empty_indent_is_honored ... ok
[INFO] [stdout] test import_export::import_merge_output_passes_fmt_check ... FAILED
[INFO] [stdout] test import_export::export_stray_top_level_txt_still_splits_subprojects ... ok
[INFO] [stdout] test fmt::fmt_style_toggles_override_the_preset ... ok
[INFO] [stdout] test import_export::export_stdin_to_zip ... ok
[INFO] [stdout] test fmt::test_fmt_stdin_inverse_operator_conversion ... ok
[INFO] [stdout] test import_export::import_multi_project_archive_writes_per_project_subdirs ... FAILED
[INFO] [stdout] test import_export::import_rodin_directory_to_eventb_files ... FAILED
[INFO] [stdout] test import_export::export_eventb_to_rodin_zip_includes_project_descriptor ... FAILED
[INFO] [stdout] test fmt::fmt_wraps_at_120_by_default ... ok
[INFO] [stdout] test import_export::import_rodin_component_file_to_eventb ... FAILED
[INFO] [stdout] test fmt::fmt_check_respects_the_width ... ok
[INFO] [stdout] test import_export::import_then_export_proofs_round_trips_bpr ... FAILED
[INFO] [stdout] test fmt::fmt_check_respects_the_selected_style ... ok
[INFO] [stdout] test import_export::import_zip_copies_proof_files_next_to_text ... FAILED
[INFO] [stdout] test import_export::import_skips_unsafe_proof_entry_names ... ok
[INFO] [stdout] test prove::prove_replay_summarises_an_example_archive ... FAILED
[INFO] [stdout] test import_export::import_keys_subdirs_on_prefix_not_colliding_name ... FAILED
[INFO] [stdout] test import_export::import_merge_warns_on_a_cycle_and_still_writes ... ok
[INFO] [stdout] test prove::prove_replay_rederives_an_implemented_proof ... ok
[INFO] [stdout] test import_export::import_style_camille_writes_camille_text ... FAILED
[INFO] [stdout] test import_export::import_multi_project_zip_scopes_proofs_per_project ... ok
[INFO] [stdout] test fmt::fmt_check_then_in_place ... ok
[INFO] [stdout] test import_export::export_eventb_to_rodin_directory_includes_project_descriptor ... FAILED
[INFO] [stdout] test import_export::import_merge_writes_proofs_next_to_the_merged_file ... FAILED
[INFO] [stdout] test import_export::import_merge_orders_components_by_dependency ... FAILED
[INFO] [stdout] test stdin::validate_stdin_over_nesting_limit_reports_error_not_crash ... ok
[INFO] [stdout] test stdin::validate_stdin_at_limit_negation_chain_succeeds ... ok
[INFO] [stdout] test stdin::validate_stdin_at_nesting_limit_succeeds ... ok
[INFO] [stdout] test stdin::validate_stdin_uses_stdin_filename ... ok
[INFO] [stdout] test test_completions_emits_script ... ok
[INFO] [stdout] test import_export::import_no_proofs_skips_proof_files ... FAILED
[INFO] [stdout] test validate::test_cli_version ... ok
[INFO] [stdout] test validate::test_cli_quiet_mode_continue_on_error_shows_all_errors ... ok
[INFO] [stdout] test validate::test_cli_multiple_files ... FAILED
[INFO] [stdout] test validate::test_cli_help ... ok
[INFO] [stdout] test validate::test_cli_no_files_provided ... ok
[INFO] [stdout] test validate::test_cli_mixed_text_and_zip_files ... FAILED
[INFO] [stdout] test validate::validate_deny_warnings_fails_on_advisory_lints ... ok
[INFO] [stdout] test validate::validate_directory_flags_new_event_assigning_inherited_variable ... ok
[INFO] [stdout] test validate::validate_deny_warnings_leaves_a_clean_project_passing ... FAILED
[INFO] [stdout] test validate::test_cli_quiet_mode_with_error ... ok
[INFO] [stdout] test prove::prove_replay_fails_a_rule_its_reasoner_rejects ... ok
[INFO] [stdout] test validate::test_cli_nonexistent_file ... ok
[INFO] [stdout] test validate::validate_directory_parse_error_names_the_member_and_its_position ... ok
[INFO] [stdout] test validate::validate_directory_reports_ill_typed_action_as_eb006 ... ok
[INFO] [stdout] test validate::validate_directory_reports_inherited_event_label_as_eb022_error ... ok
[INFO] [stdout] test validate::validate_directory_without_components_is_rejected ... ok
[INFO] [stdout] test validate::test_cli_quiet_mode_success ... FAILED
[INFO] [stdout] test validate::validate_directory_with_no_semantic_is_rejected ... ok
[INFO] [stdout] test validate::validate_duplicate_component_names_fail_with_eb019 ... ok
[INFO] [stdout] test validate::validate_eb010_is_structured_as_info_and_never_denied ... ok
[INFO] [stdout] test validate::validate_flags_assignment_operator_in_invariant ... ok
[INFO] [stdout] test validate::validate_directory_parse_error_is_located_in_json_and_sarif ... ok
[INFO] [stdout] test fmt::fmt_preserves_camille_label_names ... ok
[INFO] [stdout] test validate::validate_flags_structural_keyword_names ... ok
[INFO] [stdout] test validate::validate_deny_warnings_still_reports_the_rows_it_fails_on ... ok
[INFO] [stdout] test validate::validate_directory_reports_invariant_typed_too_late_as_eb020 ... ok
[INFO] [stdout] test validate::validate_directory_reports_every_sibling_whatever_the_entry_order ... ok
[INFO] [stdout] test validate::validate_json_includes_rule_id_for_lint ... ok
[INFO] [stdout] test validate::validate_output_to_an_unwritable_path_fails_before_validating ... ok
[INFO] [stdout] test validate::validate_flags_a_primed_declared_name ... ok
[INFO] [stdout] test stdin::fmt_stdin_at_nesting_limit_succeeds ... ok
[INFO] [stdout] test validate::validate_lints_toggle_on_zip ... ok
[INFO] [stdout] test validate::validate_runtime_checks_are_opt_in ... FAILED
[INFO] [stdout] test validate::validate_project_reports_duplicate_identifier_exactly_once ... ok
[INFO] [stdout] test validate::validate_runtime_info_is_never_denied ... FAILED
[INFO] [stdout] test validate::validate_flags_a_primed_use_in_a_lone_file ... ok
[INFO] [stdout] test validate::validate_sarif_category_names_the_analysis ... ok
[INFO] [stdout] test validate::validate_hides_eb010_until_show_info_is_requested ... ok
[INFO] [stdout] test validate::validate_output_captures_error_rows_that_would_go_to_stderr ... ok
[INFO] [stdout] test validate::validate_runtime_info_findings_need_show_info ... FAILED
[INFO] [stdout] test validate::validate_sarif_includes_parse_error_region_issue_42 ... ok
[INFO] [stdout] test validate::validate_sarif_describes_every_runtime_rule ... FAILED
[INFO] [stdout] test validate::validate_reports_parallel_assignment_arity_as_eb005 ... ok
[INFO] [stdout] test validate::validate_sarif_category_requires_the_sarif_format ... ok
[INFO] [stdout] test validate::validate_json_reports_input_kind_and_joined_path ... FAILED
[INFO] [stdout] test validate::validate_sarif_emits_eb010_as_a_note ... ok
[INFO] [stdout] test validate::validate_runtime_runs_on_a_loose_file ... FAILED
[INFO] [stdout] test validate::validate_sarif_keeps_ruleless_errors ... ok
[INFO] [stdout] test validate::validate_show_info_checks_loose_eventb_well_definedness ... ok
[INFO] [stdout] test validate::validate_multi_project_archive_is_per_project ... ok
[INFO] [stdout] test validate::validate_sarif_emits_one_run_for_many_inputs ... ok
[INFO] [stdout] test validate::validate_stdin_duplicate_identifier_and_label_report_eb021_eb022 ... ok
[INFO] [stdout] test validate::validate_stdin_camille_error_reports_eb004 ... ok
[INFO] [stdout] test validate::validate_stdin_empty_clause_reports_eb029_at_the_keyword ... ok
[INFO] [stdout] test validate::validate_stdin_missing_label_reports_eb032_at_the_item ... ok
[INFO] [stdout] test validate::validate_output_writes_the_structured_report_to_a_file ... ok
[INFO] [stdout] test validate::validate_stray_root_descriptor_keeps_single_project_basenames ... ok
[INFO] [stdout] test validate::validate_zip_wrong_root_reports_eb002 ... ok
[INFO] [stdout] test validate::validate_zip_missing_target_reports_eb003 ... ok
[INFO] [stdout] test validate::validate_stdin_clause_out_of_order_reports_eb030 ... ok
[INFO] [stdout] test stdin::validate_structured_output_handles_broken_pipe_without_panicking ... ok
[INFO] [stdout] test validate::validate_zip_bad_formula_reports_eb005 ... ok
[INFO] [stdout] test validate::validate_text_joins_directory_members_as_paths ... ok
[INFO] [stdout] test validate::validate_stdin_section_out_of_order_reports_eb034 ... ok
[INFO] [stdout] test validate::validate_zip_reports_proof_status ... ok
[INFO] [stdout] test validate::validate_sarif_output_is_valid ... ok
[INFO] [stdout] test validate::validate_sarif_member_uri_follows_input_kind ... ok
[INFO] [stdout] test validate::validate_runtime_warnings_reach_deny_warnings ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- build::build_directory_output_preserves_proof_state stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'build::build_directory_output_preserves_proof_state' (1048) panicked at tests/cli/helpers.rs:206:65:
[INFO] [stdout] open "../rossi/examples/traffic-light.zip": No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e92d8aa - cli[ae0ed7186a3084b]::helpers::extract_zip_to::{closure#0}
[INFO] [stdout]   12:     0x616e9e931a88 - cli[ae0ed7186a3084b]::helpers::extract_zip_to
[INFO] [stdout]   13:     0x616e9e908254 - <cli[ae0ed7186a3084b]::build::build_directory_output_preserves_proof_state::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   14:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   15:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   16:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   17:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   18:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   19:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   20:     0x713cf0e493d4 - clone
[INFO] [stdout]   21:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- build::build_directory_to_zip_carries_proofs_and_statuses stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'build::build_directory_to_zip_carries_proofs_and_statuses' (1052) panicked at tests/cli/helpers.rs:206:65:
[INFO] [stdout] open "../rossi/examples/traffic-light.zip": No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e92d8aa - cli[ae0ed7186a3084b]::helpers::extract_zip_to::{closure#0}
[INFO] [stdout]   12:     0x616e9e931a88 - cli[ae0ed7186a3084b]::helpers::extract_zip_to
[INFO] [stdout]   13:     0x616e9e9098ab - <cli[ae0ed7186a3084b]::build::build_directory_to_zip_carries_proofs_and_statuses::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   14:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   15:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   16:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   17:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   18:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   19:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   20:     0x713cf0e493d4 - clone
[INFO] [stdout]   21:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- build::build_eventb_file_packs_sources_and_checked stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'build::build_eventb_file_packs_sources_and_checked' (1073) panicked at tests/cli/build.rs:279:5:
[INFO] [stdout] build from text should exit 0; stderr=rossi build: No such file or directory (os error 2)
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e907d39 - <cli[ae0ed7186a3084b]::build::build_eventb_file_packs_sources_and_checked::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- build::build_zip_rebuild_is_byte_stable stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'build::build_zip_rebuild_is_byte_stable' (1081) panicked at tests/cli/build.rs:356:5:
[INFO] [stdout] stderr=rossi build: No such file or directory (os error 2)
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e90563c - cli[ae0ed7186a3084b]::build::build_zip
[INFO] [stdout]   12:     0x616e9e906e51 - <cli[ae0ed7186a3084b]::build::build_zip_rebuild_is_byte_stable::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- build::build_zip_preserves_proof_files stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'build::build_zip_preserves_proof_files' (1080) panicked at tests/cli/build.rs:356:5:
[INFO] [stdout] stderr=rossi build: No such file or directory (os error 2)
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e90563c - cli[ae0ed7186a3084b]::build::build_zip
[INFO] [stdout]   12:     0x616e9e9067c1 - <cli[ae0ed7186a3084b]::build::build_zip_preserves_proof_files::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- build::build_zip_carries_doctored_statuses_across_rebuilds stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'build::build_zip_carries_doctored_statuses_across_rebuilds' (1078) panicked at tests/cli/build.rs:356:5:
[INFO] [stdout] stderr=rossi build: No such file or directory (os error 2)
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e90563c - cli[ae0ed7186a3084b]::build::build_zip
[INFO] [stdout]   12:     0x616e9e909e27 - <cli[ae0ed7186a3084b]::build::build_zip_carries_doctored_statuses_across_rebuilds::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- fmt::fmt_ascii_on_rodin_zip_is_rejected stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'fmt::fmt_ascii_on_rodin_zip_is_rejected' (1688) panicked at tests/cli/fmt.rs:324:5:
[INFO] [stdout] expected a Unicode-required error: rossi fmt: Input not found: ../rossi/examples/traffic-light.zip
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e8e6a14 - <cli[ae0ed7186a3084b]::fmt::fmt_ascii_on_rodin_zip_is_rejected::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- fmt::fmt_raw_copies_non_component_entries stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'fmt::fmt_raw_copies_non_component_entries' (1864) panicked at tests/cli/fmt.rs:468:70:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9eab3a42 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x616e9e8e7ad5 - <cli[ae0ed7186a3084b]::fmt::fmt_raw_copies_non_component_entries::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- fmt::fmt_normalizes_rodin_zip stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'fmt::fmt_normalizes_rodin_zip' (1840) panicked at tests/cli/fmt.rs:345:5:
[INFO] [stdout] fmt zip stderr=rossi fmt: Input not found: ../rossi/examples/traffic-light.zip
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e8e3991 - <cli[ae0ed7186a3084b]::fmt::fmt_normalizes_rodin_zip::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- fmt::fmt_preserves_multi_project_archive_structure stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'fmt::fmt_preserves_multi_project_archive_structure' (1843) panicked at tests/cli/fmt.rs:372:70:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9eab3a42 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x616e9e8eb281 - <cli[ae0ed7186a3084b]::fmt::fmt_preserves_multi_project_archive_structure::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- import_export::import_contains_path_traversal_project_name stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'import_export::import_contains_path_traversal_project_name' (1935) panicked at tests/cli/import_export.rs:187:70:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9eab3a42 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x616e9e8feb4c - <cli[ae0ed7186a3084b]::import_export::import_contains_path_traversal_project_name::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- import_export::import_merge_output_passes_fmt_check stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'import_export::import_merge_output_passes_fmt_check' (1938) panicked at tests/cli/import_export.rs:655:5:
[INFO] [stdout] import --merge stderr=rossi import: Input not found: ../rossi/examples/counter_ctx.buc
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e8fba1c - <cli[ae0ed7186a3084b]::import_export::import_merge_output_passes_fmt_check::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- import_export::import_multi_project_archive_writes_per_project_subdirs stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'import_export::import_multi_project_archive_writes_per_project_subdirs' (1946) panicked at tests/cli/import_export.rs:95:70:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9eab3a42 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x616e9e903c14 - <cli[ae0ed7186a3084b]::import_export::import_multi_project_archive_writes_per_project_subdirs::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- import_export::import_rodin_directory_to_eventb_files stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'import_export::import_rodin_directory_to_eventb_files' (1952) panicked at tests/cli/import_export.rs:58:6:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9eab3a42 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x616e9e8fcea0 - <cli[ae0ed7186a3084b]::import_export::import_rodin_directory_to_eventb_files::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- import_export::export_eventb_to_rodin_zip_includes_project_descriptor stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'import_export::export_eventb_to_rodin_zip_includes_project_descriptor' (1923) panicked at tests/cli/import_export.rs:235:5:
[INFO] [stdout] export .eventb should exit 0; stderr=rossi export: Input not found: ../rossi/examples/counter.eventb
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e90329b - <cli[ae0ed7186a3084b]::import_export::export_eventb_to_rodin_zip_includes_project_descriptor::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- import_export::import_rodin_component_file_to_eventb stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'import_export::import_rodin_component_file_to_eventb' (1951) panicked at tests/cli/import_export.rs:33:9:
[INFO] [stdout] import ../rossi/examples/counter_ctx.buc should exit 0; stderr=rossi import: Input not found: ../rossi/examples/counter_ctx.buc
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e8fc30a - <cli[ae0ed7186a3084b]::import_export::import_rodin_component_file_to_eventb::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- import_export::import_then_export_proofs_round_trips_bpr stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'import_export::import_then_export_proofs_round_trips_bpr' (1958) panicked at tests/cli/helpers.rs:21:5:
[INFO] [stdout] import should exit 0; stderr=rossi import: Input not found: ../rossi/examples/traffic-light.zip
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e8fddb6 - <cli[ae0ed7186a3084b]::import_export::import_then_export_proofs_round_trips_bpr::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- import_export::import_zip_copies_proof_files_next_to_text stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'import_export::import_zip_copies_proof_files_next_to_text' (1959) panicked at tests/cli/helpers.rs:21:5:
[INFO] [stdout] import should exit 0; stderr=rossi import: Input not found: ../rossi/examples/traffic-light.zip
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e8fe3db - <cli[ae0ed7186a3084b]::import_export::import_zip_copies_proof_files_next_to_text::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- prove::prove_replay_summarises_an_example_archive stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'prove::prove_replay_summarises_an_example_archive' (1968) panicked at tests/cli/prove.rs:113:5:
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e91b18d - <cli[ae0ed7186a3084b]::prove::prove_replay_summarises_an_example_archive::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- import_export::import_keys_subdirs_on_prefix_not_colliding_name stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'import_export::import_keys_subdirs_on_prefix_not_colliding_name' (1936) panicked at tests/cli/import_export.rs:142:70:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9eab3a42 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x616e9e9003ec - <cli[ae0ed7186a3084b]::import_export::import_keys_subdirs_on_prefix_not_colliding_name::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- import_export::import_style_camille_writes_camille_text stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'import_export::import_style_camille_writes_camille_text' (1956) panicked at tests/cli/import_export.rs:622:5:
[INFO] [stdout] import --style camille stderr=rossi import: Input not found: ../rossi/examples/counter_ctx.buc
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e8fd60a - <cli[ae0ed7186a3084b]::import_export::import_style_camille_writes_camille_text::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- import_export::export_eventb_to_rodin_directory_includes_project_descriptor stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'import_export::export_eventb_to_rodin_directory_includes_project_descriptor' (1905) panicked at tests/cli/import_export.rs:273:5:
[INFO] [stdout] export .eventb to directory should exit 0; stderr=rossi export: Input not found: ../rossi/examples/counter.eventb
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e9043bd - <cli[ae0ed7186a3084b]::import_export::export_eventb_to_rodin_directory_includes_project_descriptor::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- import_export::import_merge_writes_proofs_next_to_the_merged_file stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'import_export::import_merge_writes_proofs_next_to_the_merged_file' (1944) panicked at tests/cli/helpers.rs:21:5:
[INFO] [stdout] import --merge should exit 0; stderr=rossi import: Input not found: ../rossi/examples/traffic-light.zip
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e900ad5 - <cli[ae0ed7186a3084b]::import_export::import_merge_writes_proofs_next_to_the_merged_file::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- import_export::import_merge_orders_components_by_dependency stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'import_export::import_merge_orders_components_by_dependency' (1937) panicked at tests/cli/helpers.rs:21:5:
[INFO] [stdout] import --merge should exit 0; stderr=rossi import: Input not found: ../rossi/examples/counter.bum
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e8ff68c - <cli[ae0ed7186a3084b]::import_export::import_merge_orders_components_by_dependency::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- import_export::import_no_proofs_skips_proof_files stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'import_export::import_no_proofs_skips_proof_files' (1948) panicked at tests/cli/helpers.rs:21:5:
[INFO] [stdout] import --no-proofs should exit 0; stderr=rossi import: Input not found: ../rossi/examples/traffic-light.zip
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e8fb4b6 - <cli[ae0ed7186a3084b]::import_export::import_no_proofs_skips_proof_files::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- validate::test_cli_multiple_files stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'validate::test_cli_multiple_files' (2022) panicked at tests/cli/validate.rs:44:5:
[INFO] [stdout] assertion failed: output.status.success()
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea767b4 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9eab3c32 - core[a373ad73a504971]::panicking::panic
[INFO] [stdout]   12:     0x616e9e8c72d7 - <cli[ae0ed7186a3084b]::validate::test_cli_multiple_files::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- validate::test_cli_mixed_text_and_zip_files stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'validate::test_cli_mixed_text_and_zip_files' (2021) panicked at tests/cli/validate.rs:247:5:
[INFO] [stdout] assertion failed: output.status.success()
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea767b4 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9eab3c32 - core[a373ad73a504971]::panicking::panic
[INFO] [stdout]   12:     0x616e9e8c91bc - <cli[ae0ed7186a3084b]::validate::test_cli_mixed_text_and_zip_files::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- validate::validate_deny_warnings_leaves_a_clean_project_passing stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'validate::validate_deny_warnings_leaves_a_clean_project_passing' (2056) panicked at tests/cli/validate.rs:1066:5:
[INFO] [stdout] a diagnostic-free run still passes; stderr=✗ ../rossi/examples/counter.eventb - File not found: ../rossi/examples/counter.eventb
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e8d7a76 - <cli[ae0ed7186a3084b]::validate::validate_deny_warnings_leaves_a_clean_project_passing::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- validate::test_cli_quiet_mode_success stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'validate::test_cli_quiet_mode_success' (2031) panicked at tests/cli/validate.rs:75:5:
[INFO] [stdout] assertion failed: output.status.success()
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea767b4 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9eab3c32 - core[a373ad73a504971]::panicking::panic
[INFO] [stdout]   12:     0x616e9e8c79ef - <cli[ae0ed7186a3084b]::validate::test_cli_quiet_mode_success::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- validate::validate_runtime_checks_are_opt_in stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'validate::validate_runtime_checks_are_opt_in' (2119) panicked at tests/cli/validate.rs:2017:5:
[INFO] [stdout] assertion failed: off.status.success()
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea767b4 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9eab3c32 - core[a373ad73a504971]::panicking::panic
[INFO] [stdout]   12:     0x616e9e8c9d00 - <cli[ae0ed7186a3084b]::validate::validate_runtime_checks_are_opt_in::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- validate::validate_runtime_info_is_never_denied stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'validate::validate_runtime_info_is_never_denied' (2125) panicked at tests/cli/validate.rs:2132:10:
[INFO] [stdout] EB112 row
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9eab39c4 - core[a373ad73a504971]::option::expect_failed
[INFO] [stdout]   12:     0x616e9e8cc145 - <cli[ae0ed7186a3084b]::validate::validate_runtime_info_is_never_denied::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- validate::validate_runtime_info_findings_need_show_info stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'validate::validate_runtime_info_findings_need_show_info' (2122) panicked at tests/cli/validate.rs:2065:5:
[INFO] [stdout] --show-info adds the advisory half: 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9e8d0afc - <cli[ae0ed7186a3084b]::validate::validate_runtime_info_findings_need_show_info::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   12:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   13:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   14:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   15:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   16:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   17:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   18:     0x713cf0e493d4 - clone
[INFO] [stdout]   19:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- validate::validate_sarif_describes_every_runtime_rule stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'validate::validate_sarif_describes_every_runtime_rule' (2144) panicked at tests/cli/validate.rs:2197:10:
[INFO] [stdout] EB104 is reported
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9eab39c4 - core[a373ad73a504971]::option::expect_failed
[INFO] [stdout]   12:     0x616e9e8ce7af - <cli[ae0ed7186a3084b]::validate::validate_sarif_describes_every_runtime_rule::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- validate::validate_json_reports_input_kind_and_joined_path stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'validate::validate_json_reports_input_kind_and_joined_path' (2105) panicked at tests/cli/validate.rs:768:9:
[INFO] [stdout] assertion `left == right` failed: row: {"error":"File not found: ../rossi/examples/counter.eventb","file":"../rossi/examples/counter.eventb","input":"file","path":"../rossi/examples/counter.eventb","severity":"error","success":false}
[INFO] [stdout]   left: Null
[INFO] [stdout]  right: "Context"
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea76782 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9eab3be3 - core[a373ad73a504971]::panicking::assert_failed_inner
[INFO] [stdout]   12:     0x616e9e93b9df - core[a373ad73a504971]::panicking::assert_failed::<serde_json[118fcf8eb2a17467]::value::Value, &str>
[INFO] [stdout]   13:     0x616e9e8d39f3 - <cli[ae0ed7186a3084b]::validate::validate_json_reports_input_kind_and_joined_path::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   14:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   15:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   16:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   17:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   18:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   19:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   20:     0x713cf0e493d4 - clone
[INFO] [stdout]   21:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- validate::validate_runtime_runs_on_a_loose_file stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'validate::validate_runtime_runs_on_a_loose_file' (2133) panicked at tests/cli/validate.rs:2151:5:
[INFO] [stdout] assertion failed: output.status.success()
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x616e9ea9d9a1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x616e9eab350a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x616e9eaa230c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x616e9ea766d6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x616e9ea93f29 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x616e9e95be50 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x616e9ea94252 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x616e9ea767b4 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x616e9ea6f0e9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x616e9ea7747d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x616e9eab3c6c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x616e9eab3c32 - core[a373ad73a504971]::panicking::panic
[INFO] [stdout]   12:     0x616e9e8cc429 - <cli[ae0ed7186a3084b]::validate::validate_runtime_runs_on_a_loose_file::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x616e9e94f29b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x616e9e95c475 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x616e9e955d64 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x616e9e95f502 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x616e9ea9c8df - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x713cf0db5dfa - <unknown>
[INFO] [stdout]   19:     0x713cf0e493d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     build::build_directory_output_preserves_proof_state
[INFO] [stdout]     build::build_directory_to_zip_carries_proofs_and_statuses
[INFO] [stdout]     build::build_eventb_file_packs_sources_and_checked
[INFO] [stdout]     build::build_zip_carries_doctored_statuses_across_rebuilds
[INFO] [stdout]     build::build_zip_preserves_proof_files
[INFO] [stdout]     build::build_zip_rebuild_is_byte_stable
[INFO] [stdout]     fmt::fmt_ascii_on_rodin_zip_is_rejected
[INFO] [stdout]     fmt::fmt_normalizes_rodin_zip
[INFO] [stdout]     fmt::fmt_preserves_multi_project_archive_structure
[INFO] [stdout]     fmt::fmt_raw_copies_non_component_entries
[INFO] [stdout]     import_export::export_eventb_to_rodin_directory_includes_project_descriptor
[INFO] [stdout]     import_export::export_eventb_to_rodin_zip_includes_project_descriptor
[INFO] [stdout]     import_export::import_contains_path_traversal_project_name
[INFO] [stdout]     import_export::import_keys_subdirs_on_prefix_not_colliding_name
[INFO] [stdout]     import_export::import_merge_orders_components_by_dependency
[INFO] [stdout]     import_export::import_merge_output_passes_fmt_check
[INFO] [stdout]     import_export::import_merge_writes_proofs_next_to_the_merged_file
[INFO] [stdout]     import_export::import_multi_project_archive_writes_per_project_subdirs
[INFO] [stdout]     import_export::import_no_proofs_skips_proof_files
[INFO] [stdout]     import_export::import_rodin_component_file_to_eventb
[INFO] [stdout]     import_export::import_rodin_directory_to_eventb_files
[INFO] [stdout]     import_export::import_style_camille_writes_camille_text
[INFO] [stdout]     import_export::import_then_export_proofs_round_trips_bpr
[INFO] [stdout]     import_export::import_zip_copies_proof_files_next_to_text
[INFO] [stdout]     prove::prove_replay_summarises_an_example_archive
[INFO] [stdout]     validate::test_cli_mixed_text_and_zip_files
[INFO] [stdout]     validate::test_cli_multiple_files
[INFO] [stdout]     validate::test_cli_quiet_mode_success
[INFO] [stdout]     validate::validate_deny_warnings_leaves_a_clean_project_passing
[INFO] [stdout]     validate::validate_json_reports_input_kind_and_joined_path
[INFO] [stdout]     validate::validate_runtime_checks_are_opt_in
[INFO] [stdout]     validate::validate_runtime_info_findings_need_show_info
[INFO] [stdout]     validate::validate_runtime_info_is_never_denied
[INFO] [stdout]     validate::validate_runtime_runs_on_a_loose_file
[INFO] [stdout]     validate::validate_sarif_describes_every_runtime_rule
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 142 passed; 35 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.69s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test cli`
[INFO] running `Command { std: "docker" "inspect" "7416c32508b3c3f083b549ea4942aa7dd0cb3da2b8e196486adf8b077af25827", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7416c32508b3c3f083b549ea4942aa7dd0cb3da2b8e196486adf8b077af25827", kill_on_drop: false }`
[INFO] [stdout] 7416c32508b3c3f083b549ea4942aa7dd0cb3da2b8e196486adf8b077af25827
