Build matrix

SV: Add partial mapping test case and run in CI #874

Triggered via push November 21, 2024 16:45

Alasdair

pushed 350f5d9

svci

Status Success

Total duration 14m 40s

Artifacts –

build.yml

on: push

build-docker

7m 23s

Matrix: build

Annotations

340 errors, 8 warnings, and 2 notices

1 out of 10 runs with error: custom_flow.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: bool_bits_mapping.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: reg_32_64.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: tuple_fun.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: reg_ref.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: nonexistent_pragma.sail: /#L0

./sv/tests.xml

1 out of 11 runs with error: struct_pattern.sail: /#L0

./sv/tests.xml

1 out of 9 runs with error: zero_length_bv.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: anon_rec.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: string_literal_type.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: implicits.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: enum_map.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: vector_subrange_pattern.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: shadow_let.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: nexp_synonym.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: struct_pattern_partial.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: new_bitfields.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: outcome_impl.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: type_if_bits.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: tl_let.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: tl_pat.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: bitvector_update.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: set_struct.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue202_1.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: vector_init.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: unused_poly_ctor.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_union.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: vmatch.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: tuple_union.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: fvector_update.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue232.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: get_slice_int.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: constructor247.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: flow_restrict.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: rv_format2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: downcast_fn.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: rv_format.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_pair.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: zeros_mapping.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: flags.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue37.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: enum_functions.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: int_struct.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: abstract_type.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: unconstructed_type_mono.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_cons_cons.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_mapping2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: warl2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: reg_ref_nb.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: empty_list.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: shadow_cleanup.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: enum_tup_match.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: return_leak.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_rec_functions1.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: small_slice.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: simple_bitmanip.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: int_struct_constrained.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: let_option_shadow.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: undefined_union.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: mapping_compose.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: sv_dpi.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_test.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: option_nest.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: set_struct2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: hex_str_negative.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: string_of_bits2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: scattered_mapping.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: gvector.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: string_take.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: warl.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: lib_valid_hex_bits.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: special_annot.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: toplevel_tyvar.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: cfold_reg.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: either_rvbug.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: foreach_none.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: xlen_val.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: spc_mappings.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: pc_no_wildcard.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: return_register_ref.sail: /#L0

./sv/tests.xml

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

./sv/tests.xml

1 out of 7 runs with error: bitvector.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: tuple_conversion.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: fdiv.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: hello_world.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: option_option.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_int_record.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: tl_poly_match.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: letbind.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: pattern_concat_nest.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: non_unique.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_tup.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: nested_fields.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: pointer_assign.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_scope3.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: anf_as_pattern.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: ediv.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: varswap.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: gvectorlit.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: undefined_nat.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: large_bitvector.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_outcome.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: encdec.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: bitvector_update2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: infix_include.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: single_guard.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: two_mapping.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue429.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue136.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: single_arg.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: try_return.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: short_circuit.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: inc_tests.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: mapping.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: if_opt_typ.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: fallthrough_exception.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: struct_fn_arg.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: encdec_subrange.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: config.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_record.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: primop.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_rec_functions2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: prelude.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: spc_mappings_small.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: cheri_capreg.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: dead_branch.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: extend_simple.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_let.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: rv_memop.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: match_bind.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: and_block.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue232_2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: overload_mapping.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: config_register.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: struct.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue401.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: cheri_capstruct_order.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: either.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: option.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_union_rev.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: double_option.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: rv_duopod_bug.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_scope2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_simple.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue362.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: tdiv.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: xlen32.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: global_let_shadow.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: struct_mapping.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: pow2_var.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: pow2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_mut.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: string_of_bits.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_torture.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue243_fixed.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: bv_literal.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: anf_block.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: eq_struct.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: rev_bits_in_byte.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: reg_init_let.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: concurrency_interface_write.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: partial_mapping.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: pr194.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: fast_signed.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: let_option.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: exn_hello_world.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: enum_match.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: int64_vector_literal.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: stack_struct.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_scope.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: type_if_bits.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: tl_let.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: tl_pat.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: bitvector_update.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: set_struct.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue202_1.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: vector_init.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: unused_poly_ctor.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_union.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: vmatch.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: tuple_union.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: fvector_update.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue232.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: get_slice_int.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: constructor247.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: flow_restrict.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: rv_format2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: downcast_fn.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: rv_format.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_pair.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: zeros_mapping.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: custom_flow.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: flags.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue37.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: enum_functions.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: int_struct.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: abstract_type.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: unconstructed_type_mono.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_cons_cons.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_mapping2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: warl2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: reg_ref_nb.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: empty_list.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: shadow_cleanup.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: enum_tup_match.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: bool_bits_mapping.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: return_leak.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: reg_32_64.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_rec_functions1.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: small_slice.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: simple_bitmanip.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: int_struct_constrained.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: let_option_shadow.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: tuple_fun.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: undefined_union.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: mapping_compose.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: sv_dpi.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_test.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: option_nest.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: set_struct2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: hex_str_negative.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: string_of_bits2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: scattered_mapping.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: gvector.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: string_take.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: warl.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: reg_ref.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: lib_valid_hex_bits.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: special_annot.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: toplevel_tyvar.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: cfold_reg.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: either_rvbug.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: foreach_none.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: xlen_val.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: spc_mappings.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: pc_no_wildcard.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: return_register_ref.sail: /#L0

