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

[csmith-project/csmith] 462bf4: Test scripts from the paper worked really well, le...

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/csmith

  Commit: 462bf4111cf8c4df110f278f5d435c558d414eac
      https://github.com/csmith-project/csmith/commit/462bf4111cf8c4df110f278f5d435c558d414eac
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2011-11-07 (Mon, 07 Nov 2011)

  Changed paths:
    M utah/scripts/reduce/test1_crash.sh
  M utah/scripts/reduce/test1_wrong_code.sh

  Log Message:
  -----------
  Test scripts from the paper worked really well, let's add them to Csmith.


  Commit: 535a8b5a70b674916f2623dfb63881a09221ab76
      https://github.com/csmith-project/csmith/commit/535a8b5a70b674916f2623dfb63881a09221ab76
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2011-11-07 (Mon, 07 Nov 2011)

  Changed paths:
    M BUGS_REPORTED.TXT
  M runtime/csmith_minimal.h
  M utah/scripts/reduce/simple_delta.pl

  Log Message:
  -----------
  Merge branch 'master' of github.com:csmith-project/csmith


Compare: https://github.com/csmith-project/csmith/compare/a5cbda6...535a8b5