typecheck « test - forks/wabt.git -

Mode	Name	Size
-rw-r--r--	atomic-no-shared-memory.txt	3661	log plain
-rw-r--r--	bad-assertexception-type-mismatch.txt	409	log plain
-rw-r--r--	bad-assertreturn-invoke-type-mismatch.txt	440	log plain
-rw-r--r--	bad-assertreturn-type-mismatch.txt	412	log plain
-rw-r--r--	bad-atomic-type-mismatch.txt	62476	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	1276	log plain
-rw-r--r--	bad-brtable-type-mismatch.txt	378	log plain
-rw-r--r--	bad-bulk-memory-invalid-segment.txt	1006	log plain
-rw-r--r--	bad-bulk-memory-no-memory.txt	1285	log plain
-rw-r--r--	bad-bulk-memory-no-table.txt	1010	log plain
-rw-r--r--	bad-bulk-memory-type-mismatch.txt	1170	log plain
-rw-r--r--	bad-call-result-mismatch.txt	1313	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-callref-empty.txt	299	log plain
-rw-r--r--	bad-callref-int32.txt	378	log plain
-rw-r--r--	bad-callref-null.txt	382	log plain
-rw-r--r--	bad-callref-wrong-signature.txt	639	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-delegate-depth.txt	325	log plain
-rw-r--r--	bad-empty-catch-all.txt	312	log plain
-rw-r--r--	bad-empty-catch.txt	289	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-globalget-type-mismatch.txt	335	log plain
-rw-r--r--	bad-global-no-init-expr.txt	416	log plain
-rw-r--r--	bad-global-type-mismatch.txt	286	log plain
-rw-r--r--	bad-if-condition-type-mismatch.txt	322	log plain
-rw-r--r--	bad-if-multi-mismatch.txt	2007	log plain
-rw-r--r--	bad-if-type-mismatch.txt	332	log plain
-rw-r--r--	bad-if-value-void.txt	343	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-localset-type-mismatch.txt	275	log plain
-rw-r--r--	bad-loop-multi-mismatch.txt	1257	log plain
-rw-r--r--	bad-memory-grow-type-mismatch.txt	292	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-reference-types-no-table.txt	409	log plain
-rw-r--r--	bad-rethrow-depth.txt	1281	log plain
-rw-r--r--	bad-rethrow-not-in-catch.txt	317	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	521	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-simd-lane.txt	1316	log plain
-rw-r--r--	bad-store-index-type-mismatch.txt	301	log plain
-rw-r--r--	bad-tag-results.txt	250	log plain
-rw-r--r--	bad-unary-type-mismatch.txt	267	log plain
-rw-r--r--	br-multi.txt	566	log plain
-rw-r--r--	br-table-loop.txt	286	log plain
-rw-r--r--	brif-multi.txt	793	log plain
-rw-r--r--	brtable-multi.txt	847	log plain
-rw-r--r--	delegate.txt	414	log plain
-rw-r--r--	if-anyref.txt	169	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--	rethrow.txt	912	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
-rw-r--r--	try-delegate.txt	413	log plain