Check formatting

comment #60

Triggered via push August 5, 2024 14:33

trdthg

pushed 45851a0

issue639-dev

Status Failure

Total duration 36s

Artifacts –

formatting.yml

on: push

Matrix: build

Annotations

392 errors, 1 warning, and 1 notice

build (5.0.0, ubuntu-latest, 0.26.0)

Process completed with exit code 1.

nested_mapping1.sail with error: /#L0

./sailcov/tests.xml

nested_mapping_demo.sail with error: /#L0

./sailcov/tests.xml

5 out of 7 runs with error: nested_mapping.sail: /#L0

./c/tests.xml ./sailcov/tests.xml

nested_mapping2.sail with error: /#L0

./sailcov/tests.xml

nested_mapping5.sail with error: /#L0

./sailcov/tests.xml

nested_mapping4.sail with error: /#L0

./sailcov/tests.xml

4 out of 6 runs with error: string_of_bits2.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: read_write_ram.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: anf_as_pattern.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: reg_init_let.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: type_if_bits.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: let_option.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: rv_format.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: gvector.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: custom_flow.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: downcast_fn.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: pow2.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: real_prop.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: poly_int_record.sail: /#L0

./c/tests.xml

3 out of 6 runs with error: tl_pat.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: nested_fields.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: vector_subrange_pattern.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: double_option.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: unused_poly_ctor.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: cfold_reg.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: single_guard.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: assign_rename_bug.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: nexp_synonym.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: short_circuit.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: hello_world.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: struct_mapping.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: nonexistent_pragma.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: bitvector_update2.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: non_unique.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: tuple_union.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: mapping.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: overload_mapping.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: poly_simple.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: loop_exception.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: poly_union_rev.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: pr194.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: bitvector.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: cheri_capstruct_order.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: gvectorlit.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: infix_include.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: tl_poly_match.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: anf_block.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: poly_union.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: int64_vector_literal.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: encdec.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: large_bitvector.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: bv_literal.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: vector_example.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: struct.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: mapping_compose.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: tuple_fun.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: undefined_union.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: set_struct2.sail: /#L0

./c/tests.xml

5 out of 10 runs with error: struct_pattern.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: poly_mapping.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: new_bitfields.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: scattered_mapping.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: warl.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: letbind.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: and_block.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: enum_tup_match.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: return_leak.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: int_struct.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: reg_ref_nb.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: enum_map.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: xlen32.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: struct_fn_arg.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: string_take.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: eq_struct.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: primop.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: fast_signed.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: special_annot.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: let_option_shadow.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: stack_struct.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: list_scope2.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: xlen_val.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: prelude.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: issue401.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: rv_format2.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: pointer_assign.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: tl_let.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: anon_rec.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: rv_memop.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: fail_issue203.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: foreach_none.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: either_rvbug.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: list_torture.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: two_mapping.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: config_register.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: all_even_vector_length.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: poly_pair.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: reg_ref.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: list_test.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: poly_outcome.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: match_bind.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: bitvector_update.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: fallthrough_exception.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: cheri_capreg.sail: /#L0

./c/tests.xml

5 out of 8 runs with error: zero_length_bv.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: try_return.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: issue136.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: fail_assert_mono_bug.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: config.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: implicits.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: option_nest.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: concurrency_interface.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: spc_mappings.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: undefined_nat.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: rv_duopod_bug.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: enum_match.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: enum_functions.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: constructor247.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: either.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: nexp_simp_euclidian.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: global_let_shadow.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: flow_restrict.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: pc_no_wildcard.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: option.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: poly_mapping2.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: lib_hex_bits_signed.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: int_struct_constrained.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: encdec_subrange.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: pattern_concat_nest.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: option_option.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: outcome_impl.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: list_scope3.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: for_shadow.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: list_rec_functions2.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: extend_simple.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: shadow_let.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: issue429.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: issue243_fixed.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: list_mut.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: warl2.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: set_struct.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: cheri128_hsb.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: list_scope.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: small_slice.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: shadow_cleanup.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: tuple_conversion.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: string_literal_type.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

5 out of 9 runs with error: real.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: issue232_2.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: toplevel_tyvar.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: issue37.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: list_cons_cons.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: unconstructed_type_mono.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: list_let.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: empty_list.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: string_of_bits.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: inc_tests.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: zeros_mapping.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: struct_pattern_partial.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: simple_bitmanip.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: issue232.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: list_rec_functions1.sail: /#L0

./c/tests.xml

5 out of 9 runs with error: reg_32_64.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

5 out of 9 runs with error: bool_bits_mapping.sail: /#L0

./c/tests.xml ./typecheck/tests.xml

4 out of 6 runs with error: get_slice_int.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: exn_hello_world.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: dead_branch.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: vmatch.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: poly_record.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: single_arg.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: issue362.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: issue202_1.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: return_register_ref.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: vector_init.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: fail_exception.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: lib_hex_bits.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: if_opt_typ.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: split.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: fvector_update.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: poly_tup.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: lib_valid_hex_bits.sail: /#L0

./c/tests.xml

4 out of 6 runs with error: varswap.sail: /#L0

./c/tests.xml

