Yes, it was a typo in the email itself. Sorry for that.
However, when running it (without typos!), I still get an error:
I still have this machine running, so if you need any additional information please let me know.
From: Yang Chen <email@example.com>
Sent: 20 June 2021 10:43
To: Even Mendoza, Karine <firstname.lastname@example.org>; email@example.com
Subject: Re: [creduce-bugs] Creduce crashed with "Error: Unsupported file type!" from pass_clang::reduce-pointer-level
This email from
from outside Imperial. Do not click on links and attachments unless you recognise the sender. If you trust the sender, add them to your
safe senders list
to disable email stamping for this address.
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.
On 6/7/21 2:02 PM, Even Mendoza, Karine wrote:
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!