[creduce-bugs] CReduce crash

[regehr at cs.utah.edu (John Regehr)]

Every one of these files appears to be empty except for the comment.

Yang, obviously I can get C-Reduce to not dump one of these when the 
file is empty, but it seems like you might have something to fix here...

John



On 07/02/2012 03:42 AM, Paulo De Oliveira Cantante De Matos wrote:
> Hi,
>
> While using creduce (git head from Friday), I get dozens of crashes, each generating a .c crash file. I attach them zipped.
> This is using perl 5.16.0.
>
> Cheers,
>
> Paulo Matos
>
>
>
>
> Member of the CSR plc group of companies. CSR plc registered in England and Wales, registered number 4187346, registered office Churchill House, Cambridge Business Park, Cowley Road, Cambridge, CB4 0WZ, United Kingdom
> More information can be found at www.csr.com. Follow CSR on Twitter at http://twitter.com/CSR_PLC and read our blog at www.csr.com/blog
>