3 tests fail on Sonoma / aarch64

[barracuda156]

Building from c7564c1 without z3 on 14.4.1 / aarch64, I get three tests failing:

92% tests passed, 3 tests failed out of 37

Total Test time (real) =   2.78 sec

The following tests FAILED:
	  8 - InterpretedFunctions (Failed)
	 20 - KBO (Failed)
	 24 - OptionConstraints (Failed)

vampire_sonoma_tests.txt

[mezpusz]

Hi, thanks for filing the issue!

• Could you please specify your Clang version? I couldn't reproduce using Sonoma 14.3.1 and Clang 15.
• Are these tests consistently failing or is there some flakiness?

[barracuda156]

@mezpusz Let me try rerunning then.

macOS 14.4.1
AppleClang 15.0.0.15000309

UPD. Yeah, I still get these. Logs:
sonoma_build_log.txt
sonoma_tests_log.txt

[MichaelRawson]

Neither @mezpusz nor @joe-hauns could reproduce this on their (similar if not identical) systems. Unfortunately this means we're flying blind. :-(

Would you be able to get the failing tests' output for us? See https://github.com/vprover/vampire/wiki/Testing-with-CTest