diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-12 23:14:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-12 23:14:39 -0700 |
| commit | 7312ff3c4a497ef6773ac5ba80d5b0311bd7c8df (patch) | |
| tree | 93ca5cbb94751dac5b3732f844049af1591b4463 /src/aig/gia/gia.h | |
| parent | 75fee10708c40b206592d040d4392e715bdbc1e3 (diff) | |
| download | abc-7312ff3c4a497ef6773ac5ba80d5b0311bd7c8df.tar.gz abc-7312ff3c4a497ef6773ac5ba80d5b0311bd7c8df.tar.bz2 abc-7312ff3c4a497ef6773ac5ba80d5b0311bd7c8df.zip | |
Improvements to the new technology mapper.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 1a30a95c..0f282e28 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -240,6 +240,7 @@ struct Jf_Par_t_ int nLutSize; int nCutNum; int nRounds; + int nVerbLimit; int DelayTarget; int fAreaOnly; int fOptEdge; |