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/extractloops | |
| parent | d2cd087ebd9ff568c1712254eab864aeb4205e02 (diff) | |
Boogie: Changed default /prover to SMTLIB
Diffstat (limited to 'Test/extractloops')
0 files changed, 0 insertions, 0 deletions