PropertyBased – Build Information

Track the adoption of Swift 6 strict concurrency checks for data race safety. How many packages are Ready for Swift 6?

Build Information

Successful build of PropertyBased, reference 0.1.0 (fdae55), with Swift 6.1 for macOS (SPM) on 6 May 2025 15:14:35 UTC.

Swift 6 data race errors: 0

Build Command

env DEVELOPER_DIR=/Applications/Xcode-16.3.0.app xcrun swift build --arch arm64 -Xswiftc -Xfrontend -Xswiftc -stats-output-dir -Xswiftc -Xfrontend -Xswiftc .stats -Xswiftc -strict-concurrency=complete -Xswiftc -enable-upcoming-feature -Xswiftc StrictConcurrency -Xswiftc -enable-upcoming-feature -Xswiftc DisableOutwardActorInference -Xswiftc -enable-upcoming-feature -Xswiftc GlobalActorIsolatedTypesUsability -Xswiftc -enable-upcoming-feature -Xswiftc InferSendableFromCaptures

Build Log

========================================
RunAll
========================================
Builder version: 4.61.3
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/x-sheep/swift-property-based.git
Reference: 0.1.0
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
From https://github.com/x-sheep/swift-property-based
 * tag               0.1.0      -> FETCH_HEAD
HEAD is now at fdae553 Add tests for propertyCheck function
Cloned https://github.com/x-sheep/swift-property-based.git
Revision (git rev-parse @):
fdae553f6185d5f8f98eb87146002663dbe3f6c7
SUCCESS checkout https://github.com/x-sheep/swift-property-based.git at 0.1.0
Fetching https://github.com/pointfreeco/swift-gen.git
[1/712] Fetching swift-gen
Fetched https://github.com/pointfreeco/swift-gen.git from cache (0.83s)
Creating working copy for https://github.com/pointfreeco/swift-gen.git
Working copy of https://github.com/pointfreeco/swift-gen.git resolved at 0.4.0
========================================
ResolveProductDependencies
========================================
Resolving dependencies ...
{
  "identity": ".resolve-product-dependencies",
  "name": "resolve-dependencies",
  "url": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies",
  "version": "unspecified",
  "path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies",
  "dependencies": [
    {
      "identity": "swift-property-based",
      "name": "PropertyBased",
      "url": "https://github.com/x-sheep/swift-property-based.git",
      "version": "unspecified",
      "path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-property-based",
      "dependencies": [
        {
          "identity": "swift-gen",
          "name": "swift-gen",
          "url": "https://github.com/pointfreeco/swift-gen.git",
          "version": "0.4.0",
          "path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-gen",
          "dependencies": [
          ]
        }
      ]
    }
  ]
}
Fetching https://github.com/x-sheep/swift-property-based.git
[1/73] Fetching swift-property-based
Fetched https://github.com/x-sheep/swift-property-based.git from cache (0.56s)
Fetching https://github.com/pointfreeco/swift-gen.git from cache
Fetched https://github.com/pointfreeco/swift-gen.git from cache (0.44s)
Computing version for https://github.com/pointfreeco/swift-gen.git
Computed https://github.com/pointfreeco/swift-gen.git at 0.4.0 (1.04s)
Creating working copy for https://github.com/pointfreeco/swift-gen.git
Working copy of https://github.com/pointfreeco/swift-gen.git resolved at 0.4.0
Creating working copy for https://github.com/x-sheep/swift-property-based.git
Working copy of https://github.com/x-sheep/swift-property-based.git resolved at 0.1.0 (fdae553)
warning: '.resolve-product-dependencies': dependency 'swift-property-based' is not used by any target
Found 1 product dependencies
  - swift-gen
