[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[csmith-project/csmith] 0229d0: fix a assertion failure during generation for seed...



Branch: refs/heads/master
Home:   https://github.com/csmith-project/csmith

Commit: 0229d0cf6d9bcd36b95979b607c24a5eed1ca99b
    https://github.com/csmith-project/csmith/commit/0229d0cf6d9bcd36b95979b607c24a5eed1ca99b
Author: Xuejun Yang <jxyang@cs.utah.edu>
Date:   2011-05-25 (Wed, 25 May 2011)

Changed paths:
  M src/Statement.cpp

Log Message:
-----------
fix a assertion failure during generation for seed 1080606471.

don't bypass analyzing statement that contains a goto with a destination outside this statement.


Commit: e26ec75f907bf08c672c4225aa85d7532315cefe
    https://github.com/csmith-project/csmith/commit/e26ec75f907bf08c672c4225aa85d7532315cefe
Author: Xuejun Yang <jxyang@cs.utah.edu>
Date:   2011-05-25 (Wed, 25 May 2011)

Changed paths:
  M BUGS_REPORTED.TXT
  M utah/scripts/README.TXT
  M utah/scripts/reduce/c_delta.pl
  M utah/scripts/reduce/prep.pl
  M utah/scripts/reduce/reduce.sh

Log Message:
-----------
Merge branch 'master' of github.com:csmith-project/csmith


Compare: https://github.com/csmith-project/csmith/compare/4dd3514...e26ec75