From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 27589 invoked by alias); 16 Jun 2003 03:47:26 -0000 Mailing-List: contact mauve-discuss-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: mauve-discuss-owner@sources.redhat.com Received: (qmail 26306 invoked from network); 16 Jun 2003 03:47:03 -0000 Received: from unknown (HELO gash2.peakpeak.com) (207.174.178.17) by sources.redhat.com with SMTP; 16 Jun 2003 03:47:03 -0000 Received: from fleche.redhat.com (tf0082.peakpeak.com [204.144.239.82]) by gash2.peakpeak.com (8.9.3/8.9.3.1) with ESMTP id VAA06715; Sun, 15 Jun 2003 21:47:00 -0600 Received: by fleche.redhat.com (Postfix, from userid 1000) id 42A484F82CC; Sun, 15 Jun 2003 21:38:58 -0600 (MDT) To: Mark Wielaard Cc: Andreas Gal , mauve-discuss@sources.redhat.com Subject: Re: bytecode verifier test suite References: <1055673757.16793.6.camel@elsschot> From: Tom Tromey Reply-To: tromey@redhat.com X-Attribution: Tom X-Zippy: BARBARA STANWYCK makes me nervous!! Date: Mon, 16 Jun 2003 03:47:00 -0000 In-Reply-To: <1055673757.16793.6.camel@elsschot> Message-ID: <877k7mr8ry.fsf@fleche.redhat.com> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3.50 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-SW-Source: 2003-q2/txt/msg00039.txt.bz2 >>>>> "Mark" == Mark Wielaard 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 style... Tom