diff --git a/.travis.yml b/.travis.yml
index 7236807..8d140f5 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -5,7 +5,7 @@ matrix:
   include:
     - os: osx
       language: objective-c
-      osx_image: xcode10.2
+      osx_image: xcode11
       before_install:
         - git submodule update --init --recursive
       script:
@@ -13,14 +13,14 @@ matrix:
         - carthage build --no-skip-current
     - os: osx
       language: objective-c
-      osx_image: xcode10.2
+      osx_image: xcode11
       before_install:
         - git submodule update --init --recursive
       script:
         - set -o pipefail
         - xcodebuild test -scheme Swiftx | xcpretty -c
-        - xcodebuild build-for-testing -scheme Swiftx-iOS -destination "platform=iOS Simulator,name=iPad Pro (12.9-inch) (2nd generation)" | xcpretty -c
-        - xcodebuild test -scheme Swiftx-iOS -destination "platform=iOS Simulator,name=iPad Pro (12.9-inch) (2nd generation)" | xcpretty -c
+        - xcodebuild build-for-testing -scheme Swiftx-iOS -destination "platform=iOS Simulator,name=iPad Pro (12.9-inch) (3rd generation)" | xcpretty -c
+        - xcodebuild test -scheme Swiftx-iOS -destination "platform=iOS Simulator,name=iPad Pro (12.9-inch) (3rd generation)" | xcpretty -c
         - xcodebuild build-for-testing -scheme Swiftx-tvOS -destination 'platform=tvOS Simulator,name=Apple TV 4K (at 1080p)' | xcpretty -c
         - xcodebuild test -scheme Swiftx-tvOS -destination 'platform=tvOS Simulator,name=Apple TV 4K (at 1080p)' | xcpretty -c
     - os: linux
diff --git a/Cartfile.private b/Cartfile.private
index e065b60..4930f21 100644
--- a/Cartfile.private
+++ b/Cartfile.private
@@ -1,3 +1,3 @@
 github "typelift/Operadics" 
-github "typelift/SwiftCheck"
+github "pushp1989/SwiftCheck" "cfe6eb2a27097ff071f278d3c0f40fa11e42b0aa"
 
diff --git a/Cartfile.resolved b/Cartfile.resolved
index 6ccf18e..0aef5d1 100644
--- a/Cartfile.resolved
+++ b/Cartfile.resolved
@@ -1,2 +1,2 @@
+github "pushp1989/SwiftCheck" "cfe6eb2a27097ff071f278d3c0f40fa11e42b0aa"
 github "typelift/Operadics" "0.4.0"
-github "typelift/SwiftCheck" "0.12.0"
diff --git a/Carthage/Checkouts/SwiftCheck b/Carthage/Checkouts/SwiftCheck
index 077c096..cfe6eb2 160000
--- a/Carthage/Checkouts/SwiftCheck
+++ b/Carthage/Checkouts/SwiftCheck
@@ -1 +1 @@
-Subproject commit 077c096c3ddfc38db223ac8e525ad16ffb987138
+Subproject commit cfe6eb2a27097ff071f278d3c0f40fa11e42b0aa