Bug in library report

Koen Claessen koen@cs.chalmers.se
Wed, 24 Jul 2002 12:12:14 +0200 (MET DST)


Malcolm Wallace wrote:

 | This has been said before, but maybe we need someone
 | to formulate a huge set of QuickCheck properties about
 | the Prelude/Libraries.  That would root out quite a
 | lot of remaining bugs relatively quickly I suspect.

This sounds like an interesting (student) project, that
would require to develop new methodologies for testing with
QuickCheck.

Alastair Reid wrote:

 | I think we'd want a modified version of quickcheck
 | which generated a file of results which were then
 | checked by an external tool.  The problem being that
 | there's a wide range of compiler bugs which can make a
 | program return 'True' without actually executing the
 | program correctly.

I do not understand what you mean here. Maybe an example
helps?

 | With that modification, I strongly agree.

I'm in!

/Koen.

--
Koen Claessen
http://www.cs.chalmers.se/~koen
Chalmers University, Gothenburg, Sweden.