Experiments with BMC.

55771ee0 · Alan Mishchenko · a5e9563a · 55771ee0 · 55771ee0
Commit 55771ee0 authored Jul 22, 2017 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 5 additions and 0 deletions

abclib.dsp
+4 -0

src/sat/bmc/module.make
+1 -0

No files found.
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -1947,6 +1947,10 @@ SOURCE=.\src\sat\bmc\bmcBmci.c
 # End Source File
 # Begin Source File
+SOURCE=.\src\sat\bmc\bmcBmcS.c
+# End Source File
+# Begin Source File
 SOURCE=.\src\sat\bmc\bmcCexCare.c
 # End Source File
 # Begin Source File

--- a/src/sat/bmc/module.make
+++ b/src/sat/bmc/module.make
@@ -4,6 +4,7 @@ SRC +=    src/sat/bmc/bmcBCore.c \
    src/sat/bmc/bmcBmc3.c \
    src/sat/bmc/bmcBmcAnd.c \
    src/sat/bmc/bmcBmci.c \
+    src/sat/bmc/bmcBmcS.c \
    src/sat/bmc/bmcCexCare.c \
    src/sat/bmc/bmcCexCut.c \
    src/sat/bmc/bmcCexDepth.c \