Hi Yang, Yes, it was a typo in the email itself. Sorry for that.
However, when running it (without typos!), I still get an error: [cid:[email protected]] I still have this machine running, so if you need any additional information please let me know. Thanks, Karine From: Yang Chen <[email protected]> Sent: 20 June 2021 10:43 To: Even Mendoza, Karine <[email protected]>; [email protected] Subject: Re: [creduce-bugs] Creduce crashed with "Error: Unsupported file type!" from pass_clang::reduce-pointer-level This email from [email protected]<mailto:[email protected]> originates 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<https://spam.ic.ac.uk/SpamConsole/Senders.aspx> 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. - 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
