Add a stub of __context__ builtin from kernel's sparse#208

jprotopopov-ut wants to merge 1 commit into

goblint:developgoblint/cil:developfrom

jprotopopov-ut:sparse-context-1jprotopopov-ut/cil:sparse-context-1Copy head branch name to clipboard