On Fri, May 13, 2011 at 11:17 AM, John Regehr
<regehr@cs.utah.edu> wrote:
Hi Haihao,
The random-random mode hasn't been tested (or used) very much. Basically, some random combinations of parameters cause Csmith to bite off more than it can chew, causing extremely long runtimes. One solution would be to fix the random-random mode to avoid certain parameter choices. The easier thing is to run Csmith under a timeout.
John
On 05/12/2011 09:12 PM, haihao shen wrote:
Hi,
I used "--random-random" as parameter of csmith to generate the cases.
However, some cases will hang (as follows)
/*
* This is a RANDOMLY GENERATED PROGRAM.
*
* Generator: csmith 2.0.0
* svn version: exported
* Options: --random-random
* Seed: 3278010089
*/
#include "csmith.h"
long __undefined;
======================================
/*
* This is a RANDOMLY GENERATED PROGRAM.
*
* Generator: csmith 2.0.0
* svn version: exported
* Options: --random-random
* Seed: 1839207966
*/
#include "csmith.h"
long __undefined;
Could anyone please explain it or tell me how to solve it?
Thanks,
Haihao