simple test for mismatching return types accross compilation units#3089

Merged

tautschnig merged 2 commits intodevelopfrom

test-for-issue-3081

Oct 3, 2018

Commits on Oct 3, 2018

simple test for mismatching return types accross compilation units
Daniel Kroening
committed
remove_returns: ensure type consistency of return value assignment
Daniel Kroening
committed