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