diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-21 14:08:38 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-21 14:08:38 -0400 |
| commit | 247dd95dd3d501527f11f453ac2c52661cee64be (patch) | |
| tree | a16c29d35fb410031d2548e8d1aa958f3fb9f206 /src/proof/abs/absRefJ.c | |
| parent | d32e51409ffb7b06589b12b04520ca57bf4eda86 (diff) | |
| download | abc-247dd95dd3d501527f11f453ac2c52661cee64be.tar.gz abc-247dd95dd3d501527f11f453ac2c52661cee64be.tar.bz2 abc-247dd95dd3d501527f11f453ac2c52661cee64be.zip | |
Adding resource limit to stop &gla when the number of remaining objects is less than R/2 during refinement.
Diffstat (limited to 'src/proof/abs/absRefJ.c')
0 files changed, 0 insertions, 0 deletions