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 | 8d5d88110f12eb56558cf6f1b1514338792487da (patch) | |
| tree | 008cc81ac5e3bb18a922eecfb3d5cf075a4f6e79 | |
| parent | c86883ac43bf44afba14628577ff37f8e3009021 (diff) | |
Warn that tests ought not to be used
| -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! |