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

Reply via email to