typecheck « test - forks/wabt.git -

Mode	Name	Size
-rw-r--r--	bad-assertreturn-invoke-type-mismatch.txt	340	log plain
-rw-r--r--	bad-assertreturn-type-mismatch.txt	333	log plain
-rw-r--r--	bad-atomic-no-shared-memory.txt	18158	log plain
-rw-r--r--	bad-atomic-type-mismatch.txt	62249	log plain
-rw-r--r--	bad-binary-type-mismatch-1.txt	288	log plain
-rw-r--r--	bad-binary-type-mismatch-2.txt	286	log plain
-rw-r--r--	bad-block-multi-mismatch.txt	1300	log plain
-rw-r--r--	bad-br_on_exn-label-type-mismatch.txt	356	log plain
-rw-r--r--	bad-br_on_exn-mismatch.txt	318	log plain
-rw-r--r--	bad-br_on_exn-result-mismatch.txt	312	log plain
-rw-r--r--	bad-brtable-type-mismatch.txt	378	log plain
-rw-r--r--	bad-bulk-memory-invalid-segment.txt	1073	log plain
-rw-r--r--	bad-bulk-memory-no-memory.txt	1462	log plain
-rw-r--r--	bad-bulk-memory-no-table.txt	993	log plain
-rw-r--r--	bad-bulk-memory-type-mismatch.txt	1201	log plain
-rw-r--r--	bad-call-result-mismatch.txt	1286	log plain
-rw-r--r--	bad-call-type-mismatch.txt	281	log plain
-rw-r--r--	bad-callimport-type-mismatch.txt	287	log plain
-rw-r--r--	bad-callindirect-func-type-mismatch.txt	351	log plain
-rw-r--r--	bad-callindirect-type-mismatch.txt	431	log plain
-rw-r--r--	bad-cast-type-mismatch.txt	302	log plain
-rw-r--r--	bad-compare-type-mismatch-1.txt	281	log plain
-rw-r--r--	bad-compare-type-mismatch-2.txt	281	log plain
-rw-r--r--	bad-convert-type-mismatch.txt	291	log plain
-rw-r--r--	bad-empty-catch.txt	267	log plain
-rw-r--r--	bad-event-results.txt	258	log plain
-rw-r--r--	bad-expr-if.txt	316	log plain
-rw-r--r--	bad-function-result-type-mismatch.txt	273	log plain
-rw-r--r--	bad-global-getglobal-type-mismatch.txt	335	log plain
-rw-r--r--	bad-global-no-init-expr.txt	424	log plain
-rw-r--r--	bad-global-type-mismatch.txt	286	log plain
-rw-r--r--	bad-grow-memory-type-mismatch.txt	292	log plain
-rw-r--r--	bad-if-condition-type-mismatch.txt	322	log plain
-rw-r--r--	bad-if-multi-mismatch.txt	2012	log plain
-rw-r--r--	bad-if-type-mismatch.txt	330	log plain
-rw-r--r--	bad-if-value-void.txt	341	log plain
-rw-r--r--	bad-invoke-type-mismatch.txt	274	log plain
-rw-r--r--	bad-load-type-mismatch.txt	271	log plain
-rw-r--r--	bad-loop-multi-mismatch.txt	1281	log plain
-rw-r--r--	bad-nested-br.txt	565	log plain
-rw-r--r--	bad-no-shared-memory.txt	220	log plain
-rw-r--r--	bad-reference-types-no-table.txt	445	log plain
-rw-r--r--	bad-return-type-mismatch.txt	258	log plain
-rw-r--r--	bad-returncall-type-mismatch.txt	2150	log plain
-rw-r--r--	bad-returncallindirect-no-table.txt	365	log plain
-rw-r--r--	bad-returncallindirect-type-mismatch.txt	2591	log plain
-rw-r--r--	bad-select-cond.txt	301	log plain
-rw-r--r--	bad-select-value0.txt	297	log plain
-rw-r--r--	bad-select-value1.txt	297	log plain
-rw-r--r--	bad-setlocal-type-mismatch.txt	275	log plain
-rw-r--r--	bad-simd-lane.txt	4168	log plain
-rw-r--r--	bad-store-index-type-mismatch.txt	301	log plain
-rw-r--r--	bad-unary-type-mismatch.txt	267	log plain
-rw-r--r--	br-multi.txt	597	log plain
-rw-r--r--	br-table-loop.txt	286	log plain
-rw-r--r--	brif-multi.txt	824	log plain
-rw-r--r--	brtable-multi.txt	878	log plain
-rw-r--r--	if-anyref.txt	195	log plain
-rw-r--r--	if-then-br.txt	105	log plain
-rw-r--r--	if-value.txt	139	log plain
-rw-r--r--	label-redefinition.txt	232	log plain
-rw-r--r--	nested-br.txt	279	log plain
-rw-r--r--	nocheck.txt	146	log plain
-rw-r--r--	return-drop-value-2.txt	65	log plain
-rw-r--r--	return-drop-value.txt	57	log plain
-rw-r--r--	return-value.txt	105	log plain