Use -p option of test.pl instead of printer script#1605

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:bugfix/failed-tests-printer-removedromainbrenguier/cbmc:bugfix/failed-tests-printer-removedCopy head branch name to clipboard