Error when compiling espresso

[Cillinn]

I got the error message below when compiling 'espresso' module in SPouT:

It seems that there is something wrong with 'mx', but I can run 'mx' command successfully in other directories, such as 'vm' directory

I can not figure it out, hope for your reply!

[fhowar]

It could be that the mx version and espresso version do not work together. I use mx 6.9.9 an run it like this:

$ mx --version --java-home ../../labsjdk-ce-17-jvmci-22.2-b06/ 
mx version 6.9.9

Also, if you want to use GDart and not the Setup for SVComp, please checkout this repository https://github.com/tudo-aqua/gdart

[Cillinn]

It could be that the mx version and espresso version do not work together. I use mx 6.9.9 an run it like this:

$ mx --version --java-home ../../labsjdk-ce-17-jvmci-22.2-b06/ 
mx version 6.9.9

Also, if you want to use GDart and not the Setup for SVComp, please checkout this repository https://github.com/tudo-aqua/gdart

I will try that, thanks for your reply.