diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-19 17:29:03 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-19 17:29:03 -0700 |
commit | 1e0bbef1ef6a6ff7f0293e0926a8ff2b396e0a3e (patch) | |
tree | 9797c2b999846d0b635b8262f4778c8f487187f5 /abclib.dsp | |
parent | 5585ce8aa647d0a6fcb2be2517a691ed949de85e (diff) | |
download | abc-1e0bbef1ef6a6ff7f0293e0926a8ff2b396e0a3e.tar.gz abc-1e0bbef1ef6a6ff7f0293e0926a8ff2b396e0a3e.tar.bz2 abc-1e0bbef1ef6a6ff7f0293e0926a8ff2b396e0a3e.zip |
Uncommenting handling of initial values of the flops.
Diffstat (limited to 'abclib.dsp')
-rw-r--r-- | abclib.dsp | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -5255,6 +5255,10 @@ SOURCE=.\src\proof\cec\cecSat.c # End Source File # Begin Source File +SOURCE=.\src\proof\cec\cecSatG.c +# End Source File +# Begin Source File + SOURCE=.\src\proof\cec\cecSeq.c # End Source File # Begin Source File |