diff options
author | 2012-09-27 17:13:42 +0200 | |
---|---|---|
committer | 2012-09-27 17:13:42 +0200 | |
commit | 623a87c132abec61b5c74a6a00a7b162073a6a8d (patch) | |
tree | b95ba791592cf395ce99035715de98578a5519ee /Util/Code Snippets/contractensuresvalretNonNullElem.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/contractensuresvalretNonNullElem.snippet')
0 files changed, 0 insertions, 0 deletions