diff options
| author |  boehmes <unknown> | 2012-09-27 17:13:42 +0200 |
|---|---|---|
| committer | boehmes <unknown> | 2012-09-27 17:13:42 +0200 |
| commit | 623a87c132abec61b5c74a6a00a7b162073a6a8d (patch) | |
| tree | b95ba791592cf395ce99035715de98578a5519ee /Util/Code Snippets/contractrequiresnonnullelem.snippet | |
| parent | ed83becd12d7079e6ce2853fbebace20b1e7df5a (diff) | |
Boogie: new syntax for integer division and modulus: use div and mod instead of / and %
Diffstat (limited to 'Util/Code Snippets/contractrequiresnonnullelem.snippet')
0 files changed, 0 insertions, 0 deletions