Build matrix

Add abstract types and global constraints #350

Triggered via push January 8, 2024 12:07

Alasdair

pushed 51be6e9

abstract_types

Status Success

Total duration 13m 18s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

192 errors and 2 notices

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

2 out of 3 runs with error: constraint_syn.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

2 out of 3 runs with error: abstract_bool.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

2 out of 3 runs with error: abstract_bool2.sail: /#L0

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

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

./lem/tests.xml

2 out of 3 runs with error: constraint_syn.sail: /#L0

./lem/tests.xml

2 out of 3 runs with error: abstract_bool.sail: /#L0

./lem/tests.xml

2 out of 3 runs with error: abstract_bool2.sail: /#L0

./lem/tests.xml

600 tests found

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

600 tests found

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Add abstract types and global constraints #350

Summary