Skip to content

checkout ver fix another, trouble with v4 #48

checkout ver fix another, trouble with v4

checkout ver fix another, trouble with v4 #48

GitHub Actions / Test Results succeeded Jun 13, 2024 in 0s

All 355 tests pass in 0s

  5 files   -     4    8 suites   - 12   0s ⏱️ ±0s
355 tests  -   260  355 ✅  -   260  0 💤 ±0  0 ❌ ±0 
766 runs   - 1 212  766 ✅  - 1 211  0 💤  - 1  0 ❌ ±0 

Results for commit ab580b5. ± Comparison against earlier commit df5b6fa.

Annotations

Check notice on line 0 in .github

@github-actions github-actions / Test Results

355 tests found

There are 355 tests, see "Raw output" for the full list of tests.
Raw output
Replicate.sail
abstract_bool.sail
abstract_bool2.sail
abstract_bool_inconsistent.sail
add_real.sail
add_vec_exts_no_annot.sail
add_vec_exts_no_annot_overload.sail
add_vec_lit.sail
add_vec_lit_old.sail
allpats.sail
and_let_bool.sail
anon_rec.sail
arm_FPEXC1.sail
arm_types.sail
as_pattern.sail
assignment_simple.sail
atomcase.sail
bad_option_pragma.sail
bad_option_pragma2.sail
bind_typ_var.sail
bitfield_abs.sail
bitfield_error.sail
bitfield_exponential.sail
bitfield_mod.sail
bitfield_pc.sail
bitfield_updates.sail
bitfield_updates0.sail
bits_concat_pattern.sail
bitvector_param.sail
bitwise_not.sail
bitwise_not_gen.sail
bitwise_not_x3.sail
bool_bits_mapping.sail
bool_constraint.sail
bool_typ_pat.sail
built bitfield/
built for_bounds/
built hello_world/
built is_x_subrange/
built loop/
built lsl/
built new_bitfields/
built pattern1/
built pure_rebind/
built reg_alias/
built reg_passing/
built reg_ref/
built short_circuit/
built string_equality/
built string_of_struct/
built trycatch/
built types/
built vec_32_64/
built void/
bv_simple_index_bit.sail
bv_update_error.sail
case_simple1.sail
case_simple2.sail
cast_lexp1.sail
cast_lexp2.sail
cast_simple.sail
commentfix.sail
complete_pattern_let.sail
complex_exist_sat.sail
concurrency_interface_dec.sail
concurrency_interface_inc.sail
cond_mod.sail
cons_pattern.sail
cons_pattern_synonym.sail
cons_wildcard_insert.sail
constrained_function.sail
constrained_function_scattered.sail
constrained_struct.sail
constraint_ctor.sail
constraint_syn.sail
cr_invisible.sail
crlf.sail
custom_flow.sail
dec_prelude.sail
decode_patterns.sail
default_order.sail
deinfix_plus.sail
doc_comment_eof.sail
duplicate_binding.sail
duplicate_builtin.sail
duplicate_ctor.sail
duplicate_quant.sail
duplicate_toplevel_let.sail
duplicate_toplevel_let_mod.sail
duplicate_type_id.sail
duplicate_type_id2.sail
duplicate_type_id3.sail
duplicate_type_id4.sail
duplicate_type_id5.sail
duplicate_type_id6.sail
empty_su.sail
empty_vector_infer.sail
enum_cast.sail
enum_map.sail
eqn_inst.sail
equation_arguments.sail
equation_return.sail
ex_cast.sail
execute_decode_hard.sail
exint.sail
exist1.sail
exist2.sail
exist_simple.sail
exist_subrange.sail
exist_synonym.sail
exist_tlb.sail
exist_true.sail
existential_ast.sail
existential_ast2.sail
existential_ast3.sail
existential_constraint_synonym.sail
exit1.sail
exit2.sail
exit3.sail
extended_ascii.sail
extension_constructor.sail
floor_pow2.sail
flow_gt1.sail
flow_gteq1.sail
flow_lt1.sail
flow_lt2.sail
flow_lteq1.sail
foreach_e.sail
foreach_var_updates.sail
fpthreesimp.sail
funcl_guard.sail
function_namespace.sail
global_false_constraint.sail
global_type_var.sail
guards.sail
help_option_pragma.sail
if_infer.sail
if_return.sail
if_var_updates.sail
illegal_escape.sail
implicits.sail
import_reserved.sail
inc_prelude.sail
inline_typ.sail
int_pattern.sail
int_synonym.sail
invalid_function_val.sail
issue243.sail
issue244_1.sail
issue244_2.sail
issue244_3.sail
issue244_4.sail
issue250.sail
issue277.sail
issue434.sail
let_subtyp_bug.sail
lexp_vec.sail
line_comment_eof.sail
list_cons.sail
list_cons2.sail
list_lit.sail
lookup.sail
lt_flow.sail
mapping_body_private.sail
mapping_clause.sail
mapping_rreg.sail
mapping_two_type.sail
missing_tick.sail
mix_declaration_update.sail
mod_var.sail
modify_assignment1.sail
modify_enum.sail
modify_enum2.sail
modify_immutable.sail
modify_immutable2.sail
modify_type_chain.sail
module_reserved.sail
multiple_unifiers.sail
mutrec.sail
nat_set.sail
negative_bits_existential.sail
negative_bits_list.sail
negative_bits_struct.sail
negative_bits_struct2.sail
negative_bits_tuple.sail
negative_bits_union.sail
negative_bits_union2.sail
new_bitfields.sail
nexp_synonym.sail
nexp_synonym2.sail
nlflow.sail
no_function.sail
no_function2.sail
no_function3.sail
no_val_recur.sail
non_synonym.sail
nonexistent_overload.sail
nonexistent_pragma.sail
not_pattern.sail
nzcv.sail
option_either.sail
option_tuple.sail
outcome_impl.sail
outcome_impl_quant.sail
overlap_field.sail
overload_bound.sail
overload_member_scope.sail
overload_overload.sail
overload_plus.sail
pat_completeness.sail
patternrefinement.sail
phantom_bitlist_struct.sail
phantom_bitlist_union.sail
phantom_num.sail
phantom_option.sail
plus_one_unify.sail
poly_list.sail
poly_vector.sail
pow_32_64.sail
pow_unify.sail
pragma_block.sail
prelude_no_order.sail
priv_fn_no_val.sail
private_clause.sail
private_ctor.sail
private_extension.sail
private_function.sail
private_scattered_enum.sail
private_scattered_fn.sail
private_scattered_map.sail
private_scattered_union.sail
private_union.sail
procstate1.sail
pub_val_priv_fn.sail
pure_let_var.sail
pure_let_var2.sail
pure_record.sail
pure_record2.sail
pure_record3.sail
range.sail
real.sail
recursion.sail
reg_32_64.sail
reg_list.sail
reg_mod.sail
reg_option.sail
reg_ref.sail
repeat_constraint.sail
return_simple1.sail
return_simple2.sail
return_simple3.sail
return_simple4.sail
rmem_rmemt_same.sail
scattered_enum.sail
scattered_enum_mod.sail
scattered_function_mod.sail
scattered_map_mod.sail
scattered_mapping_doc.sail
scattered_union_doc.sail
scattered_union_mod.sail
scattered_union_rec.sail
set_match.sail
shadow_leak_check.sail
shadow_leak_infer.sail
shadow_let.sail
short_circuit_bool_ex.sail
simple_record_access.sail
simple_scattered.sail
single_assign_in_block.sail
single_enum.sail
single_union.sail
sizeof_fixed.sail
some_none.sail
some_none_int.sail
strict_var.sail
string_append_non_exec.sail
string_literal_type.sail
struct_incomplete_literal.sail
struct_pattern.sail
struct_pattern_duplicate_field.sail
struct_pattern_partial.sail
struct_rec.sail
synonym_rec.sail
synth_ex_vs.sail
tautology.sail
true_false.sail
try_while_try.sail
tuple_assign.sail
tuple_bitvector_int_pat.sail
tuple_bitvector_int_pat2.sail
tuple_bitvector_int_pat3.sail
tuple_fun.sail
tuple_type_cast.sail
two_argument.sail
type_div.sail
type_if_then_else.sail
type_if_then_else_alt.sail
type_pow_zero.sail
tyvar_shadow.sail
unbalanced_comment.sail
unbalanced_comment2.sail
unbound_tyvar.sail
unbound_tyvar2.sail
unbounded_int_annot.sail
undeclared_field_assignment.sail
undeclared_vector_assignment.sail
undefined_infer.sail
union_infer.sail
union_rec.sail
union_recf.sail
unknown_operator.sail
unscope_enum.sail
unscope_let.sail
unscope_register.sail
unscope_type.sail
unscope_val.sail
unsigned_index.sail
unterminated_ifdef.sail
unterminated_string.sail
varity.sail
vec_length.sail
vec_length_inc.sail
vec_pat1.sail
vector_access.sail
vector_access_dec.sail
vector_append.sail
vector_append_gen.sail
vector_concat_assign.sail
vector_pattern_split.sail
vector_subrange_gen.sail
vector_subrange_pattern.sail
warn_cannot_wildcard.sail
warn_cons_incomplete.sail
warn_cons_wildcard_insert1.sail
warn_cons_wildcard_insert2.sail
warn_double_cons_incomplete.sail
warn_empty_list.sail
warn_int_pattern.sail
warn_missing_enum.sail
warn_partial_lookup.sail
warn_partial_scattered.sail
warn_range_redundant.sail
warn_struct_pattern_incomplete.sail
warn_tuple_bitvector_pat.sail
warn_unbounded_int.sail
warn_unbounded_nat.sail
wf_assign_type.sail
wf_register_type.sail
wf_specs.sail
while_MM.sail
while_MP.sail
while_PM.sail
while_PP.sail
wildcard_mapping.sail
zero_length_bv.sail