diff options
author | 2011-10-27 13:56:17 -0700 | |
---|---|---|
committer | 2011-10-27 13:56:17 -0700 | |
commit | 6be1fd5fa2617602d0a86e95d656018b172ef8d2 (patch) | |
tree | ccb3e3aa49e0f287be20e39dc099e49b87a75658 /Source/Core/VCExp.cs | |
parent | d2cd087ebd9ff568c1712254eab864aeb4205e02 (diff) |
Boogie: Changed default /prover to SMTLIB
Diffstat (limited to 'Source/Core/VCExp.cs')
0 files changed, 0 insertions, 0 deletions