Build matrix

Add abstract types and global constraints #348

Triggered via push January 8, 2024 11:44

Alasdair

pushed edd5035

abstract_types

Status Failure

Total duration 3m 39s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

524 errors and 1 notice

build (4.08.1, ubuntu-latest)

Process completed with exit code 1.

build (4.08.1, macOS-latest)

The job was canceled because "_4_08_1_ubuntu-latest" failed.

build (4.08.1, macOS-latest)

The operation was canceled.

build (5.0.0, ubuntu-latest)

The job was canceled because "_4_08_1_ubuntu-latest" failed.

build (5.0.0, ubuntu-latest)

The operation was canceled.

build (5.0.0, macOS-latest)

The job was canceled because "_4_08_1_ubuntu-latest" failed.

build (5.0.0, macOS-latest)

The operation was canceled.

All 2 runs with error: building bitfield/: /#L0

./ocaml/tests.xml

All 2 runs with error: building for_bounds/: /#L0

./ocaml/tests.xml

All 2 runs with error: building hello_world/: /#L0

./ocaml/tests.xml

All 2 runs with error: building is_x_subrange/: /#L0

./ocaml/tests.xml

All 2 runs with error: building loop/: /#L0

./ocaml/tests.xml

All 2 runs with error: building lsl/: /#L0

./ocaml/tests.xml

All 2 runs with error: building new_bitfields/: /#L0

./ocaml/tests.xml

All 2 runs with error: building pattern1/: /#L0

./ocaml/tests.xml

All 2 runs with error: building pure_rebind/: /#L0

./ocaml/tests.xml

All 2 runs with error: building reg_alias/: /#L0

./ocaml/tests.xml

All 2 runs with error: building reg_passing/: /#L0

./ocaml/tests.xml

All 2 runs with error: building reg_ref/: /#L0

./ocaml/tests.xml

All 2 runs with error: building short_circuit/: /#L0

./ocaml/tests.xml

All 2 runs with error: building string_equality/: /#L0

./ocaml/tests.xml

All 2 runs with error: building string_of_struct/: /#L0

./ocaml/tests.xml

All 2 runs with error: building trycatch/: /#L0

./ocaml/tests.xml

All 2 runs with error: building types/: /#L0

./ocaml/tests.xml

All 2 runs with error: building vec_32_64/: /#L0

./ocaml/tests.xml

All 2 runs with error: building void/: /#L0

./ocaml/tests.xml

All 6 runs with error: primop.sail: /#L0

./c/tests.xml

All 9 runs with error: reg_ref.sail: /#L0

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

All 6 runs with error: downcast_fn.sail: /#L0

./c/tests.xml

All 6 runs with error: config.sail: /#L0

./c/tests.xml

All 6 runs with error: spc_mappings.sail: /#L0

./c/tests.xml

All 6 runs with error: bitvector.sail: /#L0

./c/tests.xml

All 6 runs with error: list_rec_functions1.sail: /#L0

./c/tests.xml

All 8 runs with error: zero_length_bv.sail: /#L0

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

All 10 runs with error: struct_pattern.sail: /#L0

./c/tests.xml ./lem/tests.xml ./pattern_completeness/tests.xml ./typecheck/tests.xml

All 6 runs with error: poly_simple.sail: /#L0

./c/tests.xml

All 9 runs with error: tuple_fun.sail: /#L0

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

All 6 runs with error: issue401.sail: /#L0

./c/tests.xml

All 6 runs with error: read_write_ram.sail: /#L0

./c/tests.xml

All 6 runs with error: all_even_vector_length.sail: /#L0

./c/tests.xml

All 6 runs with error: enum_match.sail: /#L0

./c/tests.xml

All 6 runs with error: let_option.sail: /#L0

./c/tests.xml

All 9 runs with error: outcome_impl.sail: /#L0

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

All 6 runs with error: poly_union.sail: /#L0

./c/tests.xml

All 9 runs with error: struct_pattern_partial.sail: /#L0

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

All 6 runs with error: list_mut.sail: /#L0

