diff options
| author |  tabarbe <unknown> | 2010-08-04 15:45:17 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-04 15:45:17 +0000 |
| commit | 979d9c23c9d3802d1fea73406b3e11254ba2f30c (patch) | |
| tree | 9c4c853b3395c55469eadf9b0ab52100c6bf0a73 /Test | |
| parent | a4b2e81e952d782cd8813d21a5fb96dc231dfcdf (diff) | |
Boogie: Code Contracts runtime checking was turned on in AbsInt. I turned it back off.
Diffstat (limited to 'Test')
0 files changed, 0 insertions, 0 deletions