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/base/main/mainLib.c | |
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/base/main/mainLib.c')
0 files changed, 0 insertions, 0 deletions