summaryrefslogtreecommitdiffstats
path: root/src/map
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2019-09-19 16:49:36 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2019-09-19 16:49:36 -0700
commit390adc39caee1cafbeca46a92f73f349ec318e75 (patch)
tree09d55fa2b12b6315de4b75ebc0b3d79914528939 /src/map
parent3a1705e8bb336ee373345701f75c94a7a1455304 (diff)
downloadabc-390adc39caee1cafbeca46a92f73f349ec318e75.tar.gz
abc-390adc39caee1cafbeca46a92f73f349ec318e75.tar.bz2
abc-390adc39caee1cafbeca46a92f73f349ec318e75.zip
Making &mfs work with boxes larger than 6 inputs. Adding option &if -w to print delay profile.
Diffstat (limited to 'src/map')
-rw-r--r--src/map/if/if.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h
index 669b3c24..eb81d64e 100644
--- a/src/map/if/if.h
+++ b/src/map/if/if.h
@@ -143,6 +143,7 @@ struct If_Par_t_
int fDoAverage; // optimize average rather than maximum level
int fHashMapping; // perform AIG hashing after mapping
int fVerbose; // the verbosity flag
+ int fVerboseTrace; // the verbosity flag
char * pLutStruct; // LUT structure
float WireDelay; // wire delay
// internal parameters