From daf4e5cd85a908c8dabf9b39b004b18ed1bc7fee Mon Sep 17 00:00:00 2001 From: "Ben L. Titzer" <ben.titzer@gmail.com> Date: Tue, 3 May 2022 16:22:09 -0400 Subject: [PATCH] Add assert_trap for unreached valid case --- test/core/unreached-valid.wast | 1 + 1 file changed, 1 insertion(+) diff --git a/test/core/unreached-valid.wast b/test/core/unreached-valid.wast index 00252171a2..b7ebabfdb1 100644 --- a/test/core/unreached-valid.wast +++ b/test/core/unreached-valid.wast @@ -60,3 +60,4 @@ ) ) +(assert_trap (invoke "meet-bottom") "unreachable")