# HG changeset patch # User Adam Chlipala # Date 1303053679 14400 # Node ID d40104c112df477e9bc3874b5a813f319e247e3c # Parent 0982f0242776e2ef0fa4ede3284ef85e19081092 Warn that tests ought not to be used diff -r 0982f0242776 -r d40104c112df tests/README --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/README Sun Apr 17 11:21:19 2011 -0400 @@ -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!