From e1a5556e8c331be2dae6ca63a4528ad8e1f56025 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 24 Dec 2012 08:16:19 +0700 Subject: New unrolling manager. --- abclib.dsp | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'abclib.dsp') diff --git a/abclib.dsp b/abclib.dsp index 804a7759..59d1424d 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -1409,6 +1409,10 @@ SOURCE=.\src\sat\bmc\bmcCexMin2.c SOURCE=.\src\sat\bmc\bmcCexTools.c # End Source File +# Begin Source File + +SOURCE=.\src\sat\bmc\bmcUnroll.c +# End Source File # End Group # End Group # Begin Group "opt" -- cgit v1.2.3