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

Re: [creduce-dev] multifile creduce

Got it, thanks. But I think Johan indicated that we should take Moritz's patch instead! That patch has the advantage of not modifying the C-Reduce core at all. 

It does need to be squashed though.

John


On 10/20/15 10:57 PM, Yang Chen wrote:

On 2015-10-20 13:48, John Regehr wrote:

We can definitely find a clang to run -- we already find clang-format
for example.

But Yang I do not see any clang invocations in here, am I missing
something?

https://github.com/csmith-project/creduce/pull/65



I referred to the patch sent by Jonas, where we have something like this:

+sub init_include_path() {
+    my $append = 0;
+    my @opts = ();
+    open INF, "clang -E -v - </dev/null 2>&1 |" or die;
...

- Yang