crucible-llvm: Return the allocated `FnHandle` from `bind_llvm_func`

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

617 stars 42 forks source link

Closed langston-barrett closed 3 months ago

langston-barrett commented 4 months ago

This is useful in conjunction with Lang.Crucible.Simulator.OverrideSim.callOverride.

langston-barrett commented 3 months ago

Perhaps not necessary