Hello, I’m not sure what I did to cause that, but here’s files as a zip. Daniel.
Attachment:
creduce_bug_000.zip
Description: Zip archive
> On 9. Aug 2018, at 18:40, Yang Chen <chenyang@cs.utah.edu> wrote: > > Hi Daniel, > > On 2018-08-09 07:49, Daniel Vollmer wrote: >> This is with creduce-head as of this morning. > > Seems something is wrong. I couldn't unpack the attachment: > > $ tar xvf creduce_bug_000.tar.gz > tar: This does not look like a tar archive > tar: Skipping to next header > tar: Exiting with failure status due to previous errors > > - Yang