search

javapathfinder / jpf-nhandler

GNU General Public License v3.0
5 stars 6 forks source link

jpf-nhandler's tests are failing on amd based machines #12

Closed Harsh4902 closed 1 month ago

Harsh4902 commented 1 month ago
Harsh4902 commented 1 month ago

@cyrille-artho can you please try this change at your local machine. I have checked this, and it's working for both of my intel based machine and m1 mac.

cyrille-artho commented 1 month ago

Good job! It looks like this is a major improvement, but there is at least one more step needed.

Works on one machine (Ubuntu 22), fails on another (Ubuntu 20). On the CI build, we have one failure:

converter.specific.JPF2JVMjava_utilTest > convertRandomTest FAILED
    java.lang.AssertionError at JPF2JVMjava_utilTest.java:47

I think if you can get that case to pass, we can continue from there. If the CI build passes, we have at least one reference platform with Linux where the build is successful.

Harsh4902 commented 1 month ago

@cyrille-artho Yes, I am trying to run it on Ubuntu 20.

cyrille-artho commented 1 month ago

I now have one test failing on an Ubuntu 22 machine that I have access to, and still all tests failing on Ubuntu 20. The CI build (hosted by GitHub) is a success, though. Mac OS X also works. @pparizek , can you please try this build, too, and see if it works for you?

Harsh4902 commented 1 month ago

I have tested on Ubuntu 20, 22 and macOS. Tests are passed on all the machines.