Folder: fail

package info (click to toggle)

sail-ocaml 0.19.1%2Bdfsg5-1

links: PTS, VCS
area: main
in suites: forky, sid
size: 18,008 kB
sloc: ml: 75,941; ansic: 8,848; python: 1,342; exp: 560; sh: 474; makefile: 218; cpp: 36

			.. (parent)
-	rw-r--r--	229	abstract_bool_inconsistent.expect
-	rw-r--r--	90	abstract_bool_inconsistent.sail
-	rw-r--r--	191	abstract_type_type.expect
-	rw-r--r--	15	abstract_type_type.sail
-	rw-r--r--	481	add_vec_lit_old.expect
-	rw-r--r--	451	add_vec_lit_old.sail
-	rw-r--r--	662	and_let_bool.expect
-	rw-r--r--	279	assignment_simple.expect
-	rw-r--r--	181	assignment_simple.sail
-	rw-r--r--	314	bitfield_bits_field.expect
-	rw-r--r--	92	bitfield_bits_field.sail
-	rw-r--r--	626	bitfield_error.expect
-	rw-r--r--	89	bitfield_error.sail
-	rw-r--r--	235	bv_update_error.expect
-	rw-r--r--	203	bv_update_error.sail
-	rw-r--r--	673	cond_mod.expect
-	rw-r--r--	194	cond_mod.sail
-	rw-r--r--	208	config_non_bit.expect
-	rw-r--r--	54	config_non_bit.json
-	rw-r--r--	163	config_non_bit.sail
-	rw-r--r--	492	config_subkey.expect
-	rw-r--r--	173	config_subkey.sail
-	rw-r--r--	417	double_struct_update.expect
-	rw-r--r--	218	double_struct_update.sail
-	rw-r--r--	431	duplicate_binding.expect
-	rw-r--r--	116	duplicate_binding.sail
-	rw-r--r--	211	duplicate_builtin.expect
-	rw-r--r--	21	duplicate_builtin.sail
-	rw-r--r--	444	duplicate_ctor.expect
-	rw-r--r--	56	duplicate_ctor.sail
-	rw-r--r--	323	duplicate_enum_member.expect
-	rw-r--r--	27	duplicate_enum_member.sail
-	rw-r--r--	418	duplicate_quant.expect
-	rw-r--r--	133	duplicate_quant.sail
-	rw-r--r--	312	duplicate_toplevel_let.expect
-	rw-r--r--	128	duplicate_toplevel_let.sail
-	rw-r--r--	327	duplicate_toplevel_let_mod.expect
-	rw-r--r--	144	duplicate_toplevel_let_mod.sail
-	rw-r--r--	402	duplicate_type_id.expect
-	rw-r--r--	58	duplicate_type_id.sail
-	rw-r--r--	390	duplicate_type_id2.expect
-	rw-r--r--	46	duplicate_type_id2.sail
-	rw-r--r--	406	duplicate_type_id3.expect
-	rw-r--r--	59	duplicate_type_id3.sail
-	rw-r--r--	409	duplicate_type_id4.expect
-	rw-r--r--	60	duplicate_type_id4.sail
-	rw-r--r--	391	duplicate_type_id5.expect
-	rw-r--r--	47	duplicate_type_id5.sail
-	rw-r--r--	381	duplicate_type_id6.expect
-	rw-r--r--	162	duplicate_type_id6.sail
-	rw-r--r--	180	empty_su.expect
-	rw-r--r--	72	empty_su.sail
-	rw-r--r--	179	empty_vector_infer.expect
-	rw-r--r--	113	empty_vector_infer.sail
-	rw-r--r--	615	encdec_unknown_and_error.expect
-	rw-r--r--	235	encdec_unknown_and_error.sail
-	rw-r--r--	803	enum_function_override.expect
-	rw-r--r--	249	enum_function_override.sail
-	rw-r--r--	253	enum_functions_partial.expect
-	rw-r--r--	109	enum_functions_partial.sail
-	rw-r--r--	401	enum_shadow.expect
-	rw-r--r--	55	enum_shadow.sail
-	rw-r--r--	330	enum_shadow_let.expect
-	rw-r--r--	52	enum_shadow_let.sail
-	rw-r--r--	331	enum_shadow_reg.expect
-	rw-r--r--	57	enum_shadow_reg.sail
-	rw-r--r--	423	enum_vector_scattered_dup.expect
-	rw-r--r--	167	enum_vector_scattered_dup.sail
-	rw-r--r--	407	enumunion.expect
-	rw-r--r--	228	enumunion.sail
-	rw-r--r--	224	global_false_constraint.expect
-	rw-r--r--	18	global_false_constraint.sail
-	rw-r--r--	253	implicit_loc.expect
-	rw-r--r--	208	implicit_loc.sail
-	rw-r--r--	734	infer_if_error.expect
-	rw-r--r--	52	infer_if_error.sail
-	rw-r--r--	321	invalid_function_val.expect
-	rw-r--r--	87	invalid_function_val.sail
-	rw-r--r--	654	issue243.expect
-	rw-r--r--	347	issue243.sail
-	rw-r--r--	272	issue244_1.expect
-	rw-r--r--	238	issue244_1.sail
-	rw-r--r--	272	issue244_2.expect
-	rw-r--r--	238	issue244_2.sail
-	rw-r--r--	542	issue244_3.expect
-	rw-r--r--	240	issue244_3.sail
-	rw-r--r--	288	issue244_4.expect
-	rw-r--r--	243	issue244_4.sail
-	rw-r--r--	282	issue277.expect
-	rw-r--r--	162	issue277.sail
-	rw-r--r--	260	issue775.expect
-	rw-r--r--	268	issue775.sail
-	rw-r--r--	259	issue853.expect
-	rw-r--r--	82	issue853.sail
-	rw-r--r--	251	issue853_2.expect
-	rw-r--r--	108	issue853_2.sail
-	rw-r--r--	272	issue853_3.expect
-	rw-r--r--	510	issue853_3.sail
-	rw-r--r--	390	mapping_body_private.expect
-	rw-r--r--	189	mapping_body_private.sail
-	rw-r--r--	816	mapping_length_mismatch.expect
-	rw-r--r--	147	mapping_length_mismatch.sail
-	rw-r--r--	392	mapping_two_type.expect
-	rw-r--r--	110	mapping_two_type.sail
-	rw-r--r--	788	missing_tick.expect
-	rw-r--r--	120	missing_tick.sail
-	rw-r--r--	424	mix_declaration_update.expect
-	rw-r--r--	133	mix_declaration_update.sail
-	rw-r--r--	195	modify_enum.expect
-	rw-r--r--	122	modify_enum.sail
-	rw-r--r--	202	modify_enum2.expect
-	rw-r--r--	125	modify_enum2.sail
-	rw-r--r--	200	modify_immutable.expect
-	rw-r--r--	119	modify_immutable.sail
-	rw-r--r--	222	modify_immutable2.expect
-	rw-r--r--	129	modify_immutable2.sail
-	rw-r--r--	217	mp_tuple_loc.expect
-	rw-r--r--	197	mp_tuple_loc.sail
-	rw-r--r--	933	negative_bits_existential.expect
-	rw-r--r--	175	negative_bits_existential.sail
-	rw-r--r--	495	negative_bits_list.expect
-	rw-r--r--	130	negative_bits_list.sail
-	rw-r--r--	510	negative_bits_struct.expect
-	rw-r--r--	225	negative_bits_struct.sail
-	rw-r--r--	857	negative_bits_struct2.expect
-	rw-r--r--	159	negative_bits_struct2.sail
-	rw-r--r--	506	negative_bits_tuple.expect
-	rw-r--r--	136	negative_bits_tuple.sail
-	rw-r--r--	897	negative_bits_union.expect
-	rw-r--r--	177	negative_bits_union.sail
-	rw-r--r--	916	negative_bits_union2.expect
-	rw-r--r--	296	negative_bits_union2.sail
-	rw-r--r--	232	negindex_vector_concat.expect
-	rw-r--r--	139	negindex_vector_concat.sail
-	rw-r--r--	260	negindex_vector_concat_annot.expect
-	rw-r--r--	150	negindex_vector_concat_annot.sail
-	rw-r--r--	199	no_function.expect
-	rw-r--r--	151	no_function.sail
-	rw-r--r--	197	no_function2.expect
-	rw-r--r--	123	no_function2.sail
-	rw-r--r--	173	no_function3.expect
-	rw-r--r--	94	no_function3.sail
-	rw-r--r--	213	no_possible_overload.expect
-	rw-r--r--	184	no_possible_overload.sail
-	rw-r--r--	202	non_bool_if.expect
-	rw-r--r--	33	non_bool_if.sail
-	rw-r--r--	526	non_synonym.expect
-	rw-r--r--	115	non_synonym.sail
-	rw-r--r--	433	nonexistent_overload.expect
-	rw-r--r--	79	nonexistent_overload.sail
-	rw-r--r--	487	outcome_mismatch_var.expect
-	rw-r--r--	143	outcome_mismatch_var.sail
-	rw-r--r--	172	outcome_unknown.expect
-	rw-r--r--	37	outcome_unknown.sail
-	rw-r--r--	357	overload_bound.expect
-	rw-r--r--	46	overload_bound.sail
-	rw-r--r--	387	overload_member_scope.expect
-	rw-r--r--	636	overload_member_scope.sail
-	rw-r--r--	727	poly_ab_mapping.expect
-	rw-r--r--	150	poly_ab_mapping.sail
-	rw-r--r--	302	poly_struct_phantom.expect
-	rw-r--r--	220	poly_struct_phantom.sail
-	rw-r--r--	403	prelude_no_order.expect
-	rw-r--r--	53	prelude_no_order.sail
-	rw-r--r--	204	private_clause.expect
-	rw-r--r--	101	private_clause.sail
-	rw-r--r--	393	private_ctor.expect
-	rw-r--r--	246	private_ctor.sail
-	rw-r--r--	343	private_extension.expect
-	rw-r--r--	267	private_extension.sail
-	rw-r--r--	413	private_function.expect
-	rw-r--r--	241	private_function.sail
-	rw-r--r--	413	private_scattered_enum.expect
-	rw-r--r--	182	private_scattered_enum.sail
-	rw-r--r--	410	private_scattered_fn.expect
-	rw-r--r--	218	private_scattered_fn.sail
-	rw-r--r--	420	private_scattered_map.expect
-	rw-r--r--	231	private_scattered_map.sail
-	rw-r--r--	426	private_scattered_union.expect
-	rw-r--r--	199	private_scattered_union.sail
-	rw-r--r--	720	private_union.expect
-	rw-r--r--	246	private_union.sail
-	rw-r--r--	914	procstate1.expect
-	rw-r--r--	342	procstate1.sail
-	rw-r--r--	403	pub_val_priv_fn.expect
-	rw-r--r--	280	pub_val_priv_fn.sail
-	rw-r--r--	400	reg_fn_shadow.expect
-	rw-r--r--	189	reg_fn_shadow.sail
-	rw-r--r--	717	scattered_enum_mod.expect
-	rw-r--r--	255	scattered_enum_mod.sail
-	rw-r--r--	705	scattered_function_mod.expect
-	rw-r--r--	284	scattered_function_mod.sail
-	rw-r--r--	698	scattered_map_mod.expect
-	rw-r--r--	302	scattered_map_mod.sail
-	rw-r--r--	711	scattered_union_mod.expect
-	rw-r--r--	271	scattered_union_mod.sail
-	rw-r--r--	1,191	scattered_union_rec.expect
-	rw-r--r--	66	scattered_union_rec.sail
-	rw-r--r--	201	shadow_leak_infer.expect
-	rw-r--r--	322	shadow_leak_infer.sail
-	rw-r--r--	197	strict_var.expect
-	rw-r--r--	92	strict_var.sail
-	rw-r--r--	427	struct_bad_name.expect
-	rw-r--r--	226	struct_bad_name.sail
-	rw-r--r--	257	struct_incomplete_literal.expect
-	rw-r--r--	122	struct_incomplete_literal.sail
-	rw-r--r--	422	struct_pattern_duplicate_field.expect
-	rw-r--r--	202	struct_pattern_duplicate_field.sail
-	rw-r--r--	773	struct_rec.expect
-	rw-r--r--	28	struct_rec.sail
-	rw-r--r--	163	synonym_rec.expect
-	rw-r--r--	12	synonym_rec.sail
-	rw-r--r--	238	test_not_unit_0.expect
-	rw-r--r--	187	test_not_unit_0.sail
-	rw-r--r--	252	test_not_unit_1.expect
-	rw-r--r--	97	test_not_unit_1.sail
-	rw-r--r--	274	test_not_unit_2.expect
-	rw-r--r--	108	test_not_unit_2.sail
-	rw-r--r--	226	test_not_unit_3.expect
-	rw-r--r--	109	test_not_unit_3.sail
-	rw-r--r--	366	test_not_unit_4.expect
-	rw-r--r--	111	test_not_unit_4.sail
-	rw-r--r--	497	tuple_lexp1.expect
-	rw-r--r--	150	tuple_lexp1.sail
-	rw-r--r--	460	tuple_lexp2.expect
-	rw-r--r--	142	tuple_lexp2.sail
-	rw-r--r--	602	unbound_tyvar.expect
-	rw-r--r--	105	unbound_tyvar.sail
-	rw-r--r--	550	unbound_tyvar2.expect
-	rw-r--r--	121	unbound_tyvar2.sail
-	rw-r--r--	226	undeclared_field_assignment.expect
-	rw-r--r--	106	undeclared_field_assignment.sail
-	rw-r--r--	226	undeclared_vector_assignment.expect
-	rw-r--r--	105	undeclared_vector_assignment.sail
-	rw-r--r--	181	undefined_infer.expect
-	rw-r--r--	18	undefined_infer.sail
-	rw-r--r--	416	union_field.expect
-	rw-r--r--	173	union_field.sail
-	rw-r--r--	223	union_field_set.expect
-	rw-r--r--	176	union_field_set.sail
-	rw-r--r--	762	union_rec.expect
-	rw-r--r--	26	union_rec.sail
-	rw-r--r--	780	union_recf.expect
-	rw-r--r--	31	union_recf.sail
-	rw-r--r--	414	unionenum.expect
-	rw-r--r--	228	unionenum.sail
-	rw-r--r--	212	unknown_end.expect
-	rw-r--r--	20	unknown_end.sail
-	rw-r--r--	440	unscope_enum.expect
-	rw-r--r--	199	unscope_enum.sail
-	rw-r--r--	427	unscope_let.expect
-	rw-r--r--	215	unscope_let.sail
-	rw-r--r--	434	unscope_register.expect
-	rw-r--r--	206	unscope_register.sail
-	rw-r--r--	763	unscope_type.expect
-	rw-r--r--	216	unscope_type.sail
-	rw-r--r--	507	unscope_val.expect
-	rw-r--r--	160	unscope_val.sail
-	rw-r--r--	253	vector_lit_length.expect
-	rw-r--r--	89	vector_lit_length.sail
-	rw-r--r--	256	vector_pattern_split.expect
-	rw-r--r--	222	vector_pattern_split.sail
-	rw-r--r--	434	wf_assign_type.expect
-	rw-r--r--	152	wf_assign_type.sail