diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-12-28 11:24:36 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-12-28 11:24:36 +0100 |
commit | 7f717875999f18065a69934db2075fd1508d3a7d (patch) | |
tree | 6048745ec73653a5ed2848aa34093ca24bf6727f /kernel | |
parent | bd39263796fdf4f1c747a4a8449a0a484fdb3026 (diff) |
Added sat -prove-x and -set-def-inputs
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions