diff options
Diffstat (limited to 'abc.dsp')
-rw-r--r-- | abc.dsp | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -2930,10 +2930,6 @@ SOURCE=.\src\aig\aig\aigTable.c # End Source File # Begin Source File -SOURCE=.\src\aig\aig\aigTest.c -# End Source File -# Begin Source File - SOURCE=.\src\aig\aig\aigTiming.c # End Source File # Begin Source File @@ -3322,6 +3318,10 @@ SOURCE=.\src\aig\dch\dchSim.c # End Source File # Begin Source File +SOURCE=.\src\aig\dch\dchSimSat.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\dch\dchSweep.c # End Source File # End Group |