Bille Ibinabo T.

icon indicating a website link billeibinabo.me icon indicating an email [email protected]

icon location Edinburgh, United Kingdom icon location A regular guy next door.

Results 1 comments of Bille Ibinabo T.

Add proper support to C-FFI calls

I'm getting this error while running kani on a single harness in my project: `Failed Checks: call to foreign "C" function `_NSGetArgc` is not currently supported by Kani. Please post...