Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:44231
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.92.25 as permitted sender)
DomainKey-Status: bad
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc:content-type:content-transfer-encoding;
        b=uyLBy35WLJdpYDOSNA1mKInwLHtUb90CXDbreehhDQnUZw2kfFo/DWucdwOHL9PQHS
         UO8mpiaIVoZYm8I3dX8u3F72KxOPbH3OQA5rmpXmk0mZtoYbY2X9bsExskVEp6Catp0z
         UP8cW+51zfJsj2u6pGhP4O//QI+gvI8UXLhyU=
MIME-Version: 1.0
In-Reply-To: <af54caaf0906101510w4fd7e2dl9fc9a2e45b64d4c7@mail.gmail.com>
References: <1244645012.6252.110.camel@goldfinger> <bcb7aa500906100814y5f4c4c8eh3032fe62481e3f21@mail.gmail.com> 
	<40FA7DAAEDB842BDA8AB74CC7FF1164F@PC3EE1F19287> <af54caaf0906101510w4fd7e2dl9fc9a2e45b64d4c7@mail.gmail.com>
Date: Wed, 10 Jun 2009 23:12:50 +0100
Message-ID: <af54caaf0906101512p714b4f1et969dddd5bfe0852@mail.gmail.com>
To: Nuno Lopes <nlopess@php.net>
Cc: Guilherme Blanco <guilhermeblanco@gmail.com>, PHP Internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] Last steps towards 5.3.0
From: paul.biggar@gmail.com (Paul Biggar)

On Wed, Jun 10, 2009 at 11:10 PM, Paul Biggar<paul.biggar@gmail.com> wrote:
> I wrote a tool which automatically. It uses the delta debugging

I sent this prematurely. It should read
"I wrote a tool which reduces test cases automatically."

> algorithm, but is very much faster than delta, since it knows how PHP
> works. I hope its also easier to use - you basically write a function
> which takes source code, and returns true if the bug is still present.
>
> Its at http://code.google.com/p/phc/source/browse/trunk/test/framework/reduce/Reduce.php.
> You need to a copy of phc (phpcompiler.org) as well. The usage is
> explained in the comments. I've used it a lot, but I've only just made
> it work more generally. Please report any problems to me.
>
>
> Paul
>
>
> --
> Paul Biggar
> paul.biggar@gmail.com
>



-- 
Paul Biggar
paul.biggar@gmail.com