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

[csmith-project/creduce] cb8a35: Update tests to work with new C-Reduce protocol.



  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/creduce
  Commit: cb8a35c6ae278b908e987bfbbf16ec7523c9a8f8
      https://github.com/csmith-project/creduce/commit/cb8a35c6ae278b908e987bfbbf16ec7523c9a8f8
  Author: Eric Eide <eeide@cs.utah.edu>
  Date:   2015-11-16 (Mon, 16 Nov 2015)

  Changed paths:
    M tests/run_tests
    M tests/test0.bat
    M tests/test0.sh
    M tests/test1.sh
    M tests/test2.sh
    M tests/test3.sh
    M tests/test4.sh
    M tests/test5.sh
    M tests/test6.sh
    M tests/test7.sh

  Log Message:
  -----------
  Update tests to work with new C-Reduce protocol.

Until recently, C-Reduce would pass the name of the (one) file being
reduced on the command line to the "interestingness" script.  It no
longer does so.  The interestingness script needs to have built-in
knowledge of the file(s) being reduced.

This patch updates the tests to work with the current command-line
protocol.