diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-04-17 11:21:19 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-04-17 11:21:19 -0400 |
| commit | c4b35bfac2f71541d5fddb948ca0d82039dc67fe (patch) | |
| tree | 008cc81ac5e3bb18a922eecfb3d5cf075a4f6e79 /tests | |
| parent | 1114a6200e59c04ddcd5c528e55523293dd1a8dc (diff) | |
Warn that tests ought not to be used
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/README | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/README b/tests/README new file mode 100644 index 00000000..753dc0db --- /dev/null +++ b/tests/README @@ -0,0 +1,2 @@ +Most of these tests are broken, which is why they are masked out for the official code releases. +Use at your own risk, and expect no support from anyone! |