Make test independent of string table entry ordering#2105

Merged

kroening merged 1 commit intodiffblue:developfrom tautschnig:determinise-test

Apr 25, 2018

+10-5

Commits on Apr 24, 2018

Make virtual function resolution independent of string table entry ordering
tautschnig
committed