Swift Package IndexBuild Information
Successful build of SwiftPropertyLaws, reference v2.0.0 (eeef84), with Swift 6.3 for macOS (SPM) on 5 May 2026 07:39:05 UTC.
Swift 6 data race errors: 0
Build Command
env DEVELOPER_DIR=/Applications/Xcode-26.4.0.app xcrun swift build --arch arm64Build Log
========================================
RunAll
========================================
Builder version: 4.70.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Reference: v2.0.0
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
From https://github.com/Joseph-Cursio/SwiftPropertyLaws
* tag v2.0.0 -> FETCH_HEAD
HEAD is now at eeef84e docs(CLAUDE.md): rename SwiftProtocolLaws → SwiftPropertyLaws (mechanical pass 3/3)
Cloned https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Revision (git rev-parse @):
eeef84eb1285c0ff75516d1e781841ac86a22014
SUCCESS checkout https://github.com/Joseph-Cursio/SwiftPropertyLaws.git at v2.0.0
Fetching https://github.com/swiftlang/swift-syntax.git
Fetching https://github.com/x-sheep/swift-property-based.git
[1/1261] Fetching swift-property-based
[1262/76306] Fetching swift-property-based, swift-syntax
Fetched https://github.com/x-sheep/swift-property-based.git from cache (10.11s)
Fetched https://github.com/swiftlang/swift-syntax.git from cache (10.11s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 600.0.1 (13.09s)
Computing version for https://github.com/x-sheep/swift-property-based.git
Computed https://github.com/x-sheep/swift-property-based.git at 1.2.0 (0.54s)
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 1.2.0
Creating working copy for https://github.com/swiftlang/swift-syntax.git
Working copy of https://github.com/swiftlang/swift-syntax.git resolved at 600.0.1
========================================
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": "1.2.0",
"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": "600.0.1",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/swift-syntax",
"traits": [
"default"
],
"dependencies": [
]
}
]
}
]
}
Fetching https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
[1/1557] Fetching swiftpropertylaws
Fetched https://github.com/Joseph-Cursio/SwiftPropertyLaws.git from cache (0.97s)
Fetching https://github.com/swiftlang/swift-syntax.git from cache
Fetching https://github.com/x-sheep/swift-property-based.git from cache
Fetched https://github.com/swiftlang/swift-syntax.git from cache (0.92s)
Fetched https://github.com/x-sheep/swift-property-based.git from cache (0.92s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 600.0.1 (1.03s)
Computing version for https://github.com/x-sheep/swift-property-based.git
Computed https://github.com/x-sheep/swift-property-based.git at 1.2.0 (0.05s)
Creating working copy for https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Working copy of https://github.com/Joseph-Cursio/SwiftPropertyLaws.git resolved at v2.0.0 (eeef84e)
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 1.2.0
Creating working copy for https://github.com/swiftlang/swift-syntax.git
Working copy of https://github.com/swiftlang/swift-syntax.git resolved at 600.0.1
warning: '.resolve-product-dependencies': dependency 'swiftpropertylaws' is not used by any target
Found 2 product dependencies
- PropertyBased
- swift-syntax
========================================
Build
========================================
Selected platform: macosSpm
Swift version: 6.3
Building package at path: $PWD
https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-26.4.0.app xcrun swift build --arch arm64
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:36:59: warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
34 | let tool = try context.tool(named: "PropertyLawDiscoveryTool")
35 | let process = Process()
36 | process.executableURL = URL(fileURLWithPath: tool.path.string)
| |- warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
| `- note: use 'url' instead
37 | var toolArgs: [String] = [
38 | "--target", target,
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:36:64: warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
34 | let tool = try context.tool(named: "PropertyLawDiscoveryTool")
35 | let process = Process()
36 | process.executableURL = URL(fileURLWithPath: tool.path.string)
| `- warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
37 | var toolArgs: [String] = [
38 | "--target", target,
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:67:40: warning: 'directory' is deprecated: renamed to 'directoryURL' [#DeprecatedDeclaration]
65 | /// doesn't exist; commit 5 will create the dir if missing.
66 | private func defaultOutputPath(for target: Target, in context: PluginContext) -> String {
67 | let testsDir = context.package.directory
| |- warning: 'directory' is deprecated: renamed to 'directoryURL' [#DeprecatedDeclaration]
| `- note: use 'directoryURL' instead
68 | .appending(["Tests", "\(target.name)Tests"])
69 | return testsDir.appending(["PropertyLawTests.generated.swift"]).string
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:68:14: warning: 'appending' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
66 | private func defaultOutputPath(for target: Target, in context: PluginContext) -> String {
67 | let testsDir = context.package.directory
68 | .appending(["Tests", "\(target.name)Tests"])
| `- warning: 'appending' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
69 | return testsDir.appending(["PropertyLawTests.generated.swift"]).string
70 | }
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:69:25: warning: 'appending' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
67 | let testsDir = context.package.directory
68 | .appending(["Tests", "\(target.name)Tests"])
69 | return testsDir.appending(["PropertyLawTests.generated.swift"]).string
| `- warning: 'appending' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
70 | }
71 |
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:69:73: warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
67 | let testsDir = context.package.directory
68 | .appending(["Tests", "\(target.name)Tests"])
69 | return testsDir.appending(["PropertyLawTests.generated.swift"]).string
| `- warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
70 | }
71 |
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:75:26: warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
73 | guard let sourceModuleTarget = target as? SourceModuleTarget else { return [] }
74 | return sourceModuleTarget.sourceFiles
75 | .filter { $0.path.extension == "swift" }
| |- warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
| `- note: use 'url' instead
76 | .map { $0.path.string }
77 | .sorted()
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:75:31: warning: 'extension' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
73 | guard let sourceModuleTarget = target as? SourceModuleTarget else { return [] }
74 | return sourceModuleTarget.sourceFiles
75 | .filter { $0.path.extension == "swift" }
| `- warning: 'extension' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
76 | .map { $0.path.string }
77 | .sorted()
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:76:23: warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
74 | return sourceModuleTarget.sourceFiles
75 | .filter { $0.path.extension == "swift" }
76 | .map { $0.path.string }
| |- warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
| `- note: use 'url' instead
77 | .sorted()
78 | }
/Users/admin/builder/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:76:28: warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
74 | return sourceModuleTarget.sourceFiles
75 | .filter { $0.path.extension == "swift" }
76 | .map { $0.path.string }
| `- warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
77 | .sorted()
78 | }
[#DeprecatedDeclaration]: <https://docs.swift.org/compiler/documentation/diagnostics/deprecated-declaration>
[1/1] Compiling plugin PropertyLawDiscoveryPlugin
Building for debugging...
[1/44] Write sources
[28/44] Write PropertyLawDiscoveryTool-entitlement.plist
[29/44] Write PropertyLawDiscoveryTool-tool-entitlement.plist
[29/44] Write sources
[33/44] Compiling _SwiftSyntaxCShims dummy.c
[35/44] Write swift-version--6988338F2F200930.txt
[37/126] Compiling SwiftSyntax600 Empty.swift
[38/126] Emitting module SwiftSyntax600
[39/126] Compiling SwiftSyntax600 Empty.swift
[40/126] Emitting module SwiftSyntax600
[41/126] Compiling SwiftSyntax509 Empty.swift
[42/126] Emitting module SwiftSyntax509
[43/126] Compiling SwiftSyntax510 Empty.swift
[44/126] Emitting module SwiftSyntax510
[46/126] Compiling SwiftSyntax510 Empty.swift
[47/126] Emitting module SwiftSyntax509
[48/126] Compiling SwiftSyntax509 Empty.swift
[49/126] Compiling PropertyLawCore MemberwiseEmitter.swift
[51/126] Compiling PropertyLawCore GeneratorExpressionEmitter.swift
[52/126] Compiling PropertyLawCore KnownProtocol.swift
[53/126] Compiling PropertyLawCore GeneratorExpressionEmitter.swift
[54/126] Compiling PropertyLawCore KnownProtocol.swift
[55/126] Emitting module PropertyLawCore
[56/126] Compiling PropertyLawCore DerivationStrategy.swift
[57/126] Emitting module PropertyLawCore
[58/126] Compiling PropertyLawCore DerivationStrategy.swift
[59/256] Compiling SwiftSyntax Identifier.swift
[60/256] Compiling SwiftSyntax MemoryLayout.swift
[61/256] Compiling SwiftSyntax MissingNodeInitializers.swift
[62/256] Compiling SwiftSyntax RawSyntax.swift
[63/256] Compiling SwiftSyntax RawSyntaxLayoutView.swift
[64/256] Compiling SwiftSyntax RawSyntaxNodeProtocol.swift
[65/256] Compiling SwiftSyntax RawSyntaxTokenView.swift
[66/256] Compiling SwiftSyntax SyntaxArenaAllocatedBuffer.swift
[68/263] Compiling SwiftSyntax SyntaxChildren.swift
[69/263] Compiling SwiftSyntax SyntaxCollection.swift
[70/263] Compiling SwiftSyntax SyntaxHashable.swift
[71/263] Compiling SwiftSyntax SyntaxIdentifier.swift
[72/263] Compiling SwiftSyntax SyntaxNodeFactory.swift
[73/263] Compiling SwiftSyntax SyntaxNodeStructure.swift
[80/270] Compiling SwiftSyntax SourceEdit.swift
[88/270] Compiling SwiftSyntax Utils.swift
[89/270] Compiling SwiftSyntax ChildNameForKeyPath.swift
[90/270] Compiling SwiftSyntax Keyword.swift
[91/270] Compiling SwiftSyntax RenamedChildrenCompatibility.swift
[92/270] Compiling SwiftSyntax RenamedNodesCompatibility.swift
[93/270] Compiling SwiftSyntax SyntaxAnyVisitor.swift
[94/270] Compiling SwiftSyntax SyntaxBaseNodes.swift
[95/270] Compiling SwiftSyntax SyntaxCollections.swift
[96/270] Compiling SwiftSyntax SyntaxEnum.swift
[97/270] Compiling SwiftSyntax SyntaxKind.swift
[98/270] Compiling SwiftSyntax SyntaxRewriter.swift
[99/270] Compiling SwiftSyntax SyntaxTraits.swift
[100/270] Compiling SwiftSyntax SyntaxVisitor.swift
[101/270] Compiling SwiftSyntax TokenKind.swift
[102/270] Emitting module SwiftSyntax
[103/270] Compiling SwiftSyntax RawSyntaxNodesJKLMN.swift
[104/270] Compiling SwiftSyntax RawSyntaxNodesOP.swift
[105/270] Compiling SwiftSyntax RawSyntaxNodesQRS.swift
[106/270] Compiling SwiftSyntax RawSyntaxNodesTUVWXYZ.swift
[107/270] Compiling SwiftSyntax RawSyntaxValidation.swift
[108/270] Compiling SwiftSyntax SyntaxNodesAB.swift
[109/270] Compiling SwiftSyntax SyntaxNodesC.swift
[110/270] Compiling SwiftSyntax SyntaxProtocol.swift
[111/270] Compiling SwiftSyntax SyntaxText.swift
[112/270] Compiling SwiftSyntax SyntaxTreeViewMode.swift
[113/270] Compiling SwiftSyntax TokenDiagnostic.swift
[114/270] Compiling SwiftSyntax TokenSequence.swift
[115/270] Compiling SwiftSyntax TokenSyntax.swift
[116/270] Compiling SwiftSyntax Trivia.swift
[117/270] Emitting module SwiftSyntax
[119/270] Compiling SwiftSyntax SourceLength.swift
[120/270] Compiling SwiftSyntax SourceLocation.swift
[121/270] Compiling SwiftSyntax SourcePresence.swift
[122/270] Compiling SwiftSyntax SwiftSyntaxCompatibility.swift
[123/270] Compiling SwiftSyntax Syntax.swift
[124/270] Compiling SwiftSyntax SyntaxArena.swift
[125/270] Compiling SwiftSyntax AbsolutePosition.swift
[126/270] Compiling SwiftSyntax AbsoluteRawSyntax.swift
[127/270] Compiling SwiftSyntax AbsoluteSyntaxInfo.swift
[128/270] Compiling SwiftSyntax Assert.swift
[129/270] Compiling SwiftSyntax BumpPtrAllocator.swift
[130/270] Compiling SwiftSyntax CommonAncestor.swift
[131/270] Compiling SwiftSyntax Convenience.swift
[132/270] Compiling SwiftSyntax CustomTraits.swift
[157/276] Compiling SwiftSyntax Tokens.swift
[158/276] Compiling SwiftSyntax TriviaPieces.swift
[159/276] Compiling SwiftSyntax RawSyntaxNodesAB.swift
[160/276] Compiling SwiftSyntax RawSyntaxNodesC.swift
[161/276] Compiling SwiftSyntax RawSyntaxNodesD.swift
[162/276] Compiling SwiftSyntax RawSyntaxNodesEF.swift
[163/276] Compiling SwiftSyntax RawSyntaxNodesGHI.swift
[164/276] Compiling PropertyBased Shrink.swift
[165/276] Compiling PropertyBased Xoshiro.swift
[166/276] Compiling PropertyBased Zip.swift
[177/276] Emitting module PropertyBased
[234/396] Compiling SwiftSyntax SyntaxNodesD.swift
[235/396] Compiling SwiftSyntax SyntaxNodesEF.swift
[236/396] Compiling SwiftSyntax SyntaxNodesGHI.swift
[237/396] Compiling SwiftSyntax SyntaxNodesJKLMN.swift
[238/396] Compiling SwiftSyntax SyntaxNodesOP.swift
[239/396] Compiling SwiftSyntax SyntaxNodesQRS.swift
[240/396] Compiling SwiftSyntax SyntaxNodesTUVWXYZ.swift
[248/396] Compiling PropertyLawKit MonoidLaws.swift
[249/396] Compiling PropertyLawKit MutableCollectionLaws.swift
[255/396] Compiling PropertyLawKit Semilattice.swift
[256/396] Compiling PropertyLawKit SemilatticeLaws.swift
[257/396] Compiling PropertyLawKit SequenceLaws.swift
[258/396] Compiling PropertyLawKit IdentifiableLaws.swift
[259/396] Compiling PropertyLawKit IteratorProtocolLaws.swift
[260/396] Compiling PropertyLawKit LosslessStringConvertibleLaws.swift
[261/396] Compiling PropertyLawKit Monoid.swift
[262/396] Compiling PropertyLawKit LawIdentifier.swift
[263/396] Compiling PropertyLawKit LawSelection.swift
[264/396] Compiling PropertyLawKit LawSuppression.swift
[265/396] Compiling PropertyLawKit PropertyLawViolation.swift
[266/396] Compiling PropertyLawKit HashableLaws.swift
[267/396] Compiling PropertyLawKit LawCheckOptions.swift
[268/396] Compiling PropertyLawKit CaseIterableLaws.swift
[269/496] Compiling SwiftDiagnostics Convenience.swift
[270/497] Emitting module SwiftDiagnostics
[271/497] Compiling SwiftDiagnostics Diagnostic.swift
[272/497] Compiling SwiftDiagnostics ANSIDiagnosticDecorator.swift
[273/497] Compiling SwiftBasicFormat Syntax+Extensions.swift
[274/497] Compiling SwiftDiagnostics Message.swift
[275/497] Compiling SwiftBasicFormat SyntaxProtocol+Formatted.swift
[276/497] Compiling SwiftBasicFormat Trivia+FormatExtensions.swift
[277/497] Compiling SwiftDiagnostics Note.swift
[278/497] Compiling SwiftBasicFormat InferIndentation.swift
[279/497] Compiling SwiftDiagnostics GroupedDiagnostics.swift
[280/497] Compiling SwiftDiagnostics FixIt.swift
[281/497] Compiling SwiftDiagnostics BasicDiagnosticDecorator.swift
[282/497] Compiling SwiftDiagnostics DiagnosticDecorator.swift
[283/497] Compiling SwiftDiagnostics DiagnosticsFormatter.swift
[284/497] Emitting module SwiftBasicFormat
[285/497] Compiling SwiftBasicFormat BasicFormat.swift
[286/497] Emitting module PropertyLawKit
[287/503] Compiling SwiftParser Expressions.swift
[288/503] Compiling SwiftParser IncrementalParseTransition.swift
[289/503] Compiling SwiftParser IsValidIdentifier.swift
[290/503] Compiling SwiftParser UnicodeScalarExtensions.swift
[291/503] Compiling SwiftParser Lookahead.swift
[292/503] Compiling SwiftParser LoopProgressCondition.swift
[293/503] Compiling SwiftParser Modifiers.swift
[300/509] Compiling SwiftParser Attributes.swift
[301/509] Compiling SwiftParser Availability.swift
[302/509] Compiling SwiftParser CharacterInfo.swift
[303/509] Compiling SwiftParser CollectionNodes+Parsable.swift
[304/509] Compiling SwiftParser Declarations.swift
[305/509] Compiling SwiftParser Directives.swift
[306/509] Compiling SwiftParser ExpressionInterpretedAsVersionTuple.swift
[314/509] Emitting module PropertyLawKit
[319/509] Compiling PropertyLawKit ReplayEnvironmentMismatch.swift
[320/509] Compiling PropertyLawKit Semigroup.swift
[321/509] Compiling PropertyLawKit SemigroupLaws.swift
[331/513] Compiling SwiftParser StringLiteralRepresentedLiteralValue.swift
[332/513] Compiling SwiftParser TopLevel.swift
[333/513] Compiling SwiftParser TriviaParser.swift
[334/513] Compiling SwiftParser Types.swift
[335/513] Compiling SwiftParser ExperimentalFeatures.swift
[336/513] Compiling SwiftParser Names.swift
[337/513] Compiling SwiftParser Cursor.swift
[338/513] Compiling SwiftParser Lexeme.swift
[339/513] Compiling SwiftParser LexemeSequence.swift
[340/513] Compiling SwiftParser Parser.swift
[341/513] Compiling SwiftParser Patterns.swift
[342/513] Compiling SwiftParser Recovery.swift
[343/513] Compiling SwiftParser Specifiers.swift
[344/513] Compiling SwiftParser Statements.swift
[349/517] Compiling SwiftParser StringLiterals.swift
[350/517] Compiling SwiftParser SwiftParserCompatibility.swift
[351/517] Compiling SwiftParser SwiftVersion.swift
[352/517] Compiling SwiftParser SyntaxUtils.swift
[353/517] Compiling SwiftParser TokenConsumer.swift
[354/517] Compiling SwiftParser TokenPrecedence.swift
[355/517] Compiling SwiftParser TokenSpec.swift
[356/517] Compiling SwiftParser TokenSpecSet.swift
[357/517] Emitting module SwiftParser
[358/517] Compiling SwiftParser Nominals.swift
[359/517] Compiling SwiftParser Parameters.swift
[360/517] Compiling SwiftParser ParseSourceFile.swift
[380/517] Compiling SwiftParser IsLexerClassified.swift
[381/517] Compiling SwiftParser LayoutNodes+Parsable.swift
[382/517] Compiling SwiftParser Parser+TokenSpecSet.swift
[383/517] Compiling SwiftParser TokenSpecStaticMembers.swift
[384/517] Compiling PropertyLawKit RangeReplaceableCollectionLaws.swift
[385/517] Compiling PropertyLawKit RawRepresentableLaws.swift
[396/517] Compiling SwiftParser Lexer.swift
[397/517] Compiling SwiftParser RegexLiteralLexer.swift
[428/517] Emitting module SwiftParser
[449/517] Compiling PropertyLawKit SetAlgebraLaws.swift
[450/517] Compiling PropertyLawKit SignedIntegerLaws.swift
[451/517] Compiling PropertyLawKit SignedNumericLaws.swift
[452/517] Compiling PropertyLawKit StrideableLaws.swift
[453/517] Compiling PropertyLawKit StringProtocolLaws.swift
[454/517] Compiling PropertyLawKit UnsignedIntegerLaws.swift
[469/560] Compiling SwiftOperators Operator.swift
[470/561] Compiling PropertyLawDiscoveryTool SuppressionParser.swift
[471/562] Compiling SwiftParserDiagnostics SyntaxKindNameForDiagnostics.swift
[472/563] Compiling SwiftOperators PrecedenceGroup.swift
[473/563] Compiling SwiftOperators OperatorError.swift
[474/563] Compiling SwiftOperators OperatorError+Diagnostics.swift
[475/563] Compiling SwiftOperators PrecedenceGraph.swift
[476/563] Compiling PropertyLawDiscoveryTool SuppressionParser.swift
[477/564] Compiling SwiftOperators OperatorTable.swift
[478/564] Emitting module SwiftOperators
[479/564] Compiling SwiftParserDiagnostics TokenNameForDiagnostics.swift
[480/564] Compiling SwiftParserDiagnostics PresenceUtils.swift
[481/564] Compiling SwiftOperators SyntaxSynthesis.swift
[482/564] Compiling PropertyLawDiscoveryTool RoundTripSuggester.swift
[483/564] Compiling PropertyLawDiscoveryTool RoundTripFinder.swift
[484/564] Compiling SwiftOperators OperatorTable+Semantics.swift
[485/564] Compiling PropertyLawDiscoveryTool WitnessFinder.swift
[486/564] Compiling PropertyLawDiscoveryTool AdvisorySuggester.swift
[487/564] Emitting module PropertyLawDiscoveryTool
[488/564] Compiling PropertyLawDiscoveryTool ConformanceMap.swift
[510/564] Compiling PropertyLawDiscoveryTool RoundTripFinder.swift
[511/564] Compiling PropertyLawDiscoveryTool RoundTripSuggester.swift
[512/564] Compiling PropertyLawDiscoveryTool PluginMemberInspector.swift
[513/564] Compiling PropertyLawDiscoveryTool ModuleScanner.swift
[514/564] Compiling PropertyLawDiscoveryTool GeneratedFileEmitter.swift
[515/564] Compiling PropertyLawDiscoveryTool AdvisorySuggester.swift
[516/564] Compiling PropertyLawDiscoveryTool ConformanceMap.swift
[517/564] Emitting module PropertyLawDiscoveryTool
[518/564] Compiling PropertyLawDiscoveryTool PropertyLawDiscoveryTool.swift
[518/564] Write Objects.LinkFileList
[520/564] Compiling PropertyLawDiscoveryTool WitnessFinder.swift
[539/564] Compiling SwiftOperators OperatorTable+Defaults.swift
[542/564] Compiling SwiftOperators OperatorTable+Folding.swift
[543/564] Compiling PropertyLawDiscoveryTool GeneratedFileEmitter.swift
[544/564] Compiling PropertyLawDiscoveryTool ModuleScanner.swift
[545/564] Compiling PropertyLawDiscoveryTool PluginMemberInspector.swift
[546/564] Compiling PropertyLawDiscoveryTool PropertyLawDiscoveryTool.swift
[546/564] Write Objects.LinkFileList
[548/564] Compiling SwiftParserDiagnostics SyntaxExtensions.swift
[549/564] Compiling SwiftParserDiagnostics Utils.swift
[550/564] Compiling SwiftParserDiagnostics ChildNameForDiagnostics.swift
[551/564] Compiling SwiftParserDiagnostics ParserDiagnosticMessages.swift
[552/564] Emitting module SwiftParserDiagnostics
[553/564] Compiling SwiftParserDiagnostics DiagnosticExtensions.swift
[554/564] Compiling SwiftParserDiagnostics LexerDiagnosticMessages.swift
[555/564] Compiling SwiftParserDiagnostics MissingNodesError.swift
[556/564] Compiling SwiftParserDiagnostics MissingTokenError.swift
[557/564] Compiling SwiftParserDiagnostics MultiLineStringLiteralDiagnosticsGenerator.swift
[558/564] Compiling SwiftParserDiagnostics ParseDiagnosticsGenerator.swift
[558/579] Linking PropertyLawDiscoveryTool
[559/579] Applying PropertyLawDiscoveryTool
[560/579] Linking PropertyLawDiscoveryTool-tool
[561/579] Applying PropertyLawDiscoveryTool-tool
[563/579] Compiling SwiftSyntaxBuilder WithTrailingCommaSyntax+EnsuringTrailingComma.swift
[564/579] Compiling SwiftSyntaxBuilder ResultBuilders.swift
[565/579] Compiling SwiftSyntaxBuilder BuildableNodes.swift
[566/579] Compiling SwiftSyntaxBuilder SyntaxParsable+ExpressibleByStringInterpolation.swift
[567/579] Compiling SwiftSyntaxBuilder ValidatingSyntaxNodes.swift
[568/579] Compiling SwiftSyntaxBuilder RenamedChildrenBuilderCompatibility.swift
[569/580] Emitting module SwiftSyntaxBuilder
[570/580] Compiling SwiftSyntaxBuilder ResultBuilderExtensions.swift
[571/580] Compiling SwiftSyntaxBuilder SwiftSyntaxBuilderCompatibility.swift
[572/580] Compiling SwiftSyntaxBuilder Indenter.swift
[573/580] Compiling SwiftSyntaxBuilder ListBuilder.swift
[574/580] Compiling SwiftSyntaxBuilder Syntax+StringInterpolation.swift
[575/580] Compiling SwiftSyntaxBuilder SyntaxNodeWithBody.swift
[576/580] Compiling SwiftSyntaxBuilder ConvenienceInitializers.swift
[577/580] Compiling SwiftSyntaxBuilder DeclSyntaxParseable.swift
[578/580] Compiling SwiftSyntaxBuilder SyntaxExpressibleByStringInterpolationConformances.swift
[579/598] Compiling SwiftSyntaxMacros CodeItemMacro.swift
[580/598] Compiling SwiftSyntaxMacros DeclarationMacro.swift
[581/598] Compiling SwiftSyntaxMacros Macro.swift
[582/598] Compiling SwiftSyntaxMacros MemberAttributeMacro.swift
[583/598] Compiling SwiftSyntaxMacros ExpressionMacro.swift
[584/598] Compiling SwiftSyntaxMacros ExtensionMacro.swift
[585/598] Compiling SwiftSyntaxMacros MemberMacro.swift
[586/598] Compiling SwiftSyntaxMacros PeerMacro.swift
[587/598] Compiling SwiftSyntaxMacros FreestandingMacro.swift
[588/598] Compiling SwiftSyntaxMacros Macro+Format.swift
[589/598] Compiling SwiftSyntaxMacros PreambleMacro.swift
[590/599] Compiling SwiftSyntaxMacros MacroExpansionDiagnosticMessages.swift
[591/599] Compiling SwiftSyntaxMacros AccessorMacro.swift
[592/599] Compiling SwiftSyntaxMacros AttachedMacro.swift
[593/599] Compiling SwiftSyntaxMacros BodyMacro.swift
[594/599] Emitting module SwiftSyntaxMacros
[595/599] Compiling SwiftSyntaxMacros AbstractSourceLocation.swift
[596/599] Compiling SwiftSyntaxMacros MacroExpansionContext.swift
[597/599] Compiling SwiftSyntaxMacros Syntax+LexicalContext.swift
[598/609] Compiling SwiftSyntaxMacroExpansion MacroExpansion.swift
[599/609] Compiling SwiftSyntaxMacroExpansion MacroExpansionDiagnosticMessages.swift
[600/609] Compiling SwiftSyntaxMacroExpansion IndentationUtils.swift
[601/609] Compiling SwiftSyntaxMacroExpansion MacroSpec.swift
[602/609] Emitting module SwiftSyntaxMacroExpansion
[603/609] Compiling SwiftSyntaxMacroExpansion BasicMacroExpansionContext.swift
[604/609] Compiling SwiftSyntaxMacroExpansion FunctionParameterUtils.swift
[605/609] Compiling SwiftSyntaxMacroExpansion MacroSystem.swift
[606/609] Compiling SwiftSyntaxMacroExpansion MacroArgument.swift
[607/609] Compiling SwiftSyntaxMacroExpansion MacroReplacement.swift
[608/621] Compiling SwiftCompilerPluginMessageHandling LRUCache.swift
[609/621] Compiling SwiftCompilerPluginMessageHandling JSONDecoding.swift
[610/621] Emitting module SwiftCompilerPluginMessageHandling
[611/621] Compiling SwiftCompilerPluginMessageHandling PluginMessages.swift
[612/621] Compiling SwiftCompilerPluginMessageHandling JSONEncoding.swift
[613/621] Compiling SwiftCompilerPluginMessageHandling CodingUtilities.swift
[614/621] Compiling SwiftCompilerPluginMessageHandling JSON.swift
[615/621] Compiling SwiftCompilerPluginMessageHandling CompilerPluginMessageHandler.swift
[616/621] Compiling SwiftCompilerPluginMessageHandling Diagnostics.swift
[617/621] Compiling SwiftCompilerPluginMessageHandling PluginMessageCompatibility.swift
[618/621] Compiling SwiftCompilerPluginMessageHandling Macros.swift
[619/621] Compiling SwiftCompilerPluginMessageHandling PluginMacroExpansionContext.swift
[620/622] Compiling SwiftCompilerPluginMessageHandling StandardIOMessageConnection.swift
[621/624] Compiling SwiftCompilerPlugin CompilerPlugin.swift
[622/624] Emitting module SwiftCompilerPlugin
[623/630] Compiling PropertyLawMacroImpl MemberBlockInspector.swift
[624/630] Compiling PropertyLawMacroImpl Plugin.swift
[625/630] Compiling PropertyLawMacroImpl PropertyLawSuiteMacro.swift
[626/630] Emitting module PropertyLawMacroImpl
[627/630] Compiling PropertyLawMacroImpl DiscoverableMacro.swift
[628/630] Compiling PropertyLawMacroImpl Diagnostics.swift
[628/630] Write Objects.LinkFileList
[629/630] Linking PropertyLawMacroImpl-tool
[631/634] Compiling PropertyLawMacro PropertyLawMacro.swift
[632/634] Emitting module PropertyLawMacro
[633/634] Compiling PropertyLawMacro PropertyLawMacro.swift
[634/634] Emitting module PropertyLawMacro
Build complete! (34.92s)
Build complete.
{
"dependencies" : [
{
"identity" : "swift-property-based",
"requirement" : {
"range" : [
{
"lower_bound" : "1.0.0",
"upper_bound" : "2.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/x-sheep/swift-property-based.git"
},
{
"identity" : "swift-syntax",
"requirement" : {
"range" : [
{
"lower_bound" : "600.0.0",
"upper_bound" : "601.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/swiftlang/swift-syntax.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" : "PropertyLawCore",
"targets" : [
"PropertyLawCore"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawDiscoveryTool",
"targets" : [
"PropertyLawDiscoveryTool"
],
"type" : {
"executable" : null
}
},
{
"name" : "PropertyLawMacroImpl",
"targets" : [
"PropertyLawMacroImpl"
],
"type" : {
"macro" : null
}
}
],
"targets" : [
{
"c99name" : "PropertyLawMacroTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMacroTests",
"path" : "Tests/PropertyLawMacroTests",
"product_dependencies" : [
"PropertyBased",
"SwiftSyntaxMacros",
"SwiftSyntaxMacrosTestSupport"
],
"sources" : [
"DiagnosticsTests.swift",
"DiscoverableMacroTests.swift",
"EndToEndTests.swift",
"MacroExpansionMultiTypeTests.swift",
"MacroExpansionTests.swift"
],
"target_dependencies" : [
"PropertyLawMacro",
"PropertyLawMacroImpl",
"PropertyLawKit"
],
"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",
"MemberBlockInspector.swift",
"Plugin.swift",
"PropertyLawSuiteMacro.swift"
],
"target_dependencies" : [
"PropertyLawCore"
],
"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" : [
"AdditiveArithmeticLawsTests.swift",
"BidirectionalCollectionLawsTests.swift",
"BinaryFloatingPointLawsTests.swift",
"BinaryIntegerLawsTests.swift",
"BudgetTests.swift",
"CaseIterableLawsTests.swift",
"CodableLawsTests.swift",
"CollectionLawsTests.swift",
"CommutativeMonoidLawsTests.swift",
"ComparableLawsTests.swift",
"CoverageHintsTests.swift",
"DownstreamPropertyBackendSmokeTests.swift",
"EnforcementTests.swift",
"EquatableLawsTests.swift",
"ErrorBoxTests.swift",
"FixedWidthIntegerLawsTests.swift",
"FloatingPointLawsTests.swift",
"GroupLawsTests.swift",
"HashableLawsTests.swift",
"Helpers/Generators.swift",
"Helpers/SeededValueType.swift",
"IdentifiableLawsTests.swift",
"IteratorProtocolLawsTests.swift",
"LawIdentifierTests.swift",
"LosslessStringConvertibleLawsTests.swift",
"MonoidLawsTests.swift",
"MutableCollectionLawsTests.swift",
"NearMissTests.swift",
"NumericLawsTests.swift",
"PlantedBugs/PlantedAdditiveArithmeticViolators.swift",
"PlantedBugs/PlantedBinaryIntegerViolators.swift",
"PlantedBugs/PlantedBugCollectionRefinementsDetectionTests.swift",
"PlantedBugs/PlantedBugCollectionsDetectionTests.swift",
"PlantedBugs/PlantedBugDetectionTests.swift",
"PlantedBugs/PlantedBugIntegerDetectionTests.swift",
"PlantedBugs/PlantedBugMonoidDetectionTests.swift",
"PlantedBugs/PlantedBugNumericDetectionTests.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/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/PlantedSetAlgebraViolators.swift",
"PlantedBugs/PlantedSignedIntegerViolators.swift",
"PlantedBugs/PlantedSignedNumericViolators.swift",
"PlantedBugs/PlantedStrideableViolators.swift",
"PlantedBugs/PlantedUnsignedIntegerViolators.swift",
"RandomAccessCollectionLawsTests.swift",
"RangeReplaceableCollectionLawsTests.swift",
"RawRepresentableLawsTests.swift",
"ReplayValidationTests.swift",
"SeedTests.swift",
"SemigroupLawsTests.swift",
"SemilatticeLawsTests.swift",
"SequenceLawsTests.swift",
"SetAlgebraLawsTests.swift",
"SignedNumericLawsTests.swift",
"StrideableLawsTests.swift",
"StringProtocolLawsTests.swift",
"SuppressionTests.swift"
],
"target_dependencies" : [
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawKit",
"module_type" : "SwiftTarget",
"name" : "PropertyLawKit",
"path" : "Sources/PropertyLawKit",
"product_dependencies" : [
"PropertyBased"
],
"product_memberships" : [
"PropertyLawKit",
"PropertyLawMacro"
],
"sources" : [
"Internal/AggregateDriver.swift",
"Internal/Backends/SwiftPropertyBasedBackend.swift",
"Internal/CoverageAccumulator.swift",
"Internal/LawSuppressionPolicy.swift",
"Internal/NearMissCollector.swift",
"Internal/PerLawDriver.swift",
"Internal/ReplayEnvironmentValidator.swift",
"Internal/ViolationFormatter.swift",
"Model/CheckResult.swift",
"Model/CodableCodec.swift",
"Model/CodableLawConfig.swift",
"Model/CodableRoundTripMode.swift",
"Model/EnforcementMode.swift",
"Model/Environment.swift",
"Model/LawCheckOptions.swift",
"Model/LawIdentifier.swift",
"Model/LawSelection.swift",
"Model/LawSuppression.swift",
"Model/PropertyLawViolation.swift",
"Model/Seed.swift",
"Model/SequenceLawOptions.swift",
"Model/StrictnessTier.swift",
"Model/TrialBudget.swift",
"PropertyLawKit.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/EquatableLaws.swift",
"Public/FixedWidthIntegerLaws.swift",
"Public/FloatingPointLaws.swift",
"Public/Group.swift",
"Public/GroupLaws.swift",
"Public/HashableLaws.swift",
"Public/IdentifiableLaws.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/Semigroup.swift",
"Public/SemigroupLaws.swift",
"Public/Semilattice.swift",
"Public/SemilatticeLaws.swift",
"Public/SequenceLaws.swift",
"Public/SetAlgebraLaws.swift",
"Public/SignedIntegerLaws.swift",
"Public/SignedNumericLaws.swift",
"Public/StrideableLaws.swift",
"Public/StringProtocolLaws.swift",
"Public/UnsignedIntegerLaws.swift"
],
"type" : "library"
},
{
"c99name" : "PropertyLawDiscoveryToolTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawDiscoveryToolTests",
"path" : "Tests/PropertyLawDiscoveryToolTests",
"product_dependencies" : [
"SwiftSyntax",
"SwiftParser"
],
"sources" : [
"AdvisorySuggesterTests.swift",
"EmitterGoldenTests.swift",
"ModuleScannerRoundTripTests.swift",
"ModuleScannerTests.swift",
"RoundTripSuggesterTests.swift",
"SuppressionParserTests.swift",
"ToolInvocationTests.swift"
],
"target_dependencies" : [
"PropertyLawDiscoveryTool"
],
"type" : "test"
},
{
"c99name" : "PropertyLawDiscoveryTool",
"module_type" : "SwiftTarget",
"name" : "PropertyLawDiscoveryTool",
"path" : "Sources/PropertyLawDiscoveryTool",
"product_dependencies" : [
"SwiftSyntax",
"SwiftParser"
],
"product_memberships" : [
"PropertyLawDiscoveryTool"
],
"sources" : [
"AdvisorySuggester.swift",
"ConformanceMap.swift",
"GeneratedFileEmitter.swift",
"ModuleScanner.swift",
"PluginMemberInspector.swift",
"PropertyLawDiscoveryTool.swift",
"RoundTripFinder.swift",
"RoundTripSuggester.swift",
"SuppressionParser.swift",
"WitnessFinder.swift"
],
"target_dependencies" : [
"PropertyLawCore"
],
"type" : "executable"
},
{
"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"
},
"sources" : [
"plugin.swift"
],
"target_dependencies" : [
"PropertyLawDiscoveryTool"
],
"type" : "plugin"
},
{
"c99name" : "PropertyLawCoreTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawCoreTests",
"path" : "Tests/PropertyLawCoreTests",
"sources" : [
"DerivationStrategistTests.swift",
"GeneratorExpressionEmitterTests.swift",
"MemberwiseEmitterTests.swift"
],
"target_dependencies" : [
"PropertyLawCore"
],
"type" : "test"
},
{
"c99name" : "PropertyLawCore",
"module_type" : "SwiftTarget",
"name" : "PropertyLawCore",
"path" : "Sources/PropertyLawCore",
"product_memberships" : [
"PropertyLawMacro",
"PropertyLawCore",
"PropertyLawDiscoveryTool",
"PropertyLawMacroImpl"
],
"sources" : [
"DerivationStrategy.swift",
"GeneratorExpressionEmitter.swift",
"KnownProtocol.swift",
"MemberwiseEmitter.swift"
],
"type" : "library"
}
],
"tools_version" : "6.1"
}
Done.