added three constructors to code_function_callt#2841

Merged

kroening merged 1 commit intodevelopfrom

code_function_callt_constructors

Aug 30, 2018

Commits on Aug 30, 2018

added three constructors to code_function_callt
Daniel Kroening
committed