Test issues on aarch64

[numinit]

stp 2.3.4 seems to hang on the following on aarch64 using both cadical and cryptominisat:

• array-iteTests-gtest
• if-checkTests-gtest
• leaksTests-gtest
• stp-div-001Tests-gtest
• mdempskyTests-gtest
• example_brokenTests-gtest

Should I even expect stp to work on aarch64? This came up while updating the package in nixpkgs: NixOS/nixpkgs#348447 and we messed with it a bit but eventually had to disable the test suite on non-x86_64.

[rgov]

I would expect that it works OK on aarch64. Macs have been running this architecture for ~4 years and we haven't heard reports before.

Can you get a stack trace of where it's getting stuck?

Assigning to @msoos who is the author of CryptoMiniSat.

[numinit]

Thanks, let me investigate and get back to you all. It's happening in a CI pipeline I don't have access to but I'll have access to an aarch64 soon enough.