ucd-plse / eesi Goto Github PK

Would you mind updating your preprint paper? I have a great interest into your work. However, I cannot find the preprint one on the FSE website, the link occurs 404 error.

Hi, it looks like the link might be dead for grabbing the input results.

https://eesi.defreez.com/data.tgz

Is this still the intended link? Great research by the way!

Hi, I've been reading through the INSTALL.md and have been attempting to run the demo program, but am not getting any output.

I did a docker pull and have been running eesi as a command line tool using the alias suggested.

I copied the C file and created an errors only file and put E0 as the only line. I compiled the C file to bitcode with LLVM 7 and ran eesi on it.

eesi --bitcode test.bc --command specs --errorsonly errors.txt

I was expecting to see the warning similar to the INSTALL.md, is output hidden somewhere else or is there another command flag I should be using? Thanks for your time.