Swift Package IndexBuild Information
Successful build of SwiftPropertyLaws, reference v2.0.0 (eeef84), with Swift 6.2 for Linux on 5 May 2026 07:42:05 UTC.
Swift 6 data race errors: 0
Build Command
bash -c docker run --pull=always --rm -v "checkouts-4609320-0":/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:basic-6.2-latest swift build --triple x86_64-unknown-linux-gnu 2>&1Build 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 /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
* 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
========================================
Build
========================================
Selected platform: linux
Swift version: 6.2
Building package at path: $PWD
https://github.com/Joseph-Cursio/SwiftPropertyLaws.git
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-4609320-0":/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:basic-6.2-latest swift build --triple x86_64-unknown-linux-gnu 2>&1
basic-6.2-latest: Pulling from swiftpackageindex/spi-images
Digest: sha256:0ddb100795e64f71518020a73ad8441aeb43832ede7f1202ae7f8de93664f90d
Status: Image is up to date for registry.gitlab.com/swiftpackageindex/spi-images:basic-6.2-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
[1262/76306] Fetching swift-property-based, swift-syntax
Fetched https://github.com/x-sheep/swift-property-based.git from cache (10.04s)
Fetched https://github.com/swiftlang/swift-syntax.git from cache (10.18s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 600.0.1 (14.59s)
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.65s)
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
Downloading package prebuilt https://download.swift.org/prebuilts/swift-syntax/600.0.1/swift-6.2.4-RELEASE-MacroSupport-ubuntu_jammy_x86_64.tar.gz
Downloaded https://download.swift.org/prebuilts/swift-syntax/600.0.1/swift-6.2.4-RELEASE-MacroSupport-ubuntu_jammy_x86_64.tar.gz (0.62s)
/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/46] Write sources
[22/46] Compiling _SwiftSyntaxCShims dummy.c
[24/46] Write swift-version-24593BA9C3E375BF.txt
[26/116] Emitting module SwiftSyntax509
[27/116] Emitting module SwiftSyntax510
[28/116] Emitting module PropertyBased
[30/124] Compiling SwiftSyntax510 Empty.swift
[31/125] Compiling PropertyBased Shrink+Appended.swift
[32/125] Compiling PropertyBased Shrink+Bitset.swift
[33/125] Compiling PropertyBased Shrink+Collection.swift
[34/125] Compiling PropertyBased Shrink+Date.swift
[35/125] Compiling SwiftSyntax600 Empty.swift
[36/125] Emitting module SwiftSyntax600
[38/126] Emitting module SwiftSyntax510
[39/126] Compiling SwiftSyntax510 Empty.swift
[40/127] Compiling SwiftSyntax509 Empty.swift
[41/128] Compiling SwiftSyntax600 Empty.swift
[42/128] Emitting module SwiftSyntax600
[43/129] Compiling PropertyBased Shrink+Float.swift
[44/129] Compiling PropertyBased Shrink+Integer.swift
[45/129] Compiling PropertyBased Shrink+MutableCollection.swift
[46/129] Compiling PropertyBased Shrink+Optional.swift
[48/129] Compiling SwiftSyntax509 Empty.swift
[49/129] Emitting module SwiftSyntax509
[54/134] Compiling PropertyBased Gen+String.swift
[55/134] Compiling PropertyBased Gen.swift
[56/134] Compiling PropertyBased Generator.swift
[57/134] Compiling PropertyBased IssueCounting.swift
[57/135] Wrapping AST for SwiftSyntax510 for debugging
[58/135] Wrapping AST for SwiftSyntax600 for debugging
[60/140] Wrapping AST for SwiftSyntax510 for debugging
[61/140] Wrapping AST for SwiftSyntax509 for debugging
[64/268] Compiling PropertyLawCore MemberwiseEmitter.swift
[66/268] Compiling PropertyLawCore GeneratorExpressionEmitter.swift
[67/268] Compiling PropertyLawCore KnownProtocol.swift
[68/268] Compiling PropertyLawCore GeneratorExpressionEmitter.swift
[69/268] Compiling PropertyLawCore KnownProtocol.swift
[70/268] Emitting module PropertyLawCore
[71/268] Compiling PropertyLawCore DerivationStrategy.swift
[74/269] Emitting module PropertyLawCore
[75/270] Wrapping AST for PropertyLawCore for debugging
[78/276] Emitting module PropertyLawMacroImpl
[79/276] Compiling PropertyLawMacroImpl MemberBlockInspector.swift
[80/276] Compiling PropertyLawMacroImpl Diagnostics.swift
[81/276] Compiling PropertyLawMacroImpl DiscoverableMacro.swift
[82/276] Compiling PropertyLawMacroImpl PropertyLawSuiteMacro.swift
[83/276] Compiling PropertyLawMacroImpl Plugin.swift
[84/277] Wrapping AST for PropertyLawMacroImpl for debugging
[85/277] Write Objects.LinkFileList
[87/277] Compiling SwiftSyntax SourceLength.swift
[88/277] Compiling SwiftSyntax SourceLocation.swift
[89/277] Compiling SwiftSyntax SyntaxNodeFactory.swift
[90/277] Compiling SwiftSyntax SyntaxNodeStructure.swift
[91/277] Compiling SwiftSyntax AbsolutePosition.swift
[92/277] Compiling SwiftSyntax AbsoluteRawSyntax.swift
[93/277] Compiling SwiftSyntax AbsoluteSyntaxInfo.swift
[94/277] Compiling SwiftSyntax Assert.swift
[95/277] Compiling SwiftSyntax SyntaxProtocol.swift
[96/277] Compiling SwiftSyntax SyntaxText.swift
[97/277] Compiling SwiftSyntax SyntaxTreeViewMode.swift
[98/277] Compiling SwiftSyntax TokenDiagnostic.swift
[99/277] Compiling SwiftSyntax SwiftSyntaxCompatibility.swift
[100/277] Compiling SwiftSyntax Syntax.swift
[101/277] Compiling SwiftSyntax SyntaxArena.swift
[102/277] Compiling SwiftSyntax SyntaxArenaAllocatedBuffer.swift
[102/277] Linking PropertyLawMacroImpl-tool
[104/277] Compiling SwiftSyntax BumpPtrAllocator.swift
[105/277] Compiling SwiftSyntax CommonAncestor.swift
[106/277] Compiling SwiftSyntax Convenience.swift
[107/277] Compiling SwiftSyntax CustomTraits.swift
[112/277] Compiling SwiftSyntax Identifier.swift
[113/277] Compiling SwiftSyntax MemoryLayout.swift
[114/277] Compiling SwiftSyntax MissingNodeInitializers.swift
[115/277] Compiling SwiftSyntax RawSyntax.swift
[126/277] Compiling SwiftSyntax TokenSequence.swift
[127/277] Compiling SwiftSyntax TokenSyntax.swift
[128/277] Compiling SwiftSyntax Trivia.swift
[132/285] Compiling SwiftSyntax RawSyntaxLayoutView.swift
[133/285] Compiling SwiftSyntax RawSyntaxNodeProtocol.swift
[134/285] Compiling SwiftSyntax RawSyntaxTokenView.swift
[135/285] Compiling SwiftSyntax SourceEdit.swift
[176/294] Compiling SwiftSyntax SourcePresence.swift
[196/411] Emitting module PropertyLawKit
[198/427] Compiling PropertyLawKit PropertyBackend.swift
[199/427] Compiling PropertyLawKit RandomAccessCollectionLaws.swift
[200/427] Compiling PropertyLawKit LosslessStringConvertibleLaws.swift
[201/427] Compiling PropertyLawKit Monoid.swift
[202/427] Compiling PropertyLawKit MonoidLaws.swift
[203/427] Compiling PropertyLawKit MutableCollectionLaws.swift
[204/427] Compiling PropertyLawKit NumericGenerators.swift
[205/427] Compiling PropertyLawKit Semilattice.swift
[206/427] Compiling PropertyLawKit LawSuppression.swift
[207/427] Compiling PropertyLawKit PropertyLawViolation.swift
[208/427] Compiling PropertyLawKit RangeReplaceableCollectionLaws.swift
[209/427] Compiling PropertyLawKit RawRepresentableLaws.swift
[210/427] Compiling PropertyLawKit StrictnessTier.swift
[211/427] Compiling PropertyLawKit TrialBudget.swift
[212/427] Compiling PropertyLawKit PropertyLawKit.swift
[213/427] Compiling PropertyLawKit AdditiveArithmeticLaws.swift
[214/427] Compiling PropertyLawKit BidirectionalCollectionLaws.swift
[215/427] Compiling PropertyLawKit BinaryFloatingPointLaws.swift
[216/427] Compiling PropertyLawKit BinaryIntegerLaws.swift
[217/427] Compiling PropertyLawKit CaseIterableLaws.swift
[218/427] Compiling PropertyLawKit CodableLaws.swift
[219/427] Compiling PropertyLawKit CollectionLaws.swift
[220/427] Compiling PropertyLawKit CommutativeMonoid.swift
[221/427] Compiling PropertyLawKit CommutativeMonoidLaws.swift
[222/427] Compiling PropertyLawKit ComparableLaws.swift
[223/427] Compiling PropertyLawKit CoverageClassifier.swift
[224/427] Compiling PropertyLawKit EquatableLaws.swift
[225/427] Compiling PropertyLawKit FixedWidthIntegerLaws.swift
[226/427] Compiling PropertyLawKit FloatingPointLaws.swift
[227/427] Compiling PropertyLawKit Group.swift
[228/427] Compiling PropertyLawKit GroupLaws.swift
[229/427] Compiling PropertyLawKit NumericLaws.swift
[246/427] Compiling PropertyLawKit SemilatticeLaws.swift
[247/427] Compiling PropertyLawKit SequenceLaws.swift
[248/427] Compiling PropertyLawKit SetAlgebraLaws.swift
[249/427] Compiling PropertyLawKit SignedIntegerLaws.swift
[250/427] Compiling PropertyLawKit SignedNumericLaws.swift
[251/427] Compiling PropertyLawKit StrideableLaws.swift
[252/427] Compiling PropertyLawKit StringProtocolLaws.swift
[253/427] Compiling PropertyLawKit UnsignedIntegerLaws.swift
[262/427] Emitting module SwiftSyntax
[264/427] Compiling PropertyLawKit CodableCodec.swift
[265/427] Compiling PropertyLawKit CodableLawConfig.swift
[266/427] Compiling PropertyLawKit CodableRoundTripMode.swift
[267/427] Compiling PropertyLawKit EnforcementMode.swift
[268/427] Compiling PropertyLawKit Environment.swift
[269/427] Compiling PropertyLawKit CollectionLaws.swift
[270/427] Compiling PropertyLawKit LawIdentifier.swift
[271/427] Compiling PropertyLawKit LawSelection.swift
[280/427] Compiling PropertyLawKit AggregateDriver.swift
[281/427] Compiling PropertyLawKit SwiftPropertyBasedBackend.swift
[282/427] Compiling PropertyLawKit CoverageAccumulator.swift
[283/427] Compiling PropertyLawKit LawSuppressionPolicy.swift
[284/427] Compiling PropertyLawKit NearMissCollector.swift
[285/427] Compiling PropertyLawKit PerLawDriver.swift
[286/427] Compiling PropertyLawKit ReplayEnvironmentValidator.swift
[287/427] Compiling PropertyLawKit ViolationFormatter.swift
[288/427] Compiling PropertyLawKit CheckResult.swift
[289/427] Compiling PropertyLawKit CodableCodec.swift
[290/427] Compiling PropertyLawKit CodableLawConfig.swift
[291/427] Compiling PropertyLawKit CodableRoundTripMode.swift
[292/427] Compiling PropertyLawKit EnforcementMode.swift
[293/427] Compiling PropertyLawKit Environment.swift
[294/427] Compiling PropertyLawKit LawCheckOptions.swift
[295/427] Compiling PropertyLawKit LawIdentifier.swift
[296/427] Compiling PropertyLawKit AdditiveArithmeticLaws.swift
[332/431] Compiling PropertyLawMacro PropertyLawMacro.swift
[333/433] Emitting module PropertyLawMacro
Internal Error: dataCorrupted(Swift.DecodingError.Context(codingPath: [], debugDescription: "Corrupted JSON", underlyingError: Optional(unexpected end of file)))
[336/434] Compiling PropertyLawMacro PropertyLawMacro.swift
[412/435] Compiling SwiftSyntax SyntaxNodesEF.swift
[413/435] Compiling SwiftSyntax SyntaxNodesGHI.swift
[414/435] Compiling SwiftSyntax SyntaxNodesJKLMN.swift
[415/435] Compiling SwiftSyntax SyntaxNodesOP.swift
[416/435] Compiling SwiftSyntax SyntaxNodesQRS.swift
[417/435] Compiling SwiftSyntax SyntaxNodesTUVWXYZ.swift
[418/436] Wrapping AST for SwiftSyntax for debugging
[430/519] Compiling SwiftParser LexemeSequence.swift
[431/519] Compiling SwiftParser Lexer.swift
[432/519] Compiling SwiftParser RegexLiteralLexer.swift
[433/519] Compiling SwiftParser UnicodeScalarExtensions.swift
[434/519] Compiling SwiftParser Lookahead.swift
[435/519] Compiling SwiftParser LoopProgressCondition.swift
[436/524] Compiling SwiftParser Attributes.swift
[437/524] Compiling SwiftParser Availability.swift
[438/524] Compiling SwiftParser CharacterInfo.swift
[439/524] Compiling SwiftParser CollectionNodes+Parsable.swift
[440/524] Compiling SwiftParser Declarations.swift
[441/524] Compiling SwiftParser Directives.swift
[448/524] Compiling SwiftParser Modifiers.swift
[449/524] Compiling SwiftParser Names.swift
[450/524] Compiling SwiftParser Nominals.swift
[451/524] Compiling SwiftParser Parameters.swift
[452/524] Compiling SwiftParser ParseSourceFile.swift
[453/524] Compiling SwiftParser Parser.swift
[454/529] Compiling SwiftParser SwiftParserCompatibility.swift
[455/529] Compiling SwiftParser SwiftVersion.swift
[456/529] Compiling SwiftParser SyntaxUtils.swift
[457/529] Compiling SwiftParser TokenConsumer.swift
[458/529] Compiling SwiftParser TokenPrecedence.swift
[459/529] Compiling SwiftParser TokenSpec.swift
[460/529] Compiling SwiftParser TokenSpecSet.swift
[461/529] Compiling SwiftParser TopLevel.swift
[462/529] Compiling SwiftParser TriviaParser.swift
[463/529] Compiling SwiftParser Types.swift
[464/529] Compiling SwiftParser Patterns.swift
[465/529] Compiling SwiftParser Recovery.swift
[466/529] Compiling SwiftParser Specifiers.swift
[467/529] Compiling SwiftParser Statements.swift
[468/529] Compiling SwiftParser StringLiteralRepresentedLiteralValue.swift
[469/529] Compiling SwiftParser StringLiterals.swift
[492/529] Emitting module SwiftParser
[493/529] Compiling SwiftParser ExpressionInterpretedAsVersionTuple.swift
[494/529] Compiling SwiftParser Expressions.swift
[495/529] Compiling SwiftParser IncrementalParseTransition.swift
[496/529] Compiling SwiftParser IsValidIdentifier.swift
[497/529] Compiling SwiftParser Cursor.swift
[498/529] Compiling SwiftParser Lexeme.swift
[505/529] Emitting module SwiftParser
[512/529] Compiling SwiftParser ExperimentalFeatures.swift
[513/529] Compiling SwiftParser IsLexerClassified.swift
[514/529] Compiling SwiftParser LayoutNodes+Parsable.swift
[515/529] Compiling SwiftParser Parser+TokenSpecSet.swift
[516/529] Compiling SwiftParser TokenSpecStaticMembers.swift
[522/531] Wrapping AST for SwiftParser for debugging
[525/541] Compiling PropertyLawDiscoveryTool SuppressionParser.swift
[526/542] Compiling PropertyLawDiscoveryTool WitnessFinder.swift
[527/542] Compiling PropertyLawDiscoveryTool RoundTripFinder.swift
[528/542] Compiling PropertyLawDiscoveryTool RoundTripSuggester.swift
[528/542] Wrapping AST for SwiftParser for debugging
[530/542] Compiling PropertyLawDiscoveryTool PropertyLawDiscoveryTool.swift
[531/552] Compiling PropertyLawDiscoveryTool PluginMemberInspector.swift
[532/552] Compiling PropertyLawDiscoveryTool AdvisorySuggester.swift
[533/552] Compiling PropertyLawDiscoveryTool ConformanceMap.swift
[534/552] Emitting module PropertyLawDiscoveryTool
[535/552] Compiling PropertyLawDiscoveryTool GeneratedFileEmitter.swift
[536/552] Compiling PropertyLawDiscoveryTool ModuleScanner.swift
[538/553] Compiling PropertyLawDiscoveryTool SuppressionParser.swift
[539/554] Compiling PropertyLawDiscoveryTool RoundTripFinder.swift
[539/554] Wrapping AST for PropertyLawDiscoveryTool for debugging
[540/554] Write Objects.LinkFileList
[542/554] Compiling PropertyLawDiscoveryTool RoundTripSuggester.swift
[543/554] Compiling PropertyLawDiscoveryTool WitnessFinder.swift
[544/554] Compiling PropertyLawDiscoveryTool PropertyLawDiscoveryTool.swift
[545/554] Compiling PropertyLawDiscoveryTool PluginMemberInspector.swift
[548/554] Emitting module PropertyLawDiscoveryTool
[551/555] Wrapping AST for PropertyLawDiscoveryTool for debugging
[552/555] Write Objects.LinkFileList
[553/555] Linking PropertyLawDiscoveryTool-tool
[554/555] Linking PropertyLawDiscoveryTool
Build complete! (341.63s)
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"
}
basic-6.2-latest: Pulling from swiftpackageindex/spi-images
Digest: sha256:0ddb100795e64f71518020a73ad8441aeb43832ede7f1202ae7f8de93664f90d
Status: Image is up to date for registry.gitlab.com/swiftpackageindex/spi-images:basic-6.2-latest
Done.