verifier « tests « compiler - lrl - [not maintained] LRL Programming Language (predecessor of SLUL)

Mode	Name	Size
-rw-r--r--	assignability.bad	1511	log plain
-rw-r--r--	assignability.good	855	log plain
-rw-r--r--	assignability_private.bad	191	log plain
-rw-r--r--	constexpr_reuse.bad	157	log plain
-rw-r--r--	constexpr_reuse.good	441	log plain
-rw-r--r--	def_allocatable.bad	214	log plain
-rw-r--r--	def_allocatable.good	189	log plain
-rw-r--r--	def_incomplete_generic.good	64	log plain
-rw-r--r--	def_quals.bad	559	log plain
-rw-r--r--	def_quals.good	272	log plain
-rw-r--r--	def_ref.bad	142	log plain
-rw-r--r--	def_type_cyclic.bad	2012	log plain
-rw-r--r--	def_type_duplicate.bad	67	log plain
-rw-r--r--	def_type_typeparam.bad	238	log plain
-rw-r--r--	def_type_typeparam.good	643	log plain
-rw-r--r--	expr_arrayindex.good	336	log plain
-rw-r--r--	expr_arrayliteral.bad	871	log plain
-rw-r--r--	expr_arrayliteral.good	486	log plain
-rw-r--r--	expr_arrayliteral_index.good	156	log plain
-rw-r--r--	expr_arraytypes.good	620	log plain
-rw-r--r--	expr_assign.bad	477	log plain
-rw-r--r--	expr_assign_types.bad	90	log plain
-rw-r--r--	expr_assign_types.good	96	log plain
-rw-r--r--	expr_call.bad	107	log plain
-rw-r--r--	expr_comparison.bad	555	log plain
-rw-r--r--	expr_comparison.good	453	log plain
-rw-r--r--	expr_constexpr.bad	1099	log plain
-rw-r--r--	expr_constexpr.good	3600	log plain
-rw-r--r--	expr_constexpr_limits.bad	983	log plain
-rw-r--r--	expr_constexpr_limits.good	1717	log plain
-rw-r--r--	expr_determine_type.bad	407	log plain
-rw-r--r--	expr_determine_type.good	467	log plain
-rw-r--r--	expr_enumbase.bad	215	log plain
-rw-r--r--	expr_enumbase.good	289	log plain
-rw-r--r--	expr_float_nan.bad	89	log plain
-rw-r--r--	expr_float_nan.good	142	log plain
-rw-r--r--	expr_member.bad	105	log plain
-rw-r--r--	expr_member.good	250	log plain
-rw-r--r--	expr_memberfunction.bad	796	log plain
-rw-r--r--	expr_memberfunction.good	419	log plain
-rw-r--r--	expr_none_compare.good	420	log plain
-rw-r--r--	expr_notused.bad	429	log plain
-rw-r--r--	expr_notused.good	68	log plain
-rw-r--r--	expr_numberliterals.good	2322	log plain
-rw-r--r--	expr_optional_assign.good	141	log plain
-rw-r--r--	expr_ptr_deref.good	379	log plain
-rw-r--r--	expr_quals.good	1840	log plain
-rw-r--r--	expr_string_index.bad	59	log plain
-rw-r--r--	expr_string_index.good	75	log plain
-rw-r--r--	expr_typeassert.bad	1071	log plain
-rw-r--r--	expr_typeassert.good	316	log plain
-rw-r--r--	expr_typeident.bad	356	log plain
-rw-r--r--	expr_typeident.good	1080	log plain
-rw-r--r--	expr_typeparam_func.good	719	log plain
-rw-r--r--	expr_typeparam_types.bad	664	log plain
-rw-r--r--	expr_typeparam_types.good	1462	log plain
-rw-r--r--	expr_types.bad	1305	log plain
-rw-r--r--	expr_types.good	884	log plain
-rw-r--r--	expr_types_numbers.bad	1227	log plain
-rw-r--r--	expr_types_numbers.good	2922	log plain
-rw-r--r--	expr_varargs.bad	315	log plain
-rw-r--r--	expr_varargs.good	341	log plain
-rw-r--r--	ident_functions.good	116	log plain
-rw-r--r--	ident_growhashmap.good	25637	log plain
-rw-r--r--	ident_selfref.good	83	log plain
-rw-r--r--	import_nonexistent.bad	144	log plain
-rw-r--r--	import_overwrite.bad	54	log plain
-rw-r--r--	sizeof.bad	488	log plain
-rw-r--r--	sizeof.good	1139	log plain
-rw-r--r--	special_pointers.bad	139	log plain
-rw-r--r--	special_pointers.good	1513	log plain
-rw-r--r--	statement_for.bad	693	log plain
-rw-r--r--	statement_for_array.bad	207	log plain
-rw-r--r--	statement_for_array.good	213	log plain
-rw-r--r--	statement_for_direct.good	611	log plain
-rw-r--r--	statement_if.bad	163	log plain
-rw-r--r--	statement_if.good	115	log plain
-rw-r--r--	statement_return.bad	229	log plain
-rw-r--r--	statement_return.good	162	log plain
-rw-r--r--	statement_switch.bad	215	log plain
-rw-r--r--	statement_typeassert.bad	1067	log plain
-rw-r--r--	statement_typeassert.good	441	log plain
-rw-r--r--	statement_while.bad	126	log plain
-rw-r--r--	statement_while.good	142	log plain
-rw-r--r--	type_any.bad	53	log plain
-rw-r--r--	type_any.good	136	log plain
-rw-r--r--	type_arraylength.bad	1008	log plain
-rw-r--r--	type_arraylength.good	820	log plain
-rw-r--r--	type_compat_optional.bad	418	log plain
-rw-r--r--	type_compat_optional.good	276	log plain
-rw-r--r--	type_compatibility.bad	1300	log plain
-rw-r--r--	type_compatibility.good	1386	log plain
-rw-r--r--	type_compatibility_generic.bad	599	log plain
-rw-r--r--	type_compatibility_generic.good	635	log plain
-rw-r--r--	type_compatibility_literals.bad	255	log plain
-rw-r--r--	type_compatibility_literals.good	187	log plain
-rw-r--r--	type_compatibility_pointer.bad	141	log plain
-rw-r--r--	type_compatibility_struct.bad	686	log plain
-rw-r--r--	type_compatibility_struct.good	324	log plain
-rw-r--r--	type_compatibility_union.bad	575	log plain
-rw-r--r--	type_compatibility_union.good	312	log plain
-rw-r--r--	type_function.bad	414	log plain
-rw-r--r--	type_generic_deep.bad	226	log plain
-rw-r--r--	type_generic_deep.good	209	log plain
-rw-r--r--	type_generic_incomplete.bad	398	log plain
-rw-r--r--	type_generic_incomplete.good	885	log plain
-rw-r--r--	type_generic_misc.good	490	log plain
-rw-r--r--	typedef_alias.good	562	log plain
-rw-r--r--	typedef_array.bad	305	log plain
-rw-r--r--	typedef_array.good	137	log plain
-rw-r--r--	typedef_bitfield.bad	135	log plain
-rw-r--r--	typedef_bitfield.good	858	log plain
-rw-r--r--	typedef_enum.bad	238	log plain
-rw-r--r--	typedef_enum.good	415	log plain
-rw-r--r--	typedef_identifiers.bad	33	log plain
-rw-r--r--	typedef_identifiers.good	48	log plain
-rw-r--r--	typedef_incomplete.bad	633	log plain
-rw-r--r--	typedef_incomplete.good	260	log plain
-rw-r--r--	typedef_recursive.good	99	log plain