runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K
Other
74 stars 18 forks source link

Mark #distinctBits as "no-evaluators" #632

Closed jberthold closed 1 month ago

jberthold commented 1 month ago

This will prevent error messages in booster from attempts to call the LLVM backend for this function.