diff options
| -rw-r--r-- | Test/lit.site.cfg | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Test/lit.site.cfg b/Test/lit.site.cfg index 575f310b..4997e836 100644 --- a/Test/lit.site.cfg +++ b/Test/lit.site.cfg @@ -78,6 +78,9 @@ if os.name == 'posix': # Expected output does not contain logo boogieExecutable += ' -nologo' +# We do not want absolute or relative paths in error messages, just the basename of the file +boogieExecutable += ' -useBaseNameForFileName' + # Allow user to provide extra arguments to Boogie boogieParams = lit_config.params.get('boogie_params','') if len(boogieParams) > 0: |