From c1ed7d7b64fc446b42a6f96d7afd6c474ea8a56c Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Thu, 3 Jan 2019 23:50:56 +0100
Subject: [PATCH] smtbmc error test case 2 solution (using --nomem)

---
 vai_reg/symbiyosys.sby | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vai_reg/symbiyosys.sby b/vai_reg/symbiyosys.sby
index 67f9153..eff8067 100644
--- a/vai_reg/symbiyosys.sby
+++ b/vai_reg/symbiyosys.sby
@@ -6,7 +6,7 @@ mode prove
 #mode cover
 
 [engines]
-smtbmc
+smtbmc --nomem
 #abc pdr
 
 [script]