Do not add warning message about file truncation if we actually did not truncate the file.
Do not add warning message about file truncation
if we actually did not truncate the file.

dbeyer/benchexec,martin-neuhaeusser/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,cheshire/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,bjowac/impara-benchexec,ultimate-pa/benchexec,martin-neuhaeusser/benchexec,sosy-lab/benchexec,michkot/benchexec,dbeyer/benchexec,dbeyer/benchexec,sosy-lab/benchexec,bjowac/impara-benchexec,ultimate-pa/benchexec,bjowac/impara-benchexec,martin-neuhaeusser/benchexec,cheshire/benchexec,IljaZakharov/benchexec,dbeyer/benchexec,IljaZakharov/benchexec,michkot/benchexec,martin-neuhaeusser/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,ultimate-pa/benchexec,IljaZakharov/benchexec,michkot/benchexec,cheshire/benchexec,IljaZakharov/benchexec,ultimate-pa/benchexec