Added tests that demonstrate the issue with static inline c functions.#718

Merged

kroening merged 1 commit intodiffblue:masterfrom

NlightNFotis:bugdemo/static_inline

Mar 29, 2017

Commits on Mar 28, 2017

Added tests that demonstrate the issue with static inline c functions.
NlightNFotis
committed