diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-27 18:09:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-27 18:09:52 -0700 |
| commit | 9895f30d95f326211a397c75a8964ad5cfd12ad5 (patch) | |
| tree | a710f9b3e82d584eaef0f3c887663b0f4ad66a81 /abcexe.dsp | |
| parent | a6db8bc1578c2c85326a560fd3d7737932043486 (diff) | |
| download | abc-9895f30d95f326211a397c75a8964ad5cfd12ad5.tar.gz abc-9895f30d95f326211a397c75a8964ad5cfd12ad5.tar.bz2 abc-9895f30d95f326211a397c75a8964ad5cfd12ad5.zip | |
Extending command 'dump_equv' to match inputs by name.
Diffstat (limited to 'abcexe.dsp')
| -rw-r--r-- | abcexe.dsp | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -90,6 +90,10 @@ LINK32=link.exe SOURCE=.\src\base\main\main.c # End Source File +# Begin Source File + +SOURCE=.\src\proof\ssw\sswSat.c +# End Source File # End Group # Begin Group "Header Files" |