summaryrefslogtreecommitdiff
path: root/kernel/calc.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-12-28 11:24:36 +0100
committerClifford Wolf <clifford@clifford.at>2013-12-28 11:24:36 +0100
commit7f717875999f18065a69934db2075fd1508d3a7d (patch)
tree6048745ec73653a5ed2848aa34093ca24bf6727f /kernel/calc.cc
parentbd39263796fdf4f1c747a4a8449a0a484fdb3026 (diff)
Added sat -prove-x and -set-def-inputs
Diffstat (limited to 'kernel/calc.cc')
0 files changed, 0 insertions, 0 deletions