Also disable pthread tests on OSX

They all fail with "pointer handling for concurrency is unsound."

Author: tautschnig

regression/cbmc-concurrency/CMakeLists.txt

@@ -1,4 +1,4 @@
-if(NOT WIN32)
+if((NOT WIN32) AND (NOT APPLE))
 add_test_pl_tests(
     "$<TARGET_FILE:cbmc>"
 )

regression/cbmc-concurrency/Makefile

@@ -3,7 +3,9 @@ default: tests.log
 include ../../src/config.inc
 include ../../src/common
 
-ifeq ($(BUILD_ENV_),MSVC)
+ifeq ($(filter-out OSX MSVC,$(BUILD_ENV_)),)
+	# no POSIX threads on Windows
+	# for OSX we'd need sound handling of pointers in multi-threaded programs
 	no_pthread = -X pthread
 endif