You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Is your feature request related to a problem? Please describe.
This is a follow-up of that thread. I would find it very useful for KLEE to execute unimplemented llvm.* intrinsics likewise external functions.
Describe the solution you'd like
Preferably implementation should follow the approach in #1515, i.e. do not produce a new command-line option and do use LLVM-style RTTI.
The text was updated successfully, but these errors were encountered:
Is your feature request related to a problem? Please describe.
This is a follow-up of that thread. I would find it very useful for KLEE to execute unimplemented
llvm.*
intrinsics likewise external functions.Describe the solution you'd like
Preferably implementation should follow the approach in #1515, i.e. do not produce a new command-line option and do use LLVM-style RTTI.
The text was updated successfully, but these errors were encountered: