Swift Package IndexBuild Information
Successful build of SwiftPropertyLaws, reference v4.11.0 (a5ecda), with Swift 6.4 for macOS (SPM) on 31 Oct 2026 22:49:02 UTC.
Swift 6 data race errors: 0
Build Command
env DEVELOPER_DIR=/Applications/Xcode-27.0.0.app xcrun swift build --arch arm64Build Log
========================================
RunAll
========================================
Builder version: 5.1.4
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Reference: v4.11.0
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
From https://github.com/Joseph-Cursio/SwiftPropertyLaws
* tag v4.11.0 -> FETCH_HEAD
HEAD is now at a5ecdab Merge pull request #86 from Joseph-Cursio/swift-syntax-603
Cloned https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Revision (git rev-parse @):
a5ecdabd0d604be8126c19ddac410746609b4f4f
SUCCESS checkout https://github.com/Joseph-Cursio/SwiftPropertyLaws.git at v4.11.0
Fetching https://github.com/apple/swift-async-algorithms.git
Fetching https://github.com/apple/swift-numerics.git
Fetching https://github.com/swiftlang/swift-syntax.git
Fetching https://github.com/apple/swift-collections.git
Fetching https://github.com/x-sheep/swift-property-based.git
[1/1335] Fetching swift-property-based
[28/8101] Fetching swift-property-based, swift-numerics
[176/14926] Fetching swift-property-based, swift-numerics, swift-async-algorithms
[2764/44344] Fetching swift-property-based, swift-numerics, swift-async-algorithms, swift-collections
[21694/125726] Fetching swift-property-based, swift-numerics, swift-async-algorithms, swift-collections, swift-syntax
Fetched https://github.com/x-sheep/swift-property-based.git (9.46s)
Fetched https://github.com/apple/swift-collections.git (9.46s)
Fetched https://github.com/apple/swift-numerics.git (9.46s)
Fetched https://github.com/apple/swift-async-algorithms.git (9.46s)
Fetched https://github.com/swiftlang/swift-syntax.git (9.46s)
Computing version for https://github.com/x-sheep/swift-property-based.git
Computed https://github.com/x-sheep/swift-property-based.git at 2.0.1 (10.08s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 603.0.2 (10.53s)
Computing version for https://github.com/apple/swift-numerics.git
Computed https://github.com/apple/swift-numerics.git at 1.1.1 (0.53s)
Computing version for https://github.com/apple/swift-async-algorithms.git
Computed https://github.com/apple/swift-async-algorithms.git at 1.1.7 (0.58s)
Computing version for https://github.com/apple/swift-collections.git
Computed https://github.com/apple/swift-collections.git at 1.7.5 (0.62s)
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 2.0.1
Creating working copy for https://github.com/apple/swift-collections.git
Working copy of https://github.com/apple/swift-collections.git resolved at 1.7.5
Creating working copy for https://github.com/apple/swift-async-algorithms.git
Working copy of https://github.com/apple/swift-async-algorithms.git resolved at 1.1.7
Creating working copy for https://github.com/apple/swift-numerics.git
Working copy of https://github.com/apple/swift-numerics.git resolved at 1.1.1
Creating working copy for https://github.com/swiftlang/swift-syntax.git
Working copy of https://github.com/swiftlang/swift-syntax.git resolved at 603.0.2
Downloading package prebuilt https://download.swift.org/prebuilts/swift-syntax/603.0.2/swiftlang-6.4.0.34.1-macosx27.0-MacroSupport.zip
Downloaded https://download.swift.org/prebuilts/swift-syntax/603.0.2/swiftlang-6.4.0.34.1-macosx27.0-MacroSupport.zip (1.30s)
========================================
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",
"traits": [
"default"
],
"dependencies": [
{
"identity": "swiftpropertylaws",
"name": "SwiftPropertyLaws",
"url": "https://github.com/Joseph-Cursio/SwiftPropertyLaws.git",
"version": "unspecified",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/SwiftPropertyLaws",
"traits": [
"default"
],
"dependencies": [
{
"identity": "swift-property-based",
"name": "PropertyBased",
"url": "https://github.com/x-sheep/swift-property-based.git",
"version": "2.0.1",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-property-based",
"traits": [
"EnableShrinking"
],
"dependencies": [
]
},
{
"identity": "swift-syntax",
"name": "swift-syntax",
"url": "https://github.com/swiftlang/swift-syntax.git",
"version": "603.0.2",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-syntax",
"traits": [
"default"
],
"dependencies": [
]
},
{
"identity": "swift-numerics",
"name": "swift-numerics",
"url": "https://github.com/apple/swift-numerics.git",
"version": "1.1.1",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-numerics",
"traits": [
"default"
],
"dependencies": [
]
},
{
"identity": "swift-collections",
"name": "swift-collections",
"url": "https://github.com/apple/swift-collections.git",
"version": "1.7.5",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-collections",
"traits": [
],
"dependencies": [
]
},
{
"identity": "swift-async-algorithms",
"name": "swift-async-algorithms",
"url": "https://github.com/apple/swift-async-algorithms.git",
"version": "1.1.7",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-async-algorithms",
"traits": [
],
"dependencies": [
{
"identity": "swift-collections",
"name": "swift-collections",
"url": "https://github.com/apple/swift-collections.git",
"version": "1.7.5",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-collections",
"traits": [
],
"dependencies": [
]
}
]
}
]
}
]
}
Fetching https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
[1/4263] Fetching swiftpropertylaws
Fetched https://github.com/Joseph-Cursio/SwiftPropertyLaws.git (1.31s)
Fetching https://github.com/x-sheep/swift-property-based.git from cache
Fetching https://github.com/apple/swift-numerics.git from cache
Fetching https://github.com/swiftlang/swift-syntax.git from cache
Fetching https://github.com/apple/swift-collections.git from cache
Fetching https://github.com/apple/swift-async-algorithms.git from cache
Fetched https://github.com/swiftlang/swift-syntax.git from cache (1.01s)
Fetched https://github.com/apple/swift-async-algorithms.git from cache (1.11s)
Fetched https://github.com/apple/swift-numerics.git from cache (1.11s)
Fetched https://github.com/apple/swift-collections.git from cache (1.11s)
Fetched https://github.com/x-sheep/swift-property-based.git from cache (1.11s)
Computing version for https://github.com/x-sheep/swift-property-based.git
Computed https://github.com/x-sheep/swift-property-based.git at 2.0.1 (1.18s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 603.0.2 (0.03s)
Computing version for https://github.com/apple/swift-numerics.git
Computed https://github.com/apple/swift-numerics.git at 1.1.1 (0.03s)
Computing version for https://github.com/apple/swift-async-algorithms.git
Computed https://github.com/apple/swift-async-algorithms.git at 1.1.7 (0.04s)
Computing version for https://github.com/apple/swift-collections.git
Computed https://github.com/apple/swift-collections.git at 1.7.5 (0.04s)
Creating working copy for https://github.com/swiftlang/swift-syntax.git
Working copy of https://github.com/swiftlang/swift-syntax.git resolved at 603.0.2
Creating working copy for https://github.com/apple/swift-collections.git
Working copy of https://github.com/apple/swift-collections.git resolved at 1.7.5
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 2.0.1
Creating working copy for https://github.com/apple/swift-numerics.git
Working copy of https://github.com/apple/swift-numerics.git resolved at 1.1.1
Creating working copy for https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Working copy of https://github.com/Joseph-Cursio/SwiftPropertyLaws.git resolved at v4.11.0 (a5ecdab)
Creating working copy for https://github.com/apple/swift-async-algorithms.git
Working copy of https://github.com/apple/swift-async-algorithms.git resolved at 1.1.7
Found 5 product dependencies
- PropertyBased
- swift-syntax
- swift-numerics
- swift-collections
- swift-async-algorithms
========================================
Build
========================================
Selected platform: macosSpm
Swift version: 6.4
Building package at path: $PWD
https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-27.0.0.app xcrun swift build --arch arm64
Building for debugging...
[Computing dependencies]
[Pre-planning 1 / 1474]
[Planning deferred tasks]
[Writing build description]
[193 / 584] PropertyLawCollections-product
[253 / 584]
[265 / 594] InternalCollectionsUtilities
[276 / 646] SwiftSyntax601
[300 / 659] SwiftSyntax600
[332 / 659]
[347 / 659]
[369 / 659] PropertyLawCore
[375 / 659] PropertyLawCore-product
[383 / 666] PropertyBased
[387 / 731]
[398 / 731] InternalCollectionsUtilities
[405 / 731]
[412 / 732]
[426 / 737]
[442 / 743] BitCollections
[449 / 751] InternalCollectionsUtilities
[454 / 796] BitCollections
[461 / 818] HeapModule
[474 / 818] OrderedCollections
[476 / 818]
[489 / 818]
[492 / 818]
[495 / 818]
[498 / 818] OrderedCollections
[505 / 818]
[522 / 818] SwiftSyntax
[524 / 818]
[525 / 818]
[529 / 818] OrderedCollections
[532 / 818] OrderedCollections
[535 / 818]
[536 / 818] HeapModule
[540 / 818] HeapModule
[543 / 818] HashTreeCollections
[547 / 818] OrderedCollections
[549 / 818]
[553 / 818]
[558 / 818]
[560 / 818] HashTreeCollections-product
[562 / 818] HashTreeCollections-product
[564 / 818]
[564 / 818] HashTreeCollections-product
[566 / 818]
[569 / 818] HashTreeCollections
[570 / 818] HashTreeCollections
[571 / 818] DequeModule
[574 / 818] PropertyBased
[575 / 818] PropertyBased
[578 / 818] SwiftSyntax
[584 / 818] SwiftSyntax
[594 / 818] PropertyBased
[595 / 818] PropertyBased
[596 / 818] HashTreeCollections
[599 / 818] DequeModule-product
[601 / 818] DequeModule-product
[606 / 818] ComplexModule
[609 / 818] ComplexModule
[614 / 818] ComplexModule
[620 / 818] ComplexModule
[624 / 818] PropertyBased
[627 / 818] DequeModule
[631 / 820]
[634 / 823]
[640 / 856] SwiftParser
[655 / 856] SwiftParser
[656 / 856] SwiftBasicFormat
[664 / 868] SwiftParser
[665 / 868] SwiftParser
[667 / 868] PropertyLawKit
[668 / 868] SwiftParser
[674 / 868] SwiftParser
[679 / 868] SwiftDiagnostics
[680 / 868] SwiftParser-product
[683 / 868] SwiftOperators
[694 / 868] SwiftParserDiagnostics
[699 / 868] PropertyLawSyntaxSupport-product
[705 / 868] PropertyLawKit
[710 / 868] PropertyLawKit
[711 / 868] SwiftBasicFormat
[713 / 868] PropertyLawKit
[715 / 869]
[717 / 871]
[721 / 884] SwiftParserDiagnostics
[722 / 895] SwiftOperators
[725 / 902] PropertyLawSyntax
[735 / 902] SwiftParserDiagnostics
[753 / 902] PropertyLawSyntax
[762 / 902] SwiftOperators
[767 / 911] SwiftOperators
[773 / 911] SwiftOperators
[776 / 911] PropertyLawMinimalTypes
[785 / 911] PropertyLawMinimalTypes
[792 / 914] AsyncAlgorithms
[793 / 914]
[800 / 914]
[811 / 925] PropertyLawMinimalTypes
[813 / 936] SwiftSyntaxBuilder
[818 / 947] SwiftSyntaxBuilder
[822 / 947] PropertyLawCollections
[837 / 947] PropertyLawCollections
[840 / 947] PropertyLawCollections
[848 / 947] AsyncAlgorithms
[850 / 947] AsyncAlgorithms
[854 / 947] AsyncAlgorithms
[861 / 948]
[865 / 949] PropertyLawCollections-product
[869 / 960] SwiftIfConfig
[873 / 960] SwiftIfConfig
[875 / 960] SwiftIfConfig
[885 / 967] SwiftSyntaxMacros
[890 / 967] AsyncAlgorithms
[899 / 968] PropertyLawAsync
[902 / 968] SwiftSyntaxMacros
[912 / 979] SwiftSyntaxMacros
[920 / 980] SwiftSyntaxMacros
[921 / 980] SwiftSyntaxMacroExpansion
[931 / 990] SwiftSyntaxMacroExpansion
[932 / 990] SwiftSyntaxMacroExpansion
[940 / 991] SwiftSyntax
[950 / 991] PropertyLawSyntaxSupport-product
[952 / 991] SwiftSyntaxMacroExpansion
[964 / 1002] SwiftSyntaxMacroExpansion
[965 / 1002] SwiftCompilerPluginMessageHandling
[972 / 1003] SwiftCompilerPluginMessageHandling
[972 / 1003] SwiftCompilerPlugin
[982 / 1005] SwiftCompilerPlugin
[992 / 1006] PropertyLawMacroImpl
[999 / 1013] PropertyLawMacroImpl
[1000 / 1013] PropertyLawMacroImpl
[1002 / 1013] PropertyLawMacroImpl
[1005 / 1014] PropertyLawMacro
[1007 / 1016] PropertyLawMacro
Build complete! (25.21 sec)
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: [1;33mwarning: [1;39mno 'async' operations occur within 'await' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m174 |[0;0m return try await runPropertyLawSuite(options: options) {
[0;36m175 |[0;0m [
[0;36m176 |[0;0m await requiringApplicableCases(await runBinaryLaw(
[0;36m|[0;0m `- [1;33mwarning: [1;39mno 'async' operations occur within 'await' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m177 |[0;0m "StrictWeakOrdering.discrimination",
[0;36m178 |[0;0m tier: .conventional,
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: [1;33mwarning: [1;39mno 'async' operations occur within 'await' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m269 |[0;0m return try await runPropertyLawSuite(options: options) {
[0;36m270 |[0;0m [
[0;36m271 |[0;0m await requiringApplicableCases(await runTernaryLaw(
[0;36m|[0;0m `- [1;33mwarning: [1;39mno 'async' operations occur within 'await' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m272 |[0;0m "StrictWeakOrdering.congruence",
[0;36m273 |[0;0m tier: .conventional,
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: [1;33mwarning: [1;39mno 'async' operations occur within 'await' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m332 |[0;0m ) async -> CheckResult {
[0;36m333 |[0;0m let applications = Applications()
[0;36m334 |[0;0m return await requiringApplicableCases(await runTernaryLaw(
[0;36m|[0;0m `- [1;33mwarning: [1;39mno 'async' operations occur within 'await' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m335 |[0;0m "StrictWeakOrdering.transitivity",
[0;36m336 |[0;0m source: source,
[#UnnecessaryEffectMarker]: <https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker>
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: [1;33mwarning: [1;39mno 'async' operations occur within 'await' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m102 |[0;0m ) async -> CheckResult {
[0;36m103 |[0;0m let applications = Applications()
[0;36m104 |[0;0m return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
[0;36m|[0;0m `- [1;33mwarning: [1;39mno 'async' operations occur within 'await' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m105 |[0;0m "Comparable.antisymmetry",
[0;36m106 |[0;0m source: source,
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: [1;33mwarning: [1;39mno 'async' operations occur within 'await' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m122 |[0;0m ) async -> CheckResult {
[0;36m123 |[0;0m let applications = Applications()
[0;36m124 |[0;0m return await reportingApplications(applications, of: await runTernaryLaw(
[0;36m|[0;0m `- [1;33mwarning: [1;39mno 'async' operations occur within 'await' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m125 |[0;0m "Comparable.transitivity",
[0;36m126 |[0;0m source: source,
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: [1;33mwarning: [1;39mno 'async' operations occur within 'await' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m130 |[0;0m ) async -> CheckResult {
[0;36m131 |[0;0m let applications = Applications()
[0;36m132 |[0;0m return await reportingApplications(applications, of: await runEqualityChainLaw(
[0;36m|[0;0m `- [1;33mwarning: [1;39mno 'async' operations occur within 'await' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m133 |[0;0m "Equatable.transitivity",
[0;36m134 |[0;0m source: source,
[#UnnecessaryEffectMarker]: <https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker>
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: [1;33mwarning: [1;39mno 'async' operations occur within 'await' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m85 |[0;0m ) async -> CheckResult {
[0;36m86 |[0;0m let applications = Applications()
[0;36m87 |[0;0m return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
[0;36m|[0;0m `- [1;33mwarning: [1;39mno 'async' operations occur within 'await' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m88 |[0;0m "Hashable.equalityConsistency",
[0;36m89 |[0;0m source: source,
[#UnnecessaryEffectMarker]: <https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker>
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:27:26: [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m25 |[0;0m // concatenation asserts no element is dropped, invented, or
[0;36m26 |[0;0m // duplicated — while deliberately saying nothing about order.
[0;36m27 |[0;0m let merged = try await collect(merge(first.async, second.async))
[0;36m|[0;0m `- [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m28 |[0;0m return merged.sorted() == (first + second).sorted()
[0;36m29 |[0;0m },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:51:26: [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m49 |[0;0m // Unlike merge, zip IS order-deterministic: pairwise correspondence
[0;36m50 |[0;0m // and length (min of the inputs) match Swift.zip exactly.
[0;36m51 |[0;0m let zipped = try await collect(zip(first.async, second.async))
[0;36m|[0;0m `- [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m52 |[0;0m let model = Array(Swift.zip(first, second))
[0;36m53 |[0;0m return zipped.count == Swift.min(first.count, second.count)
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:80:19: [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m78 |[0;0m // exhaustion behavior of the wrapper types is covered too.
[0;36m79 |[0;0m var iterator = sample.async.removeDuplicates().makeAsyncIterator()
[0;36m80 |[0;0m while try await iterator.next() != nil { continue }
[0;36m|[0;0m `- [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m81 |[0;0m let afterFirstNil = try await iterator.next()
[0;36m82 |[0;0m let afterSecondNil = try await iterator.next()
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:81:33: [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m79 |[0;0m var iterator = sample.async.removeDuplicates().makeAsyncIterator()
[0;36m80 |[0;0m while try await iterator.next() != nil { continue }
[0;36m81 |[0;0m let afterFirstNil = try await iterator.next()
[0;36m|[0;0m `- [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m82 |[0;0m let afterSecondNil = try await iterator.next()
[0;36m83 |[0;0m return afterFirstNil == nil && afterSecondNil == nil
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:82:34: [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m80 |[0;0m while try await iterator.next() != nil { continue }
[0;36m81 |[0;0m let afterFirstNil = try await iterator.next()
[0;36m82 |[0;0m let afterSecondNil = try await iterator.next()
[0;36m|[0;0m `- [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m83 |[0;0m return afterFirstNil == nil && afterSecondNil == nil
[0;36m84 |[0;0m },
[#UnnecessaryEffectMarker]: <https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker>
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:98:27: [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m96 |[0;0m property: { sample in
[0;36m97 |[0;0m let size = sample.count % 4 + 1
[0;36m98 |[0;0m let chunked = try await collect(sample.async.chunks(ofCount: size))
[0;36m|[0;0m `- [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m99 |[0;0m return chunked == syncChunks(sample, size: size)
[0;36m100 |[0;0m },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:120:27: [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m118 |[0;0m property: { sample in
[0;36m119 |[0;0m let size = sample.count % 4 + 1
[0;36m120 |[0;0m let chunked = try await collect(sample.async.chunks(ofCount: size))
[0;36m|[0;0m `- [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m121 |[0;0m return chunked.flatMap { $0 } == sample
[0;36m122 |[0;0m },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:141:25: [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m139 |[0;0m options: options,
[0;36m140 |[0;0m property: { sample in
[0;36m141 |[0;0m let pairs = try await collect(sample.async.adjacentPairs())
[0;36m|[0;0m `- [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m142 |[0;0m let model = Array(zip(sample, sample.dropFirst()))
[0;36m143 |[0;0m return pairs.count == model.count
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:164:32: [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m162 |[0;0m options: options,
[0;36m163 |[0;0m property: { sample in
[0;36m164 |[0;0m let deduplicated = try await collect(sample.async.removeDuplicates())
[0;36m|[0;0m `- [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m165 |[0;0m return deduplicated == syncRemoveConsecutiveDuplicates(sample)
[0;36m166 |[0;0m },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:190:32: [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m188 |[0;0m // with and no separator to derive.
[0;36m189 |[0;0m guard let separator = sample.first else { return true }
[0;36m190 |[0;0m let interspersed = try await collect(sample.async.interspersed(with: separator))
[0;36m|[0;0m `- [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m191 |[0;0m return interspersed == syncInterspersed(sample, separator: separator)
[0;36m192 |[0;0m },
/Users/admin/builder/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:216:29: [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m214 |[0;0m pair.offset % 3 == 0 ? nil : pair.element
[0;36m215 |[0;0m }
[0;36m216 |[0;0m let compacted = try await collect(optionals.async.compacted())
[0;36m|[0;0m `- [1;33mwarning: [1;39mno calls to throwing functions occur within 'try' expression[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker\UnnecessaryEffectMarker]8;;\]
[0;36m217 |[0;0m return compacted == optionals.compactMap { $0 }
[0;36m218 |[0;0m },
[#UnnecessaryEffectMarker]: <https://docs.swift.org/compiler/documentation/diagnostics/unnecessary-effect-marker>
Build complete.
{
"dependencies" : [
{
"identity" : "swift-property-based",
"requirement" : {
"range" : [
{
"lower_bound" : "2.0.0",
"upper_bound" : "3.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/x-sheep/swift-property-based.git"
},
{
"identity" : "swift-syntax",
"requirement" : {
"range" : [
{
"lower_bound" : "603.0.0",
"upper_bound" : "604.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/swiftlang/swift-syntax.git"
},
{
"identity" : "swift-numerics",
"requirement" : {
"range" : [
{
"lower_bound" : "1.0.0",
"upper_bound" : "2.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/apple/swift-numerics.git"
},
{
"identity" : "swift-collections",
"requirement" : {
"range" : [
{
"lower_bound" : "1.2.0",
"upper_bound" : "2.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/apple/swift-collections.git"
},
{
"identity" : "swift-async-algorithms",
"requirement" : {
"range" : [
{
"lower_bound" : "1.0.0",
"upper_bound" : "2.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/apple/swift-async-algorithms.git"
}
],
"manifest_display_name" : "SwiftPropertyLaws",
"name" : "SwiftPropertyLaws",
"path" : "/Users/admin/builder/spi-builder-workspace",
"platforms" : [
{
"name" : "macos",
"version" : "14.0"
},
{
"name" : "ios",
"version" : "17.0"
},
{
"name" : "tvos",
"version" : "17.0"
},
{
"name" : "watchos",
"version" : "10.0"
},
{
"name" : "visionos",
"version" : "1.0"
}
],
"products" : [
{
"name" : "PropertyLawKit",
"targets" : [
"PropertyLawKit"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawMacro",
"targets" : [
"PropertyLawMacro"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawSyntaxSupport",
"targets" : [
"PropertyLawSyntaxSupport"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawCore",
"targets" : [
"PropertyLawCore"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawComplex",
"targets" : [
"PropertyLawComplex"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawSyntax",
"targets" : [
"PropertyLawSyntax"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawCollections",
"targets" : [
"PropertyLawCollections"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawMinimalTypes",
"targets" : [
"PropertyLawMinimalTypes"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawAsync",
"targets" : [
"PropertyLawAsync"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawDiscoveryPlugin",
"targets" : [
"PropertyLawDiscoveryPlugin"
],
"type" : {
"plugin" : null
}
},
{
"name" : "PropertyLawDiscoveryTool",
"targets" : [
"PropertyLawDiscoveryTool"
],
"type" : {
"executable" : null
}
},
{
"name" : "PropertyLawMacroImpl",
"targets" : [
"PropertyLawMacroImpl"
],
"type" : {
"macro" : null
}
}
],
"targets" : [
{
"c99name" : "PropertyLawSyntaxTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawSyntaxTests",
"path" : "Tests/PropertyLawSyntaxTests",
"product_dependencies" : [
"PropertyBased",
"SwiftSyntax"
],
"sources" : [
"DownstreamNodeDemandTests.swift",
"SyntaxGenConformanceTests.swift",
"SyntaxGeneratorTests.swift",
"SyntaxNodeGeneratorTests.swift"
],
"target_dependencies" : [
"PropertyLawSyntax",
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawSyntaxSupportTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawSyntaxSupportTests",
"path" : "Tests/PropertyLawSyntaxSupportTests",
"product_dependencies" : [
"SwiftParser"
],
"sources" : [
"ArgumentLabelTests.swift",
"InitializerPreconditionDetectorTests.swift",
"SequenceInitializerNormalizerTests.swift",
"StoredMemberAccessLevelTests.swift",
"StoredMemberRecognitionTests.swift"
],
"target_dependencies" : [
"PropertyLawSyntaxSupport",
"PropertyLawCore"
],
"type" : "test"
},
{
"c99name" : "PropertyLawSyntaxSupport",
"module_type" : "SwiftTarget",
"name" : "PropertyLawSyntaxSupport",
"path" : "Sources/PropertyLawSyntaxSupport",
"product_dependencies" : [
"SwiftSyntax"
],
"product_memberships" : [
"PropertyLawMacro",
"PropertyLawSyntaxSupport",
"PropertyLawDiscoveryPlugin",
"PropertyLawDiscoveryTool",
"PropertyLawMacroImpl"
],
"sources" : [
"InitializerPreconditionDetector.swift",
"MemberBlockInspector.swift",
"SequenceInitializerNormalizer.swift"
],
"target_dependencies" : [
"PropertyLawCore"
],
"type" : "library"
},
{
"c99name" : "PropertyLawSyntax",
"module_type" : "SwiftTarget",
"name" : "PropertyLawSyntax",
"path" : "Sources/PropertyLawSyntax",
"product_dependencies" : [
"PropertyBased",
"SwiftSyntax",
"SwiftParser"
],
"product_memberships" : [
"PropertyLawSyntax"
],
"sources" : [
"SyntaxGenConformances.swift",
"SyntaxGenerators.swift",
"SyntaxNodeGenerators.swift"
],
"type" : "library"
},
{
"c99name" : "PropertyLawMinimalTypesTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMinimalTypesTests",
"path" : "Tests/PropertyLawMinimalTypesTests",
"product_dependencies" : [
"PropertyBased"
],
"sources" : [
"MinimalCodableTests.swift",
"MinimalTypesTests.swift"
],
"target_dependencies" : [
"PropertyLawMinimalTypes",
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawMinimalTypes",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMinimalTypes",
"path" : "Sources/PropertyLawMinimalTypes",
"product_dependencies" : [
"PropertyBased"
],
"product_memberships" : [
"PropertyLawMinimalTypes"
],
"sources" : [
"MinimalCodableValue.swift",
"MinimalCodec.swift",
"MinimalCollections.swift",
"MinimalDecoder.swift",
"MinimalEncoder.swift",
"MinimalGenerators.swift",
"MinimalIndex.swift",
"MinimalLeaf.swift"
],
"target_dependencies" : [
"PropertyLawKit"
],
"type" : "library"
},
{
"c99name" : "PropertyLawMacroTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMacroTests",
"path" : "Tests/PropertyLawMacroTests",
"product_dependencies" : [
"PropertyBased",
"SwiftSyntaxMacros",
"SwiftSyntaxMacrosTestSupport"
],
"sources" : [
"DiagnosticsTests.swift",
"DiscoverableMacroTests.swift",
"EndToEndTests.swift",
"InteractionInvariantTestsMacroTests.swift",
"MacroExpansionMultiTypeTests.swift",
"MacroExpansionTests.swift",
"ReferenceTypeLawTestsMacroTests.swift",
"ValueSemanticTestsMacroTests.swift"
],
"target_dependencies" : [
"PropertyLawMacro",
"PropertyLawMacroImpl",
"PropertyLawKit",
"PropertyLawCore"
],
"type" : "test"
},
{
"c99name" : "PropertyLawMacroImpl",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMacroImpl",
"path" : "Sources/PropertyLawMacroImpl",
"product_dependencies" : [
"SwiftSyntax",
"SwiftSyntaxMacros",
"SwiftCompilerPlugin",
"SwiftDiagnostics"
],
"product_memberships" : [
"PropertyLawMacro",
"PropertyLawMacroImpl"
],
"sources" : [
"Diagnostics.swift",
"DiscoverableMacro.swift",
"InteractionInvariantTestsMacro.swift",
"LawTestPeerMacros.swift",
"Plugin.swift",
"PropertyLawSuiteMacro.swift"
],
"target_dependencies" : [
"PropertyLawCore",
"PropertyLawSyntaxSupport"
],
"type" : "macro"
},
{
"c99name" : "PropertyLawMacro",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMacro",
"path" : "Sources/PropertyLawMacro",
"product_memberships" : [
"PropertyLawMacro"
],
"sources" : [
"PropertyLawMacro.swift"
],
"target_dependencies" : [
"PropertyLawKit",
"PropertyLawMacroImpl"
],
"type" : "library"
},
{
"c99name" : "PropertyLawKitTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawKitTests",
"path" : "Tests/PropertyLawKitTests",
"product_dependencies" : [
"PropertyBased"
],
"sources" : [
"ActionSequenceFactoryTests.swift",
"AdditiveArithmeticLawsTests.swift",
"AlgebraicWalkedLawsTests.swift",
"AsciiScalarGeneratorTests.swift",
"BackendShrinkingTests.swift",
"BidirectionalCollectionLawsTests.swift",
"BinaryFloatingPointLawsTests.swift",
"BinaryIntegerLawsTests.swift",
"BudgetTests.swift",
"CaseIterableLawsTests.swift",
"CodableLawsTests.swift",
"CollectionLawsTests.swift",
"CommutativeMonoidLawsTests.swift",
"ComparableLawsTests.swift",
"CompositeGeneratorCompileTests.swift",
"CoverageHintsTests.swift",
"DefensiveCopyLawsTests.swift",
"DownstreamPropertyBackendSmokeTests.swift",
"ElementEquivalenceSequenceLawsTests.swift",
"EnforcementTests.swift",
"EnumerationBucketSearchTests.swift",
"EnumerationGeneratorBridgeTests.swift",
"EnumerationProductTests.swift",
"EnumerationReportingTests.swift",
"EnumerationSequenceTests.swift",
"EnumerationTests.swift",
"EqualValuePairingMeasurements.swift",
"EqualValuePairingTests.swift",
"EquatableLawsTests.swift",
"ErrorBoxTests.swift",
"EveryCarrierLawsTests.swift",
"EveryCaseLawsTests.swift",
"FixedWidthIntegerLawsTests.swift",
"FloatingPointLawsTests.swift",
"FoundationGeneratorsTests.swift",
"GroupLawsTests.swift",
"HashableLawsTests.swift",
"Helpers/Generators.swift",
"Helpers/RecordedWarnings.swift",
"Helpers/SeededValueType.swift",
"IdentifiableLawsTests.swift",
"InteractionInvariantAsyncLawsTests.swift",
"InteractionInvariantLawsTests.swift",
"InteractionInvariantTests.swift",
"InvariantFalsifiabilityTests.swift",
"IteratorProtocolLawsTests.swift",
"LawIdentifierTests.swift",
"LawVocabularyTests.swift",
"LosslessStringConvertibleLawsTests.swift",
"MonoidLawsTests.swift",
"MutableCollectionLawsTests.swift",
"NaNGeneratorSeedingTests.swift",
"NearMissTests.swift",
"NumericLawsTests.swift",
"PlantedBugs/PlantedAdditiveArithmeticViolators.swift",
"PlantedBugs/PlantedBinaryIntegerViolators.swift",
"PlantedBugs/PlantedBugCollectionRefinementsDetectionTests.swift",
"PlantedBugs/PlantedBugCollectionsDetectionTests.swift",
"PlantedBugs/PlantedBugDetectionTests.swift",
"PlantedBugs/PlantedBugFloatingPointDetectionTests.swift",
"PlantedBugs/PlantedBugIntegerDetectionTests.swift",
"PlantedBugs/PlantedBugMonoidDetectionTests.swift",
"PlantedBugs/PlantedBugNumericDetectionTests.swift",
"PlantedBugs/PlantedBugRoundTripDetectionTests.swift",
"PlantedBugs/PlantedBugSemigroupDetectionTests.swift",
"PlantedBugs/PlantedCaseIterableViolators.swift",
"PlantedBugs/PlantedCodableViolators.swift",
"PlantedBugs/PlantedCollectionRefinementsViolators.swift",
"PlantedBugs/PlantedCollectionViolators.swift",
"PlantedBugs/PlantedComparableViolators.swift",
"PlantedBugs/PlantedEquatableViolators.swift",
"PlantedBugs/PlantedFixedWidthIntegerViolators.swift",
"PlantedBugs/PlantedFloatingPointViolators.swift",
"PlantedBugs/PlantedHashableViolators.swift",
"PlantedBugs/PlantedIdentifiableViolators.swift",
"PlantedBugs/PlantedIteratorViolators.swift",
"PlantedBugs/PlantedLosslessStringConvertibleViolators.swift",
"PlantedBugs/PlantedMonoidViolators.swift",
"PlantedBugs/PlantedNumericViolators.swift",
"PlantedBugs/PlantedRawRepresentableViolators.swift",
"PlantedBugs/PlantedSemigroupViolators.swift",
"PlantedBugs/PlantedSequenceViolators.swift",
"PlantedBugs/PlantedSetAlgebraMutatingViolators.swift",
"PlantedBugs/PlantedSetAlgebraSubtractingViolators.swift",
"PlantedBugs/PlantedSetAlgebraViolators.swift",
"PlantedBugs/PlantedSignedIntegerViolators.swift",
"PlantedBugs/PlantedSignedNumericViolators.swift",
"PlantedBugs/PlantedSingleFaultIntegerViolators.swift",
"PlantedBugs/PlantedStrideableViolators.swift",
"PlantedBugs/PlantedUnsignedIntegerViolators.swift",
"RandomAccessCollectionLawsTests.swift",
"RangeReplaceableCollectionLawsTests.swift",
"RareAntecedentTests.swift",
"RawRepresentableLawsTests.swift",
"ReplayValidationTests.swift",
"RingLawsTests.swift",
"SameResultTests.swift",
"SampledSpaceTests.swift",
"SeedTests.swift",
"SemigroupLawsTests.swift",
"SemilatticeLawsTests.swift",
"SequenceLawsTests.swift",
"SetAlgebraLawsTests.swift",
"SignedNumericLawsTests.swift",
"StableIdentityLawsTests.swift",
"StrictWeakOrderingLawsTests.swift",
"StrideableLawsTests.swift",
"StringProtocolCounterexampleFormatterTests.swift",
"StringProtocolLawsTests.swift",
"SuppressionTests.swift",
"TransformationFunctionLawsTests.swift",
"TransformationLawsTests.swift",
"UnicodeScalarGeneratorTests.swift",
"ValueSemanticLawsTests.swift",
"WalkedActionSequenceTests.swift"
],
"target_dependencies" : [
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawKit",
"module_type" : "SwiftTarget",
"name" : "PropertyLawKit",
"path" : "Sources/PropertyLawKit",
"product_dependencies" : [
"PropertyBased"
],
"product_memberships" : [
"PropertyLawKit",
"PropertyLawMacro",
"PropertyLawCollections",
"PropertyLawMinimalTypes",
"PropertyLawAsync"
],
"sources" : [
"Internal/AggregateDriver.swift",
"Internal/Backends/SwiftPropertyBasedBackend.swift",
"Internal/CheckPreflight.swift",
"Internal/CoverageAccumulator.swift",
"Internal/DrawPoolDriver.swift",
"Internal/EnumerationDriver.swift",
"Internal/EqualValueLawBuilders.swift",
"Internal/InheritedLawCollector.swift",
"Internal/LawCheckBuilders.swift",
"Internal/LawSuppressionPolicy.swift",
"Internal/NearMissCollector.swift",
"Internal/PerLawDriver.swift",
"Internal/PropertyLawSuiteRunner.swift",
"Internal/ReplayEnvironmentValidator.swift",
"Internal/SpaceSampling.swift",
"Internal/ViolationFormatter.swift",
"Model/CheckResult.swift",
"Model/CodableCodec.swift",
"Model/CodableLawConfig.swift",
"Model/CodableRoundTripMode.swift",
"Model/EnforcementMode.swift",
"Model/Environment.swift",
"Model/EqualValuePairing.swift",
"Model/InputSource.swift",
"Model/LawCheckOptions.swift",
"Model/LawIdentifier+LaterSuites.swift",
"Model/LawIdentifier.swift",
"Model/LawSelection.swift",
"Model/LawSuppression.swift",
"Model/PropertyLawViolation.swift",
"Model/Seed.swift",
"Model/SequenceLawOptions.swift",
"Model/SpaceCoverage.swift",
"Model/StrictnessTier.swift",
"Model/TrialBudget.swift",
"PropertyLawKit.swift",
"Public/ActionSequenceFactory.swift",
"Public/AdditiveArithmeticLaws.swift",
"Public/BidirectionalCollectionLaws.swift",
"Public/BinaryFloatingPointLaws.swift",
"Public/BinaryIntegerLaws.swift",
"Public/CaseIterableLaws.swift",
"Public/CodableLaws.swift",
"Public/CollectionLaws.swift",
"Public/CommutativeMonoid.swift",
"Public/CommutativeMonoidLaws.swift",
"Public/ComparableLaws.swift",
"Public/CoverageClassifier.swift",
"Public/DefensiveCopy.swift",
"Public/DefensiveCopyLaws.swift",
"Public/Enumeration.swift",
"Public/EnumerationCombinators.swift",
"Public/EnumerationProduct.swift",
"Public/EquatableLaws.swift",
"Public/EveryCarrierLaws.swift",
"Public/EveryCaseLaws.swift",
"Public/FixedWidthIntegerLaws.swift",
"Public/FloatingPointCommutativityLaws.swift",
"Public/FloatingPointLaws.swift",
"Public/FoundationGenerators.swift",
"Public/Group.swift",
"Public/GroupLaws.swift",
"Public/HashableLaws.swift",
"Public/IdentifiableLaws.swift",
"Public/InteractionInvariant.swift",
"Public/InteractionInvariantLaws+Async.swift",
"Public/InteractionInvariantLaws.swift",
"Public/InvariantFalsifiabilityLaw.swift",
"Public/IteratorProtocolLaws.swift",
"Public/LosslessStringConvertibleLaws.swift",
"Public/Monoid.swift",
"Public/MonoidLaws.swift",
"Public/MutableCollectionLaws.swift",
"Public/NumericGenerators.swift",
"Public/NumericLaws.swift",
"Public/PropertyBackend.swift",
"Public/RandomAccessCollectionLaws.swift",
"Public/RangeReplaceableCollectionLaws.swift",
"Public/RawRepresentableLaws.swift",
"Public/ReplayEnvironmentMismatch.swift",
"Public/Ring.swift",
"Public/RingLaws.swift",
"Public/SameResult.swift",
"Public/Semigroup.swift",
"Public/SemigroupLaws.swift",
"Public/Semilattice.swift",
"Public/SemilatticeLaws.swift",
"Public/SequenceLaws.swift",
"Public/SetAlgebraLaws+BooleanAlgebra.swift",
"Public/SetAlgebraLaws.swift",
"Public/SignedIntegerLaws.swift",
"Public/SignedNumericLaws.swift",
"Public/StableIdentity.swift",
"Public/StableIdentityLaws.swift",
"Public/StatefulGuard.swift",
"Public/StdlibGenerators.swift",
"Public/StrictWeakOrderingLaws.swift",
"Public/StrictWeakOrderingVacuity.swift",
"Public/StrideableLaws.swift",
"Public/StringProtocolLaws.swift",
"Public/TransformationFunctionLaws.swift",
"Public/TransformationLaws.swift",
"Public/UnsignedIntegerLaws.swift",
"Public/ValueSemantic.swift",
"Public/ValueSemanticLaws.swift"
],
"type" : "library"
},
{
"c99name" : "PropertyLawDiscoveryToolTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawDiscoveryToolTests",
"path" : "Tests/PropertyLawDiscoveryToolTests",
"product_dependencies" : [
"SwiftSyntax",
"SwiftParser"
],
"sources" : [
"AdvisorySuggesterTests.swift",
"ContextFileTests.swift",
"EmittedFileParsesTests.swift",
"EmitterGoldenTests.swift",
"ExtensionOnlyAndSendableTests.swift",
"ImportEmissionTests.swift",
"ModuleImportEmissionTests.swift",
"ModuleProvenanceTests.swift",
"ModuleScannerRoundTripTests.swift",
"ModuleScannerTests.swift",
"NestedTypeScanningTests.swift",
"RoundTripSuggesterTests.swift",
"ScaffoldFileEmitterTests.swift",
"ScannerSignalTests.swift",
"SkippedTypeTests.swift",
"SuppressionParserTests.swift",
"TodoCategoryTests.swift",
"ToolInvocationTests.swift"
],
"target_dependencies" : [
"PropertyLawDiscoveryTool",
"PropertyLawCore"
],
"type" : "test"
},
{
"c99name" : "PropertyLawDiscoveryTool",
"module_type" : "SwiftTarget",
"name" : "PropertyLawDiscoveryTool",
"path" : "Sources/PropertyLawDiscoveryTool",
"product_dependencies" : [
"SwiftSyntax",
"SwiftParser"
],
"product_memberships" : [
"PropertyLawDiscoveryPlugin",
"PropertyLawDiscoveryTool"
],
"sources" : [
"AdvisorySuggester.swift",
"ConformanceMap.swift",
"GeneratedFileEmitter.swift",
"ModuleScanner+Declarations.swift",
"ModuleScanner+Namesakes.swift",
"ModuleScanner+Shapes.swift",
"ModuleScanner+Skipping.swift",
"ModuleScanner.swift",
"PropertyLawDiscoveryTool.swift",
"RoundTripFinder.swift",
"RoundTripSuggester.swift",
"ScaffoldFileEmitter.swift",
"SendableProtocols.swift",
"SuppressionParser.swift",
"ToolFlag.swift",
"ToolInvocation.swift",
"WitnessFinder.swift"
],
"target_dependencies" : [
"PropertyLawCore",
"PropertyLawSyntaxSupport"
],
"type" : "executable"
},
{
"c99name" : "PropertyLawDiscoveryPluginTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawDiscoveryPluginTests",
"path" : "Tests/PropertyLawDiscoveryPluginTests",
"sources" : [
"PluginArguments.swift",
"PluginArgumentsTests.swift",
"PluginError.swift"
],
"target_dependencies" : [
"PropertyLawDiscoveryTool"
],
"type" : "test"
},
{
"c99name" : "PropertyLawDiscoveryPlugin",
"module_type" : "PluginTarget",
"name" : "PropertyLawDiscoveryPlugin",
"path" : "Plugins/PropertyLawDiscoveryPlugin",
"plugin_capability" : {
"intent" : {
"description" : "Generate PropertyLawKit test files by walking a target's source files and detecting stdlib protocol conformances.",
"type" : "custom",
"verb" : "propertylawcheck"
},
"permissions" : [
{
"network_scope" : {
"none" : {
}
},
"reason" : "PropertyLawDiscoveryPlugin writes a generated test file (default: Tests/<Target>Tests/PropertyLawTests.generated.swift) listing the checkXxxPropertyLaws calls for each detected conformance.",
"type" : "writeToPackageDirectory"
}
],
"type" : "command"
},
"product_memberships" : [
"PropertyLawDiscoveryPlugin"
],
"sources" : [
"PluginArguments.swift",
"PluginError.swift",
"plugin.swift"
],
"target_dependencies" : [
"PropertyLawDiscoveryTool"
],
"type" : "plugin"
},
{
"c99name" : "PropertyLawCoreTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawCoreTests",
"path" : "Tests/PropertyLawCoreTests",
"product_dependencies" : [
"PropertyBased"
],
"sources" : [
"AccessLevelDerivationTests.swift",
"CapacityHintDerivationTests.swift",
"CollectionInitializerPreferenceTests.swift",
"CompositeMemberDerivationTests.swift",
"DerivationStrategistTests.swift",
"EdgeBiasedStringGeneratorTests.swift",
"EmittedExpressionCompilesTests.swift",
"EnumPayloadDerivationTests.swift",
"EnumTodoReasonTests.swift",
"GeneratorExpressionEmitterTests.swift",
"GeneratorPlanTests.swift",
"GeneratorResolverTests.swift",
"HostileStringGeneratorTests.swift",
"InitializerAccessDerivationTests.swift",
"InitializerBasedDerivationTests.swift",
"InitializerTodoReasonTests.swift",
"KnownProtocolSetTests.swift",
"KnownValueTypeDerivationTests.swift",
"LabelNarrowedGeneratorTests.swift",
"MemberwiseEmitterTests.swift",
"ModuleQualifiedSpellingTests.swift",
"RecursiveGeneratorTests.swift",
"ResolutionFailureTests.swift",
"ScaffoldEmitterTests.swift",
"ScopedTypeLookupTests.swift",
"SendableClassDerivationTests.swift",
"StatelessDerivationTests.swift",
"SubjectTokenGeneratorTests.swift",
"TextLiteralInitializerDerivationTests.swift",
"UnresolvedLeafNamingTests.swift",
"UnsoundInitializerDerivationTests.swift"
],
"target_dependencies" : [
"PropertyLawCore"
],
"type" : "test"
},
{
"c99name" : "PropertyLawCore",
"module_type" : "SwiftTarget",
"name" : "PropertyLawCore",
"path" : "Sources/PropertyLawCore",
"product_memberships" : [
"PropertyLawMacro",
"PropertyLawSyntaxSupport",
"PropertyLawCore",
"PropertyLawDiscoveryPlugin",
"PropertyLawDiscoveryTool",
"PropertyLawMacroImpl"
],
"sources" : [
"AccessLevel.swift",
"CompositeMemberParser.swift",
"DerivationStrategy.swift",
"EnumPayloadDerivation.swift",
"GeneratorExpressionEmitter.swift",
"GeneratorPlan.swift",
"GeneratorResolver.swift",
"InitializerBasedDerivation+CollectionPreference.swift",
"InitializerBasedDerivation.swift",
"KnownProtocol.swift",
"LabelNarrowedGenerators.swift",
"MemberwiseEmitter.swift",
"PropertyLawTestStub.swift",
"QualifiedTypeName.swift",
"RawType.swift",
"RecursiveGeneratorEmitter.swift",
"ResolutionFailure.swift",
"Scaffold.swift",
"StatelessDerivation.swift",
"TodoReason.swift",
"TypeShape.swift"
],
"type" : "library"
},
{
"c99name" : "PropertyLawComplexTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawComplexTests",
"path" : "Tests/PropertyLawComplexTests",
"product_dependencies" : [
"PropertyBased",
"ComplexModule",
"RealModule"
],
"sources" : [
"EdgeCaseBiasedGeneratorsTests.swift"
],
"target_dependencies" : [
"PropertyLawComplex"
],
"type" : "test"
},
{
"c99name" : "PropertyLawComplex",
"module_type" : "SwiftTarget",
"name" : "PropertyLawComplex",
"path" : "Sources/PropertyLawComplex",
"product_dependencies" : [
"PropertyBased",
"ComplexModule",
"RealModule"
],
"product_memberships" : [
"PropertyLawComplex"
],
"sources" : [
"EdgeCaseBiasedGenerators.swift"
],
"type" : "library"
},
{
"c99name" : "PropertyLawCollectionsTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawCollectionsTests",
"path" : "Tests/PropertyLawCollectionsTests",
"product_dependencies" : [
"PropertyBased",
"DequeModule",
"OrderedCollections",
"HeapModule",
"BitCollections",
"HashTreeCollections"
],
"sources" : [
"BitSetLawsTests.swift",
"ConformanceAuditTests.swift",
"DequeLawsTests.swift",
"DequeLayoutTests.swift",
"DequeSymmetryLawsTests.swift",
"HashTreeLawsTests.swift",
"HeapGeneratorTests.swift",
"HeapLawsTests.swift",
"OrderPreservationLawsTests.swift",
"OrderedDictionaryLawsTests.swift",
"OrderedSetLawsTests.swift"
],
"target_dependencies" : [
"PropertyLawCollections",
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawCollections",
"module_type" : "SwiftTarget",
"name" : "PropertyLawCollections",
"path" : "Sources/PropertyLawCollections",
"product_dependencies" : [
"PropertyBased",
"DequeModule",
"OrderedCollections",
"HeapModule",
"BitCollections",
"HashTreeCollections"
],
"product_memberships" : [
"PropertyLawCollections"
],
"sources" : [
"BitSetGenerators.swift",
"DequeGenerators.swift",
"DequeLayouts.swift",
"DequeSymmetryLaws.swift",
"HashTreeGenerators.swift",
"HeapGenerators.swift",
"HeapLaws.swift",
"OrderPreservationLaws.swift",
"OrderedDictionaryGenerators.swift",
"OrderedSetGenerators.swift",
"PropertyLawCollections.swift"
],
"target_dependencies" : [
"PropertyLawKit"
],
"type" : "library"
},
{
"c99name" : "PropertyLawAsyncTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawAsyncTests",
"path" : "Tests/PropertyLawAsyncTests",
"product_dependencies" : [
"PropertyBased",
"AsyncAlgorithms"
],
"sources" : [
"AsyncSequenceLawsTests.swift",
"TimedAsyncLawsTests.swift",
"VirtualTimeTests.swift"
],
"target_dependencies" : [
"PropertyLawAsync",
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawAsync",
"module_type" : "SwiftTarget",
"name" : "PropertyLawAsync",
"path" : "Sources/PropertyLawAsync",
"product_dependencies" : [
"PropertyBased",
"AsyncAlgorithms"
],
"product_memberships" : [
"PropertyLawAsync"
],
"sources" : [
"AsyncOrderLaws.swift",
"AsyncSequenceLaws.swift",
"GlobalEnqueueHook.swift",
"TimedAsyncLaws.swift",
"VirtualClock.swift",
"VirtualTimeScheduler.swift"
],
"target_dependencies" : [
"PropertyLawKit"
],
"type" : "library"
}
],
"tools_version" : "6.1"
}
Done.