FLiT
FLiT copied to clipboard
Created file in flit executable not deleted if run fails
For failure cases in the runFlitTests()
function, the created output file is not deleted afterwards if the run fails to finish. This can be fixed with an RAII class (e.g. FileDeleter
with a release()
method on success).