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 | |
| 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')
0 files changed, 0 insertions, 0 deletions