kframework / c-semantics

Semantics of C in K
Other
303 stars 40 forks source link

Add test for taking an unresolved function's address. #621

Closed virgil-serbanuta closed 4 years ago