./c/tests.xml

All 6 runs with error: poly_union_rev.sail: /#L0

./c/tests.xml

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

./c/tests.xml

All 6 runs with error: issue136.sail: /#L0

./c/tests.xml

All 6 runs with error: enum_tup_match.sail: /#L0

./c/tests.xml

All 6 runs with error: option.sail: /#L0

./c/tests.xml

All 6 runs with error: config_register.sail: /#L0

./c/tests.xml

All 9 runs with error: nexp_synonym.sail: /#L0

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

All 6 runs with error: if_opt_typ.sail: /#L0

./c/tests.xml

All 6 runs with error: short_circuit.sail: /#L0

./c/tests.xml

All 6 runs with error: nested_mapping.sail: /#L0

./c/tests.xml

All 6 runs with error: zeros_mapping.sail: /#L0

./c/tests.xml

All 6 runs with error: list_torture.sail: /#L0

./c/tests.xml

All 6 runs with error: infix_include.sail: /#L0

./c/tests.xml

All 6 runs with error: reg_init_let.sail: /#L0

./c/tests.xml

All 6 runs with error: reg_ref_nb.sail: /#L0

./c/tests.xml

All 6 runs with error: cfold_reg.sail: /#L0

./c/tests.xml

All 6 runs with error: pow2.sail: /#L0

./c/tests.xml

All 6 runs with error: shadow_cleanup.sail: /#L0

./c/tests.xml

All 6 runs with error: pr194.sail: /#L0

./c/tests.xml

All 6 runs with error: fail_exception.sail: /#L0

./c/tests.xml

All 6 runs with error: issue202_1.sail: /#L0

./c/tests.xml

All 6 runs with error: cheri128_hsb.sail: /#L0

./c/tests.xml

All 6 runs with error: global_let_shadow.sail: /#L0

./c/tests.xml

All 6 runs with error: small_slice.sail: /#L0

./c/tests.xml

All 6 runs with error: concurrency_interface.sail: /#L0

./c/tests.xml

All 6 runs with error: int_struct_constrained.sail: /#L0

./c/tests.xml

All 6 runs with error: issue232.sail: /#L0

./c/tests.xml

All 6 runs with error: real_prop.sail: /#L0

./c/tests.xml

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

./c/tests.xml

All 6 runs with error: fail_issue203.sail: /#L0

./c/tests.xml

All 6 runs with error: cheri_capreg.sail: /#L0

./c/tests.xml

All 6 runs with error: issue362.sail: /#L0

./c/tests.xml

All 6 runs with error: two_mapping.sail: /#L0

./c/tests.xml

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

./c/tests.xml

All 6 runs with error: bitvector_update2.sail: /#L0

./c/tests.xml

All 6 runs with error: issue243_fixed.sail: /#L0

./c/tests.xml

All 6 runs with error: mapping.sail: /#L0

./c/tests.xml

All 6 runs with error: assign_rename_bug.sail: /#L0

./c/tests.xml

All 6 runs with error: rv_memop.sail: /#L0

./c/tests.xml

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

./c/tests.xml

All 6 runs with error: either_rvbug.sail: /#L0

./c/tests.xml

All 6 runs with error: xlen32.sail: /#L0

./c/tests.xml

All 6 runs with error: poly_outcome.sail: /#L0

./c/tests.xml

All 6 runs with error: tuple_conversion.sail: /#L0

./c/tests.xml

All 6 runs with error: anf_as_pattern.sail: /#L0

./c/tests.xml

All 6 runs with error: struct_fn_arg.sail: /#L0

./c/tests.xml

All 6 runs with error: non_unique.sail: /#L0

./c/tests.xml

All 6 runs with error: bitvector_update.sail: /#L0

./c/tests.xml

All 6 runs with error: list_test.sail: /#L0

./c/tests.xml

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

./c/tests.xml

All 6 runs with error: xlen_val.sail: /#L0

./c/tests.xml

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

./c/tests.xml

All 6 runs with error: either.sail: /#L0

