[INFO] fetching crate assura-codegen 0.2.0...
[INFO] testing assura-codegen-0.2.0 against 1.98.0-beta.1 for beta-1.98-1
[INFO] extracting crate assura-codegen 0.2.0 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate assura-codegen 0.2.0
[INFO] finished tweaking crates.io crate assura-codegen 0.2.0
[INFO] tweaked toml for crates.io crate assura-codegen 0.2.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate assura-codegen 0.2.0 on toolchain 1.98.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate assura-codegen 0.2.0 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.98.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-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 5c7c6ac3acff3c4ba8b3cc9b81f868774f8c8615ec0bc291fd50ad47776b4db4
[INFO] running `Command { std: "docker" "start" "5c7c6ac3acff3c4ba8b3cc9b81f868774f8c8615ec0bc291fd50ad47776b4db4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5c7c6ac3acff3c4ba8b3cc9b81f868774f8c8615ec0bc291fd50ad47776b4db4", 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" "5c7c6ac3acff3c4ba8b3cc9b81f868774f8c8615ec0bc291fd50ad47776b4db4" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5c7c6ac3acff3c4ba8b3cc9b81f868774f8c8615ec0bc291fd50ad47776b4db4", 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" "5c7c6ac3acff3c4ba8b3cc9b81f868774f8c8615ec0bc291fd50ad47776b4db4" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling yansi v1.0.1
[INFO] [stderr]    Compiling unicode-width v0.2.2
[INFO] [stderr]    Compiling text-size v1.1.1
[INFO] [stderr]    Compiling hashbrown v0.14.5
[INFO] [stderr]    Compiling countme v3.0.1
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling assura-ast v0.2.0
[INFO] [stderr]    Compiling quote v1.0.46
[INFO] [stderr]    Compiling prettyplease v0.2.37
[INFO] [stderr]    Compiling serde_json v1.0.150
[INFO] [stderr]    Compiling ariadne v0.6.0
[INFO] [stderr]    Compiling rowan v0.16.1
[INFO] [stderr]    Compiling syn v2.0.118
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling logos-codegen v0.16.1
[INFO] [stderr]    Compiling logos-derive v0.16.1
[INFO] [stderr]    Compiling logos v0.16.1
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling assura-diagnostics v0.2.0
[INFO] [stderr]    Compiling assura-config v0.2.0
[INFO] [stderr]    Compiling assura-parser v0.2.0
[INFO] [stderr]    Compiling assura-stdlib v0.2.0
[INFO] [stderr]    Compiling assura-resolve v0.2.0
[INFO] [stderr]    Compiling assura-types v0.2.0
[INFO] [stderr]    Compiling assura-codegen v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 28.70s
[INFO] running `Command { std: "docker" "inspect" "5c7c6ac3acff3c4ba8b3cc9b81f868774f8c8615ec0bc291fd50ad47776b4db4", 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" "5c7c6ac3acff3c4ba8b3cc9b81f868774f8c8615ec0bc291fd50ad47776b4db4" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling assura-codegen v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 5.44s
[INFO] running `Command { std: "docker" "inspect" "5c7c6ac3acff3c4ba8b3cc9b81f868774f8c8615ec0bc291fd50ad47776b4db4", 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" "5c7c6ac3acff3c4ba8b3cc9b81f868774f8c8615ec0bc291fd50ad47776b4db4" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/assura_codegen-3131c30a4966dec1)
[INFO] [stdout] 
[INFO] [stdout] running 658 tests
[INFO] [stdout] test block::tests::block_feature_compile_time_only ... ok
[INFO] [stdout] test block::tests::block_incremental_is_smt_marker_only ... ok
[INFO] [stdout] test block::tests::block_generic_with_ensures ... ok
[INFO] [stdout] test block::tests::block_table_compile_time_smt ... ok
[INFO] [stdout] test block::tests::block_with_requires ... ok
[INFO] [stdout] test block::tests::block_with_must_not ... ok
[INFO] [stdout] test block::tests::block_with_rule ... ok
[INFO] [stdout] test block::tests::codec_registry_bytes ... ok
[INFO] [stdout] test block::tests::codec_registry_probe ... ok
[INFO] [stdout] test block::tests::block_interface_delegates_to_trait ... ok
[INFO] [stdout] test block::tests::format_invalid_rust_returns_original ... ok
[INFO] [stdout] test block::tests::format_valid_rust ... ok
[INFO] [stdout] test codegen_tests::basic::empty_file_generates_project ... ok
[INFO] [stdout] test codegen_tests::basic::cargo_toml_well_formed ... ok
[INFO] [stdout] test codegen_tests::ghost_lemma::apply_expr_erased_in_codegen ... ok
[INFO] [stdout] test codegen_tests::ghost_lemma::ghost_block_erased_in_expr ... ok
[INFO] [stdout] test codegen_tests::basic::contract_generates_debug_assert ... ok
[INFO] [stdout] test codegen_tests::ghost_lemma::match_expr_codegen ... ok
[INFO] [stdout] test codegen_tests::ghost_lemma::match_without_wildcard_gets_fallback ... ok
[INFO] [stdout] test codegen_tests::ghost_lemma::ghost_fn_produces_no_output ... ok
[INFO] [stdout] test codegen_tests::contract::fn_def_ensures_generates_debug_assert ... ok
[INFO] [stdout] test codegen_tests::basic::fn_def_codegen ... ok
[INFO] [stdout] test codegen_tests::contract::contract_ensures_generates_debug_assert ... ok
[INFO] [stdout] test codegen_tests::basic::service_generates_module ... ok
[INFO] [stdout] test codegen_tests::project::default_project_name_is_generated ... ok
[INFO] [stdout] test codegen_tests::remaining::backend_cranelift_fast_dev ... ok
[INFO] [stdout] test codegen_tests::project::cargo_toml_has_package_name ... ok
[INFO] [stdout] test codegen_tests::remaining::backend_default_is_rustc ... ok
[INFO] [stdout] test codegen_tests::basic::project_name_used_in_cargo_toml ... ok
[INFO] [stdout] test codegen_tests::contract::fn_result_maps_to_dunder_result ... ok
[INFO] [stdout] test codegen_tests::remaining::cargo_toml_custom_opt_level ... ok
[INFO] [stdout] test codegen_tests::remaining::cargo_toml_cranelift_backend ... ok
[INFO] [stdout] test codegen_tests::remaining::cargo_toml_default_config ... ok
[INFO] [stdout] test codegen_tests::remaining::cargo_toml_with_proptest ... ok
[INFO] [stdout] test codegen_tests::remaining::bind_generates_checked_wrapper ... ok
[INFO] [stdout] test codegen_tests::basic::enum_codegen ... ok
[INFO] [stdout] test codegen_tests::remaining::bind_with_requires_and_ensures ... ok
[INFO] [stdout] test codegen_tests::remaining::codegen_codec_registry_probe ... ok
[INFO] [stdout] test codegen_tests::remaining::codegen_ordering_constant_in_block ... ok
[INFO] [stdout] test codegen_tests::contract::contract_has_result_variable ... ok
[INFO] [stdout] test codegen_tests::remaining::collect_old_exprs_deduplicates ... ok
[INFO] [stdout] test codegen_tests::remaining::collect_old_exprs_in_binop ... ok
[INFO] [stdout] test codegen_tests::remaining::cargo_toml_with_thiserror ... ok
[INFO] [stdout] test codegen_tests::remaining::codegen_codec_registry_dispatch ... ok
[INFO] [stdout] test codegen_tests::remaining::collect_old_exprs_in_let ... ok
[INFO] [stdout] test codegen_tests::remaining::collect_old_exprs_in_if ... ok
[INFO] [stdout] test codegen_tests::remaining::collect_old_exprs_in_list ... ok
[INFO] [stdout] test codegen_tests::remaining::collect_old_exprs_multiple_different ... ok
[INFO] [stdout] test codegen_tests::basic::contract_generates_module ... ok
[INFO] [stdout] test codegen_tests::ghost_lemma::non_ghost_fn_still_generated ... ok
[INFO] [stdout] test codegen_tests::remaining::codegen_with_config_produces_profile ... ok
[INFO] [stdout] test codegen_tests::remaining::collect_old_exprs_single ... ok
[INFO] [stdout] test codegen_tests::remaining::compile_target_from_str ... ok
[INFO] [stdout] test codegen_tests::ghost_lemma::non_lemma_fn_still_generated ... ok
[INFO] [stdout] test codegen_tests::remaining::collect_type_refs_from_nested_exprs ... ok
[INFO] [stdout] test codegen_tests::basic::struct_codegen ... ok
[INFO] [stdout] test codegen_tests::remaining::compile_target_rust_target ... ok
[INFO] [stdout] test codegen_tests::remaining::cargo_toml_wasm_target ... ok
[INFO] [stdout] test codegen_tests::ghost_lemma::lemma_fn_produces_no_output ... ok
[INFO] [stdout] test codegen_tests::project::generated_file_is_src_lib_rs ... ok
[INFO] [stdout] test codegen_tests::remaining::collect_old_exprs_none ... ok
[INFO] [stdout] test codegen_tests::remaining::contract_requires_generates_doc_comment ... ok
[INFO] [stdout] test codegen_tests::remaining::contract_invariant_generates_debug_assert ... ok
[INFO] [stdout] test codegen_tests::basic::service_state_transition_codegen ... ok
[INFO] [stdout] test codegen_tests::remaining::contract_modifies_generates_doc_comment ... ok
[INFO] [stdout] test codegen_tests::project::generated_rust_has_header_comment ... ok
[INFO] [stdout] test codegen_tests::remaining::contract_effects_generates_doc_comment ... ok
[INFO] [stdout] test codegen_tests::remaining::debug_assert_deep_field_becomes_comment ... ok
[INFO] [stdout] test codegen_tests::remaining::bind_generates_wrapper_function ... ok
[INFO] [stdout] test codegen_tests::remaining::debug_assert_simple ... ok
[INFO] [stdout] test codegen_tests::remaining::deep_field_access_method_chain ... ok
[INFO] [stdout] test codegen_tests::remaining::debug_assert_indented_deep_field_comment ... ok
[INFO] [stdout] test codegen_tests::basic::enum_generates_display_impl ... ok
[INFO] [stdout] test codegen_tests::remaining::debug_assert_indented ... ok
[INFO] [stdout] test codegen_tests::remaining::cranelift_adds_no_mangle_extern_c ... ok
[INFO] [stdout] test codegen_tests::remaining::contract_without_errors_no_result_type ... ok
[INFO] [stdout] test codegen_tests::remaining::deep_field_access_mixed_method_and_field ... ok
[INFO] [stdout] test codegen_tests::remaining::deep_field_access_no_dots ... ok
[INFO] [stdout] test codegen_tests::remaining::deep_field_access_result_field ... ok
[INFO] [stdout] test codegen_tests::remaining::deep_field_access_nested_field ... ok
[INFO] [stdout] test codegen_tests::remaining::deep_field_access_result_method_ok ... ok
[INFO] [stdout] test codegen_tests::remaining::deep_field_access_struct_field ... ok
[INFO] [stdout] test codegen_tests::remaining::debug_assert_multiline ... ok
[INFO] [stdout] test codegen_tests::remaining::deep_field_access_simple_var ... ok
[INFO] [stdout] test codegen_tests::remaining::errors_clause_adds_thiserror_dep ... ok
[INFO] [stdout] test codegen_tests::remaining::enum_generates_exhaustiveness_check ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_arithmetic ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_bool_literal ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_concat ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_cast ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_equality_no_cast ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_exists ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_field_access ... ok
[INFO] [stdout] test codegen_tests::remaining::enum_with_data_generates_exhaustiveness_check ... ok
[INFO] [stdout] test codegen_tests::remaining::exists_ensures_generates_iter_any ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_function_call ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_if_no_else ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_in_operator ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_implies ... ok
[INFO] [stdout] test codegen_tests::remaining::cranelift_generates_cargo_config ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_if_else ... ok
[INFO] [stdout] test codegen_tests::remaining::contract_with_errors_returns_result ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_forall ... ok
[INFO] [stdout] test codegen_tests::remaining::cranelift_adds_repr_c_to_structs ... ok
[INFO] [stdout] test codegen_tests::remaining::cranelift_output_differs_from_rustc ... ok
[INFO] [stdout] test codegen_tests::remaining::contract_named_output_binds_variable ... ok
[INFO] [stdout] test codegen_tests::remaining::contract_with_errors_generates_error_enum ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_index ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_int_literal ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_let_binding ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_list ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_match_adds_wildcard_fallback ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_match_with_constructor_patterns ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_method_call ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_old ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_result_keyword ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_normal_ident ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_not_in_operator ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_numeric_comparison_casts ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_range ... ok
[INFO] [stdout] test codegen_tests::remaining::cranelift_skips_proptest ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_static_binop ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_static_literal ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_unary_not ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_unary_neg ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_str_literal ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_error_variants_from_list ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_error_variants_from_raw ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_input_params_raw_as ... ok
[INFO] [stdout] test codegen_tests::remaining::expr_to_rust_tuple ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_input_params_raw_bare_idents ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_base_type_fallback ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_base_type_standard ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_input_params_single_ident ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_output_name_call_with_cast ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_error_variants_from_block ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_error_variants_from_ident ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_error_variants_non_ident_returns_empty ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_input_params_single_cast ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_base_type_nat ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_output_name_raw_colon ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_output_name_cast ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_output_type_ident ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_output_type_raw_as ... ok
[INFO] [stdout] test codegen_tests::remaining::extern_generates_unsafe_when_trusted ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_output_name_ident_only_is_none ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_output_type_recurses_into_call_args ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_state_non_eq_op ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_state_self_state_eq ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_state_not_a_binop ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_state_non_state_field ... ok
[INFO] [stdout] test codegen_tests::remaining::feature_callback_reentrancy_guard ... ok
[INFO] [stdout] test codegen_tests::remaining::feature_deterministic_annotation ... ok
[INFO] [stdout] test codegen_tests::remaining::feature_constant_time_annotation ... ok
[INFO] [stdout] test codegen_tests::remaining::feature_ghost_erasure_compile_time ... ok
[INFO] [stdout] test codegen_tests::remaining::format_rust_invalid_code_returns_original ... ok
[INFO] [stdout] test codegen_tests::remaining::format_rust_valid_code ... ok
[INFO] [stdout] test codegen_tests::remaining::feature_max_missing_value_emits_compile_error ... ok
[INFO] [stdout] test codegen_tests::remaining::generate_block_effects_clause_explicit ... ok
[INFO] [stdout] test codegen_tests::remaining::generate_block_feature_compile_time_only ... ok
[INFO] [stdout] test codegen_tests::remaining::extract_output_name_result_is_none ... ok
[INFO] [stdout] test codegen_tests::remaining::generate_block_ordering_clause ... ok
[INFO] [stdout] test codegen_tests::remaining::generate_trait_method_unsupported_emits_compile_error ... ok
[INFO] [stdout] test codegen_tests::remaining::generate_block_table_smt_verified ... ok
[INFO] [stdout] test codegen_tests::remaining::generate_block_must_not_clause ... ok
[INFO] [stdout] test codegen_tests::remaining::implements_contract_generates_impl_block ... ok
[INFO] [stdout] test codegen_tests::remaining::is_const_name_not_const ... ok
[INFO] [stdout] test codegen_tests::remaining::is_const_name_screaming_snake ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_arithmetic_binop ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_call ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_field_access ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_float_literal ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_forall_false ... ok
[INFO] [stdout] test codegen_tests::remaining::interface_block_generates_trait ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_ident ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_if_delegates_to_then ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_index ... ok
[INFO] [stdout] test codegen_tests::remaining::interface_with_extends_generates_supertrait ... ok
[INFO] [stdout] test codegen_tests::remaining::interface_with_invariant_generates_provided_method ... ok
[INFO] [stdout] test codegen_tests::remaining::generate_error_enum_output ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_int_literal ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_let_delegates ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_list_false ... ok
[INFO] [stdout] test codegen_tests::remaining::interface_contract_generates_trait ... ok
[INFO] [stdout] test codegen_tests::remaining::generate_block_generic_with_ensures ... ok
[INFO] [stdout] test codegen_tests::remaining::feature_opaque_function ... ok
[INFO] [stdout] test codegen_tests::remaining::fn_def_generates_todo_body ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_logical_binop_false ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_negation ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_bool_literal_false ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_old_delegates ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_not_false ... ok
[INFO] [stdout] test codegen_tests::remaining::is_user_type_name_builtins_excluded ... ok
[INFO] [stdout] test codegen_tests::remaining::generated_rust_contract_is_valid ... ok
[INFO] [stdout] test codegen_tests::remaining::is_numeric_str_literal_false ... ok
[INFO] [stdout] test codegen_tests::remaining::is_user_type_name_lowercase_excluded ... ok
[INFO] [stdout] test codegen_tests::remaining::is_user_type_name_custom ... ok
[INFO] [stdout] test codegen_tests::remaining::generated_rust_fn_is_valid ... ok
[INFO] [stdout] test codegen_tests::remaining::map_type_tokens_empty ... ok
[INFO] [stdout] test codegen_tests::remaining::map_type_tokens_generic ... ok
[INFO] [stdout] test codegen_tests::remaining::map_type_tokens_nested_generic ... ok
[INFO] [stdout] test codegen_tests::remaining::map_type_tokens_single ... ok
[INFO] [stdout] test codegen_tests::remaining::map_type_tokens_strips_taint ... ok
[INFO] [stdout] test codegen_tests::remaining::map_type_tokens_union_error ... ok
[INFO] [stdout] test codegen_tests::remaining::forall_ensures_generates_iter_all ... ok
[INFO] [stdout] test codegen_tests::remaining::method_pre_state_empty_clauses ... ok
[INFO] [stdout] test codegen_tests::remaining::method_pre_state_with_state_guard ... ok
[INFO] [stdout] test codegen_tests::remaining::method_pre_state_without_state_guard ... ok
[INFO] [stdout] test codegen_tests::remaining::old_var_name_binop ... ok
[INFO] [stdout] test codegen_tests::remaining::native_target_no_wasm_comment ... ok
[INFO] [stdout] test codegen_tests::remaining::multi_contract_generates_separate_files ... ok
[INFO] [stdout] test codegen_tests::remaining::old_var_name_block ... ok
[INFO] [stdout] test codegen_tests::remaining::old_var_name_field ... ok
[INFO] [stdout] test codegen_tests::remaining::old_var_name_ghost ... ok
[INFO] [stdout] test codegen_tests::remaining::multi_file_with_service ... ok
[INFO] [stdout] test codegen_tests::remaining::old_var_name_call ... ok
[INFO] [stdout] test codegen_tests::remaining::no_errors_no_thiserror_dep ... ok
[INFO] [stdout] test codegen_tests::remaining::old_var_name_index ... ok
[INFO] [stdout] test codegen_tests::remaining::old_var_name_literal ... ok
[INFO] [stdout] test codegen_tests::remaining::old_var_name_raw_tokens ... ok
[INFO] [stdout] test codegen_tests::remaining::multi_file_ir_bodies_propagate_to_per_contract_files ... ok
[INFO] [stdout] test codegen_tests::remaining::old_var_name_method_call ... ok
[INFO] [stdout] test codegen_tests::remaining::old_var_name_old_delegates ... ok
[INFO] [stdout] test codegen_tests::remaining::old_var_name_ident ... ok
[INFO] [stdout] test codegen_tests::remaining::old_var_name_unary ... ok
[INFO] [stdout] test codegen_tests::remaining::old_var_name_list_tuple ... ok
[INFO] [stdout] test codegen_tests::remaining::pattern_to_rust_constructor_no_fields ... ok
[INFO] [stdout] test codegen_tests::remaining::pattern_to_rust_constructor_with_fields ... ok
[INFO] [stdout] test codegen_tests::remaining::pattern_to_rust_nested_constructor ... ok
[INFO] [stdout] test codegen_tests::remaining::raw_forall_tokens_converted ... ok
[INFO] [stdout] test codegen_tests::remaining::raw_tokens_empty ... ok
[INFO] [stdout] test codegen_tests::remaining::raw_result_keyword_replaced ... ok
[INFO] [stdout] test codegen_tests::remaining::pattern_to_rust_tuple_nested ... ok
[INFO] [stdout] test codegen_tests::remaining::raw_exists_tokens_converted ... ok
[INFO] [stdout] test codegen_tests::remaining::resolve_ordering_acquire ... ok
[INFO] [stdout] test codegen_tests::remaining::raw_tokens_result_replacement ... ok
[INFO] [stdout] test codegen_tests::remaining::raw_tokens_typestate_annotation ... ok
[INFO] [stdout] test codegen_tests::remaining::resolve_ordering_seq_cst ... ok
[INFO] [stdout] test codegen_tests::remaining::resolve_ordering_unknown ... ok
[INFO] [stdout] test codegen_tests::remaining::multi_file_includes_codec_registry ... ok
[INFO] [stdout] test codegen_tests::remaining::rustc_has_no_cargo_config ... ok
[INFO] [stdout] test codegen_tests::remaining::s008_typestate_marker_structs_generated ... ok
[INFO] [stdout] test codegen_tests::remaining::resolve_ordering_raw_tokens ... ok
[INFO] [stdout] test codegen_tests::remaining::s009_proptest_generated_for_contract_with_requires_ensures ... ok
[INFO] [stdout] test codegen_tests::remaining::s009_cargo_toml_no_proptest_when_not_needed ... ok
[INFO] [stdout] test codegen_tests::remaining::runtime_checks_via_codegen_with_config ... ok
[INFO] [stdout] test codegen_tests::remaining::s009_proptest_not_generated_without_input ... ok
[INFO] [stdout] test codegen_tests::remaining::s009_proptest_refines_strategy_for_neq_zero ... ok
[INFO] [stdout] test codegen_tests::remaining::s008_typestate_constructor_on_initial_state ... ok
[INFO] [stdout] test codegen_tests::remaining::s009_proptest_unrefined_requires_becomes_prop_assume ... ok
[INFO] [stdout] test codegen_tests::remaining::s009_cargo_toml_has_proptest_dev_dependency ... ok
[INFO] [stdout] test codegen_tests::remaining::s008_typestate_generic_struct_with_phantom ... ok
[INFO] [stdout] test codegen_tests::remaining::s008_typestate_stateless_service_unchanged ... ok
[INFO] [stdout] test codegen_tests::remaining::service_operation_modifies_generates_doc_comment ... ok
[INFO] [stdout] test codegen_tests::remaining::service_operation_requires_generates_doc_comment ... ok
[INFO] [stdout] test codegen_tests::remaining::smart_join_generic_no_extra_spaces ... ok
[INFO] [stdout] test codegen_tests::remaining::smart_join_mut_ref ... ok
[INFO] [stdout] test codegen_tests::remaining::smart_join_simple ... ok
[INFO] [stdout] test codegen_tests::remaining::multi_file_shared_types_not_duplicated ... ok
[INFO] [stdout] test codegen_tests::remaining::wasm_target_cargo_toml_has_comment ... ok
[INFO] [stdout] test codegen_tests::remaining::s009_proptest_not_generated_without_ensures ... ok
[INFO] [stdout] test codegen_tests::remaining::service_operation_invariant_generates_debug_assert ... ok
[INFO] [stdout] test codegen_tests::remaining::service_stateless_generates_impl ... ok
[INFO] [stdout] test codegen_tests::remaining::single_contract_stays_in_lib_rs ... ok
[INFO] [stdout] test codegen_tests::remaining::smart_join_tuple ... ok
[INFO] [stdout] test codegen_tests::remaining::smart_join_reference ... ok
[INFO] [stdout] test codegen_tests::remaining::s008_typestate_query_uses_ref_self ... ok
[INFO] [stdout] test codegen_tests::remaining::s008_typestate_transition_consumes_self ... ok
[INFO] [stdout] test codegen_tests::remaining::service_with_query_generates_immutable_method ... ok
[INFO] [stdout] test codegen_tests::remaining::test_demo_codegen_warning_free ... ok
[INFO] [stdout] test codegen_tests::struct_enum::empty_struct_codegen ... ok
[INFO] [stdout] test codegen_tests::struct_enum::struct_has_derive_debug_clone_partialeq ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_mapping_bytes_to_vec_u8 ... ok
[INFO] [stdout] test codegen_tests::struct_enum::struct_field_types_are_mapped ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_mapping_fixed_width ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_mapping_int_to_i64 ... ok
[INFO] [stdout] test codegen_tests::struct_enum::struct_pub_field_visibility ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_alias_codegen ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_mapping_bool ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_mapping_list_to_vec ... ok
[INFO] [stdout] test codegen_tests::type_mapping::refined_type_generates_newtype ... ok
[INFO] [stdout] test codegen_tests::struct_enum::enum_variant_with_data ... ok
[INFO] [stdout] test codegen_tests::struct_enum::enum_has_derive_debug_clone_partialeq ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_mapping_map_to_btreemap ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_mapping_nat_to_u64 ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_mapping_never ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_mapping_float_to_f64 ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_mapping_set_to_btreeset ... ok
[INFO] [stdout] test contract::tests::bound_gt_zero ... ok
[INFO] [stdout] test contract::tests::bound_gte_zero ... ok
[INFO] [stdout] test contract::tests::bound_lt_100 ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_mapping_option_passthrough ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_mapping_unit ... ok
[INFO] [stdout] test contract::tests::bound_lte_50 ... ok
[INFO] [stdout] test contract::tests::bound_neq_zero ... ok
[INFO] [stdout] test contract::tests::bound_non_ident_lhs_returns_none ... ok
[INFO] [stdout] test contract::tests::collect_errors_empty ... ok
[INFO] [stdout] test contract::tests::collect_errors_from_clauses ... ok
[INFO] [stdout] test contract::tests::contract_contents_no_ensures_emits_todo ... ok
[INFO] [stdout] test contract::tests::contract_contents_with_errors_generates_result ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_mapping_string ... ok
[INFO] [stdout] test contract::tests::bound_non_binop_returns_none ... ok
[INFO] [stdout] test contract::tests::contract_interface_generates_trait ... ok
[INFO] [stdout] test contract::tests::contract_contents_with_requires_and_ensures ... ok
[INFO] [stdout] test contract::tests::contract_with_ir_body_replaces_todo ... ok
[INFO] [stdout] test contract::tests::enum_def_empty_variants_no_exhaustive ... ok
[INFO] [stdout] test contract::tests::enum_def_unit_variants ... ok
[INFO] [stdout] test contract::tests::contract_wraps_in_pub_mod ... ok
[INFO] [stdout] test contract::tests::contract_contents_with_implements ... ok
[INFO] [stdout] test contract::tests::enum_def_variant_with_fields ... ok
[INFO] [stdout] test contract::tests::enum_def_generic_no_display ... ok
[INFO] [stdout] test contract::tests::error_enum_basic ... ok
[INFO] [stdout] test contract::tests::error_variants_ident ... ok
[INFO] [stdout] test contract::tests::error_variants_raw_tokens ... ok
[INFO] [stdout] test contract::tests::error_variants_single_ident ... ok
[INFO] [stdout] test contract::tests::error_variants_tuple ... ok
[INFO] [stdout] test contract::tests::extract_input_from_cast ... ok
[INFO] [stdout] test contract::tests::extract_input_from_ident ... ok
[INFO] [stdout] test contract::tests::interface_trait_simple ... ok
[INFO] [stdout] test contract::tests::interface_trait_with_extends ... ok
[INFO] [stdout] test contract::tests::interface_trait_with_invariant ... ok
[INFO] [stdout] test codegen_tests::type_mapping::type_mapping_result_passthrough ... ok
[INFO] [stdout] test contract::tests::not_testable_missing_input ... ok
[INFO] [stdout] test contract::tests::not_testable_missing_ensures ... ok
[INFO] [stdout] test contract::tests::output_type_from_cast ... ok
[INFO] [stdout] test contract::tests::output_type_from_ident ... ok
[INFO] [stdout] test contract::tests::output_type_from_float_ident ... ok
[INFO] [stdout] test contract::tests::output_type_from_raw_colon ... ok
[INFO] [stdout] test contract::tests::param_range_contradictory_bounds_with_neq_zero ... ok
[INFO] [stdout] test contract::tests::param_range_gt_exclusive_becomes_inclusive ... ok
[INFO] [stdout] test contract::tests::param_range_has_bounds_neq_zero ... ok
[INFO] [stdout] test contract::tests::output_type_unknown_returns_unit ... ok
[INFO] [stdout] test contract::tests::param_range_both_bounds_merged ... ok
[INFO] [stdout] test contract::tests::param_range_contradictory_bounds_fallback ... ok
[INFO] [stdout] test contract::tests::param_range_lower_only ... ok
[INFO] [stdout] test contract::tests::param_range_lt_exclusive_becomes_inclusive ... ok
[INFO] [stdout] test contract::tests::param_range_neq_zero_uses_filter ... ok
[INFO] [stdout] test contract::tests::param_range_neq_zero_with_negative_lower ... ok
[INFO] [stdout] test contract::tests::param_range_neq_zero_with_upper ... ok
[INFO] [stdout] test contract::tests::param_range_tightest_bounds_win ... ok
[INFO] [stdout] test contract::tests::param_range_upper_only ... ok
[INFO] [stdout] test contract::tests::proptest_ensures_uses_result_not_internal_var ... ok
[INFO] [stdout] test contract::tests::proptest_strategy_unknown_type ... ok
[INFO] [stdout] test contract::tests::runtime_checks_emits_contract_violation ... ok
[INFO] [stdout] test contract::tests::runtime_checks_off_emits_debug_assert ... ok
[INFO] [stdout] test contract::tests::testable_contract_has_input_and_ensures ... ok
[INFO] [stdout] test contract::tests::proptest_strategy_known_types ... ok
[INFO] [stdout] test cranelift_tests::empty_input ... ok
[INFO] [stdout] test cranelift_tests::no_pub_items ... ok
[INFO] [stdout] test cranelift_tests::preserves_indentation ... ok
[INFO] [stdout] test cranelift_tests::skips_fmt_method ... ok
[INFO] [stdout] test cranelift_tests::skips_private_fn ... ok
[INFO] [stdout] test cranelift_tests::transforms_pub_enum ... ok
[INFO] [stdout] test cranelift_tests::transforms_pub_fn ... ok
[INFO] [stdout] test cranelift_tests::transforms_pub_struct ... ok
[INFO] [stdout] test decl::tests::bind_no_clauses ... ok
[INFO] [stdout] test codegen_tests::remaining::generated_rust_demo_libwebp_is_valid ... FAILED
[INFO] [stdout] test decl::tests::bind_no_return_type_defaults_unit ... ok
[INFO] [stdout] test codegen_tests::remaining::generated_rust_service_is_valid ... FAILED
[INFO] [stdout] test decl::tests::extern_with_trust_boundary_untrusted ... ok
[INFO] [stdout] test decl::tests::bind_with_requires ... ok
[INFO] [stdout] test decl::tests::extern_basic ... ok
[INFO] [stdout] test decl::tests::fn_def_no_return ... ok
[INFO] [stdout] test decl::tests::fn_def_old_expr_saved ... ok
[INFO] [stdout] test decl::tests::bind_with_ensures ... ok
[INFO] [stdout] test decl::tests::fn_def_with_return_type ... ok
[INFO] [stdout] test expr::tests::debug_assert_indented ... ok
[INFO] [stdout] test expr::tests::debug_assert_deep_field_becomes_comment ... ok
[INFO] [stdout] test expr::tests::collect_old_single ... ok
[INFO] [stdout] test expr::tests::collect_old_deduplicates ... ok
[INFO] [stdout] test codegen_tests::safe_division::e2e_safe_division_generated_rust_is_valid ... FAILED
[INFO] [stdout] test codegen_tests::safe_division::e2e_safe_division_generates_debug_assert_for_requires ... FAILED
[INFO] [stdout] test expr::tests::collect_old_empty ... ok
[INFO] [stdout] test codegen_tests::safe_division::e2e_safe_division_generates_ensures_assertion ... FAILED
[INFO] [stdout] test codegen_tests::safe_division::e2e_safe_division_check_passes ... FAILED
[INFO] [stdout] test expr::tests::collect_old_nested_binop ... ok
[INFO] [stdout] test codegen_tests::safe_division::e2e_safe_division_has_correct_signature ... FAILED
[INFO] [stdout] test decl::tests::extern_untrusted_with_contract_no_compile_error ... ok
[INFO] [stdout] test expr::tests::debug_assert_simple ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_apply_erased ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_forall ... ok
[INFO] [stdout] test decl::tests::fn_def_with_requires_and_ensures ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_if_else ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_in_operator ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_index ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_field ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_binop_add ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_bool_literal ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_call ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_cast ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_concat ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_eq_no_cast ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_implies ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_exists ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_ghost_erased ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_if_no_else ... ok
[INFO] [stdout] test expr::tests::debug_assert_multiline ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_int_literal ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_method_call ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_normal_ident ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_old ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_result_ident ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_notin_operator ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_match_has_wildcard ... ok
[INFO] [stdout] test expr::tests::has_deep_field_result ... ok
[INFO] [stdout] test expr::tests::is_not_numeric_binop_and ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_let_binding ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_numeric_cmp_casts_i128 ... ok
[INFO] [stdout] test expr::tests::is_not_numeric_bool_literal ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_list ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_str_literal ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_match_with_wildcard_fallback ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_tuple ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_unary_not ... ok
[INFO] [stdout] test expr::tests::has_deep_field_struct ... ok
[INFO] [stdout] test expr::tests::is_numeric_binop_add ... ok
[INFO] [stdout] test expr::tests::is_numeric_float_literal ... ok
[INFO] [stdout] test expr::tests::is_numeric_ident ... ok
[INFO] [stdout] test expr::tests::is_numeric_int_literal ... ok
[INFO] [stdout] test expr::tests::is_not_numeric_forall ... ok
[INFO] [stdout] test expr::tests::no_deep_field_method_chain ... ok
[INFO] [stdout] test expr::tests::expr_to_rust_unary_neg ... ok
[INFO] [stdout] test expr::tests::is_not_numeric_str_literal ... ok
[INFO] [stdout] test expr::tests::is_not_numeric_not ... ok
[INFO] [stdout] test expr::tests::is_numeric_neg ... ok
[INFO] [stdout] test expr::tests::old_var_name_field ... ok
[INFO] [stdout] test expr::tests::old_var_name_ident ... ok
[INFO] [stdout] test expr::tests::old_var_name_index ... ok
[INFO] [stdout] test expr::tests::ordering_relaxed ... ok
[INFO] [stdout] test expr::tests::is_numeric_field ... ok
[INFO] [stdout] test expr::tests::no_deep_field_plain ... ok
[INFO] [stdout] test expr::tests::raw_tokens_exists_quantifier ... ok
[INFO] [stdout] test expr::tests::no_deep_field_result_method ... ok
[INFO] [stdout] test expr::tests::old_var_name_binop ... ok
[INFO] [stdout] test expr::tests::is_numeric_old ... ok
[INFO] [stdout] test expr::tests::ordering_sequentially_consistent ... ok
[INFO] [stdout] test expr::tests::pattern_constructor ... ok
[INFO] [stdout] test expr::tests::ordering_unknown ... ok
[INFO] [stdout] test expr::tests::raw_tokens_forall_quantifier ... ok
[INFO] [stdout] test expr::tests::raw_tokens_result_replacement ... ok
[INFO] [stdout] test expr::tests::pattern_constructor_empty ... ok
[INFO] [stdout] test features::tests::all_features_empty_clauses ... ok
[INFO] [stdout] test features::tests::allocator_check ... ok
[INFO] [stdout] test expr::tests::pattern_tuple ... ok
[INFO] [stdout] test expr::tests::pattern_wildcard ... ok
[INFO] [stdout] test expr::tests::raw_tokens_empty ... ok
[INFO] [stdout] test expr::tests::pattern_ident ... ok
[INFO] [stdout] test expr::tests::raw_tokens_typestate_annotation ... ok
[INFO] [stdout] test expr::tests::pattern_literal ... ok
[INFO] [stdout] test features::tests::all_features_dispatches_multiple ... ok
[INFO] [stdout] test features::tests::behavioral_equiv ... ok
[INFO] [stdout] test features::tests::binary_format ... ok
[INFO] [stdout] test features::tests::callback_reentrancy_guard ... ok
[INFO] [stdout] test features::tests::bit_level ... ok
[INFO] [stdout] test features::tests::checksum ... ok
[INFO] [stdout] test features::tests::circular_buffer_check ... ok
[INFO] [stdout] test features::tests::compile_time_constant_time_fn ... ok
[INFO] [stdout] test features::tests::axiomatic_definition ... ok
[INFO] [stdout] test features::tests::compile_time_interface_fn ... ok
[INFO] [stdout] test features::tests::compile_time_numerical_precision_fn ... ok
[INFO] [stdout] test features::tests::compile_time_binary_format_fn ... ok
[INFO] [stdout] test features::tests::compile_time_error_propagation_fn ... ok
[INFO] [stdout] test features::tests::compile_time_feature_flag_fn ... ok
[INFO] [stdout] test features::tests::constant_time_annotation ... ok
[INFO] [stdout] test features::tests::crypto_conformance ... ok
[INFO] [stdout] test features::tests::compile_time_monotonic_fn ... ok
[INFO] [stdout] test features::tests::compile_time_resource_limit_fn ... ok
[INFO] [stdout] test features::tests::compile_time_shared_memory_fn ... ok
[INFO] [stdout] test features::tests::compile_time_taint_fn ... ok
[INFO] [stdout] test features::tests::compile_time_unsafe_escape_fn ... ok
[INFO] [stdout] test features::tests::compile_time_weak_memory_fn ... ok
[INFO] [stdout] test features::tests::deadline_check ... ok
[INFO] [stdout] test features::tests::compile_time_zeroize_fn ... ok
[INFO] [stdout] test features::tests::complexity_bound ... ok
[INFO] [stdout] test features::tests::compile_time_fixed_width_fn ... ok
[INFO] [stdout] test features::tests::crash_recovery ... ok
[INFO] [stdout] test features::tests::compile_time_ghost_erasure_fn ... ok
[INFO] [stdout] test features::tests::dependent_types_generates_newtype ... ok
[INFO] [stdout] test features::tests::deterministic_annotation ... ok
[INFO] [stdout] test features::tests::dependent_types_empty_emits_compile_error ... ok
[INFO] [stdout] test features::tests::dispatch_axiomatic_synonym ... ok
[INFO] [stdout] test features::tests::dispatch_constant_time ... ok
[INFO] [stdout] test features::tests::dispatch_crash_recovery ... ok
[INFO] [stdout] test features::tests::dispatch_callback ... ok
[INFO] [stdout] test features::tests::dispatch_axiom ... ok
[INFO] [stdout] test features::tests::dispatch_feature_flag ... ok
[INFO] [stdout] test features::tests::dispatch_eventually_synonym ... ok
[INFO] [stdout] test features::tests::dispatch_binary_format ... ok
[INFO] [stdout] test features::tests::dispatch_non_other_clause_returns_false ... ok
[INFO] [stdout] test features::tests::dispatch_liveness ... ok
[INFO] [stdout] test features::tests::dispatch_precision ... ok
[INFO] [stdout] test features::tests::dispatch_deterministic ... ok
[INFO] [stdout] test features::tests::dispatch_ghost ... ok
[INFO] [stdout] test features::tests::dispatch_opaque ... ok
[INFO] [stdout] test features::tests::dispatch_region ... ok
[INFO] [stdout] test features::tests::dispatch_monotonic ... ok
[INFO] [stdout] test features::tests::dispatch_shared_memory ... ok
[INFO] [stdout] test features::tests::dispatch_unknown_returns_false ... ok
[INFO] [stdout] test features::tests::dispatch_zeroize ... ok
[INFO] [stdout] test features::tests::error_propagation_check ... ok
[INFO] [stdout] test features::tests::feature_flag ... ok
[INFO] [stdout] test features::tests::frame_conditions_empty_emits_compile_error ... ok
[INFO] [stdout] test features::tests::frame_conditions_generates_debug_assert ... ok
[INFO] [stdout] test features::tests::dispatch_taint ... ok
[INFO] [stdout] test features::tests::frame_conditions_multi_field ... ok
[INFO] [stdout] test features::tests::incremental_contract ... ok
[INFO] [stdout] test features::tests::ghost_compile_check ... ok
[INFO] [stdout] test features::tests::liveness_check ... ok
[INFO] [stdout] test features::tests::monotonic_check ... ok
[INFO] [stdout] test features::tests::multi_pass_refinement ... ok
[INFO] [stdout] test features::tests::mvcc_check ... ok
[INFO] [stdout] test features::tests::numerical_precision ... ok
[INFO] [stdout] test features::tests::opaque_function ... ok
[INFO] [stdout] test features::tests::page_cache ... ok
[INFO] [stdout] test features::tests::platform_abstraction ... ok
[INFO] [stdout] test features::tests::precomputed_table ... ok
[INFO] [stdout] test features::tests::dispatch_resource_limit ... ok
[INFO] [stdout] test features::tests::lock_order_annotation ... ok
[INFO] [stdout] test features::tests::protocol_grammar ... ok
[INFO] [stdout] test features::tests::region_annotation ... ok
[INFO] [stdout] test features::tests::rollback_check ... ok
[INFO] [stdout] test features::tests::resource_limit ... ok
[INFO] [stdout] test features::tests::scoped_invariant ... ok
[INFO] [stdout] test features::tests::storage_failure ... ok
[INFO] [stdout] test features::tests::string_encoding ... ok
[INFO] [stdout] test features::tests::trigger_pattern_empty_emits_compile_error ... ok
[INFO] [stdout] test features::tests::unsafe_escape ... ok
[INFO] [stdout] test features::tests::structural_invariant ... ok
[INFO] [stdout] test features::tests::trigger_pattern_validates_non_empty ... ok
[INFO] [stdout] test hir::tests::build_enum_def_generic_no_display ... ok
[INFO] [stdout] test hir::tests::build_enum_def_structure ... ok
[INFO] [stdout] test hir::tests::build_error_enum_structure ... ok
[INFO] [stdout] test features::tests::dispatch_unsafe_escape ... ok
[INFO] [stdout] test hir::tests::count_asserts_in_fn ... ok
[INFO] [stdout] test hir::tests::malformed_hir_produces_warning ... ok
[INFO] [stdout] test hir::tests::render_generic_type ... ok
[INFO] [stdout] test hir::tests::render_const ... ok
[INFO] [stdout] test hir::tests::render_error_enum ... ok
[INFO] [stdout] test hir::tests::type_rendering_coverage ... ok
[INFO] [stdout] test hir::tests::render_fn_with_assert ... ok
[INFO] [stdout] test hir::tests::render_module ... ok
[INFO] [stdout] test metadata::tests::guidance_comment_includes_contract_info ... ok
[INFO] [stdout] test hir::tests::render_struct_with_fields ... ok
[INFO] [stdout] test hir::tests::render_impl_block ... ok
[INFO] [stdout] test metadata::tests::metadata_extracts_contract_info ... ok
[INFO] [stdout] test hir::tests::render_simple_fn ... ok
[INFO] [stdout] test metadata::tests::metadata_extracts_extern_info ... ok
[INFO] [stdout] test hir::tests::render_trait_def ... ok
[INFO] [stdout] test hir::tests::round_trip_parse_format ... ok
[INFO] [stdout] test hir::tests::type_shorthand_helpers ... ok
[INFO] [stdout] test service::tests::interface_simple_method ... ok
[INFO] [stdout] test hir::tests::render_unit_struct ... ok
[INFO] [stdout] test service::tests::collect_states_none ... ok
[INFO] [stdout] test service::tests::interface_invariant_becomes_provided_method ... ok
[INFO] [stdout] test service::tests::pre_state_found ... ok
[INFO] [stdout] test service::tests::interface_with_extends ... ok
[INFO] [stdout] test service::tests::service_method_query_ref_self ... ok
[INFO] [stdout] test service::tests::service_method_with_state_transition ... ok
[INFO] [stdout] test service::tests::state_comparison_match ... ok
[INFO] [stdout] test service::tests::state_comparison_not_self ... ok
[INFO] [stdout] test service::tests::state_comparison_not_eq ... ok
[INFO] [stdout] test service::tests::service_method_with_state_guard ... ok
[INFO] [stdout] test service::tests::pre_state_not_found ... ok
[INFO] [stdout] test service::tests::trait_method_call_with_args ... ok
[INFO] [stdout] test metadata::tests::metadata_serializes_to_json ... ok
[INFO] [stdout] test service::tests::trait_method_ident ... ok
[INFO] [stdout] test service::tests::service_stateless_struct_and_impl ... ok
[INFO] [stdout] test type_map::tests::floats_map_to_float ... ok
[INFO] [stdout] test type_map::tests::lenient_lifetime_references ... ok
[INFO] [stdout] test type_map::tests::lenient_known_generics_preserve_structure ... ok
[INFO] [stdout] test type_map::tests::lenient_impl_dyn_self ... ok
[INFO] [stdout] test service::tests::trait_method_unsupported_expr ... ok
[INFO] [stdout] test type_map::tests::bool_maps_to_bool ... ok
[INFO] [stdout] test service::tests::service_method_operation_mut_self ... ok
[INFO] [stdout] test service::tests::service_method_with_invariant_check ... ok
[INFO] [stdout] test type_map::tests::lenient_pin_phantomdata ... ok
[INFO] [stdout] test service::tests::collect_states_present ... ok
[INFO] [stdout] test type_map::tests::lenient_unknown_types_become_unknown ... ok
[INFO] [stdout] test type_map::tests::lenient_unknown_generics_become_unknown ... ok
[INFO] [stdout] test service::tests::service_typestate_has_marker_structs ... ok
[INFO] [stdout] test type_map::tests::unknown_types_pass_through ... ok
[INFO] [stdout] test type_map::tests::set_types ... ok
[INFO] [stdout] test type_map::tests::lenient_wrapper_erasure_then_sanitize ... ok
[INFO] [stdout] test type_map::tests::lenient_nested_unknown_in_known_generic ... ok
[INFO] [stdout] test type_map::tests::map_types ... ok
[INFO] [stdout] test type_map::tests::option_maps_to_nullable ... ok
[INFO] [stdout] test type_map::tests::unsigned_integers_map_to_nat ... ok
[INFO] [stdout] test type_map::tests::vec_u8_maps_to_bytes ... ok
[INFO] [stdout] test type_map::tests::nested_generics ... ok
[INFO] [stdout] test type_map::tests::references_are_erased ... ok
[INFO] [stdout] test type_map::tests::signed_integers_map_to_int ... ok
[INFO] [stdout] test type_map::tests::smart_pointers_are_erased ... ok
[INFO] [stdout] test type_map::tests::result_type ... ok
[INFO] [stdout] test type_map::tests::tuple_types ... ok
[INFO] [stdout] test type_map::tests::string_types ... ok
[INFO] [stdout] test type_map::tests::unit_and_never ... ok
[INFO] [stdout] test type_map::tests::lenient_primitives_pass_through ... ok
[INFO] [stdout] test type_map::tests::vec_maps_to_list ... ok
[INFO] [stdout] test types_gen::tests::cargo_toml_runtime_checks ... ok
[INFO] [stdout] test types_gen::tests::cargo_toml_wasm ... ok
[INFO] [stdout] test types_gen::tests::cargo_toml_with_thiserror ... ok
[INFO] [stdout] test types_gen::tests::cargo_toml_default_config ... ok
[INFO] [stdout] test types_gen::tests::cargo_toml_cranelift ... ok
[INFO] [stdout] test types_gen::tests::cargo_toml_no_runtime_checks ... ok
[INFO] [stdout] test types_gen::tests::cargo_toml_with_proptest ... ok
[INFO] [stdout] test types_gen::tests::collect_refs_nested ... ok
[INFO] [stdout] test types_gen::tests::collect_refs_from_ident_lowercase ... ok
[INFO] [stdout] test types_gen::tests::collect_type_refs_basic ... ok
[INFO] [stdout] test types_gen::tests::collect_type_refs_skips_annotations ... ok
[INFO] [stdout] test types_gen::tests::collect_type_refs_type_expr_generic ... ok
[INFO] [stdout] test types_gen::tests::collect_type_refs_type_expr_named ... ok
[INFO] [stdout] test types_gen::tests::collect_refs_from_ident ... ok
[INFO] [stdout] test types_gen::tests::collect_type_refs_type_expr_named_builtin ... ok
[INFO] [stdout] test types_gen::tests::detect_generic_arity_type_expr_const_param ... ok
[INFO] [stdout] test types_gen::tests::detect_generic_arity_type_expr_mixed ... ok
[INFO] [stdout] test types_gen::tests::detect_generic_arity_type_expr_one_type_param ... ok
[INFO] [stdout] test types_gen::tests::extract_base_type_after_colon ... ok
[INFO] [stdout] test types_gen::tests::extract_base_type_fallback ... ok
[INFO] [stdout] test types_gen::tests::detect_generic_arity_type_expr_widest_wins ... ok
[INFO] [stdout] test types_gen::tests::feature_max_as_type_expr_nested ... ok
[INFO] [stdout] test types_gen::tests::detect_generic_const_param ... ok
[INFO] [stdout] test types_gen::tests::map_collection_types ... ok
[INFO] [stdout] test types_gen::tests::feature_max_as_type_expr_not_in_generic ... ok
[INFO] [stdout] test types_gen::tests::collect_type_refs_type_expr_none ... ok
[INFO] [stdout] test types_gen::tests::map_tokens_empty ... ok
[INFO] [stdout] test types_gen::tests::map_fixed_width_types ... ok
[INFO] [stdout] test types_gen::tests::map_passthrough ... ok
[INFO] [stdout] test types_gen::tests::map_tokens_generic ... ok
[INFO] [stdout] test types_gen::tests::map_tokens_single ... ok
[INFO] [stdout] test types_gen::tests::smart_join_no_space_after_ampersand ... ok
[INFO] [stdout] test types_gen::tests::map_tokens_strips_taint ... ok
[INFO] [stdout] test types_gen::tests::map_tokens_union_error ... ok
[INFO] [stdout] test types_gen::tests::map_type_tokens_strips_linear_qualifier ... ok
[INFO] [stdout] test types_gen::tests::map_type_tokens_strips_secret_qualifier ... ok
[INFO] [stdout] test types_gen::tests::map_type_tokens_strips_tainted_qualifier ... ok
[INFO] [stdout] test types_gen::tests::map_type_tokens_strips_validated_qualifier ... ok
[INFO] [stdout] test types_gen::tests::static_ghost_erased ... ok
[INFO] [stdout] test types_gen::tests::static_int_literal ... ok
[INFO] [stdout] test types_gen::tests::static_raw_eq_value ... ok
[INFO] [stdout] test types_gen::tests::type_def_generic ... ok
[INFO] [stdout] test types_gen::tests::type_def_alias ... ok
[INFO] [stdout] test types_gen::tests::static_forall_comment ... ok
[INFO] [stdout] test types_gen::tests::type_def_refined ... ok
[INFO] [stdout] test types_gen::tests::static_raw_single_token ... ok
[INFO] [stdout] test types_gen::tests::detect_generic_one_type_param ... ok
[INFO] [stdout] test types_gen::tests::map_tokens_refinement ... ok
[INFO] [stdout] test types_gen::tests::smart_join_no_space_after_open_angle ... ok
[INFO] [stdout] test types_gen::tests::map_type_tokens_strips_untrusted_qualifier ... ok
[INFO] [stdout] test types_gen::tests::smart_join_mut_ref ... ok
[INFO] [stdout] test types_gen::tests::static_binop ... ok
[INFO] [stdout] test types_gen::tests::user_type_name_false_builtins ... ok
[INFO] [stdout] test types_gen::tests::user_type_name_false_lowercase ... ok
[INFO] [stdout] test types_gen::tests::type_def_struct ... ok
[INFO] [stdout] test types_gen::tests::user_type_name_true ... ok
[INFO] [stdout] test types_gen::tests::feature_max_as_type_expr_found ... ok
[INFO] [stdout] test types_gen::tests::map_basic_types ... ok
[INFO] [stdout] test types_gen::tests::const_name_false ... ok
[INFO] [stdout] test types_gen::tests::const_name_true ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- codegen_tests::remaining::generated_rust_demo_libwebp_is_valid stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'codegen_tests::remaining::generated_rust_demo_libwebp_is_valid' (838) panicked at src/codegen_tests/remaining.rs:248:18:
[INFO] [stdout] cannot find libwebp demo: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5c4cf57accc1 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5c4cf57accc1 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5c4cf57accc1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5c4cf57accc1 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5c4cf57c33ca - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5c4cf57c33ca - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x5c4cf57b11cc - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x5c4cf57b11cc - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x5c4cf578aef6 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5c4cf578aef6 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5c4cf57a49b9 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5c4cf53b8440 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x5c4cf53b8440 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x5c4cf57a4ce2 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x5c4cf57a4ce2 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x5c4cf578afa2 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x5c4cf5782779 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5c4cf578bb9d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x5c4cf57c3bfc - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5c4cf57c3942 - core[6883ba1bc0fe4ed1]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1870:5
[INFO] [stdout]   20:     0x5c4cf5246903 - <core[6883ba1bc0fe4ed1]::result::Result<alloc[55a36b64bcbf2c0d]::string::String, core[6883ba1bc0fe4ed1]::io::error::Error>>::expect
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1183:23
[INFO] [stdout]   21:     0x5c4cf51268eb - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::remaining::generated_rust_demo_libwebp_is_valid::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/remaining.rs:248:18
[INFO] [stdout]   22:     0x5c4cf52451b0 - <core[6883ba1bc0fe4ed1]::result::Result<alloc[55a36b64bcbf2c0d]::string::String, core[6883ba1bc0fe4ed1]::io::error::Error>>::unwrap_or_else::<assura_codegen[8a2b3f47a4d6e951]::codegen_tests::remaining::generated_rust_demo_libwebp_is_valid::{closure#0}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1620:23
[INFO] [stdout]   23:     0x5c4cf514affd - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::remaining::generated_rust_demo_libwebp_is_valid
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/remaining.rs:245:10
[INFO] [stdout]   24:     0x5c4cf5125ba7 - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::remaining::generated_rust_demo_libwebp_is_valid::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/remaining.rs:243:42
[INFO] [stdout]   25:     0x5c4cf5192296 - <assura_codegen[8a2b3f47a4d6e951]::codegen_tests::remaining::generated_rust_demo_libwebp_is_valid::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x5c4cf53ab77b - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   27:     0x5c4cf53ab77b - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   28:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   29:     0x5c4cf53b8dc5 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   30:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   31:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   32:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   33:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   34:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   35:     0x5c4cf53b3874 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   36:     0x5c4cf53b3874 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   37:     0x5c4cf53bbf12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   38:     0x5c4cf53bbf12 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   39:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   40:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   41:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   42:     0x5c4cf53bbf12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   43:     0x5c4cf53bbf12 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   44:     0x5c4cf57ac1cf - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   45:     0x5c4cf57ac1cf - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   46:     0x713107ad7aa4 - <unknown>
[INFO] [stdout]   47:     0x713107b64a64 - clone
[INFO] [stdout]   48:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- codegen_tests::remaining::generated_rust_service_is_valid stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'codegen_tests::remaining::generated_rust_service_is_valid' (840) panicked at src/codegen_tests/remaining.rs:233:18:
[INFO] [stdout] cannot find service_full fixture: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5c4cf57accc1 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5c4cf57accc1 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5c4cf57accc1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5c4cf57accc1 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5c4cf57c33ca - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5c4cf57c33ca - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x5c4cf57b11cc - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x5c4cf57b11cc - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x5c4cf578aef6 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5c4cf578aef6 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5c4cf57a49b9 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5c4cf53b8440 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x5c4cf53b8440 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x5c4cf57a4ce2 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x5c4cf57a4ce2 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x5c4cf578afa2 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x5c4cf5782779 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5c4cf578bb9d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x5c4cf57c3bfc - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5c4cf57c3942 - core[6883ba1bc0fe4ed1]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1870:5
[INFO] [stdout]   20:     0x5c4cf5246903 - <core[6883ba1bc0fe4ed1]::result::Result<alloc[55a36b64bcbf2c0d]::string::String, core[6883ba1bc0fe4ed1]::io::error::Error>>::expect
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1183:23
[INFO] [stdout]   21:     0x5c4cf512669b - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::remaining::generated_rust_service_is_valid::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/remaining.rs:233:18
[INFO] [stdout]   22:     0x5c4cf5245140 - <core[6883ba1bc0fe4ed1]::result::Result<alloc[55a36b64bcbf2c0d]::string::String, core[6883ba1bc0fe4ed1]::io::error::Error>>::unwrap_or_else::<assura_codegen[8a2b3f47a4d6e951]::codegen_tests::remaining::generated_rust_service_is_valid::{closure#0}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1620:23
[INFO] [stdout]   23:     0x5c4cf514170d - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::remaining::generated_rust_service_is_valid
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/remaining.rs:231:10
[INFO] [stdout]   24:     0x5c4cf5125337 - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::remaining::generated_rust_service_is_valid::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/remaining.rs:229:37
[INFO] [stdout]   25:     0x5c4cf5191756 - <assura_codegen[8a2b3f47a4d6e951]::codegen_tests::remaining::generated_rust_service_is_valid::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x5c4cf53ab77b - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   27:     0x5c4cf53ab77b - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   28:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   29:     0x5c4cf53b8dc5 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   30:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   31:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   32:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   33:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   34:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   35:     0x5c4cf53b3874 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   36:     0x5c4cf53b3874 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   37:     0x5c4cf53bbf12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   38:     0x5c4cf53bbf12 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   39:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   40:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   41:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   42:     0x5c4cf53bbf12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   43:     0x5c4cf53bbf12 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   44:     0x5c4cf57ac1cf - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   45:     0x5c4cf57ac1cf - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   46:     0x713107ad7aa4 - <unknown>
[INFO] [stdout]   47:     0x713107b64a64 - clone
[INFO] [stdout]   48:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- codegen_tests::safe_division::e2e_safe_division_generated_rust_is_valid stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'codegen_tests::safe_division::e2e_safe_division_generated_rust_is_valid' (940) panicked at src/codegen_tests/safe_division.rs:88:10:
[INFO] [stdout] failed to read safe_division.assura: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5c4cf57accc1 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5c4cf57accc1 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5c4cf57accc1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5c4cf57accc1 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5c4cf57c33ca - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5c4cf57c33ca - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x5c4cf57b11cc - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x5c4cf57b11cc - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x5c4cf578aef6 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5c4cf578aef6 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5c4cf57a49b9 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5c4cf53b8440 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x5c4cf53b8440 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x5c4cf57a4ce2 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x5c4cf57a4ce2 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x5c4cf578afa2 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x5c4cf5782779 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5c4cf578bb9d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x5c4cf57c3bfc - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5c4cf57c3942 - core[6883ba1bc0fe4ed1]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1870:5
[INFO] [stdout]   20:     0x5c4cf5246903 - <core[6883ba1bc0fe4ed1]::result::Result<alloc[55a36b64bcbf2c0d]::string::String, core[6883ba1bc0fe4ed1]::io::error::Error>>::expect
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1183:23
[INFO] [stdout]   21:     0x5c4cf5214c79 - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_generated_rust_is_valid
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/safe_division.rs:88:10
[INFO] [stdout]   22:     0x5c4cf5211917 - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_generated_rust_is_valid::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/safe_division.rs:86:47
[INFO] [stdout]   23:     0x5c4cf518ef16 - <assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_generated_rust_is_valid::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5c4cf53ab77b - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5c4cf53ab77b - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   26:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x5c4cf53b8dc5 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   28:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   29:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x5c4cf53b3874 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] [stdout]   34:     0x5c4cf53b3874 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x5c4cf53bbf12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   36:     0x5c4cf53bbf12 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   37:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   38:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x5c4cf53bbf12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   41:     0x5c4cf53bbf12 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5c4cf57ac1cf - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   43:     0x5c4cf57ac1cf - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   44:     0x713107ad7aa4 - <unknown>
[INFO] [stdout]   45:     0x713107b64a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- codegen_tests::safe_division::e2e_safe_division_generates_debug_assert_for_requires stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'codegen_tests::safe_division::e2e_safe_division_generates_debug_assert_for_requires' (941) panicked at src/codegen_tests/safe_division.rs:33:10:
[INFO] [stdout] failed to read safe_division.assura: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5c4cf57accc1 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5c4cf57accc1 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5c4cf57accc1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5c4cf57accc1 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5c4cf57c33ca - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5c4cf57c33ca - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x5c4cf57b11cc - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x5c4cf57b11cc - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x5c4cf578aef6 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5c4cf578aef6 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5c4cf57a49b9 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5c4cf53b8440 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x5c4cf53b8440 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x5c4cf57a4ce2 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x5c4cf57a4ce2 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x5c4cf578afa2 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x5c4cf5782779 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5c4cf578bb9d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x5c4cf57c3bfc - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5c4cf57c3942 - core[6883ba1bc0fe4ed1]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1870:5
[INFO] [stdout]   20:     0x5c4cf5246903 - <core[6883ba1bc0fe4ed1]::result::Result<alloc[55a36b64bcbf2c0d]::string::String, core[6883ba1bc0fe4ed1]::io::error::Error>>::expect
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1183:23
[INFO] [stdout]   21:     0x5c4cf52150af - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_generates_debug_assert_for_requires
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/safe_division.rs:33:10
[INFO] [stdout]   22:     0x5c4cf5211977 - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_generates_debug_assert_for_requires::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/safe_division.rs:31:59
[INFO] [stdout]   23:     0x5c4cf518ef96 - <assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_generates_debug_assert_for_requires::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5c4cf53ab77b - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5c4cf53ab77b - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   26:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x5c4cf53b8dc5 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   28:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   29:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x5c4cf53b3874 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x5c4cf53b3874 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x5c4cf53bbf12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   36:     0x5c4cf53bbf12 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   37:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   38:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x5c4cf53bbf12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   41:     0x5c4cf53bbf12 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5c4cf57ac1cf - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   43:     0x5c4cf57ac1cf - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   44:     0x713107ad7aa4 - <unknown>
[INFO] [stdout]   45:     0x713107b64a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- codegen_tests::safe_division::e2e_safe_division_generates_ensures_assertion stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'codegen_tests::safe_division::e2e_safe_division_generates_ensures_assertion' (942) panicked at src/codegen_tests/safe_division.rs:51:10:
[INFO] [stdout] failed to read safe_division.assura: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5c4cf57accc1 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5c4cf57accc1 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5c4cf57accc1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5c4cf57accc1 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5c4cf57c33ca - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5c4cf57c33ca - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x5c4cf57b11cc - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x5c4cf57b11cc - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x5c4cf578aef6 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5c4cf578aef6 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5c4cf57a49b9 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5c4cf53b8440 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x5c4cf53b8440 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x5c4cf57a4ce2 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x5c4cf57a4ce2 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x5c4cf578afa2 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x5c4cf5782779 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5c4cf578bb9d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x5c4cf57c3bfc - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5c4cf57c3942 - core[6883ba1bc0fe4ed1]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1870:5
[INFO] [stdout]   20:     0x5c4cf5246903 - <core[6883ba1bc0fe4ed1]::result::Result<alloc[55a36b64bcbf2c0d]::string::String, core[6883ba1bc0fe4ed1]::io::error::Error>>::expect
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1183:23
[INFO] [stdout]   21:     0x5c4cf5214e0f - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_generates_ensures_assertion
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/safe_division.rs:51:10
[INFO] [stdout]   22:     0x5c4cf5211947 - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_generates_ensures_assertion::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/safe_division.rs:49:51
[INFO] [stdout]   23:     0x5c4cf518ef56 - <assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_generates_ensures_assertion::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5c4cf53ab77b - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5c4cf53ab77b - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   26:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x5c4cf53b8dc5 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   28:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   29:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x5c4cf53b3874 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x5c4cf53b3874 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x5c4cf53bbf12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   36:     0x5c4cf53bbf12 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   37:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   38:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x5c4cf53bbf12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   41:     0x5c4cf53bbf12 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5c4cf57ac1cf - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   43:     0x5c4cf57ac1cf - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   44:     0x713107ad7aa4 - <unknown>
[INFO] [stdout]   45:     0x713107b64a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- codegen_tests::safe_division::e2e_safe_division_check_passes stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'codegen_tests::safe_division::e2e_safe_division_check_passes' (939) panicked at src/codegen_tests/safe_division.rs:11:10:
[INFO] [stdout] failed to read safe_division.assura: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5c4cf57accc1 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5c4cf57accc1 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5c4cf57accc1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5c4cf57accc1 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5c4cf57c33ca - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5c4cf57c33ca - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x5c4cf57b11cc - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x5c4cf57b11cc - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x5c4cf578aef6 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5c4cf578aef6 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5c4cf57a49b9 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5c4cf53b8440 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x5c4cf53b8440 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x5c4cf57a4ce2 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x5c4cf57a4ce2 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x5c4cf578afa2 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x5c4cf5782779 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5c4cf578bb9d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x5c4cf57c3bfc - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5c4cf57c3942 - core[6883ba1bc0fe4ed1]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1870:5
[INFO] [stdout]   20:     0x5c4cf5246903 - <core[6883ba1bc0fe4ed1]::result::Result<alloc[55a36b64bcbf2c0d]::string::String, core[6883ba1bc0fe4ed1]::io::error::Error>>::expect
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1183:23
[INFO] [stdout]   21:     0x5c4cf52145ec - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_check_passes
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/safe_division.rs:11:10
[INFO] [stdout]   22:     0x5c4cf52118b7 - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_check_passes::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/safe_division.rs:8:36
[INFO] [stdout]   23:     0x5c4cf518ee96 - <assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_check_passes::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5c4cf53ab77b - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5c4cf53ab77b - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   26:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x5c4cf53b8dc5 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   28:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   29:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x5c4cf53b3874 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x5c4cf53b3874 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x5c4cf53bbf12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   36:     0x5c4cf53bbf12 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   37:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   38:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x5c4cf53bbf12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   41:     0x5c4cf53bbf12 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5c4cf57ac1cf - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   43:     0x5c4cf57ac1cf - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   44:     0x713107ad7aa4 - <unknown>
[INFO] [stdout]   45:     0x713107b64a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- codegen_tests::safe_division::e2e_safe_division_has_correct_signature stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'codegen_tests::safe_division::e2e_safe_division_has_correct_signature' (943) panicked at src/codegen_tests/safe_division.rs:71:10:
[INFO] [stdout] failed to read safe_division.assura: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5c4cf57accc1 - std[73adb7dc35730857]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5c4cf57accc1 - std[73adb7dc35730857]::backtrace_rs::backtrace::trace_unsynchronized::<std[73adb7dc35730857]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5c4cf57accc1 - std[73adb7dc35730857]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x5c4cf57accc1 - <<std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[6883ba1bc0fe4ed1]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x5c4cf57c33ca - <core[6883ba1bc0fe4ed1]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x5c4cf57c33ca - core[6883ba1bc0fe4ed1]::fmt::write
[INFO] [stdout]    6:     0x5c4cf57b11cc - std[73adb7dc35730857]::io::default_write_fmt::<alloc[55a36b64bcbf2c0d]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:626:11
[INFO] [stdout]    7:     0x5c4cf57b11cc - <alloc[55a36b64bcbf2c0d]::vec::Vec<u8> as std[73adb7dc35730857]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/io/mod.rs:1730:13
[INFO] [stdout]    8:     0x5c4cf578aef6 - <std[73adb7dc35730857]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x5c4cf578aef6 - std[73adb7dc35730857]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x5c4cf57a49b9 - std[73adb7dc35730857]::panicking::default_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x5c4cf53b8440 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   12:     0x5c4cf53b8440 - test[980ffaebd391d06d]::test_main_inner::<test[980ffaebd391d06d]::test_main_static::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:155:21
[INFO] [stdout]   13:     0x5c4cf57a4ce2 - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn for<'a, 'b> core[6883ba1bc0fe4ed1]::ops::function::Fn<(&'a std[73adb7dc35730857]::panic::PanicHookInfo<'b>,), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send + core[6883ba1bc0fe4ed1]::marker::Sync> as core[6883ba1bc0fe4ed1]::ops::function::Fn<(&std[73adb7dc35730857]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2333:9
[INFO] [stdout]   14:     0x5c4cf57a4ce2 - std[73adb7dc35730857]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:823:13
[INFO] [stdout]   15:     0x5c4cf578afa2 - std[73adb7dc35730857]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:688:13
[INFO] [stdout]   16:     0x5c4cf5782779 - std[73adb7dc35730857]::sys::backtrace::__rust_end_short_backtrace::<std[73adb7dc35730857]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x5c4cf578bb9d - __rustc[a7b7b02e776dd976]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:679:5
[INFO] [stdout]   18:     0x5c4cf57c3bfc - core[6883ba1bc0fe4ed1]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x5c4cf57c3942 - core[6883ba1bc0fe4ed1]::result::unwrap_failed
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1870:5
[INFO] [stdout]   20:     0x5c4cf5246903 - <core[6883ba1bc0fe4ed1]::result::Result<alloc[55a36b64bcbf2c0d]::string::String, core[6883ba1bc0fe4ed1]::io::error::Error>>::expect
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/result.rs:1183:23
[INFO] [stdout]   21:     0x5c4cf52149a8 - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_has_correct_signature
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/safe_division.rs:71:10
[INFO] [stdout]   22:     0x5c4cf52118e7 - assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_has_correct_signature::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/codegen_tests/safe_division.rs:69:45
[INFO] [stdout]   23:     0x5c4cf518eed6 - <assura_codegen[8a2b3f47a4d6e951]::codegen_tests::safe_division::e2e_safe_division_has_correct_signature::{closure#0} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x5c4cf53ab77b - <fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x5c4cf53ab77b - test[980ffaebd391d06d]::__rust_begin_short_backtrace::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, fn() -> core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:724:18
[INFO] [stdout]   26:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:74
[INFO] [stdout]   27:     0x5c4cf53b8dc5 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   28:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   29:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panicking::catch_unwind::<core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>, core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x5c4cf53b8dc5 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<test[980ffaebd391d06d]::run_test_in_process::{closure#0}>, core[6883ba1bc0fe4ed1]::result::Result<(), alloc[55a36b64bcbf2c0d]::string::String>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test_in_process
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:747:27
[INFO] [stdout]   32:     0x5c4cf53b8dc5 - test[980ffaebd391d06d]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:668:43
[INFO] [stdout]   33:     0x5c4cf53b3874 - test[980ffaebd391d06d]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/test/src/lib.rs:698:41
[INFO] [stdout]   34:     0x5c4cf53b3874 - std[73adb7dc35730857]::sys::backtrace::__rust_begin_short_backtrace::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x5c4cf53bbf12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:70:13
[INFO] [stdout]   36:     0x5c4cf53bbf12 - <core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/panic/unwind_safe.rs:275:9
[INFO] [stdout]   37:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panicking::catch_unwind::do_call::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:576:43
[INFO] [stdout]   38:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panicking::catch_unwind::<(), core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x5c4cf53bbf12 - std[73adb7dc35730857]::panic::catch_unwind::<core[6883ba1bc0fe4ed1]::panic::unwind_safe::AssertUnwindSafe<std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x5c4cf53bbf12 - std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked::<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/thread/lifecycle.rs:68:26
[INFO] [stdout]   41:     0x5c4cf53bbf12 - <std[73adb7dc35730857]::thread::lifecycle::spawn_unchecked<test[980ffaebd391d06d]::run_test::{closure#1}, ()>::{closure#1} as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x5c4cf57ac1cf - <alloc[55a36b64bcbf2c0d]::boxed::Box<dyn core[6883ba1bc0fe4ed1]::ops::function::FnOnce<(), Output = ()> + core[6883ba1bc0fe4ed1]::marker::Send> as core[6883ba1bc0fe4ed1]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/alloc/src/boxed.rs:2319:9
[INFO] [stdout]   43:     0x5c4cf57ac1cf - <std[73adb7dc35730857]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/6b3fa26749ab40e159b2dd5cf577acaaf5902772/library/std/src/sys/thread/unix.rs:123:17
[INFO] [stdout]   44:     0x713107ad7aa4 - <unknown>
[INFO] [stdout]   45:     0x713107b64a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     codegen_tests::remaining::generated_rust_demo_libwebp_is_valid
[INFO] [stdout]     codegen_tests::remaining::generated_rust_service_is_valid
[INFO] [stdout]     codegen_tests::safe_division::e2e_safe_division_check_passes
[INFO] [stdout]     codegen_tests::safe_division::e2e_safe_division_generated_rust_is_valid
[INFO] [stdout]     codegen_tests::safe_division::e2e_safe_division_generates_debug_assert_for_requires
[INFO] [stdout]     codegen_tests::safe_division::e2e_safe_division_generates_ensures_assertion
[INFO] [stdout]     codegen_tests::safe_division::e2e_safe_division_has_correct_signature
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 651 passed; 7 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.28s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "5c7c6ac3acff3c4ba8b3cc9b81f868774f8c8615ec0bc291fd50ad47776b4db4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5c7c6ac3acff3c4ba8b3cc9b81f868774f8c8615ec0bc291fd50ad47776b4db4", kill_on_drop: false }`
[INFO] [stdout] 5c7c6ac3acff3c4ba8b3cc9b81f868774f8c8615ec0bc291fd50ad47776b4db4
