diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-10 23:56:46 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-10 23:56:46 -0700 |
commit | 528c8e0bbaaf7e83c48aac237afd1d402fd9c2a1 (patch) | |
tree | 4cfe09897b021a61684e17dd22ec17524a94abc0 /src/aig/gia/giaAbsGla.c | |
parent | d22b3d055b0e7e5d502fa29dbe6da3e04cdddb74 (diff) | |
download | abc-528c8e0bbaaf7e83c48aac237afd1d402fd9c2a1.tar.gz abc-528c8e0bbaaf7e83c48aac237afd1d402fd9c2a1.tar.bz2 abc-528c8e0bbaaf7e83c48aac237afd1d402fd9c2a1.zip |
Enabling -S <num> for &gla to not check the first <num> frames.
Diffstat (limited to 'src/aig/gia/giaAbsGla.c')
0 files changed, 0 insertions, 0 deletions