diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-25 11:21:36 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-25 11:21:36 -0800 |
commit | 416cc3b2aed446e3a75fc70f205e4ce5109c414b (patch) | |
tree | cc50156ab030c64458fcc60f9957676002394807 /src/base/wlc/wlc.h | |
parent | 3dd4e356fc755927a3244439e31415d7f40205b1 (diff) | |
download | abc-416cc3b2aed446e3a75fc70f205e4ce5109c414b.tar.gz abc-416cc3b2aed446e3a75fc70f205e4ce5109c414b.tar.bz2 abc-416cc3b2aed446e3a75fc70f205e4ce5109c414b.zip |
Outputting initial state in Wlc_Ntk_t.
Diffstat (limited to 'src/base/wlc/wlc.h')
-rw-r--r-- | src/base/wlc/wlc.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlc.h b/src/base/wlc/wlc.h index ed5fe5bd..3b7c9153 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -120,7 +120,7 @@ struct Wlc_Ntk_t_ Vec_Int_t vCis; // combinational inputs Vec_Int_t vCos; // combinational outputs Vec_Int_t vFfs; // flops - Vec_Int_t vInits; // initial values + Vec_Int_t * vInits; // initial values char * pInits; // initial values int nObjs[WLC_OBJ_NUMBER]; // counter of objects of each type int nAnds[WLC_OBJ_NUMBER]; // counter of AND gates after blasting |