This is the mail archive of the
mailing list for the Mauve project.
Re: bytecode verifier test suite
>>>>> "Mark" == Mark Wielaard <firstname.lastname@example.org> writes:
Mark> Yes Tom Tromey and Jeroen Frijters created a whole bunch of
Mark> tests using jasmin. You can checkout the verify module to see
Mark> what there currently is.
There's not really that many -- certainly not enough to be confident
that your verifier works correctly. For instance, the known bugs in
the libgcj verifier are not caught by this test suite. But I'm
definitely interested in adding more. Just write some in the existing