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	18150	log plain
-rw-r--r--	bad-atomic-type-mismatch.txt	62227	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-brtable-type-mismatch.txt	378	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-expr-if.txt	443	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-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-nested-br.txt	575	log plain
-rw-r--r--	bad-no-shared-memory.txt	220	log plain
-rw-r--r--	bad-return-type-mismatch.txt	258	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	4092	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-table-loop.txt	286	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