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

[Harsh4902]

• Removed nhandler.spec.delegate = java.lang.String.* from on_the_fly.StringTest which is causing error and failing tests
• Fixes jpf-nhandler's tests are failing on amd based machines #11

[Harsh4902]

@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]

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]

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

[cyrille-artho]

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]

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