From 38ae7057c2b13b7fdab5a69faf822a74e954b7f7 Mon Sep 17 00:00:00 2001
From: tmeissner <programming@goodcleanfun.de>
Date: Tue, 15 Jan 2019 23:42:50 +0100
Subject: [PATCH] Incomment proof with abc pdr

---
 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 c5cca6c..2ce4a7c 100644
--- a/vai_reg/symbiyosys.sby
+++ b/vai_reg/symbiyosys.sby
@@ -6,7 +6,7 @@ mode prove
 
 [engines]
 smtbmc
-#abc pdr
+abc pdr
 
 [script]
 verific -vhdl vai_reg.vhd