./c/tests.xml

All 6 runs with error: and_block.sail: /#L0

./c/tests.xml

All 6 runs with error: list_rec_functions2.sail: /#L0

./c/tests.xml

All 6 runs with error: constructor247.sail: /#L0

./c/tests.xml

All 6 runs with error: int_struct.sail: /#L0

./c/tests.xml

All 9 runs with error: vector_subrange_pattern.sail: /#L0

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

All 6 runs with error: dead_branch.sail: /#L0

./c/tests.xml

All 6 runs with error: set_struct.sail: /#L0

./c/tests.xml

All 9 runs with error: nonexistent_pragma.sail: /#L0

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

All 6 runs with error: letbind.sail: /#L0

./c/tests.xml

All 6 runs with error: struct_mapping.sail: /#L0

./c/tests.xml

All 6 runs with error: tuple_union.sail: /#L0

./c/tests.xml

All 6 runs with error: rv_format2.sail: /#L0

./c/tests.xml

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

./c/tests.xml

All 6 runs with error: list_scope2.sail: /#L0

./c/tests.xml

All 6 runs with error: fallthrough_exception.sail: /#L0

./c/tests.xml

All 6 runs with error: pattern_concat_nest.sail: /#L0

./c/tests.xml

All 9 runs with error: bool_bits_mapping.sail: /#L0

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

All 6 runs with error: fail_assert_mono_bug.sail: /#L0

./c/tests.xml

All 6 runs with error: poly_mapping.sail: /#L0

./c/tests.xml

All 6 runs with error: empty_list.sail: /#L0

./c/tests.xml

All 6 runs with error: gvectorlit.sail: /#L0

./c/tests.xml

All 6 runs with error: warl2.sail: /#L0

./c/tests.xml

All 6 runs with error: return_register_ref.sail: /#L0

./c/tests.xml

All 6 runs with error: mapping_compose.sail: /#L0

./c/tests.xml

All 6 runs with error: list_scope3.sail: /#L0

./c/tests.xml

All 6 runs with error: flow_restrict.sail: /#L0

./c/tests.xml

All 6 runs with error: toplevel_tyvar.sail: /#L0

./c/tests.xml

All 6 runs with error: undefined_nat.sail: /#L0

./c/tests.xml

All 6 runs with error: vector_example.sail: /#L0

./c/tests.xml

All 6 runs with error: string_of_bits.sail: /#L0

./c/tests.xml

All 6 runs with error: try_return.sail: /#L0

./c/tests.xml

All 9 runs with error: implicits.sail: /#L0

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

All 6 runs with error: warl.sail: /#L0

./c/tests.xml

All 6 runs with error: prelude.sail: /#L0

./c/tests.xml

All 6 runs with error: get_slice_int.sail: /#L0

./c/tests.xml

All 9 runs with error: enum_map.sail: /#L0

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

All 6 runs with error: list_let.sail: /#L0

./c/tests.xml

All 6 runs with error: single_guard.sail: /#L0

./c/tests.xml

All 6 runs with error: match_bind.sail: /#L0

./c/tests.xml

All 6 runs with error: rv_format.sail: /#L0

./c/tests.xml

All 6 runs with error: return_leak.sail: /#L0

./c/tests.xml

All 6 runs with error: string_of_bits2.sail: /#L0

./c/tests.xml

All 6 runs with error: foreach_none.sail: /#L0

./c/tests.xml

All 6 runs with error: pc_no_wildcard.sail: /#L0

./c/tests.xml

All 6 runs with error: extend_simple.sail: /#L0

./c/tests.xml

All 6 runs with error: split.sail: /#L0

./c/tests.xml

All 6 runs with error: list_scope.sail: /#L0

./c/tests.xml

All 6 runs with error: eq_struct.sail: /#L0

./c/tests.xml

All 6 runs with error: int64_vector_literal.sail: /#L0

./c/tests.xml

All 6 runs with error: varswap.sail: /#L0

./c/tests.xml

