Automatic temp file deletion using atexit

[AWbosman]

Background

During the verification process, VERONA generates many temporary .vnnlib and .yaml files. These files accumulate in the workspace and clutter the directory if they are not manually removed.

Proposal

Use Python’s atexit module to automatically delete temporary files once the verification process is complete.

Specifically:

• Track the .vnnlib and .yaml files generated during a run.
• Register a cleanup function with atexit to remove these files after the process finishes.
• Ensure that cleanup does not interfere with logging or reproducibility (e.g., only delete files that are safe to remove).

Benefits

• Keeps the workspace clean.
• Prevents large numbers of unused temporary files from piling up.
• Reduces confusion for users browsing experiment directories.