search

utwente-fmt / vercors

The VerCors verification toolset for verifying parallel and concurrent software
https://utwente.nl/vercors
Mozilla Public License 2.0
58 stars 26 forks source link

Don't try to delete nonexistent preprocessor output if clang fails #1236

Closed wandernauta closed 2 months ago

wandernauta commented 2 months ago

Clang can remove the output file on its own, so only delete the file if it hasn't already been deleted.

Adds (integration) tests, fixes #1235.