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

[csmith-project/csmith] cc2104: fix a bug in merging union facts of a dereferenced...

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

  Commit: cc2104f0c8731c9f89064f28659ec0032c94e65c
      https://github.com/csmith-project/csmith/commit/cc2104f0c8731c9f89064f28659ec0032c94e65c
  Author: Xuejun Yang <jxyang@cs.utah.edu>
  Date:   2011-07-24 (Sun, 24 Jul 2011)

  Changed paths:
    M src/FactUnion.cpp
  M src/FactUnion.h

  Log Message:
  -----------
  fix a bug in merging union facts of a dereferenced pointer


  Commit: 855328a55e6f67fa85c2bf47917fdfc4c7dbcd77
      https://github.com/csmith-project/csmith/commit/855328a55e6f67fa85c2bf47917fdfc4c7dbcd77
  Author: Xuejun Yang <jxyang@cs.utah.edu>
  Date:   2011-07-24 (Sun, 24 Jul 2011)

  Changed paths:
    M src/RandomProgramGenerator.cpp

  Log Message:
  -----------
  check existence of an input file at start up


Compare: https://github.com/csmith-project/csmith/compare/24013d2...855328a