1 out of 3 runs with error: pure_record.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: deinfix_plus.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: short_circuit_bool_ex.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: exit3.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: modify_assignment1.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: inc_prelude.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: flow_gt1.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: equation_return.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: arm_types.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: eqn_inst.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: issue434.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: overload_int_nat.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: zeros_implicit.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: constraint_ctor.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: equation_arguments.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: add_vec_exts_no_annot.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: complex_exist_sat.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: return_simple2.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: flow_gteq1.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: option_tuple.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: single_enum.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: if_type_if.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: repeat_constraint.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: sizeof_fixed.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: bitfield_mod.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: tuple_bitvector_int_pat2.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: pure_let_var2.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: constrained_struct.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: mapping_clause.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: reg_list.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: mod_var.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: ex_cast.sail: /#L0

./typecheck/tests.xml

1 out of 4 runs with error: assignment_simple.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: tuple_bitvector_int_pat.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: guards.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: vector_access.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bitwise_not_gen.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: list_lit.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: pow_unify.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: while_MP.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: mutrec.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: varity.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: scattered_union_doc.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: poly_list.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: exist2.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: pat_completeness.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: wildcard_mapping.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: type_if_then_else_alt.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: foreach_var_updates.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: existential_ast3.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: patternrefinement.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: synth_ex_vs.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: not_pattern.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: type_pat_parens.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bitfield_updates.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: default_order.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: complete_pattern_let.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: wf_specs.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bitfield_pc.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: if_infer2.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bv_simple_index_bit.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: reg_option.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: foreach_e.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: vector_append.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: true_false.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: vec_pat1.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: exist_simple.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: dec_prelude.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: if_infer.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: rmem_rmemt_same.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: plus_one_unify.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: bitfield_exponential.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bind_typ_var.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: add_real.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: Replicate.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: simple_scattered.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: union_infer_kind.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: exist_true.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: arm_FPEXC1.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: phantom_bitlist_struct.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: single_assign_in_block.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: vector_concat_assign.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: commentfix.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: funcl_guard.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bitfield_updates0.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: tautology.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: lt_flow.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: vector_append_gen.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: return_simple4.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bitwise_not.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: vec_length_inc.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: outcome_impl_quant.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: vector_access_dec.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: poly_vector.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: exit1.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: recursion.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: case_simple2.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: floor_pow2.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: option_either.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bool_mapping2.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: scattered_mapping_doc.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: vector_subrange_mapping.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: union_infer.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: existential_ast.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: crlf.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: multiple_unifiers.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: flow_lt2.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: scattered_enum.sail: /#L0

./typecheck/tests.xml

1 out of 4 runs with error: vector_pattern_split.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: exist1.sail: /#L0

./typecheck/tests.xml

1 out of 4 runs with error: procstate1.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: vec_length.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: atomcase.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: overload_plus.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: let_subtyp_bug.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: return_simple3.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: int_synonym.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: list_cons2.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: if_var_updates.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: nlflow.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: type_if_then_else.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: modify_type_chain.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: overlap_field.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: nzcv.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: try_while_try.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: struct_field_constraint.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: cast_lexp2.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: as_pattern.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: global_type_var.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: enum_cast.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bitwise_not_x3.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: case_simple1.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: existential_ast2.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: cast_simple.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: tuple_assign.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: simple_record_access.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: ex_vector_infer.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: flow_lt1.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: cons_pattern.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: overload_overload.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: priv_fn_no_val.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: vector_subrange_gen.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: extension_constructor.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: phantom_num.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: if_return.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: bitfield_abs.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: pure_record3.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: nat_set.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: string_append_non_exec.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: execute_decode_hard.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: no_val_recur.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: allpats.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bits_if.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: negative_bits_list.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: struct_kind_infer.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: syn_kind_infer.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: tuple_bitvector_int_pat3.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: nexp_synonym2.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: exist_tlb.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: pow_32_64.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: type_pow_zero.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: fn_kind_infer_body.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: wf_register_type.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: unsigned_index.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: tuple_type_cast.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bool_mapping.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: list_infer.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: add_vec_exts_no_annot_overload.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: tyvar_shadow.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: ex_list_infer.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bits_concat_pattern.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: exist_subrange.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: return_simple1.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: while_PM.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: exint.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: pure_record2.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: decode_patterns.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bool_typ_pat.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: lexp_vec.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: mapping_rreg.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: exit2.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: union_ctor_constraint.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: reg_mod.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: pure_let_var.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: exist_synonym.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: single_union.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: existential_constraint_synonym.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: type_div.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: set_constraint.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: fn_kind_infer.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: while_PP.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: flow_lteq1.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: inline_typ.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: add_vec_lit.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: while_MM.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: fpthreesimp.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bitvector_param.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: cast_lexp1.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: cons_pattern_synonym.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: bool_constraint.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: list_cons.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: issue250.sail: /#L0

./typecheck/tests.xml

1 out of 3 runs with error: function_namespace.sail: /#L0

./typecheck/tests.xml

1 out of 2 runs with error: phantom_bitlist_union.sail: /#L0

./typecheck/tests.xml

abstract_bool2.sail with error: /#L0

./typecheck/tests.xml

concurrency_interface_dec.sail with error: /#L0

./typecheck/tests.xml

phantom_option.sail with error: /#L0

./typecheck/tests.xml

concurrency_interface_inc.sail with error: /#L0

./typecheck/tests.xml

constraint_syn.sail with error: /#L0

./typecheck/tests.xml

abstract_bool.sail with error: /#L0

./typecheck/tests.xml

build (5.0.0, ubuntu-latest, 0.26.0)

The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

669 tests found

There are 669 tests, see "Raw output" for the full list of tests.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

comment #60

Summary

comment #60

Jobs

Run details

formatting.yml

Annotations