3 tests fail on Sonoma / aarch64

vprover / vampire

The Vampire Theorem Prover

https://vprover.github.io/

Other

282 stars 49 forks source link

3 tests fail on Sonoma / aarch64 #545

Open barracuda156 opened 4 months ago

barracuda156 commented 4 months ago

Building from c7564c1d65020771079f29787ca2d5d7743f5d6a 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 commented 4 months ago

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 commented 4 months ago

@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 commented 4 months ago

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