The Swift Package Index logo.Swift Package Index

Build Information

Successful build of SwiftPropertyLaws, reference main (eeef84), with Swift 6.3 for Android on 5 May 2026 07:42:04 UTC.

Swift 6 data race errors: 0

Build Command

bash -c docker run --pull=always --rm -v "checkouts-4609320-2":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/swiftpackageindex/spi-images:android-6.3-latest swift build --swift-sdk aarch64-unknown-linux-android28 2>&1

Build Log

========================================
RunAll
========================================
Builder version: 4.70.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Reference: main
Initialized empty Git repository in /host/spi-builder-workspace/.git/
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: 	git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: 	git branch -m <name>
From https://github.com/Joseph-Cursio/SwiftPropertyLaws
 * branch            main       -> FETCH_HEAD
 * [new branch]      main       -> origin/main
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 main
========================================
Build
========================================
Selected platform:         android
Swift version:             6.3
Building package at path:  $PWD
https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-4609320-2":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/swiftpackageindex/spi-images:android-6.3-latest swift build --swift-sdk aarch64-unknown-linux-android28 2>&1
android-6.3-latest: Pulling from swiftpackageindex/spi-images
Digest: sha256:9008270ea37a55e78725e6225015adb5eff8582da520c5232bf0499f32c36dc4
Status: Image is up to date for registry.gitlab.com/swiftpackageindex/spi-images:android-6.3-latest
Fetching https://github.com/x-sheep/swift-property-based.git
Fetching https://github.com/swiftlang/swift-syntax.git
[1/1261] Fetching swift-property-based
Fetched https://github.com/x-sheep/swift-property-based.git from cache (0.27s)
[1/75045] Fetching swift-syntax
Fetched https://github.com/swiftlang/swift-syntax.git from cache (8.72s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 600.0.1 (11.57s)
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.69s)
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
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
/host/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,
/host/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,
/host/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
/host/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 |     }
/host/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 |
/host/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 |
/host/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()
/host/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()
/host/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 |     }
/host/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/64] Write sources
[31/64] Compiling _SwiftSyntaxCShims dummy.c
[33/64] Write swift-version--4F562202D5529B1.txt
[35/134] Emitting module SwiftSyntax509
[36/134] Emitting module PropertyBased
[37/138] Compiling SwiftSyntax509 Empty.swift
[39/139] Emitting module SwiftSyntax510
[40/139] Compiling SwiftSyntax510 Empty.swift
[41/141] Emitting module SwiftSyntax600
[42/141] Compiling SwiftSyntax600 Empty.swift
[45/149] Emitting module SwiftSyntax600
[46/149] Compiling SwiftSyntax600 Empty.swift
[47/152] Compiling SwiftSyntax509 Empty.swift
[48/152] Compiling SwiftSyntax510 Empty.swift
[49/152] Emitting module SwiftSyntax510
[50/152] Emitting module SwiftSyntax509
[53/173] Wrapping AST for SwiftSyntax600 for debugging
[55/173] Compiling PropertyLawCore GeneratorExpressionEmitter.swift
[55/173] Wrapping AST for SwiftSyntax510 for debugging
[57/218] Compiling PropertyLawCore KnownProtocol.swift
[58/218] Compiling PropertyLawCore MemberwiseEmitter.swift
[58/218] Wrapping AST for SwiftSyntax509 for debugging
[59/218] Wrapping AST for SwiftSyntax600 for debugging
[61/251] Compiling PropertyLawCore MemberwiseEmitter.swift
[61/256] Wrapping AST for SwiftSyntax510 for debugging
[62/282] Wrapping AST for SwiftSyntax509 for debugging
[64/282] Emitting module PropertyLawCore
[65/282] Compiling PropertyLawCore DerivationStrategy.swift
[66/283] Compiling PropertyLawCore KnownProtocol.swift
[67/283] Compiling PropertyLawCore GeneratorExpressionEmitter.swift
[68/283] Wrapping AST for PropertyLawCore for debugging
[70/283] Emitting module PropertyLawCore
[71/283] Compiling PropertyLawCore DerivationStrategy.swift
[72/284] Wrapping AST for PropertyLawCore for debugging
[74/284] Emitting module PropertyBased
[75/288] Compiling SwiftSyntax AbsolutePosition.swift
[76/288] Compiling SwiftSyntax AbsoluteRawSyntax.swift
[77/288] Compiling SwiftSyntax AbsoluteSyntaxInfo.swift
[78/288] Compiling SwiftSyntax Assert.swift
[79/288] Compiling SwiftSyntax BumpPtrAllocator.swift
[80/288] Compiling SwiftSyntax CommonAncestor.swift
[81/288] Compiling SwiftSyntax Convenience.swift
[82/288] Compiling SwiftSyntax CustomTraits.swift
[83/288] Compiling SwiftSyntax Identifier.swift
[84/296] Compiling SwiftSyntax SyntaxProtocol.swift
[85/296] Compiling SwiftSyntax SyntaxText.swift
[86/296] Compiling SwiftSyntax SyntaxTreeViewMode.swift
[87/296] Compiling SwiftSyntax TokenDiagnostic.swift
[89/296] Compiling SwiftSyntax MemoryLayout.swift
[90/296] Compiling SwiftSyntax MissingNodeInitializers.swift
[91/296] Compiling SwiftSyntax RawSyntax.swift
[92/296] Compiling SwiftSyntax RawSyntaxLayoutView.swift
[93/296] Compiling SwiftSyntax RawSyntaxNodeProtocol.swift
[94/296] Compiling SwiftSyntax RawSyntaxTokenView.swift
[95/296] Compiling SwiftSyntax SourceEdit.swift
[96/296] Compiling PropertyBased Shrink+Tuple.swift
[97/296] Compiling PropertyBased Shrink.swift
[98/296] Compiling PropertyBased Xoshiro.swift
[99/296] Compiling PropertyBased Zip.swift
[108/296] Compiling SwiftSyntax SyntaxNodeFactory.swift
[109/296] Compiling SwiftSyntax SyntaxNodeStructure.swift
[114/296] Compiling SwiftSyntax TokenSequence.swift
[115/296] Compiling SwiftSyntax TokenSyntax.swift
[116/296] Compiling SwiftSyntax Trivia.swift
[117/304] Compiling SwiftSyntax SourceLength.swift
[118/304] Compiling SwiftSyntax SourceLocation.swift
[124/304] Compiling SwiftSyntax SourcePresence.swift
[144/363] Compiling PropertyLawKit CodableCodec.swift
[145/363] Compiling PropertyLawKit CodableLawConfig.swift
[146/363] Compiling PropertyLawKit CodableRoundTripMode.swift
[147/363] Compiling PropertyLawKit EnforcementMode.swift
[148/363] Compiling PropertyLawKit Environment.swift
[149/363] Compiling PropertyLawKit LawCheckOptions.swift
[150/363] Compiling PropertyLawKit LawIdentifier.swift
[151/363] Compiling PropertyLawKit LawSelection.swift
[152/363] Compiling PropertyLawKit IdentifiableLaws.swift
[162/363] Compiling PropertyLawKit BinaryIntegerLaws.swift
[163/363] Compiling PropertyLawKit CaseIterableLaws.swift
[164/363] Compiling PropertyLawKit CodableLaws.swift
[165/363] Compiling PropertyLawKit CollectionLaws.swift
[166/363] Compiling PropertyLawKit CommutativeMonoid.swift
[167/363] Compiling PropertyLawKit CommutativeMonoidLaws.swift
[168/363] Compiling PropertyLawKit LawSuppression.swift
[169/363] Compiling PropertyLawKit PropertyLawViolation.swift
[170/363] Compiling PropertyLawKit Seed.swift
[171/363] Compiling PropertyLawKit NumericLaws.swift
[172/363] Compiling PropertyLawKit BidirectionalCollectionLaws.swift
[173/363] Compiling PropertyLawKit BinaryFloatingPointLaws.swift
[175/363] Compiling PropertyLawKit Monoid.swift
[176/363] Compiling PropertyLawKit MonoidLaws.swift
[177/363] Compiling PropertyLawKit MutableCollectionLaws.swift
[178/363] Compiling PropertyLawKit NumericGenerators.swift
[183/363] Compiling PropertyLawKit CheckResult.swift
[187/363] Compiling PropertyLawKit AggregateDriver.swift
[188/363] Compiling PropertyLawKit SwiftPropertyBasedBackend.swift
[189/363] Compiling PropertyLawKit CoverageAccumulator.swift
[190/363] Compiling PropertyLawKit LawSuppressionPolicy.swift
[191/363] Compiling PropertyLawKit NearMissCollector.swift
[192/363] Compiling PropertyLawKit PerLawDriver.swift
[193/363] Compiling PropertyLawKit ReplayEnvironmentValidator.swift
[194/363] Compiling PropertyLawKit ViolationFormatter.swift
[195/363] Emitting module PropertyLawKit
[214/371] Compiling PropertyLawKit IteratorProtocolLaws.swift
[215/371] Compiling PropertyLawKit LosslessStringConvertibleLaws.swift
[230/372] Compiling PropertyLawKit ComparableLaws.swift
[231/372] Compiling PropertyLawKit CoverageClassifier.swift
[232/372] Compiling PropertyLawKit EquatableLaws.swift
[233/372] Compiling PropertyLawKit FixedWidthIntegerLaws.swift
[234/372] Compiling PropertyLawKit FloatingPointLaws.swift
[235/372] Compiling PropertyLawKit Group.swift
[236/372] Compiling PropertyLawKit GroupLaws.swift
[237/372] Compiling PropertyLawKit HashableLaws.swift
[238/372] Compiling PropertyLawKit PropertyBackend.swift
[239/372] Compiling PropertyLawKit RandomAccessCollectionLaws.swift
[240/372] Compiling PropertyLawKit RangeReplaceableCollectionLaws.swift
[241/372] Compiling PropertyLawKit RawRepresentableLaws.swift
[242/372] Compiling PropertyLawKit ReplayEnvironmentMismatch.swift
[243/372] Compiling PropertyLawKit Semigroup.swift
[244/372] Compiling PropertyLawKit SemigroupLaws.swift
[245/372] Compiling PropertyLawKit Semilattice.swift
[246/430] Emitting module PropertyLawKit
[247/430] Compiling PropertyLawKit AggregateDriver.swift
[248/430] Compiling PropertyLawKit SwiftPropertyBasedBackend.swift
[249/430] Compiling PropertyLawKit CoverageAccumulator.swift
[250/430] Compiling PropertyLawKit LawSuppressionPolicy.swift
[251/430] Compiling PropertyLawKit NearMissCollector.swift
[252/430] Compiling PropertyLawKit PerLawDriver.swift
[253/430] Compiling PropertyLawKit ReplayEnvironmentValidator.swift
[254/430] Compiling PropertyLawKit ViolationFormatter.swift
[255/430] Compiling PropertyLawKit CheckResult.swift
[256/438] Compiling PropertyLawKit PropertyBackend.swift
[257/438] Compiling PropertyLawKit RandomAccessCollectionLaws.swift
[258/438] Compiling PropertyLawKit RangeReplaceableCollectionLaws.swift
[259/438] Compiling PropertyLawKit RawRepresentableLaws.swift
[260/438] Compiling PropertyLawKit ReplayEnvironmentMismatch.swift
[261/438] Compiling PropertyLawKit Semigroup.swift
[262/438] Compiling PropertyLawKit SemigroupLaws.swift
[263/438] Compiling PropertyLawKit Semilattice.swift
[264/438] Compiling PropertyLawKit CodableCodec.swift
[265/438] Compiling PropertyLawKit CodableLawConfig.swift
[266/438] Compiling PropertyLawKit CodableRoundTripMode.swift
[267/438] Compiling PropertyLawKit EnforcementMode.swift
[268/438] Compiling PropertyLawKit Environment.swift
[269/438] Compiling PropertyLawKit LawCheckOptions.swift
[270/438] Compiling PropertyLawKit LawIdentifier.swift
[271/438] Compiling PropertyLawKit LawSelection.swift
[272/438] Compiling PropertyLawKit LawSuppression.swift
[273/438] Compiling PropertyLawKit PropertyLawViolation.swift
[274/438] Compiling PropertyLawKit Seed.swift
[275/438] Compiling PropertyLawKit SequenceLawOptions.swift
[276/438] Compiling PropertyLawKit StrictnessTier.swift
[277/438] Compiling PropertyLawKit TrialBudget.swift
[278/438] Compiling PropertyLawKit PropertyLawKit.swift
[279/438] Compiling PropertyLawKit AdditiveArithmeticLaws.swift
[280/438] Compiling PropertyLawKit SemilatticeLaws.swift
[281/438] Compiling PropertyLawKit SequenceLaws.swift
[282/438] Compiling PropertyLawKit SetAlgebraLaws.swift
[283/438] Compiling PropertyLawKit SignedIntegerLaws.swift
[284/438] Compiling PropertyLawKit SignedNumericLaws.swift
[285/438] Compiling PropertyLawKit StrideableLaws.swift
[286/438] Compiling PropertyLawKit StringProtocolLaws.swift
[287/438] Compiling PropertyLawKit UnsignedIntegerLaws.swift
[288/438] Compiling PropertyLawKit IdentifiableLaws.swift
[289/438] Compiling PropertyLawKit IteratorProtocolLaws.swift
[290/438] Compiling PropertyLawKit LosslessStringConvertibleLaws.swift
[291/438] Compiling PropertyLawKit Monoid.swift
[292/438] Compiling PropertyLawKit MonoidLaws.swift
[293/438] Compiling PropertyLawKit MutableCollectionLaws.swift
[294/438] Compiling PropertyLawKit NumericGenerators.swift
[295/438] Compiling PropertyLawKit NumericLaws.swift
[296/438] Compiling PropertyLawKit BidirectionalCollectionLaws.swift
[297/438] Compiling PropertyLawKit BinaryFloatingPointLaws.swift
[298/438] Compiling PropertyLawKit BinaryIntegerLaws.swift
[299/438] Compiling PropertyLawKit CaseIterableLaws.swift
[300/438] Compiling PropertyLawKit CodableLaws.swift
[301/438] Compiling PropertyLawKit CollectionLaws.swift
[302/438] Compiling PropertyLawKit CommutativeMonoid.swift
[303/438] Compiling PropertyLawKit CommutativeMonoidLaws.swift
[313/439] Emitting module SwiftSyntax
[315/439] Compiling PropertyLawKit ComparableLaws.swift
[316/439] Compiling PropertyLawKit CoverageClassifier.swift
[317/439] Compiling PropertyLawKit EquatableLaws.swift
[318/439] Compiling PropertyLawKit FixedWidthIntegerLaws.swift
[319/439] Compiling PropertyLawKit FloatingPointLaws.swift
[320/439] Compiling PropertyLawKit Group.swift
[321/439] Compiling PropertyLawKit GroupLaws.swift
[322/439] Compiling PropertyLawKit HashableLaws.swift
[405/440] Compiling SwiftSyntax SyntaxNodesEF.swift
[406/440] Compiling SwiftSyntax SyntaxNodesGHI.swift
[407/440] Compiling SwiftSyntax SyntaxNodesJKLMN.swift
[408/440] Compiling SwiftSyntax SyntaxNodesOP.swift
[409/440] Compiling SwiftSyntax SyntaxNodesQRS.swift
[410/440] Compiling SwiftSyntax SyntaxNodesTUVWXYZ.swift
[420/443] Wrapping AST for SwiftSyntax for debugging
[423/540] Compiling SwiftDiagnostics Message.swift
[424/541] Compiling SwiftBasicFormat SyntaxProtocol+Formatted.swift
[425/541] Compiling SwiftBasicFormat Trivia+FormatExtensions.swift
[426/541] Compiling SwiftBasicFormat Syntax+Extensions.swift
[427/541] Compiling SwiftDiagnostics Convenience.swift
[428/541] Compiling SwiftDiagnostics Diagnostic.swift
[429/541] Emitting module SwiftDiagnostics
[430/541] Compiling SwiftDiagnostics Note.swift
[431/541] Compiling SwiftParser Patterns.swift
[432/541] Compiling SwiftParser Recovery.swift
[433/541] Compiling SwiftParser Specifiers.swift
[434/541] Compiling SwiftParser Statements.swift
[435/541] Compiling SwiftParser StringLiteralRepresentedLiteralValue.swift
[436/546] Compiling SwiftDiagnostics GroupedDiagnostics.swift
[437/546] Compiling SwiftDiagnostics FixIt.swift
[438/546] Compiling SwiftBasicFormat InferIndentation.swift
[439/546] Compiling SwiftDiagnostics DiagnosticDecorator.swift
[440/546] Compiling SwiftDiagnostics ANSIDiagnosticDecorator.swift
[441/546] Compiling SwiftDiagnostics BasicDiagnosticDecorator.swift
[442/546] Compiling SwiftDiagnostics DiagnosticsFormatter.swift
[444/547] Compiling SwiftParser SwiftParserCompatibility.swift
[445/547] Compiling SwiftParser SwiftVersion.swift
[446/547] Compiling SwiftParser SyntaxUtils.swift
[447/547] Compiling SwiftParser TokenConsumer.swift
[448/547] Compiling SwiftParser TokenPrecedence.swift
[448/552] Wrapping AST for SwiftDiagnostics for debugging
[450/552] Emitting module SwiftBasicFormat
[451/552] Compiling SwiftBasicFormat BasicFormat.swift
[452/553] Wrapping AST for SwiftBasicFormat for debugging
[454/553] Compiling SwiftParser ExpressionInterpretedAsVersionTuple.swift
[455/553] Compiling SwiftParser Expressions.swift
[456/553] Compiling SwiftParser IncrementalParseTransition.swift
[457/553] Compiling SwiftParser IsValidIdentifier.swift
[458/553] Compiling SwiftParser Cursor.swift
[459/553] Compiling SwiftParser Lexeme.swift
[460/553] Emitting module SwiftParser
[461/553] Compiling SwiftParser Modifiers.swift
[462/553] Compiling SwiftParser Names.swift
[463/553] Compiling SwiftParser Nominals.swift
[464/553] Compiling SwiftParser Parameters.swift
[465/553] Compiling SwiftParser ParseSourceFile.swift
[466/553] Compiling SwiftParser Parser.swift
[467/553] Compiling SwiftParser TokenSpec.swift
[468/553] Compiling SwiftParser TokenSpecSet.swift
[469/553] Compiling SwiftParser TopLevel.swift
[470/553] Compiling SwiftParser TriviaParser.swift
[471/553] Compiling SwiftParser Types.swift
[472/553] Compiling SwiftParser StringLiterals.swift
[473/553] Compiling SwiftParser LexemeSequence.swift
[474/553] Compiling SwiftParser Lexer.swift
[475/553] Compiling SwiftParser RegexLiteralLexer.swift
[476/553] Compiling SwiftParser UnicodeScalarExtensions.swift
[477/553] Compiling SwiftParser Lookahead.swift
[478/553] Compiling SwiftParser LoopProgressCondition.swift
[501/553] Emitting module SwiftParser
[506/553] Compiling SwiftParser Declarations.swift
[507/553] Compiling SwiftParser Directives.swift
[526/553] Compiling SwiftParser ExperimentalFeatures.swift
[527/553] Compiling SwiftParser IsLexerClassified.swift
[528/553] Compiling SwiftParser LayoutNodes+Parsable.swift
[529/553] Compiling SwiftParser Parser+TokenSpecSet.swift
[530/553] Compiling SwiftParser TokenSpecStaticMembers.swift
[537/555] Wrapping AST for SwiftParser for debugging
[540/598] Compiling SwiftParserDiagnostics SyntaxKindNameForDiagnostics.swift
[541/599] Compiling PropertyLawDiscoveryTool SuppressionParser.swift
[543/601] Compiling PropertyLawDiscoveryTool GeneratedFileEmitter.swift
[544/601] Compiling PropertyLawDiscoveryTool ModuleScanner.swift
[545/602] Compiling SwiftOperators PrecedenceGroup.swift
[546/602] Compiling PropertyLawDiscoveryTool AdvisorySuggester.swift
[547/602] Compiling PropertyLawDiscoveryTool ConformanceMap.swift
[548/602] Compiling PropertyLawDiscoveryTool RoundTripFinder.swift
[549/602] Compiling SwiftParserDiagnostics TokenNameForDiagnostics.swift
[550/602] Compiling SwiftOperators PrecedenceGraph.swift
[551/602] Compiling SwiftOperators OperatorTable.swift
[552/602] Compiling PropertyLawDiscoveryTool RoundTripSuggester.swift
[553/602] Emitting module SwiftOperators
[554/602] Compiling PropertyLawDiscoveryTool RoundTripFinder.swift
[555/602] Compiling PropertyLawDiscoveryTool RoundTripSuggester.swift
[556/602] Compiling PropertyLawDiscoveryTool WitnessFinder.swift
[557/602] Compiling SwiftOperators SyntaxSynthesis.swift
[558/602] Compiling PropertyLawDiscoveryTool WitnessFinder.swift
[559/602] Compiling PropertyLawDiscoveryTool PropertyLawDiscoveryTool.swift
[560/602] Compiling PropertyLawDiscoveryTool PluginMemberInspector.swift
[561/602] Compiling SwiftOperators OperatorTable+Semantics.swift
[562/602] Compiling SwiftOperators OperatorTable+Folding.swift
[563/603] Compiling PropertyLawDiscoveryTool PluginMemberInspector.swift
[564/603] Compiling PropertyLawDiscoveryTool PropertyLawDiscoveryTool.swift
[569/603] Emitting module PropertyLawDiscoveryTool
[577/605] Compiling SwiftParserDiagnostics ChildNameForDiagnostics.swift
[578/605] Compiling SwiftParserDiagnostics SyntaxExtensions.swift
[579/605] Compiling SwiftParserDiagnostics Utils.swift
[580/605] Wrapping AST for SwiftOperators for debugging
[581/605] Wrapping AST for PropertyLawDiscoveryTool for debugging
[582/605] Write Objects.LinkFileList
[583/605] Wrapping AST for PropertyLawDiscoveryTool for debugging
[584/605] Write Objects.LinkFileList
[586/605] Emitting module SwiftParserDiagnostics
[587/605] Compiling SwiftParserDiagnostics ParserDiagnosticMessages.swift
[588/605] Compiling SwiftParserDiagnostics PresenceUtils.swift
[588/605] Linking PropertyLawDiscoveryTool
[589/605] Linking PropertyLawDiscoveryTool-tool
[595/605] Compiling SwiftParserDiagnostics MultiLineStringLiteralDiagnosticsGenerator.swift
[596/605] Compiling SwiftParserDiagnostics ParseDiagnosticsGenerator.swift
[597/606] Wrapping AST for SwiftParserDiagnostics for debugging
[599/621] Compiling SwiftSyntaxBuilder ResultBuilderExtensions.swift
[600/621] Compiling SwiftSyntaxBuilder SwiftSyntaxBuilderCompatibility.swift
[601/622] Compiling SwiftSyntaxBuilder ConvenienceInitializers.swift
[602/622] Compiling SwiftSyntaxBuilder DeclSyntaxParseable.swift
[603/622] Compiling SwiftSyntaxBuilder SyntaxExpressibleByStringInterpolationConformances.swift
[604/622] Compiling SwiftSyntaxBuilder Syntax+StringInterpolation.swift
[605/622] Compiling SwiftSyntaxBuilder SyntaxNodeWithBody.swift
[606/622] Emitting module SwiftSyntaxBuilder
[607/622] Compiling SwiftSyntaxBuilder SyntaxParsable+ExpressibleByStringInterpolation.swift
[608/622] Compiling SwiftSyntaxBuilder ValidatingSyntaxNodes.swift
[609/622] Compiling SwiftSyntaxBuilder WithTrailingCommaSyntax+EnsuringTrailingComma.swift
[610/622] Compiling SwiftSyntaxBuilder BuildableNodes.swift
[611/622] Compiling SwiftSyntaxBuilder Indenter.swift
[612/622] Compiling SwiftSyntaxBuilder ListBuilder.swift
[613/622] Compiling SwiftSyntaxBuilder RenamedChildrenBuilderCompatibility.swift
[614/622] Compiling SwiftSyntaxBuilder ResultBuilders.swift
[615/623] Wrapping AST for SwiftSyntaxBuilder for debugging
[617/640] Compiling SwiftSyntaxMacros MemberMacro.swift
[618/640] Compiling SwiftSyntaxMacros PeerMacro.swift
[619/640] Compiling SwiftSyntaxMacros Macro.swift
[620/640] Compiling SwiftSyntaxMacros MemberAttributeMacro.swift
[621/642] Compiling SwiftSyntaxMacros CodeItemMacro.swift
[622/642] Compiling SwiftSyntaxMacros DeclarationMacro.swift
[623/642] Compiling SwiftSyntaxMacros AccessorMacro.swift
[624/642] Compiling SwiftSyntaxMacros AttachedMacro.swift
[625/642] Compiling SwiftSyntaxMacros BodyMacro.swift
[626/642] Compiling SwiftSyntaxMacros ExpressionMacro.swift
[627/642] Compiling SwiftSyntaxMacros ExtensionMacro.swift
[628/642] Compiling SwiftSyntaxMacros FreestandingMacro.swift
[629/642] Compiling SwiftSyntaxMacros Macro+Format.swift
[630/642] Emitting module SwiftSyntaxMacros
[631/642] Compiling SwiftSyntaxMacros PreambleMacro.swift
[632/642] Compiling SwiftSyntaxMacros Syntax+LexicalContext.swift
[633/642] Compiling SwiftSyntaxMacros AbstractSourceLocation.swift
[634/642] Compiling SwiftSyntaxMacros MacroExpansionContext.swift
[635/642] Compiling SwiftSyntaxMacros MacroExpansionDiagnosticMessages.swift
[636/643] Wrapping AST for SwiftSyntaxMacros for debugging
[638/652] Compiling SwiftSyntaxMacroExpansion MacroSpec.swift
[639/653] Compiling SwiftSyntaxMacroExpansion IndentationUtils.swift
[640/653] Compiling SwiftSyntaxMacroExpansion BasicMacroExpansionContext.swift
[641/653] Compiling SwiftSyntaxMacroExpansion FunctionParameterUtils.swift
[642/653] Compiling SwiftSyntaxMacroExpansion MacroArgument.swift
[643/653] Emitting module SwiftSyntaxMacroExpansion
[644/653] Compiling SwiftSyntaxMacroExpansion MacroExpansionDiagnosticMessages.swift
[645/653] Compiling SwiftSyntaxMacroExpansion MacroReplacement.swift
[646/653] Compiling SwiftSyntaxMacroExpansion MacroExpansion.swift
[647/653] Compiling SwiftSyntaxMacroExpansion MacroSystem.swift
[648/654] Wrapping AST for SwiftSyntaxMacroExpansion for debugging
[650/666] Compiling SwiftCompilerPluginMessageHandling PluginMacroExpansionContext.swift
[651/667] Compiling SwiftCompilerPluginMessageHandling LRUCache.swift
[652/667] Compiling SwiftCompilerPluginMessageHandling Macros.swift
[653/667] Emitting module SwiftCompilerPluginMessageHandling
[654/667] Compiling SwiftCompilerPluginMessageHandling StandardIOMessageConnection.swift
[655/667] Compiling SwiftCompilerPluginMessageHandling PluginMessageCompatibility.swift
[656/667] Compiling SwiftCompilerPluginMessageHandling PluginMessages.swift
[657/667] Compiling SwiftCompilerPluginMessageHandling CodingUtilities.swift
[658/667] Compiling SwiftCompilerPluginMessageHandling JSON.swift
[659/667] Compiling SwiftCompilerPluginMessageHandling JSONDecoding.swift
[660/667] Compiling SwiftCompilerPluginMessageHandling JSONEncoding.swift
[661/667] Compiling SwiftCompilerPluginMessageHandling CompilerPluginMessageHandler.swift
[662/667] Compiling SwiftCompilerPluginMessageHandling Diagnostics.swift
[663/669] Wrapping AST for SwiftCompilerPluginMessageHandling for debugging
[665/670] Emitting module SwiftCompilerPlugin
[666/670] Compiling SwiftCompilerPlugin CompilerPlugin.swift
[667/671] Wrapping AST for SwiftCompilerPlugin for debugging
[669/677] Compiling PropertyLawMacroImpl MemberBlockInspector.swift
[670/677] Emitting module PropertyLawMacroImpl
[671/677] Compiling PropertyLawMacroImpl Diagnostics.swift
[672/677] Compiling PropertyLawMacroImpl DiscoverableMacro.swift
[673/677] Compiling PropertyLawMacroImpl PropertyLawSuiteMacro.swift
[674/677] Compiling PropertyLawMacroImpl Plugin.swift
[675/678] Wrapping AST for PropertyLawMacroImpl for debugging
[676/678] Write Objects.LinkFileList
[677/678] Linking PropertyLawMacroImpl-tool
[679/682] Emitting module PropertyLawMacro
[681/682] Compiling PropertyLawMacro PropertyLawMacro.swift
Build complete! (377.70s)
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" : "/host/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"
}
android-6.3-latest: Pulling from swiftpackageindex/spi-images
Digest: sha256:9008270ea37a55e78725e6225015adb5eff8582da520c5232bf0499f32c36dc4
Status: Image is up to date for registry.gitlab.com/swiftpackageindex/spi-images:android-6.3-latest
Done.