diff options
| author |  mikebarnett <unknown> | 2010-12-20 18:53:41 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2010-12-20 18:53:41 +0000 |
| commit | 1fd6537e40b262e6a67d836b4a66f3444e5911bb (patch) | |
| tree | ba06431288cf1067ade34b1b4f21d8b787bf6b7f /Source | |
| parent | 791a8698f31b69330a37bc1c4f655f7bdaa84289 (diff) | |
Generate "assume {:filename "foo.cs"}{:line 3} true" statements for each statement that has a source location.
Diffstat (limited to 'Source')
0 files changed, 0 insertions, 0 deletions