Hi, On Mon, 2003-06-30 at 00:05, Rob Gonzalez wrote: > It would be nice if people would test kaffe with the verifier on whatever > they're working on. By default kaffe doesn't not do any verification, but > if you run it with -verifyremote it will verify everything that's not from > the bootclasspath (i.e. the standard libraries).
I tried a couple of things and it all seemed to work. BTW. Do you know about the verifier testsuite from Mauve? Tom Tromey who wrote the gcj verifier and Jeroen Frijters from the IKVM.NET project have checked in some tests written in Jasmin. It is in the verify module of Mauve CVS. http://sources.redhat.com/cgi-bin/cvsweb.cgi/verify/?cvsroot=mauve Cheers, Mark _______________________________________________ kaffe mailing list [EMAIL PROTECTED] http://kaffe.org/cgi-bin/mailman/listinfo/kaffe
