Use environment variable for jobs in test.pl#1925

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:testpl_use_env_testplhannes-steffenhagen-diffblue/cbmc:testpl_use_env_testplCopy head branch name to clipboard