diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2015-09-10 11:47:21 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2015-09-10 11:49:43 +0200 |
| commit | f03aaf12eb7d89fa4caa59873e114c8cd125b950 (patch) | |
| tree | 444d1b9143a8878f9b0f4e4be02dd06c81f81103 /doc/refman/RefMan-uti.tex | |
| parent | 952cd3e53d630120dc1319c93421fe2708252b54 (diff) | |
Assertion checking that invariant enforced by 0f8d1b92 always holds.
When reifying a 31-bit integer after a VM computation, we check that no bit
outside the 31 LSB is set to 1.
Diffstat (limited to 'doc/refman/RefMan-uti.tex')
0 files changed, 0 insertions, 0 deletions