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