search

ultimate-pa / ultimate

The Ultimate program analysis framework.
https://ultimate-pa.org/
200 stars 41 forks source link

ReqChecker -java error #602

Closed Eevan-zq closed 2 years ago

Eevan-zq commented 2 years ago

With hanfor documentation: image

I use the command "python run_complete_analysis.py -ar xxx.req" in UReqcheck-linux, the ReqChecker didn't work:

image

image

hauff commented 2 years ago

Is discussed in Hanfor issue 231.