function readOutputFile($filename) { if (!file_exists('cases/output/' . $filename)) { return null; } return file_get_contents('cases/output/' . $filename); }