[Club2] Wed. Dec 1, 14:00: Florian Haftmann

[Alexander Krauss]

Dear all,

next week Florian will report about the current state of the next 
generation testing tools for Isabelle.


Testing Theorem Provers
====================================================
Wed. Dec 1, 14:00, MI 00.09.055 ("Alan Turing")

Testing software systems, needless to say, is a critical, but
nevertheless often boringly repetitious task.  System developers are
often relcutant to issue tests: settings up testing environments is
laborious, and the benefit from testing is always unclear.

We introduce a small test tool which is supposed to eventually provide
the testing infrastructure for the interactive theorem prover Isabelle
and related systems.  It is built upon notions of symmetric source
control management (in particular the mercurial SCM) and tries to
integrate testing and reporting both in user-driven and automated
scenarios, with a special focus on integration and continuous testing.