diff options
| author | Kevin Laeufer | 2022-01-17 15:29:14 -0800 |
|---|---|---|
| committer | GitHub | 2022-01-17 23:29:14 +0000 |
| commit | 5569c72c1b6246efd203e00f7af6041567575eec (patch) | |
| tree | 4b3bad805868c96e0e61cb8eee7dbb58eddff2c3 /scripts | |
| parent | afde9c7d6acd0937f5b8df548143ad0083ea8e08 (diff) | |
[smt] correct comparison for out-of-bounds memory access check (#2463)
This fixes an off by one error, where 3 was erroneously
accepted as in-bounds for a memory of depth=3
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions