diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-06 08:39:23 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-06 08:39:23 -0700 |
commit | 7857b7fd8b336bede986bc7f4d42f54cc816d14b (patch) | |
tree | 31489e5884d67366f392fde7d2e899145637e7fe /src/sat/lsat | |
parent | be49b0fa188ef0ab34e0be785d7bf3cf925ba4c6 (diff) | |
download | abc-7857b7fd8b336bede986bc7f4d42f54cc816d14b.tar.gz abc-7857b7fd8b336bede986bc7f4d42f54cc816d14b.tar.bz2 abc-7857b7fd8b336bede986bc7f4d42f54cc816d14b.zip |
Renaming command-line option '-s' to be '-q' in 'pdr'.
Diffstat (limited to 'src/sat/lsat')
0 files changed, 0 insertions, 0 deletions