This mode is more robust because filenames can properly be resolved from the same working directory as the compiler.
Issues
A bit more overhead for successful compilation from Python startup time.
Configuration (such as CMake) can be inefficient if checking for things that fail since we will do an API call. Maybe we should add an environment variable check to allow disabling CWhy during configuration.
How it works
A short script is generated in a temporary file. This allows options to be serialized along with the script and stay consistent across runs. I experimented with a couple other ways to do this but I think this is the best one.
One atomic PR to add compiler wrapper behavior.
This mode is more robust because filenames can properly be resolved from the same working directory as the compiler.
Issues
How it works
A short script is generated in a temporary file. This allows options to be serialized along with the script and stay consistent across runs. I experimented with a couple other ways to do this but I think this is the best one.