diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-17 22:18:43 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-17 22:18:43 -0700 |
commit | 06ba3d3e6ceee78cf52c024ac56287e924b00af3 (patch) | |
tree | 27af8afc988859b7c8920318d27f6aebeef34c9f /src/python/setup.py | |
parent | bdae7c625afaff6f9313f201096dcb7d591c2486 (diff) | |
download | abc-06ba3d3e6ceee78cf52c024ac56287e924b00af3.tar.gz abc-06ba3d3e6ceee78cf52c024ac56287e924b00af3.tar.bz2 abc-06ba3d3e6ceee78cf52c024ac56287e924b00af3.zip |
Adding command &filter_equiv to filter candidate equivalence classes using indexes of disproved POs after handling SRM as a multi-output miter.
Diffstat (limited to 'src/python/setup.py')
0 files changed, 0 insertions, 0 deletions