diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-25 06:49:49 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-25 06:49:49 +0700 |
| commit | 853222ee7bf8e1f79120666707ce754cd9169564 (patch) | |
| tree | 5bebbb9245ee6b46895697614072aef47da8aec4 /src/proof/dch/dchSim.c | |
| parent | edd4b2a29c3a75709b6394fd205384dd0fe90e5d (diff) | |
| download | abc-853222ee7bf8e1f79120666707ce754cd9169564.tar.gz abc-853222ee7bf8e1f79120666707ce754cd9169564.tar.bz2 abc-853222ee7bf8e1f79120666707ce754cd9169564.zip | |
Fixed a corner-case when 'sim3 -a' does not work for costant POs.
Diffstat (limited to 'src/proof/dch/dchSim.c')
0 files changed, 0 insertions, 0 deletions