diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-11 17:08:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-05-11 17:08:00 -0700 |
commit | 1c0ea1022f0dcb25b7985750a4b091b1a1c3b62a (patch) | |
tree | 76359bb0e1c27e7fc5110391f2b57b4b1af18965 /src/base/main/mainInt.h | |
parent | a3ada00d8648a53bb43676d89d1ac2fa7cead948 (diff) | |
download | abc-1c0ea1022f0dcb25b7985750a4b091b1a1c3b62a.tar.gz abc-1c0ea1022f0dcb25b7985750a4b091b1a1c3b62a.tar.bz2 abc-1c0ea1022f0dcb25b7985750a4b091b1a1c3b62a.zip |
Adding new utility procedures.
Diffstat (limited to 'src/base/main/mainInt.h')
-rw-r--r-- | src/base/main/mainInt.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index bc57ad2a..9eaa03d1 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -133,6 +133,8 @@ struct Abc_Frame_t_ int nFrames; // the number of time frames completed by BMC Vec_Ptr_t * vPlugInComBinPairs; // pairs of command and its binary name Vec_Ptr_t * vLTLProperties_global; // related to LTL + Vec_Ptr_t * vSignalNames; // temporary storage for signal names + int pGateCounts[5];// temporary gate counts void * pSave1; void * pSave2; void * pSave3; |