diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-05 18:46:21 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-05 18:46:21 +0100 |
| commit | fb8a685bb6deebe08fa18cfb4d4e6529f1c6c0ac (patch) | |
| tree | 866470170dabec95ee4764c5acf7db031125eab4 /Test/textbook/DutchFlag.bpl | |
| parent | 480d5908a98a7f3a4c170f2994b240c87bcaf567 (diff) | |
Add lit.local.cfg that instructs not to run any tests in this
directory or its subdirectories. The test in this directory
is pointless because we will run it later on anyway!
When we migrate to lit this test directory should be removed
Diffstat (limited to 'Test/textbook/DutchFlag.bpl')
0 files changed, 0 insertions, 0 deletions