[Dune] [#980] checkindexset.cc is to restrictive

Dune flyspray at dune-project.org
Fri Nov 18 15:10:23 CET 2011


The following task has a new comment added:

FS#980 - checkindexset.cc is to restrictive
User who did this - Martin Nolte (nolte)

Yes, that's what I say.

Of course, I agree that the test should not be the documentation. Quite the contrary: If the test fails, there should be an explicit documentation stating that this behavior is correct. In this sense, the test is plain wrong.

But in this case, we have a special situation: The test is from 2005 (Revision 1747), even preceeding the paper, and noone actually considered this a bug for nearly 6 years (and the problem is known to me at least since 2008). So my real point is: This wasn't considered a bug in 6 years, so I guess it requires discussion.
This is especially so, since it seems to contradict the paper.

So can you wait a few month for a real discussion? If you want to, you can disable the test specifically for UG. I do not see the point in restricting the test for all other grids ahead of the necessary discussion. After all, it does test some compatibility conditions for the index set (which did fail from time to time).


More information can be found at the following URL:

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.

More information about the Dune mailing list