Make constant_propagation_08 test platform agnostic#7912

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/test-platform-indeptautschnig/cbmc:cleanup/test-platform-indepCopy head branch name to clipboard