All 6 runs with error: unconstructed_type_mono.sail: /#L0

./c/tests.xml

All 6 runs with error: loop_exception.sail: /#L0

./c/tests.xml

All 6 runs with error: list_cons_cons.sail: /#L0

./c/tests.xml

All 6 runs with error: string_take.sail: /#L0

./c/tests.xml

All 6 runs with error: option_option.sail: /#L0

./c/tests.xml

All 6 runs with error: single_arg.sail: /#L0

./c/tests.xml

All 6 runs with error: overload_mapping.sail: /#L0

./c/tests.xml

All 6 runs with error: vmatch.sail: /#L0

./c/tests.xml

All 6 runs with error: inc_tests.sail: /#L0

./c/tests.xml

All 6 runs with error: issue232_2.sail: /#L0

./c/tests.xml

All 6 runs with error: encdec.sail: /#L0

./c/tests.xml

All 6 runs with error: double_option.sail: /#L0

./c/tests.xml

All 9 runs with error: shadow_let.sail: /#L0

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

All 6 runs with error: scattered_mapping.sail: /#L0

./c/tests.xml

All 6 runs with error: poly_mapping2.sail: /#L0

./c/tests.xml

All 9 runs with error: new_bitfields.sail: /#L0

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

All 6 runs with error: rv_duopod_bug.sail: /#L0

./c/tests.xml

All 6 runs with error: large_bitvector.sail: /#L0

./c/tests.xml

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

./c/tests.xml

All 9 runs with error: string_literal_type.sail: /#L0

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

All 6 runs with error: tl_poly_match.sail: /#L0

./c/tests.xml

All 6 runs with error: poly_int_record.sail: /#L0

./c/tests.xml

All 9 runs with error: custom_flow.sail: /#L0

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

All 9 runs with error: reg_32_64.sail: /#L0

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

All 6 runs with error: gvector.sail: /#L0

./c/tests.xml

All 9 runs with error: anon_rec.sail: /#L0

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

All 6 runs with error: stack_struct.sail: /#L0

./c/tests.xml

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

./c/tests.xml

All 6 runs with error: unused_poly_ctor.sail: /#L0

./c/tests.xml

All 6 runs with error: issue37.sail: /#L0

./c/tests.xml

All 6 runs with error: fast_signed.sail: /#L0

./c/tests.xml

All 6 runs with error: lib_hex_bits.sail: /#L0

./c/tests.xml

All 6 runs with error: fvector_update.sail: /#L0

./c/tests.xml

All 6 runs with error: for_shadow.sail: /#L0

./c/tests.xml

All 6 runs with error: nested_fields.sail: /#L0

./c/tests.xml

All 6 runs with error: set_struct2.sail: /#L0

./c/tests.xml

All 6 runs with error: pointer_assign.sail: /#L0

./c/tests.xml

All 2 runs with error: sail_mask_2.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: arith_LC32L_2.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: trivial.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: sign_extend_2.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: mem_builtins.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: let_intervene.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: lzcnt_3.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: encdec.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: lteq_int_def.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: trivial_assert.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: trivial_assert_2.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: sqrt.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: reg_ref.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: lt_int_irrefl.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: write_ref.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: concat_prop.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: match_fail.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: trivial_return.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: arith_LC32L_1.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: minmax.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: shiftr_zero_1.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: rv_add_0.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: lzcnt.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: arith_LC32L_4.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: real.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: shift_or_concat.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: shift_or_concat4.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: update_subrange.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: shiftr_zero_1.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: zeros_2.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: basic_1.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: lt_int_trans.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: sail_mask_5.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: basic_1.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: basic_2.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: trivial.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: zeros_1.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: trivial_return.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: zeros_1.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: toplevel_let_trivial.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: foreach_simple.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: inline_regression.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: store_load.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: arith_FFL_1.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: string.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: minmax_1.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: zeros_3.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: shift_or_concat_2.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: rv_add_1.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: string.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: exception_2.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: store_load_scattered.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: arith_FFL_3.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: arith_LCBL.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: arith_FFL_5.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: tl_let_shadow.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: match_fail_query_1.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: add_overflow.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: arith_C128FL.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: arith_C64C32CB.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: rv_add_0.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: shift_or_concat4_2.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: sail_mask_4.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: concat_prop128.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: shift_or_concat_1.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: arith_LC32L_3.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: revrev_endianness.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: match_fail_query_2.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: toplevel_let.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: lzcnt_2.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: sign_extend.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: gvector_trivial.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: order.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: add_overflow.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: lteq_int_trans.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: clear_overflow_regression.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: arith_FFL_2.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: write_ref.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: foreach_simple_2.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: lteq_int_antisym.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: zeros_2.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: gvector.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: lteq_int_refl.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: minmax_2.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: zeros_ones.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: rv_add_decode.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: exception.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: sqrt.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: update_access.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: exception_3.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: basic_2.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: zeros_4.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: arith_LC32L.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: rv_reg_rw.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: zeros_3.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: sail_mask_3.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: arith_FFL_4.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: shift_or_concat128.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: sail_mask.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: rv_add_1.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: ccheri_regression1.unsat.sail: /#L0

