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")