ai_baset: output now requires function identifier [blocks: #3126]#3828

Merged

tautschnig merged 4 commits intodiffblue:developfrom

tautschnig:function-ai

Jan 20, 2019

Commits on Jan 20, 2019

Make order of arguments in ai_baset::output* consistent
tautschnig
committed
ai_baset::initialize now requires a function name
tautschnig
committed
ai_baset: output now requires function identifier

Daniel Kroening
authored and
tautschnig
committed
ai_baset: consistently use function_id instead of function_identifier
tautschnig
committed