diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 14:43:14 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 14:43:14 -0700 |
| commit | 16d96fcf533fb77ff4a45992991e38ac7ea74bb3 (patch) | |
| tree | e500dab559f1da2feceff4da8dc3d0bdc2f467a6 /src/opt/cut/cutInt.h | |
| parent | 504cdad86542d45dd1f7a09d869e26fb1345c018 (diff) | |
| download | abc-16d96fcf533fb77ff4a45992991e38ac7ea74bb3.tar.gz abc-16d96fcf533fb77ff4a45992991e38ac7ea74bb3.tar.bz2 abc-16d96fcf533fb77ff4a45992991e38ac7ea74bb3.zip | |
Changing the default value of &vta -t to reduce proof memory usage.
Diffstat (limited to 'src/opt/cut/cutInt.h')
0 files changed, 0 insertions, 0 deletions