[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.