ultimate-pa/hanfor

Hanfor with Ultimate

Closed this issue · 4 comments

xxrlzzz commented

hello, I see installation, reqanalyzer section, hanfor requires ultimate software.

image

I try to compile by run makeFresh.sh, but got a compile error from lib.pea module, I see there has a nightly build from Jenkins, is there any chance can I have a copy of UReqCheck-linux.zip and UReqCheck-win32.zip, thanks a lot.

hauff commented

Hello xxrlzzz,

the nightly builds are linked on the Ultimate page on GitHub.
https://github.com/ultimate-pa/ultimate

  • ❤️1
xxrlzzz commented

Is there any env or ide requirement for build ultimate?

java11 and java8 both not work for me

hauff commented

Link to Ultimate nightly builds in the documentation is outdated.
https://ultimate-pa.github.io/hanfor/installation/installation.html#reqanalyzer

xxrlzzz commented

great thank you for your reply

  • 😄1