./smt/tests.xml

All 2 runs with error: trivial_funcall.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: load_store_dep.sat.sail: /#L0

./smt/tests.xml

All 2 runs with error: inline_test_1.unsat.sail: /#L0

./smt/tests.xml

concurrency_interface_dec.sail with error: /#L0

./typecheck/tests.xml

All 3 runs with error: nlflow.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: poly_vector.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: tuple_type_cast.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: allpats.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: decode_patterns.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: tuple_assign.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: equation_return.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: list_cons2.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

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

./lem/tests.xml

All 3 runs with error: true_false.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: return_simple4.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: tuple_bitvector_int_pat2.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: single_assign_in_block.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 2 runs with error: negative_bits_list.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: foreach_e.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: tautology.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: pow_unify.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

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

./lem/tests.xml

All 3 runs with error: constraint_syn.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 4 runs with error: vector_pattern_split.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: flow_lt1.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: tuple_bitvector_int_pat.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: mapping_clause.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

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

./lem/tests.xml

All 3 runs with error: unsigned_index.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: exist_synonym.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: if_infer.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: complete_pattern_let.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: existential_ast.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: priv_fn_no_val.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: enum_cast.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: multiple_unifiers.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: single_union.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: single_enum.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 2 runs with error: patternrefinement.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: pure_record3.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: bitfield_updates.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: no_val_recur.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: return_simple3.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: cast_lexp2.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: bitvector_param.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: not_pattern.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: arm_types.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

phantom_option.sail with error: /#L0

./typecheck/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

./typecheck/tests.xml

All 2 runs with error: execute_decode_hard.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: guards.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

concurrency_interface_inc.sail with error: /#L0

./typecheck/tests.xml

All 3 runs with error: option_tuple.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: bitfield_updates0.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: vec_length.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: reg_mod.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: constrained_struct.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: eqn_inst.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: plus_one_unify.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: list_cons.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: option_either.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: cast_lexp1.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: constraint_ctor.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: flow_lteq1.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: pure_let_var.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: bind_typ_var.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: crlf.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: exint.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: return_simple2.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: phantom_bitlist_struct.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: type_div.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 2 runs with error: exist_tlb.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: flow_gt1.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: int_synonym.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: floor_pow2.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: vec_pat1.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: reg_option.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 2 runs with error: pow_32_64.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: foreach_var_updates.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: exist_simple.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: lexp_vec.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: exist_subrange.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: fpthreesimp.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: exist1.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: case_simple1.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: existential_ast3.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: pure_record2.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: tuple_bitvector_int_pat3.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: cast_simple.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: pure_let_var2.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: if_return.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: bool_constraint.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: atomcase.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: bool_typ_pat.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: return_simple1.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: existential_ast2.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: modify_type_chain.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: if_var_updates.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: rmem_rmemt_same.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: recursion.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: flow_gteq1.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: flow_lt2.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: overlap_field.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: poly_list.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: scattered_mapping_doc.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: inline_typ.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 2 runs with error: phantom_bitlist_union.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 2 runs with error: existential_constraint_synonym.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 4 runs with error: procstate1.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: while_PP.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: mapping_rreg.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: bitfield_pc.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: inc_prelude.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: nexp_synonym2.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: while_MP.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

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

