diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-23 10:57:15 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-23 10:57:15 -0700 |
| commit | cab8301065096cd3d58b07bca91c5e9494dd7fc8 (patch) | |
| tree | b97244ca6d9c6a4198b4abb53b031b99ab779fc1 /src/aig/ivy | |
| parent | 32868822295cf11cde1628aeed27cb59b67c450c (diff) | |
| download | abc-cab8301065096cd3d58b07bca91c5e9494dd7fc8.tar.gz abc-cab8301065096cd3d58b07bca91c5e9494dd7fc8.tar.bz2 abc-cab8301065096cd3d58b07bca91c5e9494dd7fc8.zip | |
Changing switch -R <num> in &gla to mean the max allowed size of abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.
Diffstat (limited to 'src/aig/ivy')
0 files changed, 0 insertions, 0 deletions