diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2014-04-09 21:58:08 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-04-09 21:58:08 +0100 |
| commit | d19da5e5ec8259f6b49ec4c3c6b28bf5c25e8f15 (patch) | |
| tree | a65c3046a44fd0afbbba7dd0edb504b3dff454c0 /Test/test1/Arrays.bpl | |
| parent | 3b38b009d086c601cae884ad62ceeb9bb16ae5d5 (diff) | |
Teach the ExecutionEngine to respect the -useBaseNameForFileName commandline
option when reporting the number of errors.
Diffstat (limited to 'Test/test1/Arrays.bpl')
0 files changed, 0 insertions, 0 deletions