Swift Package IndexBuild Information
Successful build of SwiftPropertyLaws, reference v4.11.0 (a5ecda), with Swift 6.3 for Linux on 31 Oct 2026 22:25:24 UTC.
Swift 6 data race errors: 0
Build Command
bash -c docker run --pull=always --rm -v "checkouts-54344845-1":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/saguaro1/spi-images:linux-6.3-latest swift build --triple x86_64-unknown-linux-gnu 2>&1Build Log
Fetching https://github.com/apple/swift-collections.git
[1/1335] Fetching swift-property-based
[1336/8101] Fetching swift-property-based, swift-numerics
[1472/14926] Fetching swift-property-based, swift-numerics, swift-async-algorithms
[14927/44344] Fetching swift-property-based, swift-numerics, swift-async-algorithms, swift-collections
[44345/125726] Fetching swift-property-based, swift-numerics, swift-async-algorithms, swift-collections, swift-syntax
Fetched https://github.com/apple/swift-numerics.git from cache (1.27s)
[39206/118960] Fetching swift-property-based, swift-async-algorithms, swift-collections, swift-syntax
Fetched https://github.com/apple/swift-collections.git from cache (1.28s)
[11416/89542] Fetching swift-property-based, swift-async-algorithms, swift-syntax
Fetched https://github.com/x-sheep/swift-property-based.git from cache (3.91s)
Fetched https://github.com/apple/swift-async-algorithms.git from cache (3.91s)
Fetched https://github.com/swiftlang/swift-syntax.git from cache (3.94s)
Computing version for https://github.com/x-sheep/swift-property-based.git
Computed https://github.com/x-sheep/swift-property-based.git at 2.0.1 (4.10s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 603.0.2 (0.99s)
Computing version for https://github.com/apple/swift-numerics.git
Computed https://github.com/apple/swift-numerics.git at 1.1.1 (0.15s)
Computing version for https://github.com/apple/swift-async-algorithms.git
Computed https://github.com/apple/swift-async-algorithms.git at 1.1.7 (0.19s)
Computing version for https://github.com/apple/swift-collections.git
Computed https://github.com/apple/swift-collections.git at 1.7.5 (0.24s)
Creating working copy for https://github.com/swiftlang/swift-syntax.git
Working copy of https://github.com/swiftlang/swift-syntax.git resolved at 603.0.2
Creating working copy for https://github.com/apple/swift-collections.git
Working copy of https://github.com/apple/swift-collections.git resolved at 1.7.5
Creating working copy for https://github.com/apple/swift-numerics.git
Working copy of https://github.com/apple/swift-numerics.git resolved at 1.1.1
Creating working copy for https://github.com/x-sheep/swift-property-based.git
Working copy of https://github.com/x-sheep/swift-property-based.git resolved at 2.0.1
Creating working copy for https://github.com/apple/swift-async-algorithms.git
Working copy of https://github.com/apple/swift-async-algorithms.git resolved at 1.1.7
Downloading package prebuilt https://download.swift.org/prebuilts/swift-syntax/603.0.2/swift-6.3.2-RELEASE-ubuntu_noble_x86_64-MacroSupport.tar.gz
Downloaded https://download.swift.org/prebuilts/swift-syntax/603.0.2/swift-6.3.2-RELEASE-ubuntu_noble_x86_64-MacroSupport.tar.gz (0.18s)
/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 | // Dependency sources, for declarations only. Without them a type this
38 | // target merely *extends* is invisible — no members, no initializers,
/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 | // Dependency sources, for declarations only. Without them a type this
38 | // target merely *extends* is invisible — no members, no initializers,
/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:119:26: warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
117 | guard let sourceModuleTarget = target as? SourceModuleTarget else { return [] }
118 | return sourceModuleTarget.sourceFiles
119 | .filter { $0.path.extension == "swift" }
| |- warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
| `- note: use 'url' instead
120 | .map { $0.path.string }
121 | .sorted()
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:119:31: warning: 'extension' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
117 | guard let sourceModuleTarget = target as? SourceModuleTarget else { return [] }
118 | return sourceModuleTarget.sourceFiles
119 | .filter { $0.path.extension == "swift" }
| `- warning: 'extension' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
120 | .map { $0.path.string }
121 | .sorted()
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:120:23: warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
118 | return sourceModuleTarget.sourceFiles
119 | .filter { $0.path.extension == "swift" }
120 | .map { $0.path.string }
| |- warning: 'path' is deprecated: renamed to 'url' [#DeprecatedDeclaration]
| `- note: use 'url' instead
121 | .sorted()
122 | }
/host/spi-builder-workspace/Plugins/PropertyLawDiscoveryPlugin/plugin.swift:120:28: warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
118 | return sourceModuleTarget.sourceFiles
119 | .filter { $0.path.extension == "swift" }
120 | .map { $0.path.string }
| `- warning: 'string' is deprecated: Use `URL` type instead of `Path`. [#DeprecatedDeclaration]
121 | .sorted()
122 | }
[#DeprecatedDeclaration]: <https://docs.swift.org/compiler/documentation/diagnostics/deprecated-declaration>
[1/1] Compiling plugin PropertyLawDiscoveryPlugin
Building for debugging...
[1/114] Write sources
[12/114] Compiling _NumericsShims _NumericsShims.c
[13/114] Write sources
[15/114] Compiling _NumericsShims _NumericsShims.c
[16/114] Write sources
[27/114] Compiling _SwiftSyntaxCShims PlatformMutex.c
[29/114] Write sources
[52/114] Write swift-version-24593BA9C3E375BF.txt
[52/114] Write sources
[66/130] Emitting module SwiftSyntax601
[67/130] Emitting module SwiftSyntax603
[68/130] Emitting module SwiftSyntax601
[69/130] Emitting module SwiftSyntax600
[70/130] Compiling SwiftSyntax600 Empty.swift
[71/131] Emitting module SwiftSyntax603
[72/131] Compiling SwiftSyntax603 Empty.swift
[75/134] Emitting module SwiftSyntax600
[76/134] Compiling SwiftSyntax600 Empty.swift
[78/137] Compiling SwiftSyntax601 Empty.swift
[79/138] Compiling SwiftSyntax602 Empty.swift
[80/138] Compiling SwiftSyntax510 Empty.swift
[81/138] Emitting module SwiftSyntax602
[82/138] Emitting module SwiftSyntax510
[86/140] Compiling SwiftSyntax510 Empty.swift
[88/142] Emitting module SwiftSyntax602
[89/142] Compiling SwiftSyntax602 Empty.swift
[90/144] Compiling SwiftSyntax509 Empty.swift
[91/144] Emitting module SwiftSyntax509
[95/176] Compiling SwiftSyntax603 Empty.swift
[96/190] Emitting module SwiftSyntax509
[97/190] Compiling SwiftSyntax509 Empty.swift
[99/192] Compiling RealModule RealFunctions.swift
[102/216] Compiling SwiftSyntax601 Empty.swift
[104/245] Compiling RealModule RelaxedArithmetic.swift
[106/281] Compiling RealModule Real.swift
[108/304] Compiling InternalCollectionsUtilities BorrowingIteratorProtocol+Equality.swift
[109/304] Compiling InternalCollectionsUtilities BorrowingIteratorProtocol+Extras.swift
[110/304] Compiling InternalCollectionsUtilities Iterable+Equality.swift
[111/304] Compiling InternalCollectionsUtilities LifetimeOverride.swift
[112/306] Compiling RealModule Float80+Real.swift
[114/306] Compiling RealModule Float16+Real.swift
[117/315] Compiling SwiftSyntax MissingNodeInitializers.swift
[118/315] Compiling SwiftSyntax RawSyntax.swift
[119/369] Compiling SwiftSyntax SyntaxCollection.swift
[120/369] Compiling SwiftSyntax SyntaxHashable.swift
[121/369] Compiling SwiftSyntax SyntaxIdentifier.swift
[122/371] Compiling SwiftSyntax RawSyntaxArena.swift
[123/371] Compiling SwiftSyntax RawSyntaxLayoutView.swift
[124/372] Compiling RealModule Float16+Real.swift
[125/372] Compiling SwiftSyntax SourceEdit.swift
[126/372] Compiling SwiftSyntax AbsolutePosition.swift
[127/372] Compiling SwiftSyntax AbsoluteSyntaxInfo.swift
[128/372] Compiling SwiftSyntax ArenaAllocatedBuffer.swift
[131/372] Compiling SwiftSyntax Assert.swift
[132/372] Compiling SwiftSyntax BumpPtrAllocator.swift
[133/374] Emitting module PropertyLawCore
[134/374] Emitting module RealModule
[141/375] Emitting module PropertyLawCore
[142/375] Compiling InternalCollectionsUtilities UnsafeRawBufferPointer+Extras.swift
[143/375] Compiling InternalCollectionsUtilities _SortedCollection.swift
[144/375] Compiling InternalCollectionsUtilities _UniqueCollection.swift
[145/375] Emitting module RealModule
[146/376] Compiling SwiftSyntax RawSyntaxNodeProtocol.swift
[147/376] Compiling SwiftSyntax RawSyntaxTokenView.swift
[150/376] Compiling SwiftSyntax CustomTraits.swift
[151/376] Compiling SwiftSyntax EditorPlaceholder.swift
[152/376] Compiling SwiftSyntax SourceLength.swift
[156/376] Compiling PropertyLawCore TodoReason.swift
[163/386] Compiling SwiftSyntax Convenience.swift
[164/386] Compiling SwiftSyntax CustomTraits.swift
[165/386] Compiling SwiftSyntax EditorPlaceholder.swift
[166/392] Compiling SwiftSyntax RawSyntax.swift
[167/392] Compiling SwiftSyntax RawSyntaxArena.swift
[168/392] Compiling SwiftSyntax RawSyntaxLayoutView.swift
[169/392] Compiling SwiftSyntax Convenience.swift
[170/439] Compiling SwiftSyntax AbsolutePosition.swift
[171/439] Compiling SwiftSyntax AbsoluteSyntaxInfo.swift
[172/439] Compiling SwiftSyntax ArenaAllocatedBuffer.swift
[174/439] Compiling SwiftSyntax RawSyntaxNodeProtocol.swift
[175/439] Compiling SwiftSyntax MissingNodeInitializers.swift
[178/467] Compiling InternalCollectionsUtilities FixedWidthInteger+roundUpToPowerOfTwo.swift
[179/467] Compiling InternalCollectionsUtilities Integer rank.swift
[180/467] Compiling InternalCollectionsUtilities UInt+first and last set bit.swift
[181/467] Compiling InternalCollectionsUtilities UInt+reversed.swift
[182/467] Compiling InternalCollectionsUtilities BorrowingIteratorProtocol+Equality.swift
[183/467] Compiling InternalCollectionsUtilities BorrowingIteratorProtocol+Extras.swift
[184/467] Compiling InternalCollectionsUtilities Debugging.swift
[185/467] Compiling InternalCollectionsUtilities Descriptions.swift
[189/467] Compiling InternalCollectionsUtilities Iterable+CopyContents.swift
[190/467] Compiling InternalCollectionsUtilities Iterable+Equality.swift
[191/467] Compiling InternalCollectionsUtilities LifetimeOverride.swift
[192/467] Compiling InternalCollectionsUtilities MutableRef.swift
[193/470] Compiling InternalCollectionsUtilities UnsafeMutablePointer+Extras.swift
[194/470] Compiling InternalCollectionsUtilities UnsafeMutableRawBufferPointer+Extras.swift
[195/470] Compiling InternalCollectionsUtilities UnsafePointer+Extras.swift
[198/470] Compiling InternalCollectionsUtilities Strideable+LimitHelpers.swift
[199/470] Compiling InternalCollectionsUtilities String+Padding.swift
[200/470] Compiling InternalCollectionsUtilities TemporaryAllocation.swift
[201/470] Compiling InternalCollectionsUtilities _UnsafeBitSet+Index.swift
[202/470] Compiling InternalCollectionsUtilities _UnsafeBitSet+_Word.swift
[204/471] Compiling InternalCollectionsUtilities UnsafeRawBufferPointer+Extras.swift
[205/471] Compiling InternalCollectionsUtilities _SortedCollection.swift
[206/471] Compiling InternalCollectionsUtilities _UniqueCollection.swift
[206/471] Wrapping AST for SwiftSyntax603 for debugging
[219/472] Wrapping AST for SwiftSyntax602 for debugging
[221/472] Wrapping AST for SwiftSyntax601 for debugging
[222/472] Wrapping AST for SwiftSyntax600 for debugging
[223/472] Wrapping AST for SwiftSyntax601 for debugging
[224/472] Wrapping AST for SwiftSyntax600 for debugging
[225/472] Wrapping AST for SwiftSyntax510 for debugging
[227/472] Wrapping AST for SwiftSyntax509 for debugging
[228/472] Wrapping AST for PropertyLawCore for debugging
[230/472] Emitting module InternalCollectionsUtilities
[231/472] Compiling InternalCollectionsUtilities MutableSpan+Extras.swift
[232/472] Compiling InternalCollectionsUtilities OutputSpan+Extras.swift
[233/472] Compiling InternalCollectionsUtilities RandomAccessCollection+Offsets.swift
[234/472] Compiling InternalCollectionsUtilities Span+Extras.swift
[234/472] Wrapping AST for SwiftSyntax509 for debugging
[235/472] Write sources
[239/472] Wrapping AST for PropertyLawCore for debugging
[239/472] Write sources
[246/472] Compiling InternalCollectionsUtilities _UnsafeBitSet.swift
[247/472] Compiling InternalCollectionsUtilities UnsafeBufferPointer+Extras.swift
[248/472] Compiling InternalCollectionsUtilities UnsafeMutableBufferPointer+Extras.swift
[249/495] Write sources
[251/499] Compiling ComplexModule Complex+StringConvertible.swift
[252/500] Compiling ComplexModule Complex+Numeric.swift
[253/501] Compiling SpanPreview OutputSpan+InputSpanHelpers.swift
[254/501] Emitting module SpanPreview
[255/501] Compiling SpanPreview InputSpan.swift
[256/501] Compiling SpanPreview MutableSpan+InputSpanHelpers.swift
[257/502] Compiling ComplexModule Complex+Hashable.swift
[258/502] Compiling ComplexModule Complex+IntegerLiteral.swift
[259/502] Compiling ComplexModule Polar.swift
[260/502] Compiling ComplexModule Complex+Numeric.swift
[261/502] Compiling ComplexModule Complex+AdditiveArithmetic.swift
[262/502] Compiling ComplexModule Complex+AlgebraicField.swift
[264/502] Compiling ComplexModule Polar.swift
[265/502] Compiling ComplexModule Complex.swift
[266/502] Compiling ComplexModule Scale.swift
[268/502] Compiling ComplexModule Complex+StringConvertible.swift
[269/502] Compiling ComplexModule Complex.swift
[270/536] Compiling OrderedCollections _HashTable+BucketIterator.swift
[271/536] Compiling OrderedCollections _HashTable+Constants.swift
[272/536] Compiling OrderedCollections _HashTable+CustomStringConvertible.swift
[273/536] Compiling OrderedCollections _HashTable+Testing.swift
[274/536] Compiling OrderedCollections _HashTable+UnsafeHandle.swift
[275/536] Compiling OrderedCollections _HashTable.swift
[276/536] Compiling OrderedCollections _Hashtable+Header.swift
[277/536] Compiling OrderedCollections OrderedSet+Hashable.swift
[278/536] Compiling OrderedCollections OrderedSet+Initializers.swift
[279/544] Emitting module InternalCollectionsUtilities
[280/567] Emitting module ComplexModule
[281/567] Compiling OrderedCollections OrderedDictionary+Codable.swift
[282/567] Compiling OrderedCollections OrderedDictionary+CustomReflectable.swift
[283/567] Compiling OrderedCollections OrderedDictionary+Deprecations.swift
[284/567] Compiling OrderedCollections OrderedDictionary+Descriptions.swift
[285/567] Compiling OrderedCollections OrderedDictionary+Elements.SubSequence.swift
[286/567] Compiling OrderedCollections OrderedDictionary+Elements.swift
[287/567] Compiling OrderedCollections OrderedDictionary+Equatable.swift
[288/567] Compiling OrderedCollections OrderedDictionary+ExpressibleByDictionaryLiteral.swift
[289/567] Compiling OrderedCollections _HashTable+Bucket.swift
[290/575] Emitting module ComplexModule
[303/577] Compiling OrderedCollections OrderedSet+Insertions.swift
[304/577] Compiling OrderedCollections OrderedSet+Invariants.swift
[305/577] Compiling OrderedCollections OrderedSet+Move.swift
[306/577] Compiling OrderedCollections OrderedSet+Partial MutableCollection.swift
[307/577] Compiling OrderedCollections OrderedSet+Partial RangeReplaceableCollection.swift
[308/577] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formIntersection.swift
[310/586] Compiling HeapModule Heap+Invariants.swift
[311/591] Emitting module SpanPreview
[312/594] Compiling SpanPreview InputSpan.swift
[313/624] Compiling SpanPreview MutableSpan+InputSpanHelpers.swift
[314/624] Compiling SpanPreview OutputSpan+InputSpanHelpers.swift
[316/650] Compiling HeapModule Heap+Descriptions.swift
[317/724] Compiling OrderedCollections OrderedDictionary+Values.swift
[318/724] Compiling OrderedCollections OrderedDictionary.swift
[319/724] Compiling OrderedCollections OrderedSet+Codable.swift
[320/724] Compiling OrderedCollections OrderedSet+CustomReflectable.swift
[321/724] Compiling OrderedCollections OrderedSet+Descriptions.swift
[322/724] Compiling OrderedCollections OrderedSet+Diffing.swift
[323/724] Compiling OrderedCollections OrderedSet+Equatable.swift
[324/724] Compiling OrderedCollections OrderedSet+ExpressibleByArrayLiteral.swift
[325/724] Compiling HeapModule Heap.swift
[326/724] Compiling HeapModule _HeapNode.swift
[327/724] Compiling HeapModule Heap+Testing.swift
[328/731] Emitting module HeapModule
[329/731] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[330/731] Compiling HeapModule Heap+UnsafeHandle.swift
[331/732] Compiling OrderedCollections _HashTable+Bucket.swift
[332/732] Compiling OrderedCollections _HashTable+BucketIterator.swift
[333/732] Compiling OrderedCollections _HashTable+Constants.swift
[334/732] Compiling OrderedCollections _HashTable+CustomStringConvertible.swift
[335/732] Compiling OrderedCollections _HashTable+Testing.swift
[336/732] Compiling OrderedCollections _HashTable+UnsafeHandle.swift
[337/732] Compiling OrderedCollections _HashTable.swift
[338/732] Compiling OrderedCollections _Hashtable+Header.swift
[339/732] Compiling OrderedCollections OrderedSet+Hashable.swift
[340/732] Compiling OrderedCollections OrderedSet+Initializers.swift
[341/732] Compiling OrderedCollections OrderedSet+Insertions.swift
[342/732] Compiling OrderedCollections OrderedSet+Invariants.swift
[343/732] Compiling OrderedCollections OrderedSet+Move.swift
[344/732] Compiling OrderedCollections OrderedSet+Partial MutableCollection.swift
[345/732] Compiling OrderedCollections OrderedSet+Partial RangeReplaceableCollection.swift
[346/732] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formIntersection.swift
[347/732] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formSymmetricDifference.swift
[348/732] Compiling OrderedCollections OrderedSet+Partial SetAlgebra formUnion.swift
[349/732] Compiling OrderedCollections OrderedSet+Partial SetAlgebra intersection.swift
[350/732] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isDisjoint.swift
[351/732] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isEqualSet.swift
[352/732] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isStrictSubset.swift
[353/732] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isStrictSuperset.swift
[354/732] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isSubset.swift
[356/740] Compiling HeapModule Heap+Invariants.swift
[357/740] Compiling HeapModule Heap+ExpressibleByArrayLiteral.swift
[358/740] Compiling HashTreeCollections TreeSet+Hashable.swift
[359/740] Compiling HashTreeCollections TreeSet+Sendable.swift
[360/740] Compiling HashTreeCollections TreeSet+Sequence.swift
[361/740] Compiling HashTreeCollections TreeSet+SetAlgebra Initializers.swift
[362/740] Compiling HashTreeCollections TreeSet+SetAlgebra basics.swift
[363/740] Compiling HashTreeCollections TreeSet+SetAlgebra formIntersection.swift
[364/740] Compiling HashTreeCollections TreeSet+SetAlgebra formSymmetricDifference.swift
[365/740] Compiling HashTreeCollections TreeSet+SetAlgebra formUnion.swift
[366/740] Compiling HashTreeCollections TreeSet+SetAlgebra intersection.swift
[367/740] Compiling HashTreeCollections TreeSet+SetAlgebra isDisjoint.swift
[368/740] Compiling OrderedCollections OrderedSet+Partial SetAlgebra isSuperset.swift
[369/740] Compiling OrderedCollections OrderedSet+Partial SetAlgebra subtract.swift
[370/740] Compiling OrderedCollections OrderedSet+Partial SetAlgebra subtracting.swift
[371/740] Compiling OrderedCollections OrderedSet+Partial SetAlgebra symmetricDifference.swift
[372/740] Compiling OrderedCollections OrderedSet+Partial SetAlgebra union.swift
[373/740] Compiling OrderedCollections OrderedSet+Partial SetAlgebra+Basics.swift
[374/740] Compiling OrderedCollections OrderedSet+RandomAccessCollection.swift
[375/740] Compiling OrderedCollections OrderedSet+ReserveCapacity.swift
[376/750] Compiling HeapModule Heap+Descriptions.swift
[385/750] Compiling HeapModule _HeapNode.swift
[396/757] Compiling HeapModule Heap.swift
[405/757] Compiling HeapModule Heap+Testing.swift
[406/757] Compiling HeapModule Heap+UnsafeHandle.swift
[407/757] Emitting module HeapModule
[409/758] Compiling OrderedCollections OrderedDictionary+Hashable.swift
[410/758] Compiling OrderedCollections OrderedDictionary+Initializers.swift
[411/758] Compiling OrderedCollections OrderedDictionary+Invariants.swift
[412/758] Compiling OrderedCollections OrderedDictionary+Move.swift
[413/758] Compiling OrderedCollections OrderedDictionary+Partial MutableCollection.swift
[414/758] Compiling OrderedCollections OrderedDictionary+Partial RangeReplaceableCollection.swift
[415/758] Compiling OrderedCollections OrderedDictionary+Sendable.swift
[416/758] Compiling OrderedCollections OrderedDictionary+Sequence.swift
[417/758] Compiling OrderedCollections OrderedDictionary+Deprecations.swift
[418/758] Compiling OrderedCollections OrderedDictionary+Descriptions.swift
[419/758] Compiling OrderedCollections OrderedDictionary+Elements.SubSequence.swift
[420/758] Compiling OrderedCollections OrderedDictionary+Elements.swift
[423/762] Compiling OrderedCollections OrderedDictionary+Codable.swift
[424/762] Compiling OrderedCollections OrderedDictionary+CustomReflectable.swift
[431/766] Compiling OrderedCollections OrderedDictionary+Equatable.swift
[432/766] Compiling OrderedCollections OrderedDictionary+ExpressibleByDictionaryLiteral.swift
[441/803] Compiling HashTreeCollections _HashStack.swift
[442/803] Compiling HashTreeCollections _HashTreeIterator.swift
[443/803] Compiling HashTreeCollections _HashTreeStatistics.swift
[444/803] Compiling HashTreeCollections _RawHashNode+UnsafeHandle.swift
[449/842] Compiling HashTreeCollections _HashNode+Invariants.swift
[450/842] Compiling HashTreeCollections _HashNode+Lookups.swift
[451/842] Compiling HashTreeCollections _HashNode+Primitive Insertions.swift
[452/842] Compiling HashTreeCollections _HashNode+Primitive Removals.swift
[453/842] Compiling HashTreeCollections _HashNode+Primitive Replacement.swift
[454/842] Compiling HashTreeCollections _HashNode+Storage.swift
[455/842] Compiling HashTreeCollections _HashNode+Structural compactMapValues.swift
[456/842] Compiling HashTreeCollections _HashNode+Structural filter.swift
[457/842] Compiling HashTreeCollections TreeSet+SetAlgebra isEqualSet.swift
[458/842] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSubset.swift
[459/842] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSuperset.swift
[460/842] Compiling HashTreeCollections TreeSet+SetAlgebra isSubset.swift
[461/842] Compiling HashTreeCollections TreeSet+SetAlgebra isSuperset.swift
[462/842] Compiling HashTreeCollections TreeSet+SetAlgebra subtract.swift
[463/842] Compiling HashTreeCollections TreeSet+SetAlgebra subtracting.swift
[464/842] Compiling HashTreeCollections TreeSet+SetAlgebra symmetricDifference.swift
[465/842] Compiling HashTreeCollections TreeSet+SetAlgebra union.swift
[466/842] Compiling HashTreeCollections TreeSet.swift
[471/842] Compiling HashTreeCollections _RawHashNode.swift
[472/842] Compiling HashTreeCollections _UnmanagedHashNode.swift
[473/842] Compiling HashTreeCollections _UnsafePath.swift
[474/842] Compiling HashTreeCollections TreeDictionary+Codable.swift
[475/842] Compiling HashTreeCollections TreeDictionary+Collection.swift
[476/842] Compiling HashTreeCollections TreeDictionary+CustomReflectable.swift
[477/842] Compiling HashTreeCollections TreeDictionary+Debugging.swift
[478/842] Compiling HashTreeCollections TreeDictionary+Descriptions.swift
[479/842] Compiling HashTreeCollections TreeDictionary+Equatable.swift
[487/842] Compiling HashTreeCollections _HashNode+Structural intersection.swift
[488/842] Compiling HashTreeCollections _HashNode+Structural isDisjoint.swift
[489/842] Compiling HashTreeCollections _HashNode+Structural isEqualSet.swift
[490/842] Compiling HashTreeCollections _HashNode+Structural isSubset.swift
[491/842] Compiling HashTreeCollections _HashNode+Structural mapValues.swift
[492/842] Compiling HashTreeCollections _HashNode+Structural merge.swift
[493/842] Compiling HashTreeCollections _HashNode+Structural subtracting.swift
[494/842] Compiling HashTreeCollections _HashNode+Structural symmetricDifference.swift
[495/842] Compiling HashTreeCollections _HashNode+Structural union.swift
[496/842] Compiling HashTreeCollections _HashNode+Subtree Insertions.swift
[497/842] Compiling HashTreeCollections _HashNode+Subtree Modify.swift
[507/842] Compiling HashTreeCollections _AncestorHashSlots.swift
[508/842] Compiling HashTreeCollections _Bitmap.swift
[509/842] Compiling HashTreeCollections _Bucket.swift
[510/842] Compiling HashTreeCollections _Hash.swift
[511/842] Compiling HashTreeCollections _HashLevel.swift
[512/842] Compiling HashTreeCollections _HashNode+Builder.swift
[513/842] Compiling HashTreeCollections _HashNode+Debugging.swift
[514/842] Compiling HashTreeCollections _HashNode+Initializers.swift
[520/842] Compiling HashTreeCollections TreeSet+Sendable.swift
[521/842] Compiling HashTreeCollections TreeSet+Sequence.swift
[522/842] Compiling HashTreeCollections TreeSet+SetAlgebra Initializers.swift
[523/842] Compiling HashTreeCollections TreeSet+SetAlgebra basics.swift
[524/842] Compiling HashTreeCollections TreeSet+SetAlgebra formIntersection.swift
[525/842] Compiling HashTreeCollections TreeSet+SetAlgebra formSymmetricDifference.swift
[526/842] Compiling HashTreeCollections TreeSet+SetAlgebra formUnion.swift
[532/842] Compiling HashTreeCollections _HashNode+Subtree Removals.swift
[533/842] Compiling HashTreeCollections _HashNode+UnsafeHandle.swift
[534/842] Compiling HashTreeCollections _HashNode.swift
[535/842] Compiling HashTreeCollections _HashNodeHeader.swift
[536/842] Compiling HashTreeCollections _HashSlot.swift
[538/842] Emitting module PropertyBased
[553/842] Compiling HashTreeCollections TreeDictionary+ExpressibleByDictionaryLiteral.swift
[554/842] Compiling HashTreeCollections TreeDictionary+Filter.swift
[555/842] Compiling HashTreeCollections TreeDictionary+Hashable.swift
[564/842] Compiling HashTreeCollections TreeDictionary.swift
[565/842] Compiling HashTreeCollections TreeSet+Codable.swift
[566/842] Compiling HashTreeCollections TreeSet+Collection.swift
[567/842] Compiling HashTreeCollections TreeSet+CustomReflectable.swift
[568/842] Compiling HashTreeCollections TreeSet+Debugging.swift
[569/842] Compiling HashTreeCollections TreeSet+Descriptions.swift
[570/842] Compiling HashTreeCollections TreeSet+Equatable.swift
[571/842] Compiling HashTreeCollections TreeSet+ExpressibleByArrayLiteral.swift
[572/842] Compiling HashTreeCollections TreeSet+Extras.swift
[573/842] Compiling HashTreeCollections TreeSet+Filter.swift
[578/852] Compiling HashTreeCollections TreeDictionary+Initializers.swift
[579/852] Compiling HashTreeCollections TreeDictionary+Keys.swift
[580/852] Compiling HashTreeCollections TreeDictionary+MapValues.swift
[581/852] Compiling HashTreeCollections TreeDictionary+Merge.swift
[582/852] Compiling HashTreeCollections TreeDictionary+Sendable.swift
[583/852] Compiling HashTreeCollections TreeDictionary+Sequence.swift
[584/852] Compiling HashTreeCollections TreeDictionary+Values.swift
[585/852] Compiling HashTreeCollections TreeSet+Hashable.swift
[593/852] Compiling HashTreeCollections TreeSet+SetAlgebra intersection.swift
[594/852] Compiling HashTreeCollections TreeSet+SetAlgebra isDisjoint.swift
[656/852] Emitting module OrderedCollections
[658/895] Compiling DequeModule RigidDeque+Initializers.swift
[659/895] Compiling DequeModule RigidDeque+Insertions.swift
[660/895] Compiling DequeModule RigidDeque+Iterable.swift
[661/895] Compiling DequeModule UniqueDeque+Initializers.swift
[662/895] Compiling DequeModule UniqueDeque+Insertions.swift
[663/895] Compiling DequeModule UniqueDeque+Iterable.swift
[664/895] Compiling DequeModule UniqueDeque+Prepend.swift
[665/895] Compiling DequeModule UniqueDeque+Removals.swift
[669/895] Compiling HashTreeCollections TreeSet+SetAlgebra isEqualSet.swift
[670/895] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSubset.swift
[671/895] Compiling HashTreeCollections TreeSet+SetAlgebra isStrictSuperset.swift
[672/895] Compiling HashTreeCollections TreeSet+SetAlgebra isSubset.swift
[673/895] Compiling HashTreeCollections TreeSet+SetAlgebra isSuperset.swift
[674/895] Compiling HashTreeCollections TreeSet+SetAlgebra subtract.swift
[675/895] Compiling HashTreeCollections TreeSet+SetAlgebra subtracting.swift
[676/895] Compiling HashTreeCollections TreeSet+SetAlgebra symmetricDifference.swift
[677/895] Compiling HashTreeCollections TreeSet+SetAlgebra union.swift
[678/895] Compiling HashTreeCollections TreeSet.swift
[679/895] Emitting module OrderedCollections
[703/896] Compiling DequeModule UniqueDeque+Consumption.swift
[704/896] Compiling DequeModule UniqueDeque+ContainerOperations.swift
[705/896] Compiling DequeModule UniqueDeque+Deprecations.swift
[706/896] Compiling DequeModule UniqueDeque+Descriptions.swift
[707/896] Compiling DequeModule UniqueDeque+Equatable.swift
[708/896] Compiling DequeModule UniqueDeque+Hashable.swift
[709/907] Compiling DequeModule RigidDeque+Descriptions.swift
[710/907] Compiling DequeModule RigidDeque+Equatable.swift
[711/907] Compiling DequeModule RigidDeque+Hashable.swift
[720/943] Compiling DequeModule Deque+Codable.swift
[721/943] Compiling DequeModule Deque+Collection.swift
[722/943] Compiling DequeModule Deque+CustomReflectable.swift
[723/943] Compiling DequeModule Deque+Descriptions.swift
[724/943] Compiling DequeModule Deque+Equatable.swift
[725/943] Compiling DequeModule Deque+ExpressibleByArrayLiteral.swift
[732/943] Compiling DequeModule Deque+Extras.swift
[733/943] Compiling DequeModule Deque+Hashable.swift
[734/943] Compiling DequeModule Deque+Testing.swift
[735/943] Compiling DequeModule Deque._Storage.swift
[736/943] Compiling DequeModule Deque._UnsafeHandle.swift
[737/943] Compiling DequeModule _DequeBuffer.swift
[738/943] Compiling DequeModule _DequeBufferHeader.swift
[739/943] Compiling DequeModule RigidDeque+Append.swift
[740/943] Compiling DequeModule RigidDeque+Consumption.swift
[741/943] Compiling DequeModule RigidDeque+ContainerOperations.swift
[742/943] Compiling DequeModule RigidDeque+Deprecations.swift
[743/943] Emitting module HashTreeCollections
[745/944] Compiling DequeModule RigidDeque+Descriptions.swift
[746/944] Compiling DequeModule RigidDeque+Equatable.swift
[747/944] Compiling DequeModule RigidDeque+Hashable.swift
[748/944] Compiling DequeModule RigidDeque+Initializers.swift
[749/944] Compiling DequeModule RigidDeque+Insertions.swift
[750/944] Compiling DequeModule RigidDeque+Iterable.swift
[751/998] Compiling BitCollections BitSet+Extras.swift
[752/998] Compiling BitCollections BitSet+Hashable.swift
[753/998] Compiling BitCollections BitSet+Initializers.swift
[754/998] Compiling BitCollections BitSet+Invariants.swift
[755/998] Compiling BitCollections BitSet+Random.swift
[756/998] Compiling BitCollections BitSet+SetAlgebra basics.swift
[757/998] Compiling BitCollections BitSet+SetAlgebra conformance.swift
[758/998] Compiling BitCollections BitSet+SetAlgebra formIntersection.swift
[759/998] Compiling BitCollections BitSet+SetAlgebra formSymmetricDifference.swift
[760/998] Compiling BitCollections BitSet+SetAlgebra formUnion.swift
[761/998] Compiling BitCollections BitSet+SetAlgebra intersection.swift
[762/1003] Compiling BitCollections BitArray+Fill.swift
[763/1003] Compiling BitCollections BitArray+Hashable.swift
[764/1003] Compiling BitCollections BitArray+Initializers.swift
[765/1003] Compiling BitCollections BitArray+Invariants.swift
[766/1003] Compiling BitCollections BitArray+LosslessStringConvertible.swift
[767/1003] Compiling BitCollections BitArray+RandomBits.swift
[768/1003] Compiling BitCollections BitArray+RangeReplaceableCollection.swift
[769/1003] Compiling BitCollections BitArray+Shifts.swift
[770/1003] Compiling BitCollections BitArray+Testing.swift
[771/1003] Compiling BitCollections BitArray._UnsafeHandle.swift
[772/1003] Compiling BitCollections BitArray.swift
[773/1003] Compiling BitCollections BitSet+BidirectionalCollection.swift
[774/1003] Compiling BitCollections BitSet+Codable.swift
[775/1003] Compiling BitCollections BitSet+CustomDebugStringConvertible.swift
[776/1003] Compiling BitCollections BitSet+CustomReflectable.swift
[777/1003] Compiling BitCollections BitSet+CustomStringConvertible.swift
[778/1003] Compiling BitCollections BitSet+Equatable.swift
[779/1003] Compiling BitCollections BitSet+ExpressibleByArrayLiteral.swift
[788/1010] Compiling BitCollections BitArray+Equatable.swift
[789/1010] Compiling BitCollections BitArray+ExpressibleByArrayLiteral.swift
[790/1010] Compiling BitCollections BitArray+ExpressibleByStringLiteral.swift
[791/1010] Compiling BitCollections BitArray+Extras.swift
[815/1012] Compiling BitCollections BitArray+CustomReflectable.swift
[816/1012] Compiling BitCollections BitArray+Descriptions.swift
[851/1012] Emitting module BitCollections
[852/1021] Compiling BitCollections BitSet+SetAlgebra isSuperset.swift
[853/1021] Compiling BitCollections BitSet+SetAlgebra subtract.swift
[854/1021] Compiling BitCollections BitSet+SetAlgebra subtracting.swift
[855/1021] Compiling BitCollections BitSet+SetAlgebra symmetricDifference.swift
[856/1021] Compiling BitCollections BitSet+SetAlgebra union.swift
[857/1021] Compiling BitCollections BitSet+Sorted Collection APIs.swift
[858/1021] Compiling BitCollections BitSet.Counted.swift
[859/1045] Compiling BitCollections BinaryInteger extensions.swift
[860/1045] Compiling BitCollections BitArray+BitwiseOperations.swift
[861/1045] Compiling BitCollections BitArray+ChunkedBitsIterators.swift
[862/1045] Compiling BitCollections BitArray+Codable.swift
[863/1045] Compiling BitCollections BitArray+Collection.swift
[864/1045] Compiling BitCollections BitArray+Copy.swift
[865/1115] Compiling PropertyLawKit BinaryFloatingPointLaws.swift
[866/1115] Compiling PropertyLawKit InteractionInvariantLaws.swift
[867/1115] Compiling PropertyLawKit InvariantFalsifiabilityLaw.swift
[868/1115] Compiling PropertyLawKit IteratorProtocolLaws.swift
[869/1115] Compiling PropertyLawKit LosslessStringConvertibleLaws.swift
[870/1115] Compiling PropertyLawKit Monoid.swift
[871/1115] Compiling PropertyLawKit MonoidLaws.swift
[872/1159] Compiling PropertyLawKit LawCheckBuilders.swift
[873/1159] Compiling PropertyLawKit LawSuppressionPolicy.swift
[874/1159] Compiling PropertyLawKit NearMissCollector.swift
[875/1159] Compiling PropertyLawKit PerLawDriver.swift
[876/1159] Compiling PropertyLawKit PropertyLawSuiteRunner.swift
[877/1159] Compiling PropertyLawKit ReplayEnvironmentValidator.swift
[878/1159] Compiling PropertyLawKit BinaryIntegerLaws.swift
[879/1159] Compiling PropertyLawKit CaseIterableLaws.swift
[880/1165] Compiling PropertyLawKit AggregateDriver.swift
[881/1165] Compiling PropertyLawKit SwiftPropertyBasedBackend.swift
[882/1165] Compiling PropertyLawKit CheckPreflight.swift
[883/1165] Compiling PropertyLawKit CoverageAccumulator.swift
[884/1165] Compiling PropertyLawKit DrawPoolDriver.swift
[885/1165] Compiling PropertyLawKit EnumerationDriver.swift
[886/1165] Compiling PropertyLawKit EqualValueLawBuilders.swift
[887/1165] Compiling PropertyLawKit InheritedLawCollector.swift
[888/1166] Compiling PropertyLawKit Enumeration.swift
[889/1166] Compiling PropertyLawKit EnumerationCombinators.swift
[890/1166] Compiling PropertyLawKit EnumerationProduct.swift
[891/1166] Compiling PropertyLawKit LawSelection.swift
[892/1166] Compiling PropertyLawKit LawSuppression.swift
[893/1166] Compiling PropertyLawKit PropertyLawViolation.swift
[894/1166] Compiling PropertyLawKit Seed.swift
[895/1166] Compiling PropertyLawKit SequenceLawOptions.swift
[896/1166] Compiling BitCollections BitSet.Index.swift
[897/1166] Compiling BitCollections BitSet._UnsafeHandle.swift
[898/1166] Compiling BitCollections BitSet.swift
[899/1166] Compiling BitCollections Range+Utilities.swift
[900/1166] Compiling BitCollections Slice+Utilities.swift
[901/1166] Compiling BitCollections UInt+Tricks.swift
[902/1166] Compiling BitCollections _Word.swift
[903/1166] Compiling PropertyLawKit SpaceCoverage.swift
[904/1166] Compiling PropertyLawKit StrictnessTier.swift
[905/1166] Compiling PropertyLawKit TrialBudget.swift
[906/1166] Compiling PropertyLawKit PropertyLawKit.swift
[907/1166] Compiling PropertyLawKit ActionSequenceFactory.swift
[908/1166] Compiling PropertyLawKit AdditiveArithmeticLaws.swift
[909/1166] Compiling PropertyLawKit BidirectionalCollectionLaws.swift
[910/1166] Emitting module HashTreeCollections
[912/1180] Compiling PropertyLawKit MutableCollectionLaws.swift
[913/1180] Compiling PropertyLawKit NumericGenerators.swift
[914/1180] Compiling PropertyLawKit NumericLaws.swift
[915/1180] Compiling PropertyLawKit PropertyBackend.swift
[916/1180] Compiling PropertyLawKit RandomAccessCollectionLaws.swift
[917/1180] Compiling PropertyLawKit RangeReplaceableCollectionLaws.swift
[918/1180] Compiling PropertyLawKit RawRepresentableLaws.swift
[926/1193] Compiling PropertyLawKit PropertyLawViolation.swift
[927/1193] Compiling PropertyLawKit Seed.swift
[928/1193] Compiling PropertyLawKit SequenceLawOptions.swift
[929/1193] Compiling PropertyLawKit SpaceCoverage.swift
[930/1193] Compiling PropertyLawKit StrictnessTier.swift
[931/1193] Compiling PropertyLawKit TrialBudget.swift
[932/1193] Compiling PropertyLawKit PropertyLawKit.swift
[933/1193] Compiling PropertyLawKit ActionSequenceFactory.swift
[935/1261] Emitting module BitCollections
[936/1261] Compiling PropertyLawKit AggregateDriver.swift
[937/1261] Compiling PropertyLawKit SwiftPropertyBasedBackend.swift
[938/1261] Compiling PropertyLawKit CheckPreflight.swift
[939/1261] Compiling PropertyLawKit CoverageAccumulator.swift
[940/1261] Compiling PropertyLawKit DrawPoolDriver.swift
[941/1261] Compiling PropertyLawKit EnumerationDriver.swift
[942/1261] Compiling PropertyLawKit EqualValueLawBuilders.swift
[943/1261] Compiling PropertyLawKit InheritedLawCollector.swift
[944/1263] Compiling PropertyLawKit SpaceSampling.swift
[945/1263] Compiling PropertyLawKit ViolationFormatter.swift
[946/1263] Compiling PropertyLawKit CheckResult.swift
[947/1263] Compiling PropertyLawKit CodableCodec.swift
[948/1263] Compiling PropertyLawKit CodableLawConfig.swift
[949/1263] Compiling PropertyLawKit CodableRoundTripMode.swift
[950/1263] Compiling PropertyLawKit EnforcementMode.swift
[951/1263] Compiling PropertyLawKit Environment.swift
[952/1263] Compiling PropertyLawKit EqualValuePairing.swift
[953/1263] Compiling PropertyLawKit InputSource.swift
[954/1263] Compiling PropertyLawKit LawCheckOptions.swift
[955/1263] Compiling PropertyLawKit LawIdentifier+LaterSuites.swift
[956/1263] Compiling PropertyLawKit LawIdentifier.swift
[957/1276] Compiling PropertyLawKit EquatableLaws.swift
[958/1276] Compiling PropertyLawKit EveryCarrierLaws.swift
[959/1276] Compiling PropertyLawKit EveryCaseLaws.swift
[960/1276] Compiling PropertyLawKit FixedWidthIntegerLaws.swift
[961/1276] Compiling PropertyLawKit FloatingPointCommutativityLaws.swift
[962/1276] Compiling PropertyLawKit FloatingPointLaws.swift
[963/1276] Compiling PropertyLawKit FoundationGenerators.swift
[964/1276] Emitting module PropertyLawComplex
[965/1276] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[967/1279] Emitting module PropertyLawComplex
[968/1279] Compiling PropertyLawComplex EdgeCaseBiasedGenerators.swift
[970/1280] Compiling PropertyLawKit LawSelection.swift
[971/1280] Compiling PropertyLawKit LawSuppression.swift
[980/1280] Compiling PropertyLawKit AdditiveArithmeticLaws.swift
[981/1280] Compiling PropertyLawKit BidirectionalCollectionLaws.swift
[982/1280] Compiling PropertyLawKit BinaryFloatingPointLaws.swift
[983/1280] Emitting module DequeModule
[983/1284] Write sources
[993/1293] Compiling PropertyLawKit LawCheckBuilders.swift
[994/1293] Compiling PropertyLawKit LawSuppressionPolicy.swift
[995/1293] Compiling PropertyLawKit NearMissCollector.swift
[996/1293] Compiling PropertyLawKit PerLawDriver.swift
[997/1293] Compiling PropertyLawKit PropertyLawSuiteRunner.swift
[998/1293] Compiling PropertyLawKit ReplayEnvironmentValidator.swift
[999/1293] Emitting module PropertyLawKit
[1000/1293] Compiling PropertyLawKit ReplayEnvironmentMismatch.swift
[1001/1293] Compiling PropertyLawKit Ring.swift
[1002/1293] Compiling PropertyLawKit RingLaws.swift
[1003/1293] Compiling PropertyLawKit SameResult.swift
[1004/1293] Compiling PropertyLawKit Semigroup.swift
[1005/1293] Compiling PropertyLawKit SemigroupLaws.swift
[1006/1293] Compiling PropertyLawKit Semilattice.swift
[1007/1293] Compiling PropertyLawKit SemilatticeLaws.swift
[1008/1293] Compiling PropertyLawKit SequenceLaws.swift
[1009/1293] Compiling PropertyLawKit SetAlgebraLaws+BooleanAlgebra.swift
[1010/1293] Compiling PropertyLawKit SetAlgebraLaws.swift
[1011/1293] Compiling PropertyLawKit SignedIntegerLaws.swift
[1012/1293] Compiling PropertyLawKit SignedNumericLaws.swift
[1021/1294] Compiling PropertyLawKit InvariantFalsifiabilityLaw.swift
[1022/1294] Compiling PropertyLawKit IteratorProtocolLaws.swift
[1023/1294] Compiling PropertyLawKit LosslessStringConvertibleLaws.swift
[1024/1294] Compiling PropertyLawKit Monoid.swift
[1025/1294] Compiling PropertyLawKit MonoidLaws.swift
[1027/1294] Emitting module PropertyLawKit
[1028/1294] Emitting module DequeModule
[1041/1296] Compiling PropertyLawKit Group.swift
[1042/1296] Compiling PropertyLawKit GroupLaws.swift
[1043/1296] Compiling PropertyLawKit HashableLaws.swift
[1044/1296] Compiling PropertyLawKit IdentifiableLaws.swift
[1045/1296] Compiling PropertyLawKit InteractionInvariant.swift
[1046/1296] Compiling PropertyLawKit InteractionInvariantLaws+Async.swift
[1049/1402] Compiling AsyncAlgorithms FlatMapLatestStorage.swift
[1050/1402] Compiling AsyncAlgorithms Disconnected.swift
[1051/1402] Compiling AsyncAlgorithms _TinyArray.swift
[1052/1402] Compiling AsyncAlgorithms AsyncInterspersedSequence.swift
[1053/1402] Compiling AsyncAlgorithms Locking.swift
[1054/1402] Compiling AsyncAlgorithms UnboundedBufferStateMachine.swift
[1055/1402] Compiling AsyncAlgorithms UnboundedBufferStorage.swift
[1056/1402] Compiling AsyncAlgorithms AsyncChannel.swift
[1057/1402] Compiling AsyncAlgorithms AsyncThrowingChannel.swift
[1058/1402] Compiling AsyncAlgorithms ChannelStateMachine.swift
[1059/1402] Compiling AsyncAlgorithms ChannelStorage.swift
[1060/1402] Compiling AsyncAlgorithms AsyncCombineLatest2Sequence.swift
[1061/1402] Compiling PropertyLawKit RawRepresentableLaws.swift
[1062/1402] Compiling PropertyLawKit BinaryIntegerLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1063/1402] Compiling PropertyLawKit CaseIterableLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1064/1402] Compiling PropertyLawKit CodableLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1065/1402] Compiling PropertyLawKit CollectionLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1066/1402] Compiling PropertyLawKit CommutativeMonoid.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1067/1402] Compiling PropertyLawKit CommutativeMonoidLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1068/1402] Compiling PropertyLawKit ComparableLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1069/1402] Compiling PropertyLawKit CoverageClassifier.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1070/1402] Compiling PropertyLawKit DefensiveCopy.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1071/1402] Compiling PropertyLawKit DefensiveCopyLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1072/1402] Compiling PropertyLawKit Enumeration.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1073/1402] Compiling PropertyLawKit EnumerationCombinators.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1074/1402] Compiling PropertyLawKit EnumerationProduct.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1075/1402] Compiling AsyncAlgorithms AsyncAdjacentPairsSequence.swift
[1076/1402] Compiling AsyncAlgorithms AsyncBufferedByteIterator.swift
[1077/1402] Compiling AsyncAlgorithms AsyncChain2Sequence.swift
[1078/1402] Compiling AsyncAlgorithms AsyncChain3Sequence.swift
[1079/1402] Compiling AsyncAlgorithms AsyncChunkedByGroupSequence.swift
[1080/1402] Compiling AsyncAlgorithms AsyncChunkedOnProjectionSequence.swift
[1081/1402] Compiling AsyncAlgorithms AsyncChunksOfCountOrSignalSequence.swift
[1082/1402] Compiling AsyncAlgorithms AsyncChunksOfCountSequence.swift
[1083/1402] Compiling AsyncAlgorithms AsyncCompactedSequence.swift
[1084/1402] Compiling AsyncAlgorithms AsyncExclusiveReductionsSequence.swift
[1085/1402] Compiling AsyncAlgorithms AsyncInclusiveReductionsSequence.swift
[1086/1402] Compiling AsyncAlgorithms AsyncJoinedBySeparatorSequence.swift
[1087/1402] Compiling AsyncAlgorithms AsyncJoinedSequence.swift
[1088/1402] Compiling AsyncAlgorithms AsyncMapErrorSequence.swift
[1089/1402] Compiling PropertyLawKit StableIdentity.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[1090/1402] Compiling PropertyLawKit StableIdentityLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[1091/1402] Compiling PropertyLawKit StatefulGuard.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[1092/1402] Compiling PropertyLawKit StdlibGenerators.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[1093/1402] Compiling PropertyLawKit StrictWeakOrderingLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[1094/1402] Compiling PropertyLawKit StrictWeakOrderingVacuity.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[1095/1402] Compiling PropertyLawKit StrideableLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[1096/1402] Compiling PropertyLawKit StringProtocolLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[1097/1402] Compiling PropertyLawKit TransformationFunctionLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[1098/1402] Compiling PropertyLawKit TransformationLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[1099/1402] Compiling PropertyLawKit UnsignedIntegerLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[1100/1402] Compiling PropertyLawKit ValueSemantic.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[1101/1402] Compiling PropertyLawKit ValueSemanticLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[1102/1402] Compiling AsyncAlgorithms AsyncRemoveDuplicatesSequence.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[1103/1402] Compiling AsyncAlgorithms AsyncShareSequence.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[1104/1402] Compiling AsyncAlgorithms AsyncSyncSequence.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[1105/1402] Compiling AsyncAlgorithms AsyncThrottleSequence.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[1106/1402] Compiling AsyncAlgorithms AsyncThrowingExclusiveReductionsSequence.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[1107/1402] Compiling AsyncAlgorithms AsyncThrowingInclusiveReductionsSequence.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[1108/1402] Compiling AsyncAlgorithms AsyncTimerSequence.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[1109/1402] Compiling AsyncAlgorithms AsyncBufferSequence.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[1110/1402] Compiling AsyncAlgorithms BoundedBufferStateMachine.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[1111/1402] Compiling AsyncAlgorithms BoundedBufferStorage.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[1112/1402] Compiling AsyncAlgorithms AsyncCombineLatest3Sequence.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[1113/1402] Compiling AsyncAlgorithms CombineLatestStateMachine.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[1114/1402] Compiling AsyncAlgorithms CombineLatestStorage.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[1129/1422] Compiling PropertyLawCollections OrderedSetGenerators.swift
[1130/1423] Compiling AsyncAlgorithms AsyncDebounceSequence.swift
[1131/1423] Compiling AsyncAlgorithms DebounceStateMachine.swift
[1132/1423] Compiling AsyncAlgorithms DebounceStorage.swift
[1133/1423] Compiling AsyncAlgorithms Dictionary.swift
[1134/1423] Compiling AsyncAlgorithms AsyncMerge2Sequence.swift
[1135/1423] Compiling AsyncAlgorithms AsyncMerge3Sequence.swift
[1136/1423] Compiling AsyncAlgorithms MergeStateMachine.swift
[1137/1423] Compiling AsyncAlgorithms MergeStorage.swift
[1138/1423] Compiling AsyncAlgorithms MultiProducerSingleConsumerAsyncChannel+Internal.swift
[1139/1423] Compiling AsyncAlgorithms MultiProducerSingleConsumerAsyncChannel.swift
[1140/1423] Compiling AsyncAlgorithms RangeReplaceableCollection.swift
[1141/1423] Compiling AsyncAlgorithms AsyncFlatMapLatestSequence.swift
[1142/1423] Compiling AsyncAlgorithms FlatMapLatestStateMachine.swift
[1143/1423] Compiling PropertyLawCollections OrderedDictionaryGenerators.swift
[1144/1423] Emitting module PropertyLawCollections
[1145/1423] Compiling PropertyLawMinimalTypes MinimalIndex.swift
[1146/1423] Compiling PropertyLawMinimalTypes MinimalGenerators.swift
[1147/1424] Compiling PropertyLawCollections PropertyLawCollections.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:176:13: warning: no 'async' operations occur within 'await' expression
174 | return try await runPropertyLawSuite(options: options) {
175 | [
176 | await requiringApplicableCases(await runBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
177 | "StrictWeakOrdering.discrimination",
178 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:271:13: warning: no 'async' operations occur within 'await' expression
269 | return try await runPropertyLawSuite(options: options) {
270 | [
271 | await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
272 | "StrictWeakOrdering.congruence",
273 | tier: .conventional,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/StrictWeakOrderingLaws.swift:334:12: warning: no 'async' operations occur within 'await' expression
332 | ) async -> CheckResult {
333 | let applications = Applications()
334 | return await requiringApplicableCases(await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
335 | "StrictWeakOrdering.transitivity",
336 | source: source,
[1174/1424] Compiling PropertyLawCollections OrderPreservationLaws.swift
[1182/1431] Compiling PropertyLawMinimalTypes MinimalCodec.swift
[1183/1431] Compiling PropertyLawCollections BitSetGenerators.swift
[1184/1431] Compiling PropertyLawCollections DequeGenerators.swift
[1185/1431] Compiling PropertyLawCollections DequeLayouts.swift
[1186/1431] Compiling PropertyLawCollections DequeSymmetryLaws.swift
[1187/1431] Compiling PropertyLawCollections HashTreeGenerators.swift
[1188/1431] Compiling PropertyLawCollections HeapGenerators.swift
[1195/1431] Compiling PropertyLawMinimalTypes MinimalLeaf.swift
[1198/1431] Compiling PropertyLawCollections HeapLaws.swift
[1199/1432] Compiling PropertyLawMinimalTypes MinimalCollections.swift
[1208/1439] Compiling PropertyLawMinimalTypes MinimalEncoder.swift
[1209/1439] Compiling PropertyLawMinimalTypes MinimalDecoder.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:104:12: warning: no 'async' operations occur within 'await' expression
102 | ) async -> CheckResult {
103 | let applications = Applications()
104 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
105 | "Comparable.antisymmetry",
106 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/ComparableLaws.swift:124:12: warning: no 'async' operations occur within 'await' expression
122 | ) async -> CheckResult {
123 | let applications = Applications()
124 | return await reportingApplications(applications, of: await runTernaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
125 | "Comparable.transitivity",
126 | source: source,
[1223/1439] Compiling AsyncAlgorithms SetAlgebra.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1224/1439] Compiling AsyncAlgorithms UnsafeTransfer.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1225/1439] Compiling AsyncAlgorithms AsyncZip2Sequence.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1226/1439] Compiling AsyncAlgorithms AsyncZip3Sequence.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1227/1439] Compiling AsyncAlgorithms ZipStateMachine.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1228/1439] Compiling AsyncAlgorithms ZipStorage.swift
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/EquatableLaws.swift:132:12: warning: no 'async' operations occur within 'await' expression
130 | ) async -> CheckResult {
131 | let applications = Applications()
132 | return await reportingApplications(applications, of: await runEqualityChainLaw(
| `- warning: no 'async' operations occur within 'await' expression
133 | "Equatable.transitivity",
134 | source: source,
/host/spi-builder-workspace/Sources/PropertyLawKit/Public/HashableLaws.swift:87:12: warning: no 'async' operations occur within 'await' expression
85 | ) async -> CheckResult {
86 | let applications = Applications()
87 | return await reportingApplications(applications, of: await runEqualValueBinaryLaw(
| `- warning: no 'async' operations occur within 'await' expression
88 | "Hashable.equalityConsistency",
89 | source: source,
[1236/1439] Compiling PropertyLawMinimalTypes MinimalCodableValue.swift
[1237/1439] Emitting module PropertyLawMinimalTypes
[1255/1460] Compiling PropertyLawCollections OrderedSetGenerators.swift
[1256/1461] Compiling PropertyLawCollections BitSetGenerators.swift
[1257/1461] Compiling PropertyLawCollections DequeGenerators.swift
[1258/1461] Compiling PropertyLawCollections OrderedDictionaryGenerators.swift
[1259/1461] Emitting module PropertyLawCollections
[1260/1461] Emitting module AsyncAlgorithms
[1261/1461] Compiling PropertyLawMinimalTypes MinimalIndex.swift
[1262/1461] Compiling PropertyLawMinimalTypes MinimalGenerators.swift
[1263/1462] Emitting module AsyncAlgorithms
[1264/1462] Compiling PropertyLawCollections PropertyLawCollections.swift
[1265/1462] Emitting module SwiftSyntax
[1266/1462] Compiling PropertyLawCollections DequeLayouts.swift
[1267/1462] Compiling PropertyLawCollections DequeSymmetryLaws.swift
[1268/1462] Compiling PropertyLawCollections OrderPreservationLaws.swift
[1269/1462] Compiling PropertyLawCollections HashTreeGenerators.swift
[1270/1462] Compiling PropertyLawCollections HeapGenerators.swift
[1271/1462] Compiling PropertyLawCollections HeapLaws.swift
[1272/1463] Compiling PropertyLawMinimalTypes MinimalLeaf.swift
[1306/1463] Compiling PropertyLawMinimalTypes MinimalEncoder.swift
[1307/1463] Compiling PropertyLawMinimalTypes MinimalDecoder.swift
[1308/1463] Compiling PropertyLawMinimalTypes MinimalCodec.swift
[1309/1463] Compiling PropertyLawMinimalTypes MinimalCollections.swift
[1317/1463] Compiling PropertyLawMinimalTypes MinimalCodableValue.swift
[1318/1463] Emitting module PropertyLawMinimalTypes
[1319/1464] Compiling AsyncAlgorithms Rethrow.swift
[1334/1464] Emitting module SwiftSyntax
[1365/1480] Compiling PropertyLawAsync GlobalEnqueueHook.swift
[1366/1480] Emitting module PropertyLawAsync
[1367/1480] Compiling PropertyLawAsync VirtualClock.swift
[1368/1480] Compiling PropertyLawAsync VirtualTimeScheduler.swift
[1369/1480] Compiling PropertyLawAsync VirtualClock.swift
[1370/1480] Compiling PropertyLawAsync VirtualTimeScheduler.swift
[1371/1480] Compiling PropertyLawAsync AsyncSequenceLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:98:27: warning: no calls to throwing functions occur within 'try' expression
96 | property: { sample in
97 | let size = sample.count % 4 + 1
98 | let chunked = try await collect(sample.async.chunks(ofCount: size))
| `- warning: no calls to throwing functions occur within 'try' expression
99 | return chunked == syncChunks(sample, size: size)
100 | },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:120:27: warning: no calls to throwing functions occur within 'try' expression
118 | property: { sample in
119 | let size = sample.count % 4 + 1
120 | let chunked = try await collect(sample.async.chunks(ofCount: size))
| `- warning: no calls to throwing functions occur within 'try' expression
121 | return chunked.flatMap { $0 } == sample
122 | },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:141:25: warning: no calls to throwing functions occur within 'try' expression
139 | options: options,
140 | property: { sample in
141 | let pairs = try await collect(sample.async.adjacentPairs())
| `- warning: no calls to throwing functions occur within 'try' expression
142 | let model = Array(zip(sample, sample.dropFirst()))
143 | return pairs.count == model.count
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:164:32: warning: no calls to throwing functions occur within 'try' expression
162 | options: options,
163 | property: { sample in
164 | let deduplicated = try await collect(sample.async.removeDuplicates())
| `- warning: no calls to throwing functions occur within 'try' expression
165 | return deduplicated == syncRemoveConsecutiveDuplicates(sample)
166 | },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:190:32: warning: no calls to throwing functions occur within 'try' expression
188 | // with and no separator to derive.
189 | guard let separator = sample.first else { return true }
190 | let interspersed = try await collect(sample.async.interspersed(with: separator))
| `- warning: no calls to throwing functions occur within 'try' expression
191 | return interspersed == syncInterspersed(sample, separator: separator)
192 | },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:216:29: warning: no calls to throwing functions occur within 'try' expression
214 | pair.offset % 3 == 0 ? nil : pair.element
215 | }
216 | let compacted = try await collect(optionals.async.compacted())
| `- warning: no calls to throwing functions occur within 'try' expression
217 | return compacted == optionals.compactMap { $0 }
218 | },
[1372/1480] Compiling PropertyLawAsync AsyncOrderLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:27:26: warning: no calls to throwing functions occur within 'try' expression
25 | // concatenation asserts no element is dropped, invented, or
26 | // duplicated — while deliberately saying nothing about order.
27 | let merged = try await collect(merge(first.async, second.async))
| `- warning: no calls to throwing functions occur within 'try' expression
28 | return merged.sorted() == (first + second).sorted()
29 | },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:51:26: warning: no calls to throwing functions occur within 'try' expression
49 | // Unlike merge, zip IS order-deterministic: pairwise correspondence
50 | // and length (min of the inputs) match Swift.zip exactly.
51 | let zipped = try await collect(zip(first.async, second.async))
| `- warning: no calls to throwing functions occur within 'try' expression
52 | let model = Array(Swift.zip(first, second))
53 | return zipped.count == Swift.min(first.count, second.count)
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:80:19: warning: no calls to throwing functions occur within 'try' expression
78 | // exhaustion behavior of the wrapper types is covered too.
79 | var iterator = sample.async.removeDuplicates().makeAsyncIterator()
80 | while try await iterator.next() != nil { continue }
| `- warning: no calls to throwing functions occur within 'try' expression
81 | let afterFirstNil = try await iterator.next()
82 | let afterSecondNil = try await iterator.next()
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:81:33: warning: no calls to throwing functions occur within 'try' expression
79 | var iterator = sample.async.removeDuplicates().makeAsyncIterator()
80 | while try await iterator.next() != nil { continue }
81 | let afterFirstNil = try await iterator.next()
| `- warning: no calls to throwing functions occur within 'try' expression
82 | let afterSecondNil = try await iterator.next()
83 | return afterFirstNil == nil && afterSecondNil == nil
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:82:34: warning: no calls to throwing functions occur within 'try' expression
80 | while try await iterator.next() != nil { continue }
81 | let afterFirstNil = try await iterator.next()
82 | let afterSecondNil = try await iterator.next()
| `- warning: no calls to throwing functions occur within 'try' expression
83 | return afterFirstNil == nil && afterSecondNil == nil
84 | },
[1373/1480] Emitting module PropertyLawAsync
[1374/1480] Compiling PropertyLawAsync TimedAsyncLaws.swift
[1375/1480] Compiling PropertyLawAsync GlobalEnqueueHook.swift
[1376/1480] Compiling PropertyLawAsync AsyncOrderLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:27:26: warning: no calls to throwing functions occur within 'try' expression
25 | // concatenation asserts no element is dropped, invented, or
26 | // duplicated — while deliberately saying nothing about order.
27 | let merged = try await collect(merge(first.async, second.async))
| `- warning: no calls to throwing functions occur within 'try' expression
28 | return merged.sorted() == (first + second).sorted()
29 | },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:51:26: warning: no calls to throwing functions occur within 'try' expression
49 | // Unlike merge, zip IS order-deterministic: pairwise correspondence
50 | // and length (min of the inputs) match Swift.zip exactly.
51 | let zipped = try await collect(zip(first.async, second.async))
| `- warning: no calls to throwing functions occur within 'try' expression
52 | let model = Array(Swift.zip(first, second))
53 | return zipped.count == Swift.min(first.count, second.count)
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:80:19: warning: no calls to throwing functions occur within 'try' expression
78 | // exhaustion behavior of the wrapper types is covered too.
79 | var iterator = sample.async.removeDuplicates().makeAsyncIterator()
80 | while try await iterator.next() != nil { continue }
| `- warning: no calls to throwing functions occur within 'try' expression
81 | let afterFirstNil = try await iterator.next()
82 | let afterSecondNil = try await iterator.next()
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:81:33: warning: no calls to throwing functions occur within 'try' expression
79 | var iterator = sample.async.removeDuplicates().makeAsyncIterator()
80 | while try await iterator.next() != nil { continue }
81 | let afterFirstNil = try await iterator.next()
| `- warning: no calls to throwing functions occur within 'try' expression
82 | let afterSecondNil = try await iterator.next()
83 | return afterFirstNil == nil && afterSecondNil == nil
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncOrderLaws.swift:82:34: warning: no calls to throwing functions occur within 'try' expression
80 | while try await iterator.next() != nil { continue }
81 | let afterFirstNil = try await iterator.next()
82 | let afterSecondNil = try await iterator.next()
| `- warning: no calls to throwing functions occur within 'try' expression
83 | return afterFirstNil == nil && afterSecondNil == nil
84 | },
[1377/1480] Compiling PropertyLawAsync AsyncSequenceLaws.swift
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:98:27: warning: no calls to throwing functions occur within 'try' expression
96 | property: { sample in
97 | let size = sample.count % 4 + 1
98 | let chunked = try await collect(sample.async.chunks(ofCount: size))
| `- warning: no calls to throwing functions occur within 'try' expression
99 | return chunked == syncChunks(sample, size: size)
100 | },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:120:27: warning: no calls to throwing functions occur within 'try' expression
118 | property: { sample in
119 | let size = sample.count % 4 + 1
120 | let chunked = try await collect(sample.async.chunks(ofCount: size))
| `- warning: no calls to throwing functions occur within 'try' expression
121 | return chunked.flatMap { $0 } == sample
122 | },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:141:25: warning: no calls to throwing functions occur within 'try' expression
139 | options: options,
140 | property: { sample in
141 | let pairs = try await collect(sample.async.adjacentPairs())
| `- warning: no calls to throwing functions occur within 'try' expression
142 | let model = Array(zip(sample, sample.dropFirst()))
143 | return pairs.count == model.count
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:164:32: warning: no calls to throwing functions occur within 'try' expression
162 | options: options,
163 | property: { sample in
164 | let deduplicated = try await collect(sample.async.removeDuplicates())
| `- warning: no calls to throwing functions occur within 'try' expression
165 | return deduplicated == syncRemoveConsecutiveDuplicates(sample)
166 | },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:190:32: warning: no calls to throwing functions occur within 'try' expression
188 | // with and no separator to derive.
189 | guard let separator = sample.first else { return true }
190 | let interspersed = try await collect(sample.async.interspersed(with: separator))
| `- warning: no calls to throwing functions occur within 'try' expression
191 | return interspersed == syncInterspersed(sample, separator: separator)
192 | },
/host/spi-builder-workspace/Sources/PropertyLawAsync/AsyncSequenceLaws.swift:216:29: warning: no calls to throwing functions occur within 'try' expression
214 | pair.offset % 3 == 0 ? nil : pair.element
215 | }
216 | let compacted = try await collect(optionals.async.compacted())
| `- warning: no calls to throwing functions occur within 'try' expression
217 | return compacted == optionals.compactMap { $0 }
218 | },
[1378/1481] Compiling PropertyLawAsync TimedAsyncLaws.swift
[1459/1502] Wrapping AST for SwiftSyntax for debugging
[1462/1593] Emitting module SwiftBasicFormat
[1463/1593] Compiling SwiftBasicFormat SyntaxProtocol+Formatted.swift
[1464/1593] Emitting module PropertyLawSyntaxSupport
[1465/1593] Compiling PropertyLawSyntaxSupport SequenceInitializerNormalizer.swift
[1466/1593] Emitting module PropertyLawSyntaxSupport
[1467/1593] Compiling SwiftBasicFormat Syntax+Extensions.swift
[1468/1593] Emitting module SwiftDiagnostics
[1469/1594] Compiling SwiftDiagnostics Message.swift
[1470/1594] Compiling SwiftBasicFormat Trivia+FormatExtensions.swift
[1471/1594] Compiling PropertyLawSyntaxSupport SequenceInitializerNormalizer.swift
[1472/1594] Compiling PropertyLawSyntaxSupport InitializerPreconditionDetector.swift
[1473/1594] Compiling PropertyLawSyntaxSupport MemberBlockInspector.swift
[1474/1595] Compiling PropertyLawSyntaxSupport InitializerPreconditionDetector.swift
[1475/1595] Compiling PropertyLawSyntaxSupport MemberBlockInspector.swift
[1476/1595] Compiling SwiftParser CharacterInfo.swift
[1477/1595] Compiling SwiftParser CollectionNodes+Parsable.swift
[1478/1595] Compiling SwiftParser Attributes.swift
[1479/1595] Compiling SwiftParser Availability.swift
[1480/1596] Compiling SwiftDiagnostics Note.swift
[1483/1596] Compiling SwiftDiagnostics GroupedDiagnostics.swift
[1484/1596] Compiling SwiftDiagnostics FixIt.swift
[1484/1596] Wrapping AST for PropertyLawSyntaxSupport for debugging
[1487/1596] Compiling SwiftBasicFormat InferIndentation.swift
[1488/1596] Compiling SwiftDiagnostics DiagnosticDecorator.swift
[1489/1596] Compiling SwiftDiagnostics DiagnosticsFormatter.swift
[1490/1597] Wrapping AST for SwiftDiagnostics for debugging
[1492/1597] Compiling SwiftParser LoopProgressCondition.swift
[1493/1597] Compiling SwiftParser Modifiers.swift
[1494/1597] Compiling SwiftParser Names.swift
[1495/1597] Compiling SwiftParser Nominals.swift
[1496/1597] Compiling SwiftParser Parameters.swift
[1497/1597] Compiling SwiftParser ParseSourceFile.swift
[1498/1602] Compiling SwiftBasicFormat BasicFormat.swift
[1499/1602] Compiling SwiftBasicFormat Indenter.swift
[1501/1603] Compiling SwiftParser Lexeme.swift
[1502/1603] Compiling SwiftParser LexemeSequence.swift
[1503/1603] Compiling SwiftParser Lexer.swift
[1504/1603] Compiling SwiftParser RegexLiteralLexer.swift
[1505/1603] Compiling SwiftParser Statements.swift
[1506/1603] Compiling SwiftParser StringLiteralRepresentedLiteralValue.swift
[1506/1608] Wrapping AST for SwiftBasicFormat for debugging
[1508/1608] Compiling SwiftParser StringLiterals.swift
[1509/1608] Compiling SwiftParser SwiftParserCompatibility.swift
[1510/1608] Compiling SwiftParser SwiftVersion.swift
[1511/1608] Compiling SwiftParser SyntaxUtils.swift
[1512/1608] Compiling SwiftParser TokenConsumer.swift
[1513/1608] Compiling SwiftParser TokenPrecedence.swift
[1526/1608] Compiling SwiftParser Parser.swift
[1527/1608] Compiling SwiftParser Patterns.swift
[1528/1608] Compiling SwiftParser Recovery.swift
[1529/1608] Compiling SwiftParser Specifiers.swift
[1530/1608] Compiling SwiftParser Statements.swift
[1531/1608] Compiling SwiftParser StringLiteralRepresentedLiteralValue.swift
[1532/1608] Emitting module SwiftParser
[1534/1608] Compiling SwiftParser TokenSpec.swift
[1535/1608] Compiling SwiftParser TokenSpecSet.swift
[1536/1608] Compiling SwiftParser TopLevel.swift
[1537/1608] Compiling SwiftParser TriviaParser.swift
[1538/1608] Compiling SwiftParser Types.swift
[1543/1608] Compiling SwiftParser CompilerFiles.swift
[1544/1608] Compiling SwiftParser Declarations.swift
[1568/1608] Compiling SwiftParser Directives.swift
[1569/1608] Compiling SwiftParser ExpressionInterpretedAsVersionTuple.swift
[1570/1608] Compiling SwiftParser Expressions.swift
[1571/1608] Compiling SwiftParser IncrementalParseTransition.swift
[1572/1608] Compiling SwiftParser IsValidIdentifier.swift
[1573/1608] Compiling SwiftParser Cursor.swift
[1580/1608] Compiling SwiftParser ExperimentalFeatures.swift
[1581/1608] Compiling SwiftParser IsLexerClassified.swift
[1582/1608] Compiling SwiftParser LayoutNodes+Parsable.swift
[1583/1608] Compiling SwiftParser Parser+TokenSpecSet.swift
[1584/1608] Compiling SwiftParser TokenSpecStaticMembers.swift
[1585/1613] Wrapping AST for SwiftParser for debugging
[1587/1652] Compiling PropertyLawSyntax SyntaxGenerators.swift
[1588/1652] Compiling SwiftParserDiagnostics SyntaxKindNameForDiagnostics.swift
[1589/1653] Compiling SwiftOperators Operator.swift
[1590/1653] Compiling SwiftOperators OperatorError+Diagnostics.swift
[1591/1655] Compiling SwiftOperators PrecedenceGroup.swift
[1592/1655] Compiling SwiftOperators PrecedenceGraph.swift
[1593/1656] Compiling PropertyLawDiscoveryTool SuppressionParser.swift
[1594/1656] Compiling PropertyLawDiscoveryTool ToolFlag.swift
[1595/1656] Compiling SwiftParserDiagnostics TokenNameForDiagnostics.swift
[1601/1656] Compiling SwiftOperators OperatorError.swift
[1602/1656] Compiling SwiftOperators OperatorTable+Defaults.swift
[1603/1656] Emitting module PropertyLawDiscoveryTool
[1604/1657] Emitting module PropertyLawSyntax
[1605/1657] Compiling PropertyLawSyntax SyntaxGenConformances.swift
[1606/1657] Compiling PropertyLawSyntax SyntaxNodeGenerators.swift
[1607/1657] Compiling SwiftOperators OperatorTable.swift
[1610/1658] Compiling SwiftParserDiagnostics ChildNameForDiagnostics.swift
[1611/1658] Compiling PropertyLawDiscoveryTool ScaffoldFileEmitter.swift
[1612/1658] Compiling PropertyLawDiscoveryTool SendableProtocols.swift
[1613/1658] Compiling PropertyLawDiscoveryTool RoundTripFinder.swift
[1614/1658] Compiling PropertyLawDiscoveryTool RoundTripSuggester.swift
[1615/1658] Compiling PropertyLawDiscoveryTool AdvisorySuggester.swift
[1616/1658] Compiling PropertyLawDiscoveryTool ConformanceMap.swift
[1617/1658] Emitting module SwiftOperators
[1618/1658] Compiling SwiftOperators OperatorTable+Folding.swift
[1623/1658] Compiling SwiftOperators SyntaxSynthesis.swift
[1623/1662] Wrapping AST for SwiftParser for debugging
[1625/1662] Compiling SwiftOperators OperatorTable+Semantics.swift
[1626/1663] Compiling PropertyLawDiscoveryTool ToolInvocation.swift
[1627/1663] Compiling PropertyLawDiscoveryTool WitnessFinder.swift
[1628/1679] Wrapping AST for SwiftOperators for debugging
[1630/1679] Compiling PropertyLawDiscoveryTool SuppressionParser.swift
[1631/1679] Compiling PropertyLawDiscoveryTool ToolFlag.swift
[1632/1681] Compiling PropertyLawSyntax SyntaxGenConformances.swift
[1633/1681] Emitting module PropertyLawDiscoveryTool
[1634/1681] Compiling PropertyLawSyntax SyntaxGenerators.swift
[1635/1681] Emitting module PropertyLawSyntax
[1636/1681] Compiling PropertyLawSyntax SyntaxNodeGenerators.swift
[1637/1682] Compiling PropertyLawDiscoveryTool GeneratedFileEmitter.swift
[1638/1682] Compiling PropertyLawDiscoveryTool ModuleScanner+Shapes.swift
[1639/1682] Compiling PropertyLawDiscoveryTool SendableProtocols.swift
[1640/1682] Compiling PropertyLawDiscoveryTool RoundTripFinder.swift
[1641/1682] Compiling PropertyLawDiscoveryTool RoundTripSuggester.swift
[1642/1683] Compiling PropertyLawDiscoveryTool ModuleScanner+Skipping.swift
[1643/1683] Compiling PropertyLawDiscoveryTool ScaffoldFileEmitter.swift
[1648/1683] Compiling PropertyLawDiscoveryTool ToolInvocation.swift
[1649/1683] Compiling PropertyLawDiscoveryTool WitnessFinder.swift
[1649/1683] Wrapping AST for PropertyLawDiscoveryTool for debugging
[1650/1683] Write Objects.LinkFileList
[1654/1683] Compiling PropertyLawDiscoveryTool ModuleScanner+Declarations.swift
[1655/1683] Compiling PropertyLawDiscoveryTool ModuleScanner+Namesakes.swift
[1658/1683] Compiling PropertyLawDiscoveryTool AdvisorySuggester.swift
[1659/1683] Compiling PropertyLawDiscoveryTool ConformanceMap.swift
[1663/1683] Compiling PropertyLawDiscoveryTool ModuleScanner.swift
[1664/1683] Compiling PropertyLawDiscoveryTool PropertyLawDiscoveryTool.swift
[1665/1684] Wrapping AST for PropertyLawDiscoveryTool for debugging
[1666/1684] Write Objects.LinkFileList
[1667/1684] Linking PropertyLawDiscoveryTool-tool
[1673/1684] Emitting module SwiftParserDiagnostics
[1674/1685] Linking PropertyLawDiscoveryTool
[1675/1685] Wrapping AST for SwiftParserDiagnostics for debugging
[1677/1700] Emitting module SwiftSyntaxBuilder
[1678/1700] Compiling SwiftSyntaxBuilder Indenter.swift
[1679/1700] Compiling SwiftSyntaxBuilder ListBuilder.swift
[1680/1700] Compiling SwiftSyntaxBuilder ConvenienceInitializers.swift
[1681/1700] Compiling SwiftSyntaxBuilder DeclSyntaxParseable.swift
[1682/1701] Compiling SwiftSyntaxBuilder SyntaxExpressibleByStringInterpolationConformances.swift
[1683/1701] Compiling SwiftSyntaxBuilder ResultBuilderExtensions.swift
[1684/1701] Compiling SwiftSyntaxBuilder SwiftSyntaxBuilderCompatibility.swift
[1685/1701] Compiling SwiftSyntaxBuilder Syntax+StringInterpolation.swift
[1686/1701] Compiling SwiftSyntaxBuilder SyntaxNodeWithBody.swift
[1687/1701] Compiling SwiftSyntaxBuilder WithTrailingCommaSyntax+EnsuringTrailingComma.swift
[1688/1701] Compiling SwiftSyntaxBuilder BuildableNodes.swift
[1689/1701] Compiling SwiftSyntaxBuilder RenamedChildrenBuilderCompatibility.swift
[1690/1701] Compiling SwiftSyntaxBuilder ResultBuilders.swift
[1691/1701] Compiling SwiftSyntaxBuilder SyntaxParsable+ExpressibleByStringInterpolation.swift
[1692/1701] Compiling SwiftSyntaxBuilder ValidatingSyntaxNodes.swift
[1693/1717] Wrapping AST for SwiftSyntaxBuilder for debugging
[1695/1717] Compiling SwiftIfConfig SyntaxProtocol+IfConfig.swift
[1696/1717] Compiling SwiftIfConfig VersionTuple+Parsing.swift
[1697/1718] Compiling SwiftIfConfig IfConfigFunctions.swift
[1698/1718] Compiling SwiftIfConfig IfConfigRegionState.swift
[1699/1718] Compiling SwiftIfConfig StaticBuildConfiguration.swift
[1700/1718] Compiling SwiftIfConfig SyntaxLiteralUtils.swift
[1701/1718] Compiling SwiftIfConfig VersionTuple.swift
[1702/1718] Compiling SwiftIfConfig ActiveSyntaxVisitor.swift
[1703/1718] Compiling SwiftIfConfig BuildConfiguration.swift
[1704/1718] Compiling SwiftIfConfig ConfiguredRegions.swift
[1705/1718] Compiling SwiftIfConfig IfConfigDecl+IfConfig.swift
[1706/1718] Compiling SwiftIfConfig ActiveClauseEvaluator.swift
[1707/1718] Compiling SwiftIfConfig ActiveSyntaxRewriter.swift
[1708/1718] Emitting module SwiftIfConfig
[1709/1718] Compiling SwiftIfConfig IfConfigDiagnostic.swift
[1710/1718] Compiling SwiftIfConfig IfConfigEvaluation.swift
[1711/1719] Wrapping AST for SwiftIfConfig for debugging
[1713/1736] Compiling SwiftSyntaxMacros Macro.swift
[1714/1736] Compiling SwiftSyntaxMacros MemberAttributeMacro.swift
[1715/1738] Compiling SwiftSyntaxMacros MemberMacro.swift
[1716/1738] Compiling SwiftSyntaxMacros PeerMacro.swift
[1717/1738] Emitting module SwiftSyntaxMacros
[1718/1738] Compiling SwiftSyntaxMacros FreestandingMacro.swift
[1719/1738] Compiling SwiftSyntaxMacros Macro+Format.swift
[1720/1738] Compiling SwiftSyntaxMacros ExpressionMacro.swift
[1721/1738] Compiling SwiftSyntaxMacros ExtensionMacro.swift
[1722/1738] Compiling SwiftSyntaxMacros AccessorMacro.swift
[1723/1738] Compiling SwiftSyntaxMacros AttachedMacro.swift
[1724/1738] Compiling SwiftSyntaxMacros BodyMacro.swift
[1725/1738] Compiling SwiftSyntaxMacros AbstractSourceLocation.swift
[1726/1738] Compiling SwiftSyntaxMacros MacroExpansionContext.swift
[1727/1738] Compiling SwiftSyntaxMacros MacroExpansionDiagnosticMessages.swift
[1728/1738] Compiling SwiftSyntaxMacros CodeItemMacro.swift
[1729/1738] Compiling SwiftSyntaxMacros DeclarationMacro.swift
[1730/1738] Compiling SwiftSyntaxMacros PreambleMacro.swift
[1731/1738] Compiling SwiftSyntaxMacros Syntax+LexicalContext.swift
[1732/1739] Wrapping AST for SwiftSyntaxMacros for debugging
[1734/1748] Compiling SwiftSyntaxMacroExpansion MacroSpec.swift
[1735/1749] Compiling SwiftSyntaxMacroExpansion MacroExpansionDiagnosticMessages.swift
[1736/1749] Compiling SwiftSyntaxMacroExpansion MacroExpansion.swift
[1737/1749] Compiling SwiftSyntaxMacroExpansion IndentationUtils.swift
[1738/1749] Emitting module SwiftSyntaxMacroExpansion
[1739/1749] Compiling SwiftSyntaxMacroExpansion MacroArgument.swift
[1740/1749] Compiling SwiftSyntaxMacroExpansion BasicMacroExpansionContext.swift
[1741/1749] Compiling SwiftSyntaxMacroExpansion FunctionParameterUtils.swift
[1742/1749] Compiling SwiftSyntaxMacroExpansion MacroReplacement.swift
[1743/1749] Compiling SwiftSyntaxMacroExpansion MacroSystem.swift
[1744/1750] Wrapping AST for SwiftSyntaxMacroExpansion for debugging
[1746/1762] Emitting module SwiftCompilerPluginMessageHandling
[1747/1763] Compiling SwiftCompilerPluginMessageHandling StandardIOMessageConnection.swift
[1748/1763] Compiling SwiftCompilerPluginMessageHandling PluginMessages.swift
[1749/1763] Compiling SwiftCompilerPluginMessageHandling PluginMessageCompatibility.swift
[1750/1763] Compiling SwiftCompilerPluginMessageHandling PluginMacroExpansionContext.swift
[1751/1763] Compiling SwiftCompilerPluginMessageHandling LRUCache.swift
[1752/1763] Compiling SwiftCompilerPluginMessageHandling Macros.swift
[1753/1763] Compiling SwiftCompilerPluginMessageHandling CodingUtilities.swift
[1754/1763] Compiling SwiftCompilerPluginMessageHandling JSON.swift
[1755/1763] Compiling SwiftCompilerPluginMessageHandling CompilerPluginMessageHandler.swift
[1756/1763] Compiling SwiftCompilerPluginMessageHandling Diagnostics.swift
[1757/1763] Compiling SwiftCompilerPluginMessageHandling JSONDecoding.swift
[1758/1763] Compiling SwiftCompilerPluginMessageHandling JSONEncoding.swift
[1759/1764] Wrapping AST for SwiftCompilerPluginMessageHandling for debugging
[1761/1766] Emitting module SwiftCompilerPlugin
[1762/1766] Compiling SwiftCompilerPlugin CompilerPlugin.swift
[1763/1767] Wrapping AST for SwiftCompilerPlugin for debugging
[1765/1774] Emitting module PropertyLawMacroImpl
[1766/1774] Compiling PropertyLawMacroImpl Diagnostics.swift
[1767/1774] Compiling PropertyLawMacroImpl InteractionInvariantTestsMacro.swift
[1768/1774] Compiling PropertyLawMacroImpl DiscoverableMacro.swift
[1769/1774] Compiling PropertyLawMacroImpl LawTestPeerMacros.swift
[1770/1774] Compiling PropertyLawMacroImpl PropertyLawSuiteMacro.swift
[1771/1774] Compiling PropertyLawMacroImpl Plugin.swift
[1772/1775] Wrapping AST for PropertyLawMacroImpl for debugging
[1773/1775] Write Objects.LinkFileList
[1774/1775] Linking PropertyLawMacroImpl-tool
[1776/1779] Compiling PropertyLawMacro PropertyLawMacro.swift
[1777/1779] Emitting module PropertyLawMacro
[1779/1779] Compiling PropertyLawMacro PropertyLawMacro.swift
Build complete! (102.89s)
Build complete.
{
"dependencies" : [
{
"identity" : "swift-property-based",
"requirement" : {
"range" : [
{
"lower_bound" : "2.0.0",
"upper_bound" : "3.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/x-sheep/swift-property-based.git"
},
{
"identity" : "swift-syntax",
"requirement" : {
"range" : [
{
"lower_bound" : "603.0.0",
"upper_bound" : "604.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/swiftlang/swift-syntax.git"
},
{
"identity" : "swift-numerics",
"requirement" : {
"range" : [
{
"lower_bound" : "1.0.0",
"upper_bound" : "2.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/apple/swift-numerics.git"
},
{
"identity" : "swift-collections",
"requirement" : {
"range" : [
{
"lower_bound" : "1.2.0",
"upper_bound" : "2.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/apple/swift-collections.git"
},
{
"identity" : "swift-async-algorithms",
"requirement" : {
"range" : [
{
"lower_bound" : "1.0.0",
"upper_bound" : "2.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/apple/swift-async-algorithms.git"
}
],
"manifest_display_name" : "SwiftPropertyLaws",
"name" : "SwiftPropertyLaws",
"path" : "/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" : "PropertyLawSyntaxSupport",
"targets" : [
"PropertyLawSyntaxSupport"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawCore",
"targets" : [
"PropertyLawCore"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawComplex",
"targets" : [
"PropertyLawComplex"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawSyntax",
"targets" : [
"PropertyLawSyntax"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawCollections",
"targets" : [
"PropertyLawCollections"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawMinimalTypes",
"targets" : [
"PropertyLawMinimalTypes"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawAsync",
"targets" : [
"PropertyLawAsync"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "PropertyLawDiscoveryPlugin",
"targets" : [
"PropertyLawDiscoveryPlugin"
],
"type" : {
"plugin" : null
}
},
{
"name" : "PropertyLawDiscoveryTool",
"targets" : [
"PropertyLawDiscoveryTool"
],
"type" : {
"executable" : null
}
},
{
"name" : "PropertyLawMacroImpl",
"targets" : [
"PropertyLawMacroImpl"
],
"type" : {
"macro" : null
}
}
],
"targets" : [
{
"c99name" : "PropertyLawSyntaxTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawSyntaxTests",
"path" : "Tests/PropertyLawSyntaxTests",
"product_dependencies" : [
"PropertyBased",
"SwiftSyntax"
],
"sources" : [
"DownstreamNodeDemandTests.swift",
"SyntaxGenConformanceTests.swift",
"SyntaxGeneratorTests.swift",
"SyntaxNodeGeneratorTests.swift"
],
"target_dependencies" : [
"PropertyLawSyntax",
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawSyntaxSupportTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawSyntaxSupportTests",
"path" : "Tests/PropertyLawSyntaxSupportTests",
"product_dependencies" : [
"SwiftParser"
],
"sources" : [
"ArgumentLabelTests.swift",
"InitializerPreconditionDetectorTests.swift",
"SequenceInitializerNormalizerTests.swift",
"StoredMemberAccessLevelTests.swift",
"StoredMemberRecognitionTests.swift"
],
"target_dependencies" : [
"PropertyLawSyntaxSupport",
"PropertyLawCore"
],
"type" : "test"
},
{
"c99name" : "PropertyLawSyntaxSupport",
"module_type" : "SwiftTarget",
"name" : "PropertyLawSyntaxSupport",
"path" : "Sources/PropertyLawSyntaxSupport",
"product_dependencies" : [
"SwiftSyntax"
],
"product_memberships" : [
"PropertyLawMacro",
"PropertyLawSyntaxSupport",
"PropertyLawDiscoveryPlugin",
"PropertyLawDiscoveryTool",
"PropertyLawMacroImpl"
],
"sources" : [
"InitializerPreconditionDetector.swift",
"MemberBlockInspector.swift",
"SequenceInitializerNormalizer.swift"
],
"target_dependencies" : [
"PropertyLawCore"
],
"type" : "library"
},
{
"c99name" : "PropertyLawSyntax",
"module_type" : "SwiftTarget",
"name" : "PropertyLawSyntax",
"path" : "Sources/PropertyLawSyntax",
"product_dependencies" : [
"PropertyBased",
"SwiftSyntax",
"SwiftParser"
],
"product_memberships" : [
"PropertyLawSyntax"
],
"sources" : [
"SyntaxGenConformances.swift",
"SyntaxGenerators.swift",
"SyntaxNodeGenerators.swift"
],
"type" : "library"
},
{
"c99name" : "PropertyLawMinimalTypesTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMinimalTypesTests",
"path" : "Tests/PropertyLawMinimalTypesTests",
"product_dependencies" : [
"PropertyBased"
],
"sources" : [
"MinimalCodableTests.swift",
"MinimalTypesTests.swift"
],
"target_dependencies" : [
"PropertyLawMinimalTypes",
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawMinimalTypes",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMinimalTypes",
"path" : "Sources/PropertyLawMinimalTypes",
"product_dependencies" : [
"PropertyBased"
],
"product_memberships" : [
"PropertyLawMinimalTypes"
],
"sources" : [
"MinimalCodableValue.swift",
"MinimalCodec.swift",
"MinimalCollections.swift",
"MinimalDecoder.swift",
"MinimalEncoder.swift",
"MinimalGenerators.swift",
"MinimalIndex.swift",
"MinimalLeaf.swift"
],
"target_dependencies" : [
"PropertyLawKit"
],
"type" : "library"
},
{
"c99name" : "PropertyLawMacroTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMacroTests",
"path" : "Tests/PropertyLawMacroTests",
"product_dependencies" : [
"PropertyBased",
"SwiftSyntaxMacros",
"SwiftSyntaxMacrosTestSupport"
],
"sources" : [
"DiagnosticsTests.swift",
"DiscoverableMacroTests.swift",
"EndToEndTests.swift",
"InteractionInvariantTestsMacroTests.swift",
"MacroExpansionMultiTypeTests.swift",
"MacroExpansionTests.swift",
"ReferenceTypeLawTestsMacroTests.swift",
"ValueSemanticTestsMacroTests.swift"
],
"target_dependencies" : [
"PropertyLawMacro",
"PropertyLawMacroImpl",
"PropertyLawKit",
"PropertyLawCore"
],
"type" : "test"
},
{
"c99name" : "PropertyLawMacroImpl",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMacroImpl",
"path" : "Sources/PropertyLawMacroImpl",
"product_dependencies" : [
"SwiftSyntax",
"SwiftSyntaxMacros",
"SwiftCompilerPlugin",
"SwiftDiagnostics"
],
"product_memberships" : [
"PropertyLawMacro",
"PropertyLawMacroImpl"
],
"sources" : [
"Diagnostics.swift",
"DiscoverableMacro.swift",
"InteractionInvariantTestsMacro.swift",
"LawTestPeerMacros.swift",
"Plugin.swift",
"PropertyLawSuiteMacro.swift"
],
"target_dependencies" : [
"PropertyLawCore",
"PropertyLawSyntaxSupport"
],
"type" : "macro"
},
{
"c99name" : "PropertyLawMacro",
"module_type" : "SwiftTarget",
"name" : "PropertyLawMacro",
"path" : "Sources/PropertyLawMacro",
"product_memberships" : [
"PropertyLawMacro"
],
"sources" : [
"PropertyLawMacro.swift"
],
"target_dependencies" : [
"PropertyLawKit",
"PropertyLawMacroImpl"
],
"type" : "library"
},
{
"c99name" : "PropertyLawKitTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawKitTests",
"path" : "Tests/PropertyLawKitTests",
"product_dependencies" : [
"PropertyBased"
],
"sources" : [
"ActionSequenceFactoryTests.swift",
"AdditiveArithmeticLawsTests.swift",
"AlgebraicWalkedLawsTests.swift",
"AsciiScalarGeneratorTests.swift",
"BackendShrinkingTests.swift",
"BidirectionalCollectionLawsTests.swift",
"BinaryFloatingPointLawsTests.swift",
"BinaryIntegerLawsTests.swift",
"BudgetTests.swift",
"CaseIterableLawsTests.swift",
"CodableLawsTests.swift",
"CollectionLawsTests.swift",
"CommutativeMonoidLawsTests.swift",
"ComparableLawsTests.swift",
"CompositeGeneratorCompileTests.swift",
"CoverageHintsTests.swift",
"DefensiveCopyLawsTests.swift",
"DownstreamPropertyBackendSmokeTests.swift",
"ElementEquivalenceSequenceLawsTests.swift",
"EnforcementTests.swift",
"EnumerationBucketSearchTests.swift",
"EnumerationGeneratorBridgeTests.swift",
"EnumerationProductTests.swift",
"EnumerationReportingTests.swift",
"EnumerationSequenceTests.swift",
"EnumerationTests.swift",
"EqualValuePairingMeasurements.swift",
"EqualValuePairingTests.swift",
"EquatableLawsTests.swift",
"ErrorBoxTests.swift",
"EveryCarrierLawsTests.swift",
"EveryCaseLawsTests.swift",
"FixedWidthIntegerLawsTests.swift",
"FloatingPointLawsTests.swift",
"FoundationGeneratorsTests.swift",
"GroupLawsTests.swift",
"HashableLawsTests.swift",
"Helpers/Generators.swift",
"Helpers/RecordedWarnings.swift",
"Helpers/SeededValueType.swift",
"IdentifiableLawsTests.swift",
"InteractionInvariantAsyncLawsTests.swift",
"InteractionInvariantLawsTests.swift",
"InteractionInvariantTests.swift",
"InvariantFalsifiabilityTests.swift",
"IteratorProtocolLawsTests.swift",
"LawIdentifierTests.swift",
"LawVocabularyTests.swift",
"LosslessStringConvertibleLawsTests.swift",
"MonoidLawsTests.swift",
"MutableCollectionLawsTests.swift",
"NaNGeneratorSeedingTests.swift",
"NearMissTests.swift",
"NumericLawsTests.swift",
"PlantedBugs/PlantedAdditiveArithmeticViolators.swift",
"PlantedBugs/PlantedBinaryIntegerViolators.swift",
"PlantedBugs/PlantedBugCollectionRefinementsDetectionTests.swift",
"PlantedBugs/PlantedBugCollectionsDetectionTests.swift",
"PlantedBugs/PlantedBugDetectionTests.swift",
"PlantedBugs/PlantedBugFloatingPointDetectionTests.swift",
"PlantedBugs/PlantedBugIntegerDetectionTests.swift",
"PlantedBugs/PlantedBugMonoidDetectionTests.swift",
"PlantedBugs/PlantedBugNumericDetectionTests.swift",
"PlantedBugs/PlantedBugRoundTripDetectionTests.swift",
"PlantedBugs/PlantedBugSemigroupDetectionTests.swift",
"PlantedBugs/PlantedCaseIterableViolators.swift",
"PlantedBugs/PlantedCodableViolators.swift",
"PlantedBugs/PlantedCollectionRefinementsViolators.swift",
"PlantedBugs/PlantedCollectionViolators.swift",
"PlantedBugs/PlantedComparableViolators.swift",
"PlantedBugs/PlantedEquatableViolators.swift",
"PlantedBugs/PlantedFixedWidthIntegerViolators.swift",
"PlantedBugs/PlantedFloatingPointViolators.swift",
"PlantedBugs/PlantedHashableViolators.swift",
"PlantedBugs/PlantedIdentifiableViolators.swift",
"PlantedBugs/PlantedIteratorViolators.swift",
"PlantedBugs/PlantedLosslessStringConvertibleViolators.swift",
"PlantedBugs/PlantedMonoidViolators.swift",
"PlantedBugs/PlantedNumericViolators.swift",
"PlantedBugs/PlantedRawRepresentableViolators.swift",
"PlantedBugs/PlantedSemigroupViolators.swift",
"PlantedBugs/PlantedSequenceViolators.swift",
"PlantedBugs/PlantedSetAlgebraMutatingViolators.swift",
"PlantedBugs/PlantedSetAlgebraSubtractingViolators.swift",
"PlantedBugs/PlantedSetAlgebraViolators.swift",
"PlantedBugs/PlantedSignedIntegerViolators.swift",
"PlantedBugs/PlantedSignedNumericViolators.swift",
"PlantedBugs/PlantedSingleFaultIntegerViolators.swift",
"PlantedBugs/PlantedStrideableViolators.swift",
"PlantedBugs/PlantedUnsignedIntegerViolators.swift",
"RandomAccessCollectionLawsTests.swift",
"RangeReplaceableCollectionLawsTests.swift",
"RareAntecedentTests.swift",
"RawRepresentableLawsTests.swift",
"ReplayValidationTests.swift",
"RingLawsTests.swift",
"SameResultTests.swift",
"SampledSpaceTests.swift",
"SeedTests.swift",
"SemigroupLawsTests.swift",
"SemilatticeLawsTests.swift",
"SequenceLawsTests.swift",
"SetAlgebraLawsTests.swift",
"SignedNumericLawsTests.swift",
"StableIdentityLawsTests.swift",
"StrictWeakOrderingLawsTests.swift",
"StrideableLawsTests.swift",
"StringProtocolCounterexampleFormatterTests.swift",
"StringProtocolLawsTests.swift",
"SuppressionTests.swift",
"TransformationFunctionLawsTests.swift",
"TransformationLawsTests.swift",
"UnicodeScalarGeneratorTests.swift",
"ValueSemanticLawsTests.swift",
"WalkedActionSequenceTests.swift"
],
"target_dependencies" : [
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawKit",
"module_type" : "SwiftTarget",
"name" : "PropertyLawKit",
"path" : "Sources/PropertyLawKit",
"product_dependencies" : [
"PropertyBased"
],
"product_memberships" : [
"PropertyLawKit",
"PropertyLawMacro",
"PropertyLawCollections",
"PropertyLawMinimalTypes",
"PropertyLawAsync"
],
"sources" : [
"Internal/AggregateDriver.swift",
"Internal/Backends/SwiftPropertyBasedBackend.swift",
"Internal/CheckPreflight.swift",
"Internal/CoverageAccumulator.swift",
"Internal/DrawPoolDriver.swift",
"Internal/EnumerationDriver.swift",
"Internal/EqualValueLawBuilders.swift",
"Internal/InheritedLawCollector.swift",
"Internal/LawCheckBuilders.swift",
"Internal/LawSuppressionPolicy.swift",
"Internal/NearMissCollector.swift",
"Internal/PerLawDriver.swift",
"Internal/PropertyLawSuiteRunner.swift",
"Internal/ReplayEnvironmentValidator.swift",
"Internal/SpaceSampling.swift",
"Internal/ViolationFormatter.swift",
"Model/CheckResult.swift",
"Model/CodableCodec.swift",
"Model/CodableLawConfig.swift",
"Model/CodableRoundTripMode.swift",
"Model/EnforcementMode.swift",
"Model/Environment.swift",
"Model/EqualValuePairing.swift",
"Model/InputSource.swift",
"Model/LawCheckOptions.swift",
"Model/LawIdentifier+LaterSuites.swift",
"Model/LawIdentifier.swift",
"Model/LawSelection.swift",
"Model/LawSuppression.swift",
"Model/PropertyLawViolation.swift",
"Model/Seed.swift",
"Model/SequenceLawOptions.swift",
"Model/SpaceCoverage.swift",
"Model/StrictnessTier.swift",
"Model/TrialBudget.swift",
"PropertyLawKit.swift",
"Public/ActionSequenceFactory.swift",
"Public/AdditiveArithmeticLaws.swift",
"Public/BidirectionalCollectionLaws.swift",
"Public/BinaryFloatingPointLaws.swift",
"Public/BinaryIntegerLaws.swift",
"Public/CaseIterableLaws.swift",
"Public/CodableLaws.swift",
"Public/CollectionLaws.swift",
"Public/CommutativeMonoid.swift",
"Public/CommutativeMonoidLaws.swift",
"Public/ComparableLaws.swift",
"Public/CoverageClassifier.swift",
"Public/DefensiveCopy.swift",
"Public/DefensiveCopyLaws.swift",
"Public/Enumeration.swift",
"Public/EnumerationCombinators.swift",
"Public/EnumerationProduct.swift",
"Public/EquatableLaws.swift",
"Public/EveryCarrierLaws.swift",
"Public/EveryCaseLaws.swift",
"Public/FixedWidthIntegerLaws.swift",
"Public/FloatingPointCommutativityLaws.swift",
"Public/FloatingPointLaws.swift",
"Public/FoundationGenerators.swift",
"Public/Group.swift",
"Public/GroupLaws.swift",
"Public/HashableLaws.swift",
"Public/IdentifiableLaws.swift",
"Public/InteractionInvariant.swift",
"Public/InteractionInvariantLaws+Async.swift",
"Public/InteractionInvariantLaws.swift",
"Public/InvariantFalsifiabilityLaw.swift",
"Public/IteratorProtocolLaws.swift",
"Public/LosslessStringConvertibleLaws.swift",
"Public/Monoid.swift",
"Public/MonoidLaws.swift",
"Public/MutableCollectionLaws.swift",
"Public/NumericGenerators.swift",
"Public/NumericLaws.swift",
"Public/PropertyBackend.swift",
"Public/RandomAccessCollectionLaws.swift",
"Public/RangeReplaceableCollectionLaws.swift",
"Public/RawRepresentableLaws.swift",
"Public/ReplayEnvironmentMismatch.swift",
"Public/Ring.swift",
"Public/RingLaws.swift",
"Public/SameResult.swift",
"Public/Semigroup.swift",
"Public/SemigroupLaws.swift",
"Public/Semilattice.swift",
"Public/SemilatticeLaws.swift",
"Public/SequenceLaws.swift",
"Public/SetAlgebraLaws+BooleanAlgebra.swift",
"Public/SetAlgebraLaws.swift",
"Public/SignedIntegerLaws.swift",
"Public/SignedNumericLaws.swift",
"Public/StableIdentity.swift",
"Public/StableIdentityLaws.swift",
"Public/StatefulGuard.swift",
"Public/StdlibGenerators.swift",
"Public/StrictWeakOrderingLaws.swift",
"Public/StrictWeakOrderingVacuity.swift",
"Public/StrideableLaws.swift",
"Public/StringProtocolLaws.swift",
"Public/TransformationFunctionLaws.swift",
"Public/TransformationLaws.swift",
"Public/UnsignedIntegerLaws.swift",
"Public/ValueSemantic.swift",
"Public/ValueSemanticLaws.swift"
],
"type" : "library"
},
{
"c99name" : "PropertyLawDiscoveryToolTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawDiscoveryToolTests",
"path" : "Tests/PropertyLawDiscoveryToolTests",
"product_dependencies" : [
"SwiftSyntax",
"SwiftParser"
],
"sources" : [
"AdvisorySuggesterTests.swift",
"ContextFileTests.swift",
"EmittedFileParsesTests.swift",
"EmitterGoldenTests.swift",
"ExtensionOnlyAndSendableTests.swift",
"ImportEmissionTests.swift",
"ModuleImportEmissionTests.swift",
"ModuleProvenanceTests.swift",
"ModuleScannerRoundTripTests.swift",
"ModuleScannerTests.swift",
"NestedTypeScanningTests.swift",
"RoundTripSuggesterTests.swift",
"ScaffoldFileEmitterTests.swift",
"ScannerSignalTests.swift",
"SkippedTypeTests.swift",
"SuppressionParserTests.swift",
"TodoCategoryTests.swift",
"ToolInvocationTests.swift"
],
"target_dependencies" : [
"PropertyLawDiscoveryTool",
"PropertyLawCore"
],
"type" : "test"
},
{
"c99name" : "PropertyLawDiscoveryTool",
"module_type" : "SwiftTarget",
"name" : "PropertyLawDiscoveryTool",
"path" : "Sources/PropertyLawDiscoveryTool",
"product_dependencies" : [
"SwiftSyntax",
"SwiftParser"
],
"product_memberships" : [
"PropertyLawDiscoveryPlugin",
"PropertyLawDiscoveryTool"
],
"sources" : [
"AdvisorySuggester.swift",
"ConformanceMap.swift",
"GeneratedFileEmitter.swift",
"ModuleScanner+Declarations.swift",
"ModuleScanner+Namesakes.swift",
"ModuleScanner+Shapes.swift",
"ModuleScanner+Skipping.swift",
"ModuleScanner.swift",
"PropertyLawDiscoveryTool.swift",
"RoundTripFinder.swift",
"RoundTripSuggester.swift",
"ScaffoldFileEmitter.swift",
"SendableProtocols.swift",
"SuppressionParser.swift",
"ToolFlag.swift",
"ToolInvocation.swift",
"WitnessFinder.swift"
],
"target_dependencies" : [
"PropertyLawCore",
"PropertyLawSyntaxSupport"
],
"type" : "executable"
},
{
"c99name" : "PropertyLawDiscoveryPluginTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawDiscoveryPluginTests",
"path" : "Tests/PropertyLawDiscoveryPluginTests",
"sources" : [
"PluginArguments.swift",
"PluginArgumentsTests.swift",
"PluginError.swift"
],
"target_dependencies" : [
"PropertyLawDiscoveryTool"
],
"type" : "test"
},
{
"c99name" : "PropertyLawDiscoveryPlugin",
"module_type" : "PluginTarget",
"name" : "PropertyLawDiscoveryPlugin",
"path" : "Plugins/PropertyLawDiscoveryPlugin",
"plugin_capability" : {
"intent" : {
"description" : "Generate PropertyLawKit test files by walking a target's source files and detecting stdlib protocol conformances.",
"type" : "custom",
"verb" : "propertylawcheck"
},
"permissions" : [
{
"network_scope" : {
"none" : {
}
},
"reason" : "PropertyLawDiscoveryPlugin writes a generated test file (default: Tests/<Target>Tests/PropertyLawTests.generated.swift) listing the checkXxxPropertyLaws calls for each detected conformance.",
"type" : "writeToPackageDirectory"
}
],
"type" : "command"
},
"product_memberships" : [
"PropertyLawDiscoveryPlugin"
],
"sources" : [
"PluginArguments.swift",
"PluginError.swift",
"plugin.swift"
],
"target_dependencies" : [
"PropertyLawDiscoveryTool"
],
"type" : "plugin"
},
{
"c99name" : "PropertyLawCoreTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawCoreTests",
"path" : "Tests/PropertyLawCoreTests",
"product_dependencies" : [
"PropertyBased"
],
"sources" : [
"AccessLevelDerivationTests.swift",
"CapacityHintDerivationTests.swift",
"CollectionInitializerPreferenceTests.swift",
"CompositeMemberDerivationTests.swift",
"DerivationStrategistTests.swift",
"EdgeBiasedStringGeneratorTests.swift",
"EmittedExpressionCompilesTests.swift",
"EnumPayloadDerivationTests.swift",
"EnumTodoReasonTests.swift",
"GeneratorExpressionEmitterTests.swift",
"GeneratorPlanTests.swift",
"GeneratorResolverTests.swift",
"HostileStringGeneratorTests.swift",
"InitializerAccessDerivationTests.swift",
"InitializerBasedDerivationTests.swift",
"InitializerTodoReasonTests.swift",
"KnownProtocolSetTests.swift",
"KnownValueTypeDerivationTests.swift",
"LabelNarrowedGeneratorTests.swift",
"MemberwiseEmitterTests.swift",
"ModuleQualifiedSpellingTests.swift",
"RecursiveGeneratorTests.swift",
"ResolutionFailureTests.swift",
"ScaffoldEmitterTests.swift",
"ScopedTypeLookupTests.swift",
"SendableClassDerivationTests.swift",
"StatelessDerivationTests.swift",
"SubjectTokenGeneratorTests.swift",
"TextLiteralInitializerDerivationTests.swift",
"UnresolvedLeafNamingTests.swift",
"UnsoundInitializerDerivationTests.swift"
],
"target_dependencies" : [
"PropertyLawCore"
],
"type" : "test"
},
{
"c99name" : "PropertyLawCore",
"module_type" : "SwiftTarget",
"name" : "PropertyLawCore",
"path" : "Sources/PropertyLawCore",
"product_memberships" : [
"PropertyLawMacro",
"PropertyLawSyntaxSupport",
"PropertyLawCore",
"PropertyLawDiscoveryPlugin",
"PropertyLawDiscoveryTool",
"PropertyLawMacroImpl"
],
"sources" : [
"AccessLevel.swift",
"CompositeMemberParser.swift",
"DerivationStrategy.swift",
"EnumPayloadDerivation.swift",
"GeneratorExpressionEmitter.swift",
"GeneratorPlan.swift",
"GeneratorResolver.swift",
"InitializerBasedDerivation+CollectionPreference.swift",
"InitializerBasedDerivation.swift",
"KnownProtocol.swift",
"LabelNarrowedGenerators.swift",
"MemberwiseEmitter.swift",
"PropertyLawTestStub.swift",
"QualifiedTypeName.swift",
"RawType.swift",
"RecursiveGeneratorEmitter.swift",
"ResolutionFailure.swift",
"Scaffold.swift",
"StatelessDerivation.swift",
"TodoReason.swift",
"TypeShape.swift"
],
"type" : "library"
},
{
"c99name" : "PropertyLawComplexTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawComplexTests",
"path" : "Tests/PropertyLawComplexTests",
"product_dependencies" : [
"PropertyBased",
"ComplexModule",
"RealModule"
],
"sources" : [
"EdgeCaseBiasedGeneratorsTests.swift"
],
"target_dependencies" : [
"PropertyLawComplex"
],
"type" : "test"
},
{
"c99name" : "PropertyLawComplex",
"module_type" : "SwiftTarget",
"name" : "PropertyLawComplex",
"path" : "Sources/PropertyLawComplex",
"product_dependencies" : [
"PropertyBased",
"ComplexModule",
"RealModule"
],
"product_memberships" : [
"PropertyLawComplex"
],
"sources" : [
"EdgeCaseBiasedGenerators.swift"
],
"type" : "library"
},
{
"c99name" : "PropertyLawCollectionsTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawCollectionsTests",
"path" : "Tests/PropertyLawCollectionsTests",
"product_dependencies" : [
"PropertyBased",
"DequeModule",
"OrderedCollections",
"HeapModule",
"BitCollections",
"HashTreeCollections"
],
"sources" : [
"BitSetLawsTests.swift",
"ConformanceAuditTests.swift",
"DequeLawsTests.swift",
"DequeLayoutTests.swift",
"DequeSymmetryLawsTests.swift",
"HashTreeLawsTests.swift",
"HeapGeneratorTests.swift",
"HeapLawsTests.swift",
"OrderPreservationLawsTests.swift",
"OrderedDictionaryLawsTests.swift",
"OrderedSetLawsTests.swift"
],
"target_dependencies" : [
"PropertyLawCollections",
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawCollections",
"module_type" : "SwiftTarget",
"name" : "PropertyLawCollections",
"path" : "Sources/PropertyLawCollections",
"product_dependencies" : [
"PropertyBased",
"DequeModule",
"OrderedCollections",
"HeapModule",
"BitCollections",
"HashTreeCollections"
],
"product_memberships" : [
"PropertyLawCollections"
],
"sources" : [
"BitSetGenerators.swift",
"DequeGenerators.swift",
"DequeLayouts.swift",
"DequeSymmetryLaws.swift",
"HashTreeGenerators.swift",
"HeapGenerators.swift",
"HeapLaws.swift",
"OrderPreservationLaws.swift",
"OrderedDictionaryGenerators.swift",
"OrderedSetGenerators.swift",
"PropertyLawCollections.swift"
],
"target_dependencies" : [
"PropertyLawKit"
],
"type" : "library"
},
{
"c99name" : "PropertyLawAsyncTests",
"module_type" : "SwiftTarget",
"name" : "PropertyLawAsyncTests",
"path" : "Tests/PropertyLawAsyncTests",
"product_dependencies" : [
"PropertyBased",
"AsyncAlgorithms"
],
"sources" : [
"AsyncSequenceLawsTests.swift",
"TimedAsyncLawsTests.swift",
"VirtualTimeTests.swift"
],
"target_dependencies" : [
"PropertyLawAsync",
"PropertyLawKit"
],
"type" : "test"
},
{
"c99name" : "PropertyLawAsync",
"module_type" : "SwiftTarget",
"name" : "PropertyLawAsync",
"path" : "Sources/PropertyLawAsync",
"product_dependencies" : [
"PropertyBased",
"AsyncAlgorithms"
],
"product_memberships" : [
"PropertyLawAsync"
],
"sources" : [
"AsyncOrderLaws.swift",
"AsyncSequenceLaws.swift",
"GlobalEnqueueHook.swift",
"TimedAsyncLaws.swift",
"VirtualClock.swift",
"VirtualTimeScheduler.swift"
],
"target_dependencies" : [
"PropertyLawKit"
],
"type" : "library"
}
],
"tools_version" : "6.1"
}
linux-6.3-latest: Pulling from saguaro1/spi-images
Digest: sha256:caade26a8dd5b9e237c5c17486feb4a843d699145c768feadca9f1b811831234
Status: Image is up to date for registry.gitlab.com/saguaro1/spi-images:linux-6.3-latest
Done.