Re: [creduce-bugs] Creduce crashed with "Error: Unsupported file type!" from pass_clang::reduce-pointer-level

[Yang Chen <chenyang@cs.utah.edu>]

Thanks for the report, Karine.

Seems the error was triggered by some missing space between --counter=2 and the test input test2240686269.c, so the behavior was expected.

- Yang

On 6/7/21 2:02 PM, Even Mendoza, Karine wrote:

Hi,

 

I got the following crash while reducing a program (I attached the relevant files + my script):

```

/usr/lib/x86_64-linux-gnu/clang_delta --transformation=reduce-pointer-level --counter=2test2240686269.c

Error: Unsupported file type!

```

 

Best,

Karine