Re: [kaffe] The Verifier and Regression Tests

2003-07-03 Thread Mark Wielaard
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

Re: [kaffe] The Verifier and Regression Tests

2003-07-03 Thread Rob Gonzalez
Hi Mark, 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

Re: [kaffe] The Verifier and Regression Tests

2003-06-30 Thread Dalibor Topic
Hi Rob, --- Rob Gonzalez [EMAIL PROTECTED] wrote: I've started checking in small portions of the verifier for testing. The That's cool! 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

[kaffe] The Verifier and Regression Tests

2003-06-29 Thread Rob Gonzalez
Hi everyone, I've started checking in small portions of the verifier for testing. The first thing this has done is to cause kaffe to fail a regression test, ArrayForName.java ;) In my defense, it's a bad test because an abstract method in some class I has a code attribute, which is not OK. In