diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-11 18:34:14 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-11 18:34:14 -0700 |
commit | 0722dde6f935115277cf27940e85a8eede66f19c (patch) | |
tree | 44bcd424e56221c1a185d2e4a99d4d1df2342263 /src/proof/cec/cecSweep.c | |
parent | 68ce0bc1c1a642495358e8e5d96e9212236a517b (diff) | |
download | abc-0722dde6f935115277cf27940e85a8eede66f19c.tar.gz abc-0722dde6f935115277cf27940e85a8eede66f19c.tar.bz2 abc-0722dde6f935115277cf27940e85a8eede66f19c.zip |
Increasing the size of pre-allocated memory in &syn2.
Diffstat (limited to 'src/proof/cec/cecSweep.c')
0 files changed, 0 insertions, 0 deletions