[INFO] fetching crate rossi 0.2.3...
[INFO] testing rossi-0.2.3 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate rossi 0.2.3 into /workspace/builds/worker-2-tc2/source
[INFO] started tweaking crates.io crate rossi 0.2.3
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate rossi 0.2.3
[INFO] tweaked toml for crates.io crate rossi 0.2.3 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate rossi 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 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-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] b42725dc479333b0b272db34fd8f05a03a19f666efbe66f9689ab2c6efc6321f
[INFO] running `Command { std: "docker" "start" "b42725dc479333b0b272db34fd8f05a03a19f666efbe66f9689ab2c6efc6321f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b42725dc479333b0b272db34fd8f05a03a19f666efbe66f9689ab2c6efc6321f", 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" "b42725dc479333b0b272db34fd8f05a03a19f666efbe66f9689ab2c6efc6321f" "/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" "b42725dc479333b0b272db34fd8f05a03a19f666efbe66f9689ab2c6efc6321f", 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" "b42725dc479333b0b272db34fd8f05a03a19f666efbe66f9689ab2c6efc6321f" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling zlib-rs v0.6.7
[INFO] [stderr]    Compiling cc v1.4.3
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling pest v2.9.1
[INFO] [stderr]    Compiling typed-path v0.12.3
[INFO] [stderr]    Compiling quick-xml v0.41.0
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling num-integer v0.1.47
[INFO] [stderr]    Compiling num-bigint v0.5.1
[INFO] [stderr]    Compiling stacker v0.1.25
[INFO] [stderr]    Compiling pest_meta v2.9.1
[INFO] [stderr]    Compiling pest_generator v2.9.1
[INFO] [stderr]    Compiling pest_derive v2.9.1
[INFO] [stderr]    Compiling ar_archive_writer v0.5.1
[INFO] [stderr]    Compiling flate2 v1.1.9
[INFO] [stderr]    Compiling zip v8.6.0
[INFO] [stderr]    Compiling psm v0.1.31
[INFO] [stderr]    Compiling rossi v0.2.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 50.20s
[INFO] running `Command { std: "docker" "inspect" "b42725dc479333b0b272db34fd8f05a03a19f666efbe66f9689ab2c6efc6321f", 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" "b42725dc479333b0b272db34fd8f05a03a19f666efbe66f9689ab2c6efc6321f" "/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 getrandom v0.4.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling syn v2.0.119
[INFO] [stderr]    Compiling rand v0.9.5
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling pest_generator v2.9.1
[INFO] [stderr]    Compiling test-case-core v3.3.1
[INFO] [stderr]    Compiling test-case-macros v3.3.1
[INFO] [stderr]    Compiling pest_derive v2.9.1
[INFO] [stderr]    Compiling test-case v3.3.1
[INFO] [stderr]    Compiling rossi v0.2.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1m 41s
[INFO] running `Command { std: "docker" "inspect" "b42725dc479333b0b272db34fd8f05a03a19f666efbe66f9689ab2c6efc6321f", 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" "b42725dc479333b0b272db34fd8f05a03a19f666efbe66f9689ab2c6efc6321f" "/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/lib.rs (/opt/rustwide/target/release/build/rossi/dc683ca8aa5926ff/out/rossi-dc683ca8aa5926ff)
[INFO] [stdout] 
[INFO] [stdout] running 254 tests
[INFO] [stdout] test builtins::tests::builtins_cover_parsed_vocabulary ... ok
[INFO] [stdout] test ast::tests::equal_spans_in_different_sources_stay_distinct ... ok
[INFO] [stdout] test builtins::tests::atomic_builtins_are_reserved_atoms ... ok
[INFO] [stdout] test builtins::tests::reserved_name_covers_the_grammars_word_vocabulary ... ok
[INFO] [stdout] test builtins::tests::ascii_operator_words_are_operator_spellings ... ok
[INFO] [stdout] test ast::visit_mut::tests::default_recursion_reaches_component_structural_spans ... ok
[INFO] [stdout] test builtins::tests::reserved_operator_words_cover_closed_builtins ... ok
[INFO] [stdout] test builtins::tests::reserved_sets_are_consistent ... ok
[INFO] [stdout] test ast::tests::source_ids_compare_by_name ... ok
[INFO] [stdout] test builtins::tests::is_builtin_is_case_insensitive ... ok
[INFO] [stdout] test builtins::tests::reserved_words_are_exact_case ... ok
[INFO] [stdout] test comment_place::tests::trailing_needs_code_before_it_on_the_line ... ok
[INFO] [stdout] test comments::tests::line_comment_span_excludes_newline ... ok
[INFO] [stdout] test builtins::tests::reserved_name_follows_each_words_token_case_rule ... ok
[INFO] [stdout] test comment_place::tests::block_close_inside_the_text_is_broken_up ... ok
[INFO] [stdout] test comments::tests::label_spans_cover_at_tokens ... ok
[INFO] [stdout] test comments::tests::map_code_segments_leaves_comments_verbatim ... ok
[INFO] [stdout] test comments::tests::map_code_segments_leaves_labels_verbatim ... ok
[INFO] [stdout] test comments::tests::masks_block_comment_preserving_newlines ... ok
[INFO] [stdout] test comment_place::tests::block_hangs_its_continuation_lines ... ok
[INFO] [stdout] test comments::tests::char_mask_keeps_char_columns ... ok
[INFO] [stdout] test comments::tests::comment_markers_inside_label_are_label_text ... ok
[INFO] [stdout] test comments::tests::comment_text_strips_delimiters ... ok
[INFO] [stdout] test comments::tests::component_names_are_opaque_to_a_code_rewrite ... ok
[INFO] [stdout] test comments::tests::keyword_shape_bounds_the_table_scan ... ok
[INFO] [stdout] test comments::tests::an_exotic_separator_does_not_end_a_name_list ... ok
[INFO] [stdout] test comments::tests::map_code_segments_in_range_respects_comments_opened_outside_range ... ok
[INFO] [stdout] test comments::tests::unicode_inside_comment_masked_without_panic ... ok
[INFO] [stdout] test deps::tests::detect_cycles_none_when_acyclic ... ok
[INFO] [stdout] test deps::tests::detect_cycles_self_loop ... ok
[INFO] [stdout] test deps::tests::detect_cycles_two_node_extends ... ok
[INFO] [stdout] test deps::tests::duplicate_names_keep_distinct_stable_ids ... ok
[INFO] [stdout] test comments::tests::masks_line_comment_preserving_layout ... ok
[INFO] [stdout] test comments::tests::normalize_trims_and_drops_blank_edges ... ok
[INFO] [stdout] test deps::tests::from_components_indexes_edges ... ok
[INFO] [stdout] test deps::tests::ordered_visible_contexts_refines_sees_extends ... ok
[INFO] [stdout] test comments::tests::unterminated_block_comment_masked_to_eof ... ok
[INFO] [stdout] test comments::tests::opaque_mask_blanks_labels_and_comments ... ok
[INFO] [stdout] test deps::tests::refinement_identity_queries_preserve_duplicate_parent_semantics ... ok
[INFO] [stdout] test deps::tests::remove_drops_node ... ok
[INFO] [stdout] test deps::tests::topological_order_all_covers_every_component_once ... ok
[INFO] [stdout] test deps::tests::topological_order_all_ignores_unknown_targets ... ok
[INFO] [stdout] test comments::tests::the_first_entry_of_a_name_list_is_a_name_even_if_it_spells_a_keyword ... ok
[INFO] [stdout] test deps::tests::all_reachable_mixed_edges ... ok
[INFO] [stdout] test deps::tests::context_and_machine_may_share_a_name ... ok
[INFO] [stdout] test deps::tests::detect_cycles_filter_by_kind ... ok
[INFO] [stdout] test deps::tests::detect_cycles_multiple_independent ... ok
[INFO] [stdout] test deps::tests::referencing_reverse_lookup ... ok
[INFO] [stdout] test deps::tests::topological_order_is_deterministic ... ok
[INFO] [stdout] test deps::tests::topological_order_machines_by_refines ... ok
[INFO] [stdout] test deps::tests::topological_order_parents_first ... ok
[INFO] [stdout] test deps::tests::normalize_cycle_rotates_to_smallest ... ok
[INFO] [stdout] test deps::tests::edge_kind_endpoints ... ok
[INFO] [stdout] test deps::tests::referencing_counts_each_node_once ... ok
[INFO] [stdout] test deps::tests::ordered_extends_chain_preorder ... ok
[INFO] [stdout] test deps::tests::topological_order_all_introduces_contexts_before_their_first_user ... ok
[INFO] [stdout] test deps::tests::topological_order_all_reports_a_model_that_is_only_a_cycle ... ok
[INFO] [stdout] test deps::tests::topological_order_all_reports_cycle ... ok
[INFO] [stdout] test deps::tests::topological_order_ignores_unknown_parents ... ok
[INFO] [stdout] test deps::tests::transitive_closure_no_arbitrary_cap ... ok
[INFO] [stdout] test deps::tests::transitive_closure_terminates_on_cycle ... ok
[INFO] [stdout] test deps::tests::topological_order_reports_cycle ... ok
[INFO] [stdout] test formula::fresh::tests::a_dangling_index_past_the_enclosing_scope_is_ignored ... ok
[INFO] [stdout] test formula::fresh::tests::binder_names_avoid_the_enclosing_declarations_the_body_reaches ... ok
[INFO] [stdout] test deps::tests::upsert_preserves_ids_and_removed_ids_are_not_reused ... ok
[INFO] [stdout] test deps::tests::transitive_closure_diamond_dedup ... ok
[INFO] [stdout] test comments::tests::char_mask_keeps_newlines_in_block_comments ... ok
[INFO] [stdout] test deps::tests::transitive_closure_includes_missing_target_but_stops ... ok
[INFO] [stdout] test error::tests::accessors_expose_position_and_span ... ok
[INFO] [stdout] test error::tests::shift_location_respects_wrapped_error_coordinate_frames ... ok
[INFO] [stdout] test error::tests::span_is_additive_and_display_ignores_it ... ok
[INFO] [stdout] test formula::fresh::tests::binder_names_stay_distinct_from_each_other ... ok
[INFO] [stdout] test error::tests::assignment_in_predicate_message_and_accessors ... ok
[INFO] [stdout] test error::tests::incompatible_operators_message_names_both_operators ... ok
[INFO] [stdout] test formula::typecheck::unifier::tests::unifies_structurally ... ok
[INFO] [stdout] test formula::typecheck::unifier::tests::distinct_given_sets_do_not_unify ... ok
[INFO] [stdout] test formula::tag::tests::unary_expression_layout_has_reserved_gap ... ok
[INFO] [stdout] test formula::typecheck::unifier::tests::unsolved_variables_stay_unsolved ... ok
[INFO] [stdout] test formula::fresh::tests::binder_names_avoid_the_free_identifiers_of_the_body ... ok
[INFO] [stdout] test formula::fresh::tests::primes_stay_behind_the_suffix ... ok
[INFO] [stdout] test formula::fresh::tests::reserved_words_are_never_produced ... ok
[INFO] [stdout] test formula::typenv::tests::iteration_is_name_ordered ... ok
[INFO] [stdout] test formula::fresh::tests::conflicts_grow_a_numeric_suffix ... ok
[INFO] [stdout] test formula::fresh::tests::unrenderable_hints_terminate_with_a_valid_name ... ok
[INFO] [stdout] test formula::types::tests::canonical_carrier_set ... ok
[INFO] [stdout] test formula::typenv::tests::round_trip_through_builder ... ok
[INFO] [stdout] test formula::typenv::tests::snapshot_is_isolated_from_later_changes ... ok
[INFO] [stdout] test formula::types::tests::canonical_flat_product ... ok
[INFO] [stdout] test formula::types::tests::canonical_parametric ... ok
[INFO] [stdout] test formula::fresh::tests::free_hints_are_kept ... ok
[INFO] [stdout] test formula::types::tests::canonical_powerset_of_product ... ok
[INFO] [stdout] test formula::types::tests::parse_rodin_flat_product_is_left_nested ... ok
[INFO] [stdout] test formula::types::tests::canonical_right_nested_product ... ok
[INFO] [stdout] test formula::types::tests::parse_rodin_roundtrip ... ok
[INFO] [stdout] test formula::types::tests::relation_constructor ... ok
[INFO] [stdout] test formula::types::tests::grammar_words_are_declined_by_fast_path ... ok
[INFO] [stdout] test formula::types::tests::relational_accessors ... ok
[INFO] [stdout] test formula::fresh::tests::solve_and_add_makes_names_mutually_distinct ... ok
[INFO] [stdout] test formula::tag::tests::boundary_tags_are_pinned ... ok
[INFO] [stdout] test formula::tag::tests::discriminants_are_anchored_to_range_bases ... ok
[INFO] [stdout] test formula::typecheck::tests::outcome_depends_only_on_free_identifier_bindings ... ok
[INFO] [stdout] test formula::types::tests::canonical_primitives ... ok
[INFO] [stdout] test formula::typenv::tests::given_set_binds_to_its_own_powerset ... ok
[INFO] [stdout] test formula::types::tests::canonical_left_nested_product_stays_flat ... ok
[INFO] [stdout] test formula::fresh::tests::resolve_idents_freshens_against_used_and_each_other ... ok
[INFO] [stdout] test formula::typecheck::unifier::tests::rejects_mismatches_and_cycles ... ok
[INFO] [stdout] test keywords::tests::event_clause_order_matches_the_grammar ... ok
[INFO] [stdout] test keywords::tests::camille_reserved_keyword_is_lowercase_only ... ok
[INFO] [stdout] test keywords::tests::colliding_keyword_follows_the_site_terminators ... ok
[INFO] [stdout] test keywords::tests::every_id_has_exactly_one_row ... ok
[INFO] [stdout] test keywords::tests::aliases_resolve_to_canonical_id ... ok
[INFO] [stdout] test keywords::tests::lookup_is_case_insensitive ... ok
[INFO] [stdout] test keywords::tests::keywords_match_language_reference ... ok
[INFO] [stdout] test formula::types::tests::parser_owned_spellings_fall_through ... ok
[INFO] [stdout] test keywords::tests::section_boundary_is_the_suffix_after_each_section ... ok
[INFO] [stdout] test keywords::tests::theorems_is_a_clause_keyword ... ok
[INFO] [stdout] test names::tests::component_names ... ok
[INFO] [stdout] test keywords::tests::keywords_match_grammar ... ok
[INFO] [stdout] test formula::types::tests::parse_rodin_rejects_non_types ... ok
[INFO] [stdout] test keywords::tests::boundary_predicates_are_nested_subsets ... ok
[INFO] [stdout] test keywords::tests::event_clause_boundary_is_the_suffix_after_each_clause ... ok
[INFO] [stdout] test keywords::tests::dual_scope_and_status_scopes ... ok
[INFO] [stdout] test keywords::tests::site_terminators_match_grammar ... ok
[INFO] [stdout] test keywords::tests::reserved_word_covers_every_keyword ... ok
[INFO] [stdout] test names::tests::math_identifiers ... ok
[INFO] [stdout] test keywords::tests::lookup_round_trips_every_id ... ok
[INFO] [stdout] test names::tests::primed_identifiers ... ok
[INFO] [stdout] test names::tests::predicates_follow_rodins_identifier_classes ... ok
[INFO] [stdout] test names::tests::ident_class_consts_match_predicates ... ok
[INFO] [stdout] test formula::types::tests::canonical_fast_path_agrees_with_parser_on_long_inputs ... ok
[INFO] [stdout] test names::tests::grammar_parity ... ok
[INFO] [stdout] test nesting::tests::deep_negation_rejected ... ok
[INFO] [stdout] test nesting::tests::at_limit_parens_pass ... ok
[INFO] [stdout] test nesting::tests::deep_parens_rejected ... ok
[INFO] [stdout] test nesting::tests::error_reports_position ... ok
[INFO] [stdout] test nesting::tests::ascii_arrows_and_binary_minus_not_counted ... ok
[INFO] [stdout] test nesting::tests::brackets_restore_prefix_chain ... ok
[INFO] [stdout] test nesting::tests::connective_keeps_surrounding_quantifiers_open ... ok
[INFO] [stdout] test nesting::tests::deep_quantifiers_rejected ... ok
[INFO] [stdout] test nesting::tests::multibyte_input_is_safe ... ok
[INFO] [stdout] test nesting::tests::parens_in_comments_and_labels_ignored ... ok
[INFO] [stdout] test nesting::tests::returns_max_metric ... ok
[INFO] [stdout] test nesting::tests::unary_minus_chains_counted ... ok
[INFO] [stdout] test nesting::tests::unterminated_block_comment_before_multibyte_char_is_boundary_safe ... ok
[INFO] [stdout] test nesting::tests::unterminated_block_comment_still_counts ... ok
[INFO] [stdout] test op_info::tests::logical_ops_compatible_only_pairs_same_associative_operator ... ok
[INFO] [stdout] test op_info::tests::set_ops_acceptable_is_a_superset_of_printer_compatibility ... ok
[INFO] [stdout] test operators::tests::is_eager_input_excludes_collisions ... ok
[INFO] [stdout] test nesting::tests::label_resets_prefix_chain ... ok
[INFO] [stdout] test operators::tests::convert_to_unicode_keeps_private_use_operators_ascii ... ok
[INFO] [stdout] test operators::tests::emit_text_yields_a_private_use_glyph_only_when_opted_in ... ok
[INFO] [stdout] test operators::tests::comma_comma_is_an_eager_maplet_input_alias ... ok
[INFO] [stdout] test operators::tests::is_private_use_glyph_detects_only_the_pua_range ... ok
[INFO] [stdout] test op_info::tests::set_ops_acceptable_matches_rodin_matrix ... ok
[INFO] [stdout] test operators::tests::ascii_operator_spans_report_what_conversion_rewrites ... ok
[INFO] [stdout] test operators::tests::aliases_are_unique_and_well_formed ... ok
[INFO] [stdout] test operators::tests::operator_at_alphabetic_needs_word_boundaries ... ok
[INFO] [stdout] test operators::tests::operator_at_misses ... ok
[INFO] [stdout] test operators::tests::operator_at_prefers_longest_match ... ok
[INFO] [stdout] test nesting::tests::prefix_words_counted_identifiers_not ... ok
[INFO] [stdout] test nesting::tests::shallow_input_passes ... ok
[INFO] [stdout] test operators::tests::operator_at_returns_whole_multichar_operator ... ok
[INFO] [stdout] test operators::tests::operator_at_single_char_operators ... ok
[INFO] [stdout] test operators::tests::is_symbolic_matches_ascii_shape ... ok
[INFO] [stdout] test operators::tests::operator_rows_are_well_formed ... ok
[INFO] [stdout] test operators::tests::surjection_arrows_have_eager_alternative_input_spellings ... ok
[INFO] [stdout] test operators::tests::comma_comma_converts_to_maplet_but_never_back ... ok
[INFO] [stdout] test operators::tests::surjection_aliases_convert_to_unicode_but_never_back ... ok
[INFO] [stdout] test operators::tests::operator_starting_at_prefers_longest_match_and_byte_ranges ... ok
[INFO] [stdout] test parser::tests::clause_regions_are_recorded ... ok
[INFO] [stdout] test parser::tests::friendly_derives_from_spellings ... ok
[INFO] [stdout] test parser::tests::find_becomes_operator_locates_first_operator ... ok
[INFO] [stdout] test parser::tests::a_labeled_element_span_stops_at_its_last_character ... ok
[INFO] [stdout] test parser::tests::friendly_rule_name_spells_keyword_rules ... ok
[INFO] [stdout] test parser::tests::initialisation_name_span_covers_the_keyword ... ok
[INFO] [stdout] test operators::tests::operators_match_grammar ... ok
[INFO] [stdout] test parser::tests::component_name_occurrences_cover_exact_structural_targets ... ok
[INFO] [stdout] test parser::tests::recovery_reports_assignment_in_invariant ... ok
[INFO] [stdout] test parser::tests::recovery_shifts_assignment_in_later_component ... ok
[INFO] [stdout] test parser::tests::parse_predicate_str_does_not_overreach ... ok
[INFO] [stdout] test parser::tests::component_name_occurrences_survive_errors_and_repeated_clauses ... ok
[INFO] [stdout] test parser::tests::friendly_rule_name_matches_golden ... ok
[INFO] [stdout] test selection::tests::complete_constructs_advance_at_separators_across_layout ... ok
[INFO] [stdout] test operators::tests::private_use_glyphs_match_rodin ... ok
[INFO] [stdout] test selection::tests::batches_offsets_against_one_snapshot ... ok
[INFO] [stdout] test parser::tests::exponent_right_operand_keeps_nonassociativity ... ok
[INFO] [stdout] test parser::tests::unary_minus_binds_at_additive_precedence ... ok
[INFO] [stdout] test selection::tests::nests_from_token_to_component ... ok
[INFO] [stdout] test selection::tests::handles_multibyte_unicode ... ok
[INFO] [stdout] test selection::tests::reports_grammar_aligned_construct_parts ... ok
[INFO] [stdout] test selection::tests::ignores_comments_and_completed_constructs ... ok
[INFO] [stdout] test parser::tests::refines_target_span_is_absolute_in_a_multi_component_document ... ok
[INFO] [stdout] test selection::tests::assignment_arity_recovery_bounds_multiline_signature_fallback ... ok
[INFO] [stdout] test selection::tests::incomplete_fallback_is_error_bounded_and_delimiter_aware ... ok
[INFO] [stdout] test selection::tests::recovered_sibling_construct_keeps_signature_syntax ... ok
[INFO] [stdout] test snippets::tests::names_are_unique_and_bodies_non_empty ... ok
[INFO] [stdout] test tests::test_parse_simple_machine ... ok
[INFO] [stdout] test xml::tests::over_deep_attribute_surfaces_nesting_error_from_xml ... ok
[INFO] [stdout] test xml::tests::test_component_filename ... ok
[INFO] [stdout] test snippets::tests::prefixes_are_unique_and_well_formed ... ok
[INFO] [stdout] test snippets::tests::snippet_count_is_stable ... ok
[INFO] [stdout] test parser::tests::scopes_are_restored_when_the_closure_unwinds ... ok
[INFO] [stdout] test tests::test_parse_context_with_sets ... ok
[INFO] [stdout] test parser::tests::skip_span_is_absolute_in_a_multi_component_document ... ok
[INFO] [stdout] test parser::tests::parse_predicate_str_flags_misplaced_assignments ... ok
[INFO] [stdout] test deps::tests::ordered_extends_chain_handles_deep_graphs_iteratively ... ok
[INFO] [stdout] test xml::tests::source_xml_uses_rodin_override_glyph ... ok
[INFO] [stdout] test tests::test_parse_machine_with_variables ... ok
[INFO] [stdout] test tests::test_parse_simple_context ... ok
[INFO] [stdout] test selection::tests::unparsable_input_yields_empty_selection_chains ... ok
[INFO] [stdout] test xml::tests::test_context_with_axioms_to_xml ... ok
[INFO] [stdout] test parser::tests::event_refines_target_span_covers_the_target_name ... ok
[INFO] [stdout] test xml::tests::test_parse_context_with_sets_xml ... ok
[INFO] [stdout] test xml::tests::test_parse_simple_machine_xml ... ok
[INFO] [stdout] test parser::tests::recovery_does_not_flag_actions_as_eb026 ... ok
[INFO] [stdout] test xml::tests::test_escape_xml ... ok
[INFO] [stdout] test xml::tests::test_machine_with_initialisation_to_xml ... ok
[INFO] [stdout] test xml::tests::test_machine_with_variables_to_xml ... ok
[INFO] [stdout] test xml::tests::test_simple_context_to_xml ... ok
[INFO] [stdout] test xml::tests::test_event_convergence_status ... ok
[INFO] [stdout] test xml::tests::test_parse_simple_context_xml ... ok
[INFO] [stdout] test xml::tests::test_read_project_name_parses_xml_variations ... ok
[INFO] [stdout] test xml::tests::test_simple_machine_to_xml ... ok
[INFO] [stdout] test xml::tests::test_machine_with_event_to_xml ... ok
[INFO] [stdout] test xml::tests::test_read_project_name_round_trips_writer ... ok
[INFO] [stdout] test xml::tests::test_single_project_zip_keeps_flat_rodin_layout ... ok
[INFO] [stdout] test xml::tests::test_roundtrip_simple_context ... ok
[INFO] [stdout] test xml::tests::test_context_with_sets_to_xml ... ok
[INFO] [stdout] test xml::tests::test_to_zip_single_context ... ok
[INFO] [stdout] test xml::tests::test_write_project_directory_includes_project_descriptor ... ok
[INFO] [stdout] test xml::tests::test_roundtrip_counter_example ... ok
[INFO] [stdout] test xml::tests::test_to_project_zip_includes_project_descriptor ... ok
[INFO] [stdout] test xml::tests::test_to_zip_empty ... ok
[INFO] [stdout] test xml::tests::test_write_project_directory_keeps_existing_project_prefs ... ok
[INFO] [stdout] test xml::tests::test_roundtrip_machine_example ... ok
[INFO] [stdout] test xml::tests::test_xml_unknown_convergence_value_errors ... ok
[INFO] [stdout] test xml::tests::test_xml_escaping_in_predicates ... ok
[INFO] [stdout] test xml::tests::test_xml_missing_convergence_defaults_to_ordinary ... ok
[INFO] [stdout] test xml::tests::test_xml_read_with_binding_element ... ok
[INFO] [stdout] test xml::tests::test_to_multi_project_zip_namespaces_each_project ... ok
[INFO] [stdout] test xml::tests::test_text_to_xml_conversion ... ok
[INFO] [stdout] test xml::tests::test_to_project_zip_falls_back_for_blank_project_name ... ok
[INFO] [stdout] test xml::tests::test_to_zip_multiple_components ... ok
[INFO] [stdout] test xml::tests::wrap_attr_error_preserves_assignment_in_predicate ... ok
[INFO] [stdout] test xml::tests::test_write_multi_project_directory_namespaces_each_project ... ok
[INFO] [stdout] test xml::tests::wrap_attr_error_preserves_nesting_rejections ... ok
[INFO] [stdout] test selection::tests::incomplete_fallback_tracks_real_construct_boundaries ... ok
[INFO] [stdout] test xml::tests::zip_modes_share_filename_wrapped_utf8_errors ... ok
[INFO] [stdout] test xml::tests::zip_modes_share_entry_filtering_and_default_names ... ok
[INFO] [stdout] test xml::tests::test_xml_with_binding_write ... ok
[INFO] [stdout] test xml::tests::test_to_zip_roundtrip_from_text ... ok
[INFO] [stdout] test xml::tests::test_xml_with_binding_roundtrip ... ok
[INFO] [stdout] test xml::tests::test_text_machine_to_xml_conversion ... ok
[INFO] [stdout] test formula::types::tests::canonical_fast_path_agrees_with_parser ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 254 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.28s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/camille_style_test.rs (/opt/rustwide/target/release/build/rossi/3ad7d468494f90e4/out/camille_style_test-3ad7d468494f90e4)
[INFO] [stdout] 
[INFO] [stdout] running 16 tests
[INFO] [stdout] test camille_commented_list_item_ends_its_line ... ok
[INFO] [stdout] test camille_prints_extended_event_header ... ok
[INFO] [stdout] test camille_first_event_follows_events_keyword_directly ... ok
[INFO] [stdout] test resolved_applies_overrides_on_top_of_preset ... ok
[INFO] [stdout] test camille_machine_without_events_has_no_trailing_gap ... ok
[INFO] [stdout] test camille_formatting_is_idempotent_with_comments ... ok
[INFO] [stdout] test toggles_override_each_preset ... ok
[INFO] [stdout] test camille_prints_empty_components ... ok
[INFO] [stdout] test camille_prints_variants_first_inline ... ok
[INFO] [stdout] test camille_commented_parameter_hangs_in_any ... ok
[INFO] [stdout] test camille_prints_full_context ... ok
[INFO] [stdout] test camille_header_comment_trails_inline_clauses ... ok
[INFO] [stdout] test camille_prints_full_machine ... ok
[INFO] [stdout] test camille_normalizes_when_begin_and_status ... ok
[INFO] [stdout] test camille_middle_commented_list_item_splits_the_line ... ok
[INFO] [stdout] test camille_header_comment_run_stays_above_the_header ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/comment_roundtrip_test.rs (/opt/rustwide/target/release/build/rossi/b79ebfa7668fd7c1/out/comment_roundtrip_test-b79ebfa7668fd7c1)
[INFO] [stdout] 
[INFO] [stdout] running 30 tests
[INFO] [stdout] test a_second_comment_on_one_line_is_kept_above_what_follows ... ok
[INFO] [stdout] test base_model_zip_comments_survive_text_roundtrip ... FAILED
[INFO] [stdout] test ascii_mode_does_not_touch_comment_text ... ok
[INFO] [stdout] test block_close_inside_comment_is_sanitized ... ok
[INFO] [stdout] test comment_before_header_attaches_to_component ... ok
[INFO] [stdout] test comments_attach_per_element_kind ... ok
[INFO] [stdout] test comment_on_the_variant_keyword_line_follows_the_variant ... ok
[INFO] [stdout] test consecutive_comments_join_with_newline ... ok
[INFO] [stdout] test comments_attach_in_machine_and_event ... ok
[INFO] [stdout] test comment_on_an_inline_clause_keyword_line_is_kept ... ok
[INFO] [stdout] test format_is_idempotent_with_comments ... ok
[INFO] [stdout] test block_comment_preserves_lines ... ok
[INFO] [stdout] test multiline_comment_prints_camille_block ... ok
[INFO] [stdout] test whitespace_only_comments_are_dropped ... ok
[INFO] [stdout] test comment_above_the_first_name_does_not_split_the_list ... ok
[INFO] [stdout] test commented_parameters_print_one_per_line ... ok
[INFO] [stdout] test corpus_comments_never_move_under_formatting ... ok
[INFO] [stdout] test roundtrip_preserves_comments_in_ast ... ok
[INFO] [stdout] test single_line_comment_prints_trailing ... ok
[INFO] [stdout] test standalone_comment_attaches_to_preceding_element ... ok
[INFO] [stdout] test empty_xml_param_comment_does_not_force_multiline ... ok
[INFO] [stdout] test trailing_comment_attaches_to_axiom ... ok
[INFO] [stdout] test witness_comment_survives_export_to_xml ... ok
[INFO] [stdout] test keywords_inside_comments_do_not_break_structure ... ok
[INFO] [stdout] test corpus_wellcommented_comments_survive_text_roundtrip ... ok
[INFO] [stdout] test variant_comment_stays_on_the_variant ... ok
[INFO] [stdout] test real_xml_param_comment_still_prints_per_line_and_roundtrips ... ok
[INFO] [stdout] test multi_component_comments_attach_within_their_component ... ok
[INFO] [stdout] test comments_keep_their_place_across_every_slot ... ok
[INFO] [stdout] test licence_header_survives_formatting_verbatim ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- base_model_zip_comments_survive_text_roundtrip stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'base_model_zip_comments_survive_text_roundtrip' (1899) panicked at tests/comment_roundtrip_test.rs:768:56:
[INFO] [stdout] parse /opt/rustwide/workdir/examples/base-model.zip: IO error: No such file or directory (os error 2)
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x6430e31a87c1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x6430e31be20a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x6430e31acd1c - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x6430e3183e66 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x6430e31a0439 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x6430e3021b00 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stdout]    6:     0x6430e31a0762 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x6430e3183f12 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x6430e317c9f9 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x6430e3184b1d - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x6430e31be96c - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x6430e2fff074 - comment_roundtrip_test[43880d160a4c2c65]::assert_zip_comments_roundtrip::{closure#0}
[INFO] [stdout]   12:     0x6430e3002e73 - comment_roundtrip_test[43880d160a4c2c65]::assert_zip_comments_roundtrip
[INFO] [stdout]   13:     0x6430e30095be - <comment_roundtrip_test[43880d160a4c2c65]::base_model_zip_comments_survive_text_roundtrip::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   14:     0x6430e3014f4b - 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:     0x6430e3022125 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   16:     0x6430e301ba14 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   17:     0x6430e30251b2 - <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:     0x6430e31a799f - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   19:     0x71315fbf6dfa - <unknown>
[INFO] [stdout]   20:     0x71315fc8a3d4 - clone
[INFO] [stdout]   21:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     base_model_zip_comments_survive_text_roundtrip
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 29 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.43s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test comment_roundtrip_test`
[INFO] running `Command { std: "docker" "inspect" "b42725dc479333b0b272db34fd8f05a03a19f666efbe66f9689ab2c6efc6321f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b42725dc479333b0b272db34fd8f05a03a19f666efbe66f9689ab2c6efc6321f", kill_on_drop: false }`
[INFO] [stdout] b42725dc479333b0b272db34fd8f05a03a19f666efbe66f9689ab2c6efc6321f