========================================
Build
========================================
Selected platform:         macosSpm
Swift version:             6.1
Building package at path:  $PWD
https://github.com/x-sheep/swift-property-based.git
https://github.com/x-sheep/swift-property-based.git
{
  "dependencies" : [
    {
      "identity" : "swift-gen",
      "requirement" : {
        "range" : [
          {
            "lower_bound" : "0.4.0",
            "upper_bound" : "1.0.0"
          }
        ]
      },
      "type" : "sourceControl",
      "url" : "https://github.com/pointfreeco/swift-gen.git"
    }
  ],
  "manifest_display_name" : "PropertyBased",
  "name" : "PropertyBased",
  "path" : "/Users/admin/builder/spi-builder-workspace",
  "platforms" : [
    {
      "name" : "macos",
      "version" : "10.15"
    },
    {
      "name" : "ios",
      "version" : "13.0"
    },
    {
      "name" : "tvos",
      "version" : "13.0"
    },
    {
      "name" : "watchos",
      "version" : "6.0"
    },
    {
      "name" : "maccatalyst",
      "version" : "13.0"
    }
  ],
  "products" : [
    {
      "name" : "PropertyBased",
      "targets" : [
        "PropertyBased"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    }
  ],
  "targets" : [
    {
      "c99name" : "PropertyBasedTests",
      "module_type" : "SwiftTarget",
      "name" : "PropertyBasedTests",
      "path" : "Tests/PropertyBasedTests",
      "sources" : [
        "FixedSeedTests.swift",
        "IntegerAdditionTests.swift",
        "PropertyCheckTests.swift",
        "Utils.swift"
      ],
      "target_dependencies" : [
        "PropertyBased"
      ],
      "type" : "test"
    },
    {
      "c99name" : "PropertyBased",
      "module_type" : "SwiftTarget",
      "name" : "PropertyBased",
      "path" : "Sources/PropertyBased",
      "product_dependencies" : [
        "Gen"
      ],
      "product_memberships" : [
        "PropertyBased"
      ],
      "sources" : [
        "FixedSeedTrait.swift",
        "IssueCounting.swift",
        "Mutex.swift",
        "PropertyCheck.swift",
        "SeededRandomNumberGenerator.swift",
        "Xoshiro+SeededRandomNumberGenerator.swift"
      ],
      "type" : "library"
    }
  ],
  "tools_version" : "6.1"
}
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-16.3.0.app xcrun swift build --arch arm64 -Xswiftc -Xfrontend -Xswiftc -stats-output-dir -Xswiftc -Xfrontend -Xswiftc .stats -Xswiftc -strict-concurrency=complete -Xswiftc -enable-upcoming-feature -Xswiftc StrictConcurrency -Xswiftc -enable-upcoming-feature -Xswiftc DisableOutwardActorInference -Xswiftc -enable-upcoming-feature -Xswiftc GlobalActorIsolatedTypesUsability -Xswiftc -enable-upcoming-feature -Xswiftc InferSendableFromCaptures
Building for debugging...
[0/3] Write sources
[2/3] Write swift-version-2F0A5646E1D333AE.txt
[4/10] Compiling Gen Zip.swift
[5/10] Compiling Gen Xoshiro.swift
[6/10] Compiling Gen UIKit.swift
[7/10] Compiling Gen LCRNG.swift
[8/10] Emitting module Gen
[9/10] Compiling Gen AnyRandomNumberGenerator.swift
[10/10] Compiling Gen Gen.swift
[11/17] Compiling PropertyBased SeededRandomNumberGenerator.swift
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
[12/17] Compiling PropertyBased PropertyCheck.swift
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
[13/17] Compiling PropertyBased FixedSeedTrait.swift
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
[14/17] Compiling PropertyBased IssueCounting.swift
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
[15/17] Emitting module PropertyBased
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
[16/17] Compiling PropertyBased Xoshiro+SeededRandomNumberGenerator.swift
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
[17/17] Compiling PropertyBased Mutex.swift
<unknown>:0: warning: upcoming feature 'InferSendableFromCaptures' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'GlobalActorIsolatedTypesUsability' is already enabled as of Swift version 6
<unknown>:0: warning: upcoming feature 'DisableOutwardActorInference' is already enabled as of Swift version 6
Build complete! (8.28s)
Build complete.
{
  "dependencies" : [
    {
      "identity" : "swift-gen",
      "requirement" : {
        "range" : [
          {
            "lower_bound" : "0.4.0",
            "upper_bound" : "1.0.0"
          }
        ]
      },
      "type" : "sourceControl",
      "url" : "https://github.com/pointfreeco/swift-gen.git"
    }
  ],
  "manifest_display_name" : "PropertyBased",
  "name" : "PropertyBased",
  "path" : "/Users/admin/builder/spi-builder-workspace",
  "platforms" : [
    {
      "name" : "macos",
      "version" : "10.15"
    },
    {
      "name" : "ios",
      "version" : "13.0"
    },
    {
      "name" : "tvos",
      "version" : "13.0"
    },
    {
      "name" : "watchos",
      "version" : "6.0"
    },
    {
      "name" : "maccatalyst",
      "version" : "13.0"
    }
  ],
  "products" : [
    {
      "name" : "PropertyBased",
      "targets" : [
        "PropertyBased"
      ],
      "type" : {
        "library" : [
          "automatic"
        ]
      }
    }
  ],
  "targets" : [
    {
      "c99name" : "PropertyBasedTests",
      "module_type" : "SwiftTarget",
      "name" : "PropertyBasedTests",
      "path" : "Tests/PropertyBasedTests",
      "sources" : [
        "FixedSeedTests.swift",
        "IntegerAdditionTests.swift",
        "PropertyCheckTests.swift",
        "Utils.swift"
      ],
      "target_dependencies" : [
        "PropertyBased"
      ],
      "type" : "test"
    },
    {
      "c99name" : "PropertyBased",
      "module_type" : "SwiftTarget",
      "name" : "PropertyBased",
      "path" : "Sources/PropertyBased",
      "product_dependencies" : [
        "Gen"
      ],
      "product_memberships" : [
        "PropertyBased"
      ],
      "sources" : [
        "FixedSeedTrait.swift",
        "IssueCounting.swift",
        "Mutex.swift",
        "PropertyCheck.swift",
        "SeededRandomNumberGenerator.swift",
        "Xoshiro+SeededRandomNumberGenerator.swift"
      ],
      "type" : "library"
    }
  ],
  "tools_version" : "6.1"
}
Done.