diff options
| author | Hendrik Tews | 2011-05-12 11:59:15 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-05-12 11:59:15 +0000 |
| commit | df9f007644f89c6acd7104ea641876a868e10e89 (patch) | |
| tree | f0aba499bc141ef873d05908453b6b14a8b260dc /coq/ex/test-cases/README | |
| parent | 3b1a0c3079bf120cda4afbf2d191b98018555659 (diff) | |
- add test coq/ex/test-cases/change-ancestor for the
change-ancestor bug
Diffstat (limited to 'coq/ex/test-cases/README')
| -rw-r--r-- | coq/ex/test-cases/README | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/coq/ex/test-cases/README b/coq/ex/test-cases/README index 2163c915..d719e333 100644 --- a/coq/ex/test-cases/README +++ b/coq/ex/test-cases/README @@ -10,6 +10,10 @@ Overview of the test cases: add-load-path-unsupported Add LoadPath is not supported +change-ancestor + assert something just added to an completely locked ancestor + (triggers known bugs) + multiple-files-multiple-dir working with multiple files in multiple directories |