From b4a8a66d5ac82caec72f7b687b3036cb8eff7970 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Thu, 3 Jan 2019 23:45:05 +0100
Subject: [PATCH] abc error test case 1

---
 vai_reg/symbiyosys.sby | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/vai_reg/symbiyosys.sby b/vai_reg/symbiyosys.sby
index 67f9153..03b5552 100644
--- a/vai_reg/symbiyosys.sby
+++ b/vai_reg/symbiyosys.sby
@@ -6,8 +6,8 @@ mode prove
 #mode cover
 
 [engines]
-smtbmc
-#abc pdr
+#smtbmc
+abc pdr
 
 [script]
 verific -vhdl vai_reg.vhd