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

[csmith-project/creduce] 4977a9: a small modification that permits us to print the ...

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/creduce
  Commit: 4977a968d6c2699f01386dfe80836dfecef20a05
      https://github.com/csmith-project/creduce/commit/4977a968d6c2699f01386dfe80836dfecef20a05
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2016-08-01 (Mon, 01 Aug 2016)

  Changed paths:
    M clang_delta/ExpressionDetector.cpp

  Log Message:
  -----------
  a small modification that permits us to print the nth value taken by an
expression instead of just the first one, by compiling the transformted code
using different values of __CREDUCE_INSTANCE_NUMBER