test/parse/assert/assertexception.txt - external/github.com/WebAssembly/wabt - Git at Google

 ;;; TOOL: wast2json
 ;;; ARGS: --enable-exceptions
 (module
   (tag $t)
   (func $foo (throw $t))
   (export "foo" (func $foo)))

 (assert_exception (invoke "foo"))
	;;; TOOL: wast2json
	;;; ARGS: --enable-exceptions
	(module
	(tag $t)
	(func $foo (throw $t))
	(export "foo" (func $foo)))

	(assert_exception (invoke "foo"))