./lem/tests.xml

All 3 runs with error: case_simple2.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: wf_specs.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: global_type_var.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: add_vec_lit.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 2 runs with error: simple_record_access.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: vector_concat_assign.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: exist_true.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: let_subtyp_bug.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: list_lit.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: phantom_num.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: tyvar_shadow.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: bits_concat_pattern.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: complex_exist_sat.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: outcome_impl_quant.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: mutrec.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: vec_length_inc.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: as_pattern.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: abstract_bool.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: Replicate.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: repeat_constraint.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: short_circuit_bool_ex.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: try_while_try.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: abstract_bool2.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 2 runs with error: vector_append.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: vector_subrange_gen.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: sizeof_fixed.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: string_append_non_exec.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: equation_arguments.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: type_pow_zero.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 2 runs with error: vector_append_gen.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: modify_assignment1.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: mod_var.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: funcl_guard.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: exist2.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

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

./lem/tests.xml

All 3 runs with error: overload_overload.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

All 3 runs with error: dec_prelude.sail: /#L0

./lem/tests.xml ./typecheck/tests.xml

unbound_tyvar.sail with error: /#L0

./typecheck/tests.xml

add_vec_lit_old.sail with error: /#L0

./typecheck/tests.xml

shadow_leak_infer.sail with error: /#L0

./typecheck/tests.xml

shadow_leak_check.sail with error: /#L0

./typecheck/tests.xml

negative_bits_existential.sail with error: /#L0

./typecheck/tests.xml

pub_val_priv_fn.sail with error: /#L0

./typecheck/tests.xml

duplicate_toplevel_let.sail with error: /#L0

./typecheck/tests.xml

bitfield_error.sail with error: /#L0

./typecheck/tests.xml

abstract_bool_inconsistent.sail with error: /#L0

./typecheck/tests.xml

private_function.sail with error: /#L0

./typecheck/tests.xml

unbound_tyvar2.sail with error: /#L0

./typecheck/tests.xml

private_scattered_fn.sail with error: /#L0

./typecheck/tests.xml

undeclared_field_assignment.sail with error: /#L0

./typecheck/tests.xml

private_ctor.sail with error: /#L0

./typecheck/tests.xml

mix_declaration_update.sail with error: /#L0

./typecheck/tests.xml

issue244_2.sail with error: /#L0

./typecheck/tests.xml

struct_incomplete_literal.sail with error: /#L0

./typecheck/tests.xml

mapping_body_private.sail with error: /#L0

./typecheck/tests.xml

nonexistent_overload.sail with error: /#L0

./typecheck/tests.xml

unscope_enum.sail with error: /#L0

./typecheck/tests.xml

undeclared_vector_assignment.sail with error: /#L0

./typecheck/tests.xml

modify_enum2.sail with error: /#L0

./typecheck/tests.xml

unscope_type.sail with error: /#L0

./typecheck/tests.xml

issue244_1.sail with error: /#L0

./typecheck/tests.xml

duplicate_quant.sail with error: /#L0

./typecheck/tests.xml

negative_bits_tuple.sail with error: /#L0

./typecheck/tests.xml

scattered_union_rec.sail with error: /#L0

./typecheck/tests.xml

non_synonym.sail with error: /#L0

./typecheck/tests.xml

negative_bits_struct.sail with error: /#L0

./typecheck/tests.xml

cond_mod.sail with error: /#L0

./typecheck/tests.xml

modify_immutable.sail with error: /#L0

./typecheck/tests.xml

unscope_let.sail with error: /#L0

./typecheck/tests.xml

modify_immutable2.sail with error: /#L0

./typecheck/tests.xml

