l4v
l4v copied to clipboard
missing error message for 0-length array
See discussion on seL4/seL4#443 -- the parser should produce an error message for this case, not just fail silently.