diff options
| author | Brian Campbell | 2019-05-17 17:59:03 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-19 18:40:26 +0100 |
| commit | 8bed4e4ef414f93e02f28f0e5eb223a855ba3d14 (patch) | |
| tree | 9b46de2f4c356431161a24ab10db336f53cc7472 /lib/exception_basic.sail | |
| parent | f0b547154b3d2ce9e4bac74b0c56f20d6db76cd2 (diff) | |
Add constraints to undefined vector functions to ensure that lengths are
sane, and an incomplete check on undefined literals.
Diffstat (limited to 'lib/exception_basic.sail')
0 files changed, 0 insertions, 0 deletions