C front-end: type check arguments to built-in functions#4628

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:rw_ok-typechecking

May 16, 2019

Commits on May 16, 2019

C front-end: type check arguments to built-in functions
tautschnig
committed