search

TermCOMP / starexec-master

5 stars 15 forks source link

Ultimate not working? #59

Closed AkihisaYamada closed 1 year ago

AkihisaYamada commented 1 year ago

@Heizmann could you check if ultimate is working?

https://termcomp.herokuapp.com/Y2023/C.html

I suspect the JRE must be combined into the uploaded zip.

Heizmann commented 1 year ago

Thanks for the hint. My test run did not finish before the deadline and I forgot to look at the results afterwards. The new version that I uploaded succeeded in my tests. You merged the pull request already. Thanks!

AkihisaYamada commented 1 year ago

Thanks for the fix, in my private run I observe it running right.