CBMC accepts -<hex> constants at the irep level, but does the wrong thing with them #6759
Description
CBMC should either error, or accept.
{{ message }}
-<hex> constants at the irep level, but does the wrong thing with them #6759CBMC should either error, or accept.