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

[csmith-project/creduce] 3ead9a: First I said to Eric: "Eric, topformflat sucks for...



  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/creduce
  Commit: 3ead9a595add8e65e77abc0de71d34f3b43c6277
      https://github.com/csmith-project/creduce/commit/3ead9a595add8e65e77abc0de71d34f3b43c6277
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2015-11-01 (Sun, 01 Nov 2015)

  Changed paths:
    M creduce/pass_lines.pm

  Log Message:
  -----------
  First I said to Eric: "Eric, topformflat sucks for non-preprocessed
code since it adds extra blank lines around CPP directives that
pass_lines has to remove. Eric said "Just post-process its output" but
I said "No, I want to solve this problem right, could you make us a
local copy of topformflat in C-Reduce?" Eric did that but now instead
of solving the problem right this commit post-processes its output
using grep and I will solve it right a different time.