./sv/tests.xml

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

./sv/tests.xml

1 out of 7 runs with error: bitvector.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: tuple_conversion.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: fdiv.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: nonexistent_pragma.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: hello_world.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: option_option.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_int_record.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: tl_poly_match.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: letbind.sail: /#L0

./sv/tests.xml

1 out of 11 runs with error: struct_pattern.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: pattern_concat_nest.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: non_unique.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_tup.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: nested_fields.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: pointer_assign.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_scope3.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: anf_as_pattern.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: ediv.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: varswap.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: gvectorlit.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: undefined_nat.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: large_bitvector.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_outcome.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: encdec.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: bitvector_update2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: infix_include.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: single_guard.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: two_mapping.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue429.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue136.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: single_arg.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: try_return.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: short_circuit.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: inc_tests.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: mapping.sail: /#L0

./sv/tests.xml

1 out of 9 runs with error: zero_length_bv.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: if_opt_typ.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: fallthrough_exception.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: struct_fn_arg.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: encdec_subrange.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: config.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_record.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: primop.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_rec_functions2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: prelude.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: anon_rec.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: string_literal_type.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: spc_mappings_small.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: cheri_capreg.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: dead_branch.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: extend_simple.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_let.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: rv_memop.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: implicits.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: enum_map.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: match_bind.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: and_block.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue232_2.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: vector_subrange_pattern.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: overload_mapping.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: shadow_let.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: nexp_synonym.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: config_register.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: struct.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue401.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: cheri_capstruct_order.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: struct_pattern_partial.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: either.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: option.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_union_rev.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: double_option.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: rv_duopod_bug.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_scope2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: poly_simple.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: new_bitfields.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue362.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: tdiv.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: xlen32.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: global_let_shadow.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: struct_mapping.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: pow2_var.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: pow2.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_mut.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: string_of_bits.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_torture.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: issue243_fixed.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: bv_literal.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: anf_block.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: eq_struct.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: rev_bits_in_byte.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: reg_init_let.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: concurrency_interface_write.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: partial_mapping.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: pr194.sail: /#L0

./sv/tests.xml

1 out of 10 runs with error: outcome_impl.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: fast_signed.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: let_option.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: exn_hello_world.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: enum_match.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: int64_vector_literal.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: stack_struct.sail: /#L0

./sv/tests.xml

1 out of 7 runs with error: list_scope.sail: /#L0

./sv/tests.xml

build (4.08.1, ubuntu-latest)

The following actions use a deprecated Node.js version 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/

build (5.0.0, ubuntu-latest)

build-docker

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

build (5.0.0, macOS-latest)

gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp

build (macos-13, 4.08.1)

gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp

build (macos-13, 4.08.1)

pkg-config 0.29.2_3 is already installed and up-to-date. To reinstall 0.29.2_3, run: brew reinstall pkg-config

723 tests found

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

723 tests found

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

SV: Add partial mapping test case and run in CI #874

Summary