diff options
| author |  rustanleino <unknown> | 2009-09-15 22:10:28 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-09-15 22:10:28 +0000 |
| commit | 7d9a1e78eb07f592065a69db862d92014d5c1894 (patch) | |
| tree | 5010573d6555ff09f90082271180894aed026b26 /Source/Provers/Z3/Prover.ssc | |
| parent | 9e7c3594b662f1c3102d419104da453d83eddfcd (diff) | |
* Boogie and Dafny: added /cev:<file> option
* SscBoogie: changed default setting for /modifiesOnLoop
(we really should move this SscBoogie-specific code to the Spec# codeplex)
Diffstat (limited to 'Source/Provers/Z3/Prover.ssc')
0 files changed, 0 insertions, 0 deletions