diff options
author | Tim King <taking@cs.nyu.edu> | 2015-06-13 23:25:04 +0200 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2015-06-13 23:25:20 +0200 |
commit | 101027829bb7e283687e2b0068c3f243ef82f1ee (patch) | |
tree | c8af233d314d877719c7ac5f199b005c854fdab4 /autogen.sh | |
parent | 485feef845375ef83d7731986b0ebb893ae3565f (diff) |
Removing extra arguments for --incremental solving in run-script-smtcomp2015-application.
Diffstat (limited to 'autogen.sh')
0 files changed, 0 insertions, 0 deletions