diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-29 12:30:16 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-29 12:30:16 -0700 |
| commit | e23dd881fb64403ca46823398b722e6d19c87768 (patch) | |
| tree | c72d5f72421df52fa2026d1cc65a1c06309aedfe /src/misc/vec | |
| parent | e3f9ad3c9747bd9ad50406186828fefa59af4677 (diff) | |
| download | abc-e23dd881fb64403ca46823398b722e6d19c87768.tar.gz abc-e23dd881fb64403ca46823398b722e6d19c87768.tar.bz2 abc-e23dd881fb64403ca46823398b722e6d19c87768.zip | |
Wrapper around the BMC engine to restart it with higher resource limits.
Diffstat (limited to 'src/misc/vec')
0 files changed, 0 insertions, 0 deletions