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

[csmith-project/csmith] 6677b4: removed an useless constraint on choose_fun



  Branch: refs/heads/floating-point
  Home:   https://github.com/csmith-project/csmith
  Commit: 6677b4e1aab60058567030e391e8fbffe76abde5
      https://github.com/csmith-project/csmith/commit/6677b4e1aab60058567030e391e8fbffe76abde5
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2014-09-21 (Sun, 21 Sep 2014)

  Changed paths:
    M src/Function.cpp

  Log Message:
  -----------
  removed an useless constraint on choose_fun

since we changed is_convertable in Type.cpp, this constraint is no longer needed now