diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-07-04 12:58:44 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-07-04 12:58:44 +0100 |
| commit | 25fd92c72721f9d8e03c3bf63f1b753da83c8460 (patch) | |
| tree | a9c696d6d22785a54e648df466c9b74ae2efbee3 /.hgignore | |
| parent | 71b124e9bf07cbc64edff599dd18a6d1e313239e (diff) | |
GPUVerify: add beginnings of a test suite
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -8,7 +8,7 @@ syntax: regexp ^Binaries/BytecodeTranslator$
^BCT/Binaries/.*$
^Chalice/tests/(examples|permission-model|refinements|general-tests|regressions|predicates)/.*\.bpl
-Test/([^/]*)/Output
+Test/.*/Output
Test/([^/]*)/([^/]*)\.sx
Test/(dafny0|dafny1|dafny2|VSI-Benchmarks|vacid0|VSComp2010|vstte2012)/(out\.cs|.*\.dll|.*\.pdb|.*\.exe|.*\.tmp.*)
Test/desktop/
@@ -24,3 +24,4 @@ Chalice/project/target Chalice/target
Chalice/scripts/create_release/release
BCT/InternalBCT.sln
+*.pyc
|