BUGFIX: change runbench script when the SAT Solver crashes
authorHamed Gorjiara <hgorjiar@uci.edu>
Tue, 22 Oct 2019 23:35:24 +0000 (16:35 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Tue, 22 Oct 2019 23:35:24 +0000 (16:35 -0700)
commit8b6e2584186a0f9bfd7b9678d99e92e2ea1a5584
treecf520c2a488c0354e8a8ab5444cf12447aa8208c
parent8ae6061f7eae5614e9f8bf1ccd9ad80bef9cd768
BUGFIX: change runbench script when the SAT Solver crashes
src/Scripts/runbench.sh