Hi Ralf, thanks for the tips.
On Tuesday 19 July 2011, Ralf Wildenhues wrote:
> * Stefano Lattarini wrote on Tue, Jul 19, 2011 at 11:54:09AM CEST:
> > > Please, this is really important: we need to research the other test
> > > protocols, what they do to be robust here. Don't NIH here, because th
* Stefano Lattarini wrote on Wed, Jul 20, 2011 at 10:05:14PM CEST:
> Hi Ralf, thanks for the tips.
Rather, 5 minutes of searching the web. But sure, anytime. ;-)
> On Tuesday 19 July 2011, Ralf Wildenhues wrote:
> > Test suite environments:
> > any that use the above
> >
> I see now that prove(