Disabling shared memory proof trace tests on macos

runtimeverification / llvm-backend

KORE to llvm translation

BSD 3-Clause "New" or "Revised" License

36 stars 23 forks source link

Closed theo25 closed 3 months ago

theo25 commented 3 months ago

This PR disables the shared memory proof trace tests on macOS until we resolve a flaky issue with lingering shared memory objects.