[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