From c4b35bfac2f71541d5fddb948ca0d82039dc67fe Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 17 Apr 2011 11:21:19 -0400 Subject: Warn that tests ought not to be used --- tests/README | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 tests/README (limited to 'tests/README') 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! -- cgit v1.2.3