[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-project/csmith] 208b70: added strict-float mode
Branch: refs/heads/master
Home: https://github.com/csmith-project/csmith
Commit: 208b70fb04d1a261d5c8530500e62619e9d9a231
https://github.com/csmith-project/csmith/commit/208b70fb04d1a261d5c8530500e62619e9d9a231
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2015-07-30 (Thu, 30 Jul 2015)
Changed paths:
M src/CGOptions.cpp
M src/CGOptions.h
M src/RandomProgramGenerator.cpp
M src/StatementAssign.cpp
M src/Type.cpp
Log Message:
-----------
added strict-float mode
avoid generating assignments between floats and integers
in this mode.