search

runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework
BSD 3-Clause "New" or "Revised" License
208 stars 41 forks source link

Missing hook: LIST.range #3706

Closed virgil-serbanuta closed 4 months ago

virgil-serbanuta commented 8 months ago

This is used in the MultiversX semantics

Here is the error message:

pyk.kore.rpc.KoreClientError: Runtime error
code= -32002
message= Runtime error
data= {'context': 'CallStack (from HasCallStack):\n  error, called at src/Kore/Rewrite/Function/Evaluator.hs:376:6 in kore-0.60.0.0-70XMVsFZJ088aF7K1Xjfh:Kore.Rewrite.Function.Evaluator', 'error': 'Error: missing hook\nSymbol\n    LblListBytes\'Coln\'range{}\ndeclared with attribute\n    hook{}("LIST.range")\nWe don\'t recognize that hook and it was not given any rules.\nPlease open a feature request at\n    https://github.com/runtimeverification/haskell-backend/issues\nand include the text of this message.\nWorkaround: Give rules for LblListBytes\'Coln\'range{}'}
jberthold commented 4 months ago

Duplicate of #3581