Fix an issue when running corral. If the log file is missing we should classify as ResultType.UNKNOWN
Fix an issue when running corral. If the log file is missing we should
classify as ResultType.UNKNOWN

symbooglix/boogie-runner,symbooglix/boogie-runner