diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-31 16:36:08 -0400 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-31 16:36:08 -0400 |
commit | 313caa456a4b15af0673c6729d7eeb299544a13e (patch) | |
tree | 9e2ffc58254c2f60b84a8d24b8da851654cffa8e /abclib.dsp | |
parent | 6582e10a82b705981344f41953e39dc85612b530 (diff) | |
download | abc-313caa456a4b15af0673c6729d7eeb299544a13e.tar.gz abc-313caa456a4b15af0673c6729d7eeb299544a13e.tar.bz2 abc-313caa456a4b15af0673c6729d7eeb299544a13e.zip |
False path detection.
Diffstat (limited to 'abclib.dsp')
-rw-r--r-- | abclib.dsp | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -3679,6 +3679,10 @@ SOURCE=.\src\aig\gia\giaEra2.c # End Source File # Begin Source File +SOURCE=.\src\aig\gia\giaFalse.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\gia\giaFanout.c # End Source File # Begin Source File |