[csmith-project/csmith] eaf9df: Add support for running Csmith output under KCC.

[John Regehr <regehr@cs.utah.edu>]

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

  Commit: eaf9df0f19f47d12cf4b58ba41aa08fe2aef3c05
      https://github.com/csmith-project/csmith/commit/eaf9df0f19f47d12cf4b58ba41aa08fe2aef3c05
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2011-08-05 (Fri, 05 Aug 2011)

  Changed paths:
    M scripts/test_csmith.pl

  Log Message:
  -----------
  Add support for running Csmith output under KCC.


  Commit: 8ed63784353c4e7d7bddb1dd08fc1073cc6a9a25
      https://github.com/csmith-project/csmith/commit/8ed63784353c4e7d7bddb1dd08fc1073cc6a9a25
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2011-08-05 (Fri, 05 Aug 2011)

  Changed paths:
    M src/OutputMgr.cpp

  Log Message:
  -----------
  Remove a bit of dead code.


  Commit: 974413637775aa6d0754870f9a4feeb89f89fdb3
      https://github.com/csmith-project/csmith/commit/974413637775aa6d0754870f9a4feeb89f89fdb3
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2011-08-05 (Fri, 05 Aug 2011)

  Changed paths:
    M src/OutputMgr.cpp

  Log Message:
  -----------
  Do not hardcode inclusion of assert.h in the Csmith output.
Header files like this should be included from the Csmith runtime
files.


  Commit: 02c05c0c7f843c31a165354f2a7492e557e6b64d
      https://github.com/csmith-project/csmith/commit/02c05c0c7f843c31a165354f2a7492e557e6b64d
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2011-08-05 (Fri, 05 Aug 2011)

  Changed paths:
    M runtime/csmith_minimal.h
  M runtime/random_inc.h

  Log Message:
  -----------
  Unconditionally include assert.h here unless we're using minimal
header files, in which case define assert to be a nop. Probably need
to fix this later...


  Commit: 7dfe62fdc8d7f60cfdad5ab036ddb921896ee8bf
      https://github.com/csmith-project/csmith/commit/7dfe62fdc8d7f60cfdad5ab036ddb921896ee8bf
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2011-08-05 (Fri, 05 Aug 2011)

  Changed paths:
    M scripts/test_csmith.pl

  Log Message:
  -----------
  Minor improvements to kcc support.


Compare: https://github.com/csmith-project/csmith/compare/a39f3c2...7dfe62f