summaryrefslogtreecommitdiff
path: root/Source/Provers/SMTLib/ProverInterface.cs
diff options
context:
space:
mode:
authorGravatar kyessenov <unknown>2010-08-23 20:25:11 +0000
committerGravatar kyessenov <unknown>2010-08-23 20:25:11 +0000
commit3a281bac64e4a4ae27a277c78e505f4704ab20b0 (patch)
tree6afe699fe63b1819bc0cf8c5e5be891627b6994b /Source/Provers/SMTLib/ProverInterface.cs
parent913dce83219e9a9e6de2d148e5edea8adca77ed6 (diff)
Report a bug in Z3 instead of evil input "?"
Diffstat (limited to 'Source/Provers/SMTLib/ProverInterface.cs')
0 files changed, 0 insertions, 0 deletions