unscope_register.sail with error: /#L0

./typecheck/tests.xml

no_function2.sail with error: /#L0

./typecheck/tests.xml

private_extension.sail with error: /#L0

./typecheck/tests.xml

negative_bits_union2.sail with error: /#L0

./typecheck/tests.xml

duplicate_type_id2.sail with error: /#L0

./typecheck/tests.xml

empty_vector_infer.sail with error: /#L0

./typecheck/tests.xml

issue244_3.sail with error: /#L0

./typecheck/tests.xml

issue277.sail with error: /#L0

./typecheck/tests.xml

issue244_4.sail with error: /#L0

./typecheck/tests.xml

scattered_function_mod.sail with error: /#L0

./typecheck/tests.xml

negative_bits_union.sail with error: /#L0

./typecheck/tests.xml

modify_enum.sail with error: /#L0

./typecheck/tests.xml

no_function.sail with error: /#L0

./typecheck/tests.xml

negative_bits_struct2.sail with error: /#L0

./typecheck/tests.xml

duplicate_binding.sail with error: /#L0

./typecheck/tests.xml

duplicate_toplevel_let_mod.sail with error: /#L0

./typecheck/tests.xml

no_function3.sail with error: /#L0

./typecheck/tests.xml

issue243.sail with error: /#L0

./typecheck/tests.xml

and_let_bool.sail with error: /#L0

./typecheck/tests.xml

private_union.sail with error: /#L0

./typecheck/tests.xml

unscope_val.sail with error: /#L0

./typecheck/tests.xml

global_false_constraint.sail with error: /#L0

./typecheck/tests.xml

invalid_function_val.sail with error: /#L0

./typecheck/tests.xml

mapping_two_type.sail with error: /#L0

./typecheck/tests.xml

missing_tick.sail with error: /#L0

./typecheck/tests.xml

empty_su.sail with error: /#L0

./typecheck/tests.xml

range.sail with error: /#L0

./pattern_completeness/tests.xml

warn_struct_pattern_incomplete.sail with error: /#L0

./pattern_completeness/tests.xml

warn_empty_list.sail with error: /#L0

./pattern_completeness/tests.xml

set_match.sail with error: /#L0

./pattern_completeness/tests.xml

warn_tuple_bitvector_pat.sail with error: /#L0

./pattern_completeness/tests.xml

some_none.sail with error: /#L0

./pattern_completeness/tests.xml

constrained_function.sail with error: /#L0

./pattern_completeness/tests.xml

warn_missing_enum.sail with error: /#L0

./pattern_completeness/tests.xml

two_argument.sail with error: /#L0

./pattern_completeness/tests.xml

warn_partial_lookup.sail with error: /#L0

./pattern_completeness/tests.xml

warn_cons_wildcard_insert2.sail with error: /#L0

./pattern_completeness/tests.xml

warn_cons_incomplete.sail with error: /#L0

./pattern_completeness/tests.xml

warn_unbounded_int.sail with error: /#L0

./pattern_completeness/tests.xml

lookup.sail with error: /#L0

./pattern_completeness/tests.xml

warn_unbounded_nat.sail with error: /#L0

./pattern_completeness/tests.xml

warn_cannot_wildcard.sail with error: /#L0

./pattern_completeness/tests.xml

warn_cons_wildcard_insert1.sail with error: /#L0

./pattern_completeness/tests.xml

warn_partial_scattered.sail with error: /#L0

./pattern_completeness/tests.xml

warn_double_cons_incomplete.sail with error: /#L0

./pattern_completeness/tests.xml

warn_range_redundant.sail with error: /#L0

./pattern_completeness/tests.xml

unbounded_int_annot.sail with error: /#L0

./pattern_completeness/tests.xml

cons_wildcard_insert.sail with error: /#L0

./pattern_completeness/tests.xml

some_none_int.sail with error: /#L0

./pattern_completeness/tests.xml

constrained_function_scattered.sail with error: /#L0

./pattern_completeness/tests.xml

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 #348

Summary