Add support for freeze
ccadar opened this issue · comments
We should add support for freeze
, which is needed to support more recent versions of LLVM (15+):
https://llvm.org/docs/LangRef.html#freeze-instruction
KLEE Symbolic Execution Engine
ccadar opened this issue · comments
We should add support for freeze
, which is needed to support more recent versions of LLVM (15+):
https://llvm.org/docs/LangRef.html#freeze-instruction