diff options
| author |  stefanheule <unknown> | 2011-08-03 12:14:12 +0200 |
|---|---|---|
| committer | stefanheule <unknown> | 2011-08-03 12:14:12 +0200 |
| commit | 291b302fcf1c64c7ef34e7c379d5bffbdd693c5c (patch) | |
| tree | 5403179f83b350f42c7de74dfb31791e1b97978d /.hgignore | |
| parent | 80c0bd8588517ff286ec3188e124b9cd5d1b0eed (diff) | |
Chalice: Add regression tests for all fixed bugs and separate the tests in 'examples' into "read" examples and general tests.
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -7,7 +7,7 @@ syntax: regexp ^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$
^Binaries/BytecodeTranslator$
^BCT/Binaries/.*$
-^Chalice/tests/(examples|permission-model|refinements)/.*\.bpl
+^Chalice/tests/(examples|permission-model|refinements|general-tests|regressions)/.*\.bpl
Test/([^/]*)/Output
Test/([^/]*)/([^/]*)\.sx
Test/(dafny0|dafny1|VSI-Benchmarks|vacid0|VSComp2010)/(out\.cs|.*\.dll|.*\.pdb|.*\.exe)
|