test for assignment statement with multiple assignments#1122

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

assignment_statement1diffblue/hw-cbmc:assignment_statement1Copy head branch name to clipboard