diff options
author | Rustan Leino <leino@microsoft.com> | 2011-10-27 13:56:17 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2011-10-27 13:56:17 -0700 |
commit | 6be1fd5fa2617602d0a86e95d656018b172ef8d2 (patch) | |
tree | ccb3e3aa49e0f287be20e39dc099e49b87a75658 /Test/bitvectors | |
parent | d2cd087ebd9ff568c1712254eab864aeb4205e02 (diff) |
Boogie: Changed default /prover to SMTLIB
Diffstat (limited to 'Test/bitvectors')
0 files changed, 0 insertions, 0 deletions