runtimeverification / mx-semantics

7 stars 3 forks source link

Fix undefined requires clause #281

Closed virgil-serbanuta closed 3 months ago

virgil-serbanuta commented 3 months ago

I think that this should not need fixing, since an undefined requires clause is just bottom, but the LLVM backend complains about it, so whatever:

[Warn#booster] LLVM backend error detected: [hook_BYTES_substr]: Invalid string slice for string: Requested end index 6 is greater than string length 3 For more details, enable context logging '--log-context "*>abort,detail"'