I would like a clear distinction between correctness tests and optimization tests. At the moment they are being intermixed, often without comment. :-( This makes the testsuite somewhat less useful than it should be.
Any suggestions on a good policy for this? -- This space intentionally left blank.
