diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-02 00:31:03 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-02 00:31:03 +0700 |
| commit | 6c6c0b06868110f1d635bb4da40647494fbe6905 (patch) | |
| tree | 608d6f170b9e52409a54f05c36c7bced83ab18b6 /src/base/main/mainInt.h | |
| parent | 4e9f972489604b13ba076b1f0297d4ccc9a06b1d (diff) | |
| download | abc-6c6c0b06868110f1d635bb4da40647494fbe6905.tar.gz abc-6c6c0b06868110f1d635bb4da40647494fbe6905.tar.bz2 abc-6c6c0b06868110f1d635bb4da40647494fbe6905.zip | |
Enabled saving vector of counter-examples in the ABC framework.
Diffstat (limited to 'src/base/main/mainInt.h')
| -rw-r--r-- | src/base/main/mainInt.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index d3a1fc9f..c008fc8b 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -98,6 +98,7 @@ struct Abc_Frame_t_ Gia_Man_t * pGia; Gia_Man_t * pGia2; Abc_Cex_t * pCex; + Vec_Ptr_t * vCexVec; void * pSave1; void * pSave2; |