From 5ecdfc6060f3d4f4184f4e683e423f04bed51010 Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Sat, 14 Dec 2024 15:04:07 -0500
Subject: [PATCH] Tighten assertions on tests

---
 test/Test_Menhir.re | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/Test_Menhir.re b/test/Test_Menhir.re
index 0dc1717bd..359d8ee28 100644
--- a/test/Test_Menhir.re
+++ b/test/Test_Menhir.re
@@ -702,7 +702,7 @@ let box: Int = "malicious" in
 if true && (23 < int_of_float(51.00))
 then ______ else "its: " ++ box    |},
   ),
-  menhir_doesnt_crash_test(
+  menhir_maketerm_equivalent_test(
     "Altered Documentation Buffer: Types & Static Errors",
     {|
 let _ = unbound in
@@ -750,7 +750,7 @@ let _: [Int] = 1::[2.0] in
 "BYE"
 |},
   ),
-  menhir_doesnt_crash_test(
+  menhir_maketerm_equivalent_test(
     "Altered Documentation Buffer: adt dynamics",
     {|
 type Exp =