Swift Package IndexBuild Information
Successful build of Exhaust, reference v1.9.0 (1c3ae3), with Swift 6.4 for Linux on 30 Oct 2026 23:22:28 UTC.
Swift 6 data race errors: 0
Build Command
bash -c docker run --pull=always --rm -v "checkouts-54344847-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.4-latest swift build --triple x86_64-unknown-linux-gnu 2>&1Build Log
========================================
RunAll
========================================
Builder version: 5.1.4
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/nesevis/exhaust.git
Reference: v1.9.0
Initialized empty Git repository in /host/spi-builder-workspace/.git/
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: git branch -m <name>
From https://github.com/nesevis/exhaust
* tag v1.9.0 -> FETCH_HEAD
HEAD is now at 1c3ae3e Update Package.swift with xcframework URL for v1.9.0
Cloned https://github.com/nesevis/exhaust.git
Revision (git rev-parse @):
1c3ae3e7d4110a578fbce26afb5b47b4b9fedb91
SUCCESS checkout https://github.com/nesevis/exhaust.git at v1.9.0
========================================
Build
========================================
Selected platform: linux
Swift version: 6.4
Building package at path: $PWD
https://github.com/nesevis/exhaust.git
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-54344847-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.4-latest swift build --triple x86_64-unknown-linux-gnu 2>&1
linux-6.4-latest: Pulling from saguaro1/spi-images
Digest: sha256:ad3afec1d6cff9a88dbd06b5b923cd7d46d6f55cc44d4c49fe48cde94ee812a7
Status: Image is up to date for registry.gitlab.com/saguaro1/spi-images:linux-6.4-latest
Fetching https://github.com/google/swift-benchmark
Fetching https://github.com/pointfreeco/swift-issue-reporting
Fetching https://github.com/nesevis/exhaust-macros.git
Fetching https://github.com/nicklockwood/SwiftFormat
Fetching https://github.com/swiftlang/swift-docc-plugin
Fetching https://github.com/pointfreeco/swift-custom-dump
[1/1490] Fetching swift-benchmark
[165/1643] Fetching swift-benchmark, exhaust-macros
[169/7312] Fetching swift-benchmark, exhaust-macros, swift-custom-dump
[2892/9657] Fetching swift-benchmark, exhaust-macros, swift-custom-dump, swift-docc-plugin
Fetched https://github.com/pointfreeco/swift-custom-dump (0.46s)
[1879/10168] Fetching swift-benchmark, exhaust-macros, swift-docc-plugin, swift-issue-reporting
Fetched https://github.com/swiftlang/swift-docc-plugin (0.64s)
[5228/7823] Fetching swift-benchmark, exhaust-macros, swift-issue-reporting
[7824/71687] Fetching swift-benchmark, exhaust-macros, swift-issue-reporting, swiftformat
Fetched https://github.com/pointfreeco/swift-issue-reporting (0.77s)
[6114/65507] Fetching swift-benchmark, exhaust-macros, swiftformat
Fetched https://github.com/nesevis/exhaust-macros.git (21.31s)
Fetched https://github.com/google/swift-benchmark (21.31s)
Fetched https://github.com/nicklockwood/SwiftFormat (21.58s)
Computing version for https://github.com/pointfreeco/swift-custom-dump
Computed https://github.com/pointfreeco/swift-custom-dump at 1.7.3 (22.57s)
Computing version for https://github.com/google/swift-benchmark
Computed https://github.com/google/swift-benchmark at 0.1.2 (1.67s)
Fetching https://github.com/apple/swift-argument-parser
[1/19320] Fetching swift-argument-parser
Fetched https://github.com/apple/swift-argument-parser (1.25s)
Computing version for https://github.com/nesevis/exhaust-macros.git
Computed https://github.com/nesevis/exhaust-macros.git at 1.9.0 (1.43s)
Fetching https://github.com/swiftlang/swift-syntax.git
[1/81369] Fetching swift-syntax
Fetched https://github.com/swiftlang/swift-syntax.git (3.57s)
Computing version for https://github.com/pointfreeco/swift-issue-reporting
Computed https://github.com/pointfreeco/swift-issue-reporting at 2.1.2 (3.78s)
Computing version for https://github.com/swiftlang/swift-docc-plugin
Computed https://github.com/swiftlang/swift-docc-plugin at 1.5.0 (0.17s)
Fetching https://github.com/swiftlang/swift-docc-symbolkit
[1/3850] Fetching swift-docc-symbolkit
Fetched https://github.com/swiftlang/swift-docc-symbolkit (0.66s)
Computing version for https://github.com/swiftlang/swift-docc-symbolkit
Computed https://github.com/swiftlang/swift-docc-symbolkit at 1.0.0 (1.36s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 603.0.2 (1.12s)
Computing version for https://github.com/nicklockwood/SwiftFormat
Computed https://github.com/nicklockwood/SwiftFormat at 0.64.4 (1.11s)
Computing version for https://github.com/apple/swift-argument-parser
Computed https://github.com/apple/swift-argument-parser at 1.8.2 (0.91s)
Creating working copy for https://github.com/apple/swift-argument-parser
Working copy of https://github.com/apple/swift-argument-parser resolved at 1.8.2
Creating working copy for https://github.com/nicklockwood/SwiftFormat
Working copy of https://github.com/nicklockwood/SwiftFormat resolved at 0.64.4
Creating working copy for https://github.com/nesevis/exhaust-macros.git
Working copy of https://github.com/nesevis/exhaust-macros.git resolved at 1.9.0
Creating working copy for https://github.com/google/swift-benchmark
Working copy of https://github.com/google/swift-benchmark resolved at 0.1.2
Creating working copy for https://github.com/pointfreeco/swift-issue-reporting
Working copy of https://github.com/pointfreeco/swift-issue-reporting resolved at 2.1.2
Creating working copy for https://github.com/swiftlang/swift-docc-plugin
Working copy of https://github.com/swiftlang/swift-docc-plugin resolved at 1.5.0
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/swiftlang/swift-docc-symbolkit
Working copy of https://github.com/swiftlang/swift-docc-symbolkit resolved at 1.0.0
Creating working copy for https://github.com/pointfreeco/swift-custom-dump
Working copy of https://github.com/pointfreeco/swift-custom-dump resolved at 1.7.3
Downloading package prebuilt https://download.swift.org/prebuilts/swift-syntax/603.0.2/swift-6.4.0-RELEASE-ubuntu_noble_x86_64-MacroSupport.tar.gz
Downloaded https://download.swift.org/prebuilts/swift-syntax/603.0.2/swift-6.4.0-RELEASE-ubuntu_noble_x86_64-MacroSupport.tar.gz (0.19s)
warning: 'spi-builder-workspace': found 1 file(s) which are unhandled; explicitly declare them as resources or exclude from the target
/host/spi-builder-workspace/Tests/ExhaustTests/ReplayStability/ReplayCorpus.jsonl
Building for debugging...
[Computing dependencies]
[Provisioning 7 / 33]
[Pre-planning 1 / 797]
[Planning deferred tasks]
[136 / 264] IssueReportingTestSupport
[141 / 291] IssueReporting
[141 / 291] ExhaustCore
[144 / 309] ExhaustCore
[144 / 309] ExhaustSupport
[168 / 309] IssueReporting
[170 / 309] IssueReportingTestSupport
[171 / 310] IssueReporting-product
[173 / 310] ExhaustSupport
[174 / 310] ExhaustSupport
[176 / 311] IssueReportingTestSupport
[180 / 311] IssueReporting
[183 / 312] IssueReporting
[187 / 312] ExhaustMacros
[189 / 312] ExhaustMacros
[191 / 312] ExhaustMacros
[192 / 312] ExhaustMacros
[193 / 312] ExhaustFuzzTestSupport
[199 / 313] ExhaustFuzzTestSupport
[204 / 313] ExhaustCore
[205 / 313] ExhaustStackProbe-product
[206 / 313] ExhaustStackProbe-product
[208 / 314] ExhaustMacros
[210 / 314] ExhaustMacros
[212 / 314] ExhaustMacros
[214 / 314] ExhaustMacros
[215 / 314] ExhaustCore
[215 / 314] ExhaustMacros
[217 / 314] ExhaustCore
[218 / 314] ExhaustCore
[219 / 314] ExhaustCore
[220 / 314] ExhaustCore
[223 / 314] IssueReporting
[225 / 314] ArgumentParser
[225 / 314] ArgumentParserToolInfo
[229 / 317] ExhaustStackProbe-product
[231 / 319] ExhaustStackProbe-product
[233 / 330] ExhaustFuzzTestSupport
[241 / 330] IssueReportingTestSupport-product
[244 / 330] ExhaustMetaFuzz
[245 / 331] ExhaustMetaFuzz
[251 / 331] ExhaustMetaFuzz
[254 / 331] ExhaustTestSupport
[257 / 332] ExhaustFuzzTestSupport
[262 / 343] ArgumentParser
[265 / 352] ArgumentParser
[269 / 352] CustomDump
[273 / 352] CustomDump
[274 / 352] CustomDump-product
[279 / 352] ArgumentParser
[281 / 352] CustomDump
[284 / 353] ArgumentParser
[292 / 354] ExhaustMetaFuzz
[296 / 355]
[299 / 364] ExhaustTestSupport
[302 / 364] ExhaustTestSupport
[307 / 364] ExhaustTestSupport
[312 / 366] Benchmark
[322 / 378] ExhaustMacroPlugin
[326 / 379] Exhaustable
[331 / 380] ArgumentParser
[333 / 381] Benchmark
[342 / 386] Exhaustable
[356 / 387] ExhaustMacroPlugin-product
[360 / 387] Benchmark
[368 / 397] Exhaustable
[370 / 397] Benchmark
[384 / 399]
[388 / 408] Exhaust
[390 / 408] Exhaust
[392 / 408] Exhaust
[394 / 409] ExhaustGenerators
[403 / 410] ExhaustGenerators-product
[405 / 419] ExhaustBenchmarks-product
[407 / 419] ExhaustBenchmarks-product
[407 / 419] Exhaust
[409 / 419] ExhaustBenchmarks-product
[411 / 419] ExhaustBenchmarks-product
[412 / 419] ExhaustBenchmarks-product
[413 / 420] Exhaust
[416 / 420] Exhaust-product
[416 / 420] ExhaustBenchmarks-product
[417 / 420] ExhaustBenchmarks-product
/host/spi-builder-workspace/Sources/ExhaustBenchmarks/MutationArmGateBenchmarks.swift:145:20: [1;33mwarning: [1;39mcapture of non-Sendable type 'Value.Type' in an isolated closure[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes\SendableMetatypes]8;;\]
[0;36m143 |[0;0m let half = edgeCount / 2
[0;36m144 |[0;0m return { value in
[0;36m145 |[0;0m let hash = value.hashValue
[0;36m|[0;0m `- [1;33mwarning: [1;39mcapture of non-Sendable type 'Value.Type' in an isolated closure[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes\SendableMetatypes]8;;\]
[0;36m146 |[0;0m return [
[0;36m147 |[0;0m (edge: abs(hash) % half, hitCount: UInt8(max(1, min(255, abs(hash >> 8) % 64)))),
[#SendableMetatypes]: <https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes>
/host/spi-builder-workspace/Sources/ExhaustBenchmarks/FuzzHotPathProbe.swift:38:19: [1;33mwarning: [1;39mcapture of non-Sendable type 'Output.Type' in an isolated closure[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes\SendableMetatypes]8;;\]
[0;36m36 |[0;0m let runner = FuzzRunner(
[0;36m37 |[0;0m gen: generator.gen,
[0;36m38 |[0;0m property: { (_: Output) in .pass },
[0;36m|[0;0m `- [1;33mwarning: [1;39mcapture of non-Sendable type 'Output.Type' in an isolated closure[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes\SendableMetatypes]8;;\]
[0;36m39 |[0;0m source: SyntheticCoverageSource<Output>(edgeCount: edgeCount) { value in
[0;36m40 |[0;0m let hash = value.hashValue
/host/spi-builder-workspace/Sources/ExhaustBenchmarks/FuzzHotPathProbe.swift:40:24: [1;33mwarning: [1;39mcapture of non-Sendable type 'Output.Type' in an isolated closure[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes\SendableMetatypes]8;;\]
[0;36m38 |[0;0m property: { (_: Output) in .pass },
[0;36m39 |[0;0m source: SyntheticCoverageSource<Output>(edgeCount: edgeCount) { value in
[0;36m40 |[0;0m let hash = value.hashValue
[0;36m|[0;0m `- [1;33mwarning: [1;39mcapture of non-Sendable type 'Output.Type' in an isolated closure[0;0m [#]8;;https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes\SendableMetatypes]8;;\]
[0;36m41 |[0;0m return [
[0;36m42 |[0;0m (edge: abs(hash) % half, hitCount: UInt8(max(1, min(255, abs(hash >> 8) % 64)))),
[#SendableMetatypes]: <https://docs.swift.org/compiler/documentation/diagnostics/sendable-metatypes>
[421 / 421] ExhaustBenchmarks-product
Build complete! (25.61 secs)
Build complete.
{
"dependencies" : [
{
"identity" : "exhaust-macros",
"requirement" : {
"exact" : [
"1.9.0"
]
},
"type" : "sourceControl",
"url" : "https://github.com/nesevis/exhaust-macros.git"
},
{
"identity" : "swift-benchmark",
"requirement" : {
"range" : [
{
"lower_bound" : "0.1.2",
"upper_bound" : "1.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/google/swift-benchmark"
},
{
"identity" : "swiftformat",
"requirement" : {
"range" : [
{
"lower_bound" : "0.59.1",
"upper_bound" : "1.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/nicklockwood/SwiftFormat"
},
{
"identity" : "swift-docc-plugin",
"requirement" : {
"range" : [
{
"lower_bound" : "1.4.6",
"upper_bound" : "2.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/swiftlang/swift-docc-plugin"
},
{
"identity" : "swift-issue-reporting",
"requirement" : {
"range" : [
{
"lower_bound" : "2.1.1",
"upper_bound" : "3.0.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/pointfreeco/swift-issue-reporting"
},
{
"identity" : "swift-custom-dump",
"requirement" : {
"exact" : [
"1.7.3"
]
},
"type" : "sourceControl",
"url" : "https://github.com/pointfreeco/swift-custom-dump"
}
],
"manifest_display_name" : "Exhaust",
"name" : "Exhaust",
"path" : "/host/spi-builder-workspace",
"platforms" : [
{
"name" : "macos",
"version" : "12.0"
},
{
"name" : "ios",
"version" : "15.0"
},
{
"name" : "maccatalyst",
"version" : "15.0"
},
{
"name" : "tvos",
"version" : "15.0"
},
{
"name" : "watchos",
"version" : "9.0"
},
{
"name" : "visionos",
"version" : "1.0"
}
],
"products" : [
{
"name" : "Explore",
"targets" : [
"Explore"
],
"type" : {
"plugin" : null
}
},
{
"name" : "ExhaustFuzzRuntime",
"targets" : [
"ExhaustCore"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "ExhaustFuzzTestSupport",
"targets" : [
"ExhaustFuzzTestSupport"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "Exhaust",
"targets" : [
"Exhaust"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "ExhaustGenerators",
"targets" : [
"ExhaustGenerators"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "Exhaustable",
"targets" : [
"Exhaustable"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "ExhaustMetaFuzz",
"targets" : [
"ExhaustMetaFuzz"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "ExhaustCore",
"targets" : [
"ExhaustCore"
],
"type" : {
"library" : [
"automatic"
]
}
},
{
"name" : "ExhaustStackProbe",
"targets" : [
"ExhaustStackProbe"
],
"type" : {
"executable" : null
}
},
{
"name" : "ExhaustExploreCommand",
"targets" : [
"ExhaustExploreCommand"
],
"type" : {
"executable" : null
}
},
{
"name" : "ExhaustBenchmarks",
"targets" : [
"ExhaustBenchmarks"
],
"type" : {
"executable" : null
}
}
],
"targets" : [
{
"c99name" : "Explore",
"module_type" : "PluginTarget",
"name" : "Explore",
"path" : "Plugins/Explore",
"plugin_capability" : {
"intent" : {
"description" : "Build selected root targets with coverage instrumentation and run tests",
"type" : "custom",
"verb" : "explore"
},
"permissions" : [
],
"type" : "command"
},
"product_memberships" : [
"Explore"
],
"sources" : [
"Explore.swift"
],
"target_dependencies" : [
"ExhaustExploreCommand"
],
"type" : "plugin"
},
{
"c99name" : "Exhaustable",
"module_type" : "SwiftTarget",
"name" : "Exhaustable",
"path" : "Sources/Exhaustable",
"product_dependencies" : [
"ExhaustMacroPlugin"
],
"product_memberships" : [
"Exhaust",
"ExhaustGenerators",
"Exhaustable",
"ExhaustBenchmarks"
],
"sources" : [
"Exhaustable.swift",
"ExhaustableDomain.swift",
"ExhaustableSettings.swift"
],
"type" : "library"
},
{
"c99name" : "ExhaustTests",
"module_type" : "SwiftTarget",
"name" : "ExhaustTests",
"path" : "Tests/ExhaustTests",
"product_dependencies" : [
"IssueReportingTestSupport"
],
"sources" : [
"Analysis/ExhaustiveVerdictTests.swift",
"Analysis/LargeDomainScreeningIntegrationTests.swift",
"Challenges/Experimental/BoundStringDependency.swift",
"Challenges/Experimental/CoupledZigzag.swift",
"Challenges/Experimental/DepthSixProductSequence.swift",
"Challenges/Experimental/FastCheckDichotomy.swift",
"Challenges/Experimental/GraphColoring.swift",
"Challenges/Experimental/NashGapValidation.swift",
"Challenges/Experimental/NestedBindSequenceMinimumTests.swift",
"Challenges/Experimental/Palindrome.swift",
"Challenges/Experimental/ReducerStressTests.swift",
"Challenges/Experimental/Replacement.swift",
"Challenges/Experimental/SparseModularZigzag.swift",
"Challenges/Experimental/StackDepthProbe.swift",
"Challenges/Experimental/StrictlyIncreasingRun.swift",
"Challenges/Experimental/StringAnagram.swift",
"Challenges/Experimental/StructuralPathological.swift",
"Challenges/Shrinking/BinaryHeap.swift",
"Challenges/Shrinking/Bound5.swift",
"Challenges/Shrinking/Calculator.swift",
"Challenges/Shrinking/Coupling.swift",
"Challenges/Shrinking/Deletion.swift",
"Challenges/Shrinking/Difference.swift",
"Challenges/Shrinking/Distinct.swift",
"Challenges/Shrinking/LargeUnionList.swift",
"Challenges/Shrinking/LengthList.swift",
"Challenges/Shrinking/NestedLists.swift",
"Challenges/Shrinking/Parser.swift",
"Challenges/Shrinking/Reverse.swift",
"Challenges/Shrinking/ScalingVariants.swift",
"Constraints/BindInnerFilterTests.swift",
"Constraints/ConstraintViolationTests.swift",
"Constraints/PropertyFilterTests.swift",
"Constraints/UniqueTuningIntegrationTests.swift",
"Constraints/ValidationTests.swift",
"ExploreReportTests.swift",
"Fixtures/BST.swift",
"Fixtures/BinaryHeapFixture.swift",
"Fixtures/Bound5Fixture.swift",
"Fixtures/CalculatorFixture.swift",
"Fixtures/DerivationTestHelpers.swift",
"Fixtures/ExploreTimeCoreFixture.swift",
"Fixtures/FuzzCampaignFixture.swift",
"Fixtures/GeneratorRecordingHelpers.swift",
"Fixtures/ParserFixture.swift",
"Fuzz/AsyncSequentialBridgeTests.swift",
"Fuzz/ComparisonInjectionPropertyTests.swift",
"Fuzz/ComparisonInjectionRuntimeTests.swift",
"Fuzz/CoverageGuidedReviewTests.swift",
"Fuzz/CoverageRegistrySuite.swift",
"Fuzz/CoverageSourceSelectionTests.swift",
"Fuzz/ExploreCommandBudgetTests.swift",
"Fuzz/ExploreSpecTimeRuntimeTests.swift",
"Fuzz/ExploreTimeResumeTests.swift",
"Fuzz/ExploreTimeRuntimeTests.swift",
"Fuzz/FaultInventoryRestoreTests.swift",
"Fuzz/FuzzAttachmentTests.swift",
"Fuzz/FuzzCampaignMacroTests.swift",
"Fuzz/FuzzCampaignReportingTests.swift",
"Fuzz/FuzzCorpusLifecycleTests.swift",
"Fuzz/FuzzNormalizerTests.swift",
"Fuzz/FuzzPersistenceReservationTests.swift",
"Fuzz/FuzzRunnerTests.swift",
"Fuzz/GraphMutationRunTests.swift",
"Fuzz/InconclusiveAttemptTests.swift",
"Fuzz/SancovRuntimeTests.swift",
"Fuzz/SancovSymbolizerTests.swift",
"Fuzz/ScreeningContinuationTests.swift",
"Fuzz/TracePCGuardCoverageSourceTests.swift",
"GeneratorSynthesisArchitecturalReviewTests.swift",
"GeneratorSynthesizerCrashSafetyTests.swift",
"GeneratorSynthesizerTests.swift",
"Generators/CachingBindTests.swift",
"Generators/DateDSTPropertyTests.swift",
"Generators/DateGeneratorTests.swift",
"Generators/DateLargeDomainCoverageAnalysisTests.swift",
"Generators/DecimalGeneratorTests.swift",
"Generators/DerivationTradeoffTests.swift",
"Generators/DerivedContainerScreeningCoverageTests.swift",
"Generators/DerivedDepthControlTests.swift",
"Generators/DerivedExactAllowanceTests.swift",
"Generators/DerivedGeneratorAPITests.swift",
"Generators/DerivedReflectionCapabilityTests.swift",
"Generators/DerivedScreeningParityTests.swift",
"Generators/EachOfGeneratorTests.swift",
"Generators/ExhaustableDeclarationTests.swift",
"Generators/ExhaustableDomainTests.swift",
"Generators/GeneratorDerivationPlanTests.swift",
"Generators/GeneratorDerivationTests.swift",
"Generators/GeneratorFingerprintTests.swift",
"Generators/GeneratorNodeBudgetTests.swift",
"Generators/GeneratorReflectivityPropagationTests.swift",
"Generators/GenericDerivationTests.swift",
"Generators/LargeDomainBudgetTests.swift",
"Generators/LargeNumericGeneratorTests.swift",
"Generators/LazyGeneratorTests.swift",
"Generators/NewGeneratorTests.swift",
"Generators/PublicGeneratorAPIReviewTests.swift",
"Generators/SIMDGeneratorTests.swift",
"Generators/UUIDGeneratorTests.swift",
"Integration/BoundRangeShortlexRegressionTests.swift",
"Integration/BranchPivotReductionTests.swift",
"Integration/BranchTransplantReductionTests.swift",
"Integration/CGSBindBoundaryTests.swift",
"Integration/ConcurrencySafetyTests.swift",
"Integration/ConstantArmReencodingTests.swift",
"Integration/ExhaustClosureShapeTests.swift",
"Integration/ExhaustReportTests.swift",
"Integration/ExploreClosureShapeTests.swift",
"Integration/ExploreTransactionTests.swift",
"Integration/ExploreVsExhaustTests.swift",
"Integration/GenerateMacroIntegrationTests.swift",
"Integration/GeneratorTuningIntegrationTests.swift",
"Integration/IssueReportingIntegrationTests.swift",
"Integration/MetamorphTests.swift",
"Integration/NestedBindCompositionTests.swift",
"Integration/ParallelExploreTests.swift",
"Integration/ParallelGenerationTests.swift",
"Integration/PipelineDeadlineTests.swift",
"Integration/PositionRelativeReductionTests.swift",
"Integration/RecurringZipReductionTests.swift",
"Integration/ReducerReduceValuesIntegrationTests.swift",
"Integration/ReductionMaterializationCountTests.swift",
"Integration/ScreeningBudgetTests.swift",
"Integration/StagedJointSearchTests.swift",
"Integration/StateMachine/ALUTests.swift",
"Integration/StateMachine/AsyncStateMachineTests.swift",
"Integration/StateMachine/BudgetAffordabilityTests.swift",
"Integration/StateMachine/BuggyCounterTests.swift",
"Integration/StateMachine/CircularQueueTests.swift",
"Integration/StateMachine/Concurrent/ActorSystemUnderTestTasksTests.swift",
"Integration/StateMachine/Concurrent/AllSkipConcurrentTests.swift",
"Integration/StateMachine/Concurrent/AtomicCounterConcurrentTests.swift",
"Integration/StateMachine/Concurrent/CooperativeSchedulerTests.swift",
"Integration/StateMachine/Concurrent/DetectionBoundaryConcurrentTests.swift",
"Integration/StateMachine/Concurrent/IdleTimeoutConcurrentTests.swift",
"Integration/StateMachine/Concurrent/LeakyBucketConcurrentTests.swift",
"Integration/StateMachine/Concurrent/NonAtomicCounterConcurrentTests.swift",
"Integration/StateMachine/Concurrent/TasksEquivalenceTests.swift",
"Integration/StateMachine/Concurrent/TasksQuiescenceGateTests.swift",
"Integration/StateMachine/Concurrent/TasksResponseRecordingTests.swift",
"Integration/StateMachine/EstimateCommandLimitTests.swift",
"Integration/StateMachine/ExamGraderTests.swift",
"Integration/StateMachine/ExecuteDeadlineTests.swift",
"Integration/StateMachine/GeneratorErrorSurfacingTests.swift",
"Integration/StateMachine/HeapMergeTests.swift",
"Integration/StateMachine/InvariantOnlyTests.swift",
"Integration/StateMachine/KVStoreLifecycleTests.swift",
"Integration/StateMachine/MultiInvariantTests.swift",
"Integration/StateMachine/MultiModelTests.swift",
"Integration/StateMachine/PostconditionTests.swift",
"Integration/StateMachine/Preemptive/PreemptiveAsyncFacadeTests.swift",
"Integration/StateMachine/Preemptive/PreemptiveAsyncLoweHashMapTests.swift",
"Integration/StateMachine/Preemptive/PreemptiveAsyncOracleTests.swift",
"Integration/StateMachine/Preemptive/PreemptiveCCCRParityTests.swift",
"Integration/StateMachine/Preemptive/PreemptiveCommandFailureTests.swift",
"Integration/StateMachine/Preemptive/PreemptiveHerlihyQueueTests.swift",
"Integration/StateMachine/Preemptive/PreemptiveLastWriterWinsTests.swift",
"Integration/StateMachine/Preemptive/PreemptiveLoweHashMapTests.swift",
"Integration/StateMachine/Preemptive/PreemptiveNonAtomicCounterTests.swift",
"Integration/StateMachine/Preemptive/PreemptiveObjCExceptionTests.swift",
"Integration/StateMachine/Preemptive/PreemptiveRacyAccountTests.swift",
"Integration/StateMachine/Preemptive/PreemptiveReplayInvariantTests.swift",
"Integration/StateMachine/Preemptive/PreemptiveResponseOnlyGhostTests.swift",
"Integration/StateMachine/Preemptive/PreemptiveSmokeTestTests.swift",
"Integration/StateMachine/RegressionSeedTests.swift",
"Integration/StateMachine/SetupGeneratorTests.swift",
"Integration/StateMachine/SetupScreeningTests.swift",
"Integration/StateMachine/SpecMachineTests.swift",
"Integration/StateMachine/StackTests.swift",
"Integration/StateMachine/StateMachineReductionEligibilityTests.swift",
"Integration/StateMachine/StateMachineReplayTests.swift",
"Integration/StateMachine/Types/LeakyBucket.swift",
"Integration/StateMachine/Types/NarrowRaceCounter.swift",
"Integration/StateMachine/Types/NonAtomicCounter.swift",
"Integration/StateMachine/Types/ThreadSafeCounter.swift",
"Integration/SwiftTestingIntegrationTests.swift",
"Integration/XCTestIntegrationTests.swift",
"Integration/XCTestIssueReportingTests.swift",
"LaneGateTests.swift",
"Parity/AdvancedCoupledScenariosTests.swift",
"Parity/FloatCancellationReductionTests.swift",
"Parity/HypothesisFloatParityFilterTests.swift",
"Parity/HypothesisFloatParityTests.swift",
"Parity/HypothesisFloatShrinkingParityTests.swift",
"Parity/HypothesisShrinkQualityParityTests.swift",
"PointlessRunAndSkipTests.swift",
"PublicAPI/AdvancedFeatureTests.swift",
"PublicAPI/AnyNonNilCombinatorTests.swift",
"PublicAPI/CompositionTests.swift",
"PublicAPI/ConvenienceOverloadTests.swift",
"PublicAPI/DedupePropertyTests.swift",
"PublicAPI/ExamineCoverageTests.swift",
"PublicAPI/ExamineFirstPartyGeneratorsTests.swift",
"PublicAPI/ExamineOptionalReflectionTests.swift",
"PublicAPI/ExamineTests.swift",
"PublicAPI/ExampleSeedParityTests.swift",
"PublicAPI/MetamorphCombinatorTests.swift",
"PublicAPI/OptionalFactoryTests.swift",
"PublicAPI/RecursiveDepthReflectionTests.swift",
"PublicAPI/ReductionDiagnosticTests.swift",
"PublicAPI/ReflectReplacingZipComponentTests.swift",
"PublicAPI/SampleTests.swift",
"PublicAPI/UnfoldTests.swift",
"ReplayStability/ReplayCorpusEntries.swift",
"ReplayStability/ReplayCorpusMaterializerEntries.swift",
"ReplayStability/ReplayCorpusScreeningCoverage.swift",
"ReplayStability/ReplayCorpusTests.swift",
"RunLedgerPropertyTests.swift",
"StructuralEqualityReflexivityTests.swift",
"Support/DateTestRanges.swift",
"Support/DirectTestingIssues.swift",
"Support/PropertyTestPhase.swift",
"UnobservedAssertionTests.swift"
],
"target_dependencies" : [
"Exhaust",
"ExhaustCore",
"ExhaustSupport",
"ExhaustTestSupport"
],
"type" : "test"
},
{
"c99name" : "ExhaustTestSupport",
"module_type" : "SwiftTarget",
"name" : "ExhaustTestSupport",
"path" : "Sources/ExhaustTestSupport",
"product_dependencies" : [
"IssueReporting"
],
"sources" : [
"Fixtures/BST.swift",
"Fixtures/ChoiceTreeGenerators.swift",
"Fixtures/JSONValue.swift",
"Helpers/AnalyzeLargeDomain.swift",
"Helpers/ChoiceTreeBuilders.swift",
"Helpers/ExhaustCheck.swift",
"Helpers/FindMinimalCounterexample.swift",
"Helpers/Generate.swift",
"Helpers/RandomStreamParity.swift",
"Helpers/RecordingIssueReporter.swift",
"Helpers/ReduceFromReflection.swift",
"Helpers/ReflectionExpectations.swift",
"Helpers/RoundTrip.swift",
"Helpers/ValidateGenerator.swift",
"Reexports.swift",
"Tags.swift"
],
"target_dependencies" : [
"ExhaustCore",
"ExhaustMetaFuzz"
],
"type" : "library"
},
{
"c99name" : "ExhaustSupport",
"module_type" : "SwiftTarget",
"name" : "ExhaustSupport",
"path" : "Sources/ExhaustSupport",
"product_memberships" : [
"Explore",
"Exhaust",
"ExhaustExploreCommand",
"ExhaustBenchmarks"
],
"sources" : [
"CampaignEvent.swift",
"CampaignRecord.swift",
"CampaignRunEvents.swift",
"CampaignTypes.swift",
"CampaignWire.swift",
"CampaignWireReport.swift",
"FileLock.swift",
"StableHash.swift"
],
"type" : "library"
},
{
"c99name" : "ExhaustStackProbe",
"module_type" : "SwiftTarget",
"name" : "ExhaustStackProbe",
"path" : "Sources/ExhaustStackProbe",
"product_memberships" : [
"ExhaustStackProbe"
],
"sources" : [
"main.swift"
],
"target_dependencies" : [
"ExhaustCore"
],
"type" : "executable"
},
{
"c99name" : "ExhaustObjCSupport",
"module_type" : "ClangTarget",
"name" : "ExhaustObjCSupport",
"path" : "Sources/ExhaustObjCSupport",
"product_memberships" : [
"ExhaustFuzzRuntime",
"Exhaust",
"ExhaustGenerators",
"ExhaustMetaFuzz",
"ExhaustCore",
"ExhaustStackProbe",
"ExhaustBenchmarks"
],
"sources" : [
"ExhaustObjCSupport.m"
],
"type" : "library"
},
{
"c99name" : "ExhaustMetaFuzz",
"module_type" : "SwiftTarget",
"name" : "ExhaustMetaFuzz",
"path" : "Sources/ExhaustMetaFuzz",
"product_memberships" : [
"ExhaustMetaFuzz",
"ExhaustBenchmarks"
],
"sources" : [
"CoreGenerators.swift",
"GenRecipe+ScreeningExpectation.swift",
"GenRecipe.swift",
"MetaFuzzCase.swift",
"MetaFuzzFreeze.swift",
"MetaFuzzOperationFixtures.swift",
"MetaFuzzOracles.swift",
"MetaFuzzScreeningOracles.swift",
"RecipeBuilder.swift",
"RecipeGenerator.swift"
],
"target_dependencies" : [
"ExhaustCore"
],
"type" : "library"
},
{
"c99name" : "ExhaustGenerators",
"module_type" : "SwiftTarget",
"name" : "ExhaustGenerators",
"path" : "Sources/ExhaustGenerators",
"product_dependencies" : [
"ExhaustMacroPlugin",
"IssueReporting"
],
"product_memberships" : [
"Exhaust",
"ExhaustGenerators",
"ExhaustBenchmarks"
],
"sources" : [
"BudgetedGeneratorDerivation.swift",
"DefaultGenerable+Domain.swift",
"DefaultGenerable.swift",
"DerivedContainer.swift",
"GeneratorAPI/LengthConversion.swift",
"GeneratorAPI/ReflectiveGenerator+AnyNonNil.swift",
"GeneratorAPI/ReflectiveGenerator+Collections.swift",
"GeneratorAPI/ReflectiveGenerator+Data.swift",
"GeneratorAPI/ReflectiveGenerator+Date.swift",
"GeneratorAPI/ReflectiveGenerator+Decimal.swift",
"GeneratorAPI/ReflectiveGenerator+Filter.swift",
"GeneratorAPI/ReflectiveGenerator+LargeNumericGenerators.swift",
"GeneratorAPI/ReflectiveGenerator+NumericGenerators.swift",
"GeneratorAPI/ReflectiveGenerator+Range.swift",
"GeneratorAPI/ReflectiveGenerator+SIMD.swift",
"GeneratorAPI/ReflectiveGenerator+Strings.swift",
"GeneratorAPI/ReflectiveGenerator+URL.swift",
"GeneratorAPI/ReflectiveGenerator+UUID.swift",
"GeneratorDerivationPlan.swift",
"GeneratorNodeBudget.swift",
"GeneratorSynthesizer+Runtime.swift",
"Macro+Generate.swift",
"Reexports.swift",
"ReflectiveGenerator+Derived.swift",
"Reporting.swift",
"SizeIndexedLayers.swift"
],
"target_dependencies" : [
"ExhaustCore",
"Exhaustable"
],
"type" : "library"
},
{
"c99name" : "ExhaustFuzzTestSupport",
"module_type" : "SwiftTarget",
"name" : "ExhaustFuzzTestSupport",
"path" : "Sources/ExhaustFuzzTestSupport",
"product_dependencies" : [
"IssueReportingTestSupport"
],
"product_memberships" : [
"ExhaustFuzzTestSupport"
],
"sources" : [
"ExhaustFuzzTestSupport.swift"
],
"type" : "library"
},
{
"c99name" : "ExhaustExploreCommandTests",
"module_type" : "SwiftTarget",
"name" : "ExhaustExploreCommandTests",
"path" : "Tests/ExhaustExploreCommandTests",
"sources" : [
"CampaignCollectionTests.swift",
"CampaignReportsFixtures.swift",
"CampaignReportsTests.swift",
"CampaignWireFormatTests.swift",
"CampaignWirePropertyTests.swift",
"ExploreCommandTests.swift"
],
"target_dependencies" : [
"ExhaustExploreCommand",
"Exhaust",
"ExhaustSupport"
],
"type" : "test"
},
{
"c99name" : "ExhaustExploreCommand",
"module_type" : "SwiftTarget",
"name" : "ExhaustExploreCommand",
"path" : "Sources/ExhaustExploreCommand",
"product_memberships" : [
"Explore",
"ExhaustExploreCommand"
],
"sources" : [
"CampaignEvents.swift",
"CampaignModels.swift",
"CampaignPaths.swift",
"CampaignPlan.swift",
"CampaignReports.swift",
"CommandRunner.swift",
"ExploreCommand.swift",
"Invocation.swift",
"ManifestHook.swift",
"Options.swift",
"PackageMetadata.swift",
"PlatformPaths.swift"
],
"target_dependencies" : [
"ExhaustSupport"
],
"type" : "executable"
},
{
"c99name" : "ExhaustCoverageRuntime",
"module_type" : "ClangTarget",
"name" : "ExhaustCoverageRuntime",
"path" : "Sources/ExhaustCoverageRuntime",
"product_memberships" : [
"ExhaustFuzzRuntime",
"Exhaust",
"ExhaustGenerators",
"ExhaustMetaFuzz",
"ExhaustCore",
"ExhaustStackProbe",
"ExhaustBenchmarks"
],
"sources" : [
"ExhaustCoverageRuntime.c"
],
"type" : "library"
},
{
"c99name" : "ExhaustCoreTests",
"module_type" : "SwiftTarget",
"name" : "ExhaustCoreTests",
"path" : "Tests/ExhaustCoreTests",
"sources" : [
"Analysis/BalancedCoveringArrayTests.swift",
"Analysis/CoveringArrayContractTests.swift",
"Analysis/LargeDomainAnalysisTests.swift",
"Analysis/LargeDomainCoveringArrayReplayTests.swift",
"Analysis/OpenPBTStatsTests.swift",
"Analysis/PullBasedCoveringArrayTests.swift",
"Analysis/SCAPipelineTests.swift",
"Analysis/SaturatingRowGeneratorTests.swift",
"Analysis/ScreeningElidedArmTests.swift",
"Analysis/ScreeningModelBudgetTests.swift",
"Analysis/ScreeningPhaseAccountingTests.swift",
"Analysis/ScreeningTraversalConsistencyTests.swift",
"ChoiceGradientSampling/ApproximationSafetyTests.swift",
"ChoiceGradientSampling/GeneratorTuningTests.swift",
"ChoiceGradientSampling/OnlineCGSInterpreterTests.swift",
"ChoiceGradientSampling/UniformCollapseTests.swift",
"Core/FreerMonadTests.swift",
"Core/HotPathLayoutTests.swift",
"Core/SourceFingerprintTests.swift",
"Exploration/CGSArrayTuningTests.swift",
"Exploration/CGSSubdivisionThresholdsTests.swift",
"Exploration/DirectedExploreAccountingTests.swift",
"Exploration/DirectedExploreRunnerTests.swift",
"Extensions/AnyEqualsTests.swift",
"Extensions/ClosedRangeChunkingTests.swift",
"Extensions/ReplaySeedPropertyTests.swift",
"Extensions/ReplaySeedTests.swift",
"Extensions/StructuralEqualityTests.swift",
"Fuzz/BitSetTests.swift",
"Fuzz/BreadcrumbSidecarTests.swift",
"Fuzz/ChampionArchiveTests.swift",
"Fuzz/ComparisonPoolTests.swift",
"Fuzz/ComparisonRingConcurrencyTests.swift",
"Fuzz/CoverageDiscriminationTests.swift",
"Fuzz/CoverageEstimatorTests.swift",
"Fuzz/CoverageGuidedRecoveryReviewTests.swift",
"Fuzz/DonorSpanBoundsTests.swift",
"Fuzz/ElementRunOperatorTests.swift",
"Fuzz/ElementTransplantTests.swift",
"Fuzz/FaultInventoryTests.swift",
"Fuzz/FuzzCorpusTests.swift",
"Fuzz/FuzzFailureLineageTests.swift",
"Fuzz/FuzzMutatorTests.swift",
"Fuzz/FuzzPersistenceTests.swift",
"Fuzz/FuzzRunnerTwoPhaseTests.swift",
"Fuzz/GraphMutationOperatorTests.swift",
"Fuzz/MutationArmTraceTests.swift",
"Fuzz/MutationBanditTests.swift",
"Fuzz/MutationTargetsTests.swift",
"Fuzz/OperandEnergyTableTests.swift",
"Fuzz/OperandReconstructableTests.swift",
"Fuzz/QueryReuseParityTests.swift",
"Fuzz/ReductionGateTests.swift",
"Fuzz/SeededRunArmCountTests.swift",
"Fuzz/SmallDomainEnumerationTests.swift",
"Fuzz/SwarmMaskTests.swift",
"Fuzz/SymptomPreservingReductionTests.swift",
"Fuzz/ValueHeadroomTests.swift",
"Fuzz/ValueReseedTests.swift",
"Generators/BacktrackTests.swift",
"Generators/BitPatternConvertibleTests.swift",
"Generators/CharacterSetRangeExtractionTests.swift",
"Generators/ChooseBitsSamplingBoundsTests.swift",
"Generators/CollectionGeneratorTests.swift",
"Generators/CoreGeneratorTests.swift",
"Generators/Float16EmulationTests.swift",
"Generators/FloatScalingTests.swift",
"Generators/FoundationGeneratorTests.swift",
"Generators/GeneratorCompositionEdgeCaseTests.swift",
"Generators/OneOfTests.swift",
"Generators/OptionalTests.swift",
"Generators/RecursiveOperationTests.swift",
"Generators/ReducibleGetSizeTests.swift",
"Generators/SizeScalingDistributionTests.swift",
"Generators/SizingGeneratorTests.swift",
"Generators/SliceCombinatorTests.swift",
"Generators/UniquenessConstraintTests.swift",
"Interpreters/AdaptiveSmoothingTests.swift",
"Interpreters/BindAwarenessTests.swift",
"Interpreters/BoundArrayShortlexRegressionTests.swift",
"Interpreters/ChoiceSequenceTests.swift",
"Interpreters/ChoiceTree+RepresentationComparison.swift",
"Interpreters/ChoiceTreeNormalizedScoresTests.swift",
"Interpreters/ChoiceTreeTests.swift",
"Interpreters/ChoiceTreeVisualizationTests.swift",
"Interpreters/ComplexityScalingTests.swift",
"Interpreters/DepthControlTests.swift",
"Interpreters/EditedChoiceSequenceTests.swift",
"Interpreters/FlattenFingerprintTests.swift",
"Interpreters/GenerationPurposeTests.swift",
"Interpreters/InterpreterFlatEmissionTests.swift",
"Interpreters/InterpreterRNGParityTests.swift",
"Interpreters/MaterializeEdgeCaseTests.swift",
"Interpreters/MaterializeTests.swift",
"Interpreters/MaterializerContextTests.swift",
"Interpreters/MaterializerCursorLagTests.swift",
"Interpreters/MaterializerLeafReuseTests.swift",
"Interpreters/MaterializerPrefixPickObservationTests.swift",
"Interpreters/MaterializerSequenceLengthTests.swift",
"Interpreters/MaterializerSourcesTests.swift",
"Interpreters/MaterializerTreeConstructionParityTests.swift",
"Interpreters/MaterializerValueReplacementTests.swift",
"Interpreters/MetamorphUniqueRegressionTests.swift",
"Interpreters/OffsetBatchReproducibilityTests.swift",
"Interpreters/ReductionMaterializerTests.swift",
"Interpreters/ReplayDeterminismTests.swift",
"Interpreters/ReproducibilityTests.swift",
"Interpreters/SemanticSimplestIntegrationTests.swift",
"Interpreters/ShortlexOrderingPropertyTests.swift",
"Interpreters/TerminalLiftSizeTests.swift",
"Interpreters/XoshiroTests.swift",
"Interpreters/ZipScopeRegressionTests.swift",
"MetaFuzz/MetaFuzzFreezeTests.swift",
"MetaFuzz/MetaFuzzOracleTests.swift",
"MetaFuzz/MetaFuzzScreeningOracleTests.swift",
"MetaFuzz/MetaFuzzSizeScreeningTests.swift",
"MetaFuzz/PairedValueOracleTests.swift",
"MetaGenerator/ChoiceGraphBindBuildPropertyTests.swift",
"MetaGenerator/ChoiceGraphPropertyTests.swift",
"MetaGenerator/MetaGeneratorPropertyTests+ExactReplay.swift",
"MetaGenerator/MetaGeneratorPropertyTests+KindColumns.swift",
"MetaGenerator/MetaGeneratorPropertyTests+Laws.swift",
"MetaGenerator/MetaGeneratorPropertyTests+Reduction.swift",
"MetaGenerator/MetaGeneratorPropertyTests+Scenarios.swift",
"MetaGenerator/MetaGeneratorPropertyTests.swift",
"MetaGenerator/MetaGeneratorSupport.swift",
"Property/PropertyTests.swift",
"Reduction/ChoiceGraph/ChoiceGraphBindLookupTests.swift",
"Reduction/ChoiceGraph/ChoiceGraphClassificationTests.swift",
"Reduction/ChoiceGraph/ChoiceGraphDiffTests.swift",
"Reduction/ChoiceGraph/ChoiceGraphReconcilingTests.swift",
"Reduction/ChoiceGraph/ChoiceGraphTests.swift",
"Reduction/ChoiceGraph/ChoicePathTests.swift",
"Reduction/ChoiceGraph/ChoiceTreeLeafMappingTests.swift",
"Reduction/ChoiceGraph/ConstantArmReencoderTests.swift",
"Reduction/ChoiceGraph/ConvergenceTransferTests.swift",
"Reduction/ChoiceGraph/GraphReachabilityTests.swift",
"Reduction/ChoiceGraph/IntermediateBindGraphTests.swift",
"Reduction/Integration/BindPivotEncoderTests.swift",
"Reduction/Integration/CharacterSimplificationTests.swift",
"Reduction/Integration/CoveringAlignedRemovalBudgetTests.swift",
"Reduction/Integration/FloatShortlexTests.swift",
"Reduction/Integration/HigherOrderCouplingChallengeTests.swift",
"Reduction/Integration/ImprovingPivotRelaxTests.swift",
"Reduction/Integration/LaneCollapseEncoderTests.swift",
"Reduction/Integration/PassiveBindClassificationRegressionTests.swift",
"Reduction/Integration/ReducerFloatShrinkingTests.swift",
"Reduction/Integration/ReducerIntegrationTests.swift",
"Reduction/Integration/ReducerReduceValuesTests.swift",
"Reduction/Integration/ReducerRegressionTests.swift",
"Reduction/Integration/ReducerReorderTests.swift",
"Reduction/Integration/ReducerSimplifyValuesTests.swift",
"Reduction/Integration/ReductionPropertyTests.swift",
"Reduction/Interpreter/CandidateEvaluatorTests.swift",
"Reduction/Interpreter/CandidateRepresentationTests.swift",
"Reduction/Interpreter/DecodingReportTests.swift",
"Reduction/Interpreter/DiagonalSchedulingTests.swift",
"Reduction/Interpreter/GraphUpdatePolicyTests.swift",
"Reduction/Interpreter/JustArmBindZipExactDecodeTests.swift",
"Reduction/Interpreter/LazyZipExactDecodeTests.swift",
"Reduction/Interpreter/LiftContextTests.swift",
"Reduction/Interpreter/ProbeCacheAdmissionTests.swift",
"Reduction/Interpreter/PropertyPassCacheTests.swift",
"Reduction/Interpreter/ReducerTests.swift",
"Reduction/Interpreter/ReductionDecoderSelectionTests.swift",
"Reduction/Interpreter/SequenceDecoderInvariantTests.swift",
"Reduction/Queries/ChoiceGraphScopeQueryTests.swift",
"Reduction/Queries/ExchangePairCursorTests.swift",
"Reduction/Queries/PermutationScopeCoverageTests.swift",
"Reduction/Queries/PositionRelativeQueryTests.swift",
"Reduction/Queries/QuerySubsystemTests.swift",
"Reduction/Queries/RecurringZipQueryTests.swift",
"Reduction/Queries/RelationPairCursorTests.swift",
"Reduction/Queries/ReplacementReachabilityTests.swift",
"Reduction/Queries/StructuralReplacementTests.swift",
"Reduction/Queries/TreeDeletionStreamingTests.swift",
"Reduction/Runner/BindCompositionSchedulingTests.swift",
"Reduction/Runner/BindControllerSchedulingTests.swift",
"Reduction/Runner/CursorDifferentialTests.swift",
"Reduction/Runner/DispatchLogTests.swift",
"Reduction/Runner/EnabledEncoderFilterTests.swift",
"Reduction/Runner/ImprovingPivotCursorTests.swift",
"Reduction/Runner/PostCycleInvalidationTests.swift",
"Reduction/Runner/PostCycleRecoveryTests.swift",
"Reduction/Runner/PostCycleSchedulingTests.swift",
"Reduction/Runner/ReductionDeadlineTests.swift",
"Reduction/Runner/ReductionEntryPointTests.swift",
"Reduction/Runner/SchedulerDecisionTests.swift",
"Reduction/Runner/ScopeSourceDifferentialTests.swift",
"Reduction/Runner/ScopeSourceReachabilityTests.swift",
"Reduction/Runner/ScopeSourceSchedulingTests.swift",
"Reduction/Runner/SequenceConstraintInvalidationTests.swift",
"Reduction/Searches/BoundExchangeEncoderTests.swift",
"Reduction/Searches/BranchTransplantFillTests.swift",
"Reduction/Searches/CoveringRowsTests.swift",
"Reduction/Searches/FloatSearchTests.swift",
"Reduction/Searches/IntegerSearchTests.swift",
"Reduction/Searches/LeafProposalCursorTests.swift",
"Reduction/Searches/NumericCommonDivisorTests.swift",
"Reduction/Searches/NumericJointRankEnumerationTests.swift",
"Reduction/Searches/NumericPairSearchTests.swift",
"Reduction/Searches/ProposalCursorTests.swift",
"Reduction/Searches/RedistributionBoundaryTests.swift",
"Reduction/Searches/RedistributionConservationPropertyTests.swift",
"Reduction/Searches/RedistributionRationalMathTests.swift",
"Reduction/Searches/RelationSearchTests.swift",
"Reduction/Searches/SearchStepperTests.swift",
"Reduction/Searches/StagedJointEncoderTests.swift",
"Reduction/Searches/StagedJointSearchTests.swift",
"Reduction/Searches/StagedJointSparseProbeTests.swift",
"Reduction/Searches/ValueSearchLazyProbeTests.swift",
"Reduction/Support/EagerExchangeReference.swift",
"Reduction/Support/EagerScopeReference.swift",
"Reduction/Support/ExchangeScopeTestSupport.swift",
"Reduction/Support/MaterializedSearch.swift",
"Reduction/Support/ProbeTraceRecorder.swift",
"Reduction/Utilities/AdaptiveProbeTests.swift",
"Reduction/Utilities/BoundValueGateTests.swift",
"Reduction/Utilities/BoundValueTerminalOrderTests.swift",
"Reduction/Utilities/BoundedSortedBufferTests.swift",
"Reduction/Utilities/CouplingTrackerTests.swift",
"Reduction/Utilities/DispatchPriorityTests.swift",
"Reduction/Utilities/LeafCandidatesTests.swift",
"Reduction/Utilities/PositiveShortlexTests.swift",
"Reduction/Utilities/ScopeCursorTests.swift",
"Reduction/Utilities/SequencePatchTests.swift",
"Reduction/Utilities/ShortlexKeyTests.swift",
"Reduction/Utilities/SignFlipProposalTests.swift",
"Reduction/Utilities/ZobristHashPropertyTests.swift",
"Reduction/Utilities/ZobristHashTests.swift",
"Reflection/EmptyPickReflectionTests.swift",
"Reflection/ForwardOnlyReflectionTests.swift",
"Reflection/GeneratorReflectivityTests.swift",
"Reflection/MetamorphReflectionTests.swift",
"Reflection/ReflectAndFlattenTests.swift",
"Reflection/ReflectionRepresentationTests.swift",
"Reflection/ResizeReflectionTests.swift",
"StateMachine/ChoiceTreeCommandSegmentsTests.swift",
"StateMachine/ConcurrentFailureRenderingTests.swift",
"StateMachine/ConcurrentTraceTests.swift",
"StateMachine/LaneRendezvousTests.swift",
"StateMachine/LinearizabilityCheckerTests.swift",
"StateMachine/LinearizabilitySearchBudgetTests.swift",
"Unicode17ScalarRangeTests.swift"
],
"target_dependencies" : [
"ExhaustCore",
"ExhaustTestSupport"
],
"type" : "test"
},
{
"c99name" : "ExhaustCore",
"module_type" : "SwiftTarget",
"name" : "ExhaustCore",
"path" : "Sources/ExhaustCore",
"product_memberships" : [
"ExhaustFuzzRuntime",
"Exhaust",
"ExhaustGenerators",
"ExhaustMetaFuzz",
"ExhaustCore",
"ExhaustStackProbe",
"ExhaustBenchmarks"
],
"sources" : [
"Analysis/BalancedCoveringArrayGenerator.swift",
"Analysis/ChoiceTree+Screening.swift",
"Analysis/ChoiceTreeAnalysis.swift",
"Analysis/CoveringArrayReplay.swift",
"Analysis/CoveringArrayRow.swift",
"Analysis/EnumerableDomainProfile.swift",
"Analysis/ExamineCoverageAnalysis.swift",
"Analysis/ExhaustiveRowGenerator.swift",
"Analysis/Generator+UnenumeratedChoice.swift",
"Analysis/LargeDomainAnalysis.swift",
"Analysis/PullBasedCoveringArray.swift",
"Analysis/SCAPipeline.swift",
"Analysis/SaturatingRowGenerator.swift",
"Analysis/ScreeningProfile.swift",
"Analysis/SequenceCoveringArray.swift",
"Conformances/FloatingPoint+BitPatternConvertible.swift",
"Conformances/Primitives+BitPatternConvertible.swift",
"Conformances/SynthesisGenerable+Collections.swift",
"Conformances/SynthesisGenerable+Foundation.swift",
"Conformances/SynthesisGenerable+Primitives.swift",
"Core/Combinators/FreerMonad/FreerMonad+PartialMonadicProfunctor.swift",
"Core/Combinators/Gen/Gen+Backtrack.swift",
"Core/Combinators/Gen/Gen+Choice.swift",
"Core/Combinators/Gen/Gen+Classify.swift",
"Core/Combinators/Gen/Gen+Collections.swift",
"Core/Combinators/Gen/Gen+Core.swift",
"Core/Combinators/Gen/Gen+Filter.swift",
"Core/Combinators/Gen/Gen+Foundation.swift",
"Core/Combinators/Gen/Gen+Optional.swift",
"Core/Combinators/Gen/Gen+Recursive.swift",
"Core/Combinators/Gen/Gen+Sizing.swift",
"Core/Combinators/Gen/Gen+Values.swift",
"Core/Combinators/Gen/Gen+Zip.swift",
"Core/Combinators/ReflectiveGenerator/ReflectiveGenerator+Alias.swift",
"Core/Combinators/ReflectiveGenerator/ReflectiveGenerator+Caching.swift",
"Core/Combinators/ReflectiveGenerator/ReflectiveGenerator+Classify.swift",
"Core/Combinators/ReflectiveGenerator/ReflectiveGenerator+Combinators.swift",
"Core/Combinators/ReflectiveGenerator/ReflectiveGenerator+Metamorph.swift",
"Core/Combinators/ReflectiveGenerator/ReflectiveGenerator+Miscellaneous.swift",
"Core/Combinators/ReflectiveGenerator/ReflectiveGenerator+Recursive.swift",
"Core/Combinators/ReflectiveGenerator/ReflectiveGenerator+Size.swift",
"Core/Combinators/ReflectiveGenerator/ReflectiveGenerator+Unfold.swift",
"Core/Combinators/ReflectiveGenerator/ReflectiveGenerator+Unique.swift",
"Core/Combinators/ReflectiveGenerator/ReflectiveGenerator.swift",
"Core/Combinators/ReflectiveGenerator/ReflectiveOperation.swift",
"Core/Extensions/ChoiceTree+Metadata.swift",
"Core/Extensions/ChoiceTree+Visualization.swift",
"Core/Extensions/ChoiceTree+Walk.swift",
"Core/Extensions/ChoiceValue+Strategies.swift",
"Core/Extensions/ClosedRange+Chunking.swift",
"Core/Extensions/Collection+Split.swift",
"Core/Extensions/Equatable.swift",
"Core/Extensions/FreerMonad+AssociatedRange.swift",
"Core/Extensions/NSLock+WithLocking.swift",
"Core/Extensions/ReflectiveGenerator+CustomDebugStringConvertible.swift",
"Core/Extensions/Sequence+FirstNonNil.swift",
"Core/Extensions/UInt64+AbsoluteDifference.swift",
"Core/Protocols/BitPatternConvertible.swift",
"Core/Protocols/SynthesisGenerable.swift",
"Core/Types/BranchData.swift",
"Core/Types/CharacterSimplifications.swift",
"Core/Types/ChoiceMetadata.swift",
"Core/Types/ChoiceSequence+Surgery.swift",
"Core/Types/ChoiceSequence.swift",
"Core/Types/ChoiceSequenceValue.swift",
"Core/Types/ChoiceTree.swift",
"Core/Types/ChoiceValue.swift",
"Core/Types/ChooseBitsScaling.swift",
"Core/Types/DateStride.swift",
"Core/Types/EditedChoiceSequence.swift",
"Core/Types/FilterType.swift",
"Core/Types/Float16Emulation.swift",
"Core/Types/FloatShortlex.swift",
"Core/Types/FreerMonad.swift",
"Core/Types/GeneratorError.swift",
"Core/Types/RangeSet.swift",
"Core/Types/ReplaySeed.swift",
"Core/Types/ScalarRangeSet.swift",
"Core/Types/SendableBox.swift",
"Core/Types/ShortlexOrder.swift",
"Core/Types/SizeScaling.swift",
"Core/Types/TypeTag.swift",
"Core/Types/UnfoldStep.swift",
"Core/Types/Unicode17Blocks.swift",
"Core/Types/UnicodeVersion.swift",
"Core/Types/Xoshiro.swift",
"Core/Types/__ExhaustRuntime.swift",
"Core/Utilities/AdaptiveProbe.swift",
"Core/Utilities/ChooseBitsBitPattern.swift",
"Core/Utilities/LaneGate.swift",
"Core/Utilities/MonotonicClock.swift",
"Core/Utilities/ObjCExceptionGuard.swift",
"Core/Utilities/Stopwatch.swift",
"Core/Utilities/StructuralEquality.swift",
"Core/Utilities/SyncAsyncBridge.swift",
"Core/Utilities/ZipComponents.swift",
"Core/Utilities/ZobristHash.swift",
"GeneratorSynthesis/ContainerShape.swift",
"GeneratorSynthesis/DiscoveryDecoder.swift",
"GeneratorSynthesis/ExampleDecoder.swift",
"GeneratorSynthesis/GeneratorSynthesizer.swift",
"GeneratorSynthesis/ReconstructingGenerator.swift",
"GeneratorSynthesis/SynthesisDiagnostics.swift",
"GeneratorSynthesis/SynthesizedCollections.swift",
"Interpreters/Adaptation/AdaptiveSmoothing.swift",
"Interpreters/Adaptation/CGSDerivativeInterpreter.swift",
"Interpreters/Adaptation/CGSSubdivisionThresholds.swift",
"Interpreters/Adaptation/ChoiceGradientTuner.swift",
"Interpreters/Adaptation/FitnessAccumulator.swift",
"Interpreters/Adaptation/GeneratorTuning+Handlers.swift",
"Interpreters/Adaptation/GeneratorTuning.swift",
"Interpreters/Adaptation/OnlineCGSInterpreter+Handlers.swift",
"Interpreters/Adaptation/OnlineCGSInterpreter.swift",
"Interpreters/Generation/ValueAndChoiceTreeInterpreter+ScreeningAnalysis.swift",
"Interpreters/Generation/ValueAndChoiceTreeInterpreter.swift",
"Interpreters/Generation/ValueInterpreter.swift",
"Interpreters/Interpreters.swift",
"Interpreters/Materialization/DecodingReport.swift",
"Interpreters/Materialization/MaterializationSources.swift",
"Interpreters/Materialization/Materializer+BranchHandlers.swift",
"Interpreters/Materialization/Materializer+CollectionHandlers.swift",
"Interpreters/Materialization/Materializer+Context.swift",
"Interpreters/Materialization/Materializer+Cursor.swift",
"Interpreters/Materialization/Materializer+GuidedLift.swift",
"Interpreters/Materialization/Materializer+Handlers.swift",
"Interpreters/Materialization/Materializer+ScalarBatch.swift",
"Interpreters/Materialization/Materializer.swift",
"Interpreters/Materialization/SequenceCeiling.swift",
"Interpreters/Reflection/Reflect+Operations.swift",
"Interpreters/Reflection/Reflect.swift",
"Interpreters/Reflection/ReflectionContext.swift",
"Interpreters/Reflection/ReflectionError.swift",
"Interpreters/Replay/Replay.swift",
"Interpreters/Shared/BacktrackAudition.swift",
"Interpreters/Shared/ExhaustIterator.swift",
"Interpreters/Shared/GenerationContext+Purpose.swift",
"Interpreters/Shared/GenerationContext.swift",
"Interpreters/Shared/InterpreterWrapperHandlers.swift",
"Interpreters/Shared/PickBranchResolution.swift",
"Interpreters/Shared/SharedInterpreterHelpers.swift",
"Interpreters/Shared/WeightedPickSelection.swift",
"Logging/ExhaustLog.swift",
"MacroInfrastructure/MirrorCombinators.swift",
"MacroInfrastructure/MirrorExtract.swift",
"Reduction/AnyEncoderScope.swift",
"Reduction/AttemptCursor.swift",
"Reduction/CandidateEvaluator.swift",
"Reduction/ChoiceGraph/BindClassification.swift",
"Reduction/ChoiceGraph/ChoiceGraph+BindLookup.swift",
"Reduction/ChoiceGraph/ChoiceGraph+Classification.swift",
"Reduction/ChoiceGraph/ChoiceGraph+Lifecycle.swift",
"Reduction/ChoiceGraph/ChoiceGraph+Queries.swift",
"Reduction/ChoiceGraph/ChoiceGraph+Reconciling.swift",
"Reduction/ChoiceGraph/ChoiceGraph+SubtreeExtraction.swift",
"Reduction/ChoiceGraph/ChoiceGraph.swift",
"Reduction/ChoiceGraph/ChoiceGraphBuilder+BindRooted.swift",
"Reduction/ChoiceGraph/ChoiceGraphBuilder.swift",
"Reduction/ChoiceGraph/ChoiceGraphDiff.swift",
"Reduction/ChoiceGraph/ChoiceGraphEdge.swift",
"Reduction/ChoiceGraph/ChoiceGraphNode.swift",
"Reduction/ChoiceGraph/ChoiceGraphStats.swift",
"Reduction/ChoiceGraph/ChoicePath.swift",
"Reduction/ChoiceGraph/ContainmentIndex.swift",
"Reduction/ChoiceGraph/DependencyReachability.swift",
"Reduction/ChoiceGraph/DependencyReachabilityCache.swift",
"Reduction/ChoiceGraph/GraphMutation.swift",
"Reduction/ChoiceGraph/TypeCompatibilityCursor.swift",
"Reduction/Encoders/BindPivotEncoder.swift",
"Reduction/Encoders/BoundExchangeEncoder.swift",
"Reduction/Encoders/BoundValueEncoder.swift",
"Reduction/Encoders/BranchPivotEncoder.swift",
"Reduction/Encoders/DepthCollapseEncoder.swift",
"Reduction/Encoders/FloatSearchEncoder.swift",
"Reduction/Encoders/LaneCollapseEncoder.swift",
"Reduction/Encoders/LockstepEncoder.swift",
"Reduction/Encoders/MigrationEncoder.swift",
"Reduction/Encoders/RedistributionEncoder.swift",
"Reduction/Encoders/RelationEncoder.swift",
"Reduction/Encoders/RemovalEncoder.swift",
"Reduction/Encoders/ReorderEncoder.swift",
"Reduction/Encoders/StagedJointEncoder.swift",
"Reduction/Encoders/SubstitutionEncoder.swift",
"Reduction/Encoders/SwapEncoder.swift",
"Reduction/Encoders/ValueSearchEncoder.swift",
"Reduction/ProbeWrapper.swift",
"Reduction/Queries/BindPayloadRegions.swift",
"Reduction/Queries/DepthCollapseQuery.swift",
"Reduction/Queries/ExchangeQuery.swift",
"Reduction/Queries/GeneratedRedistributionPairCursor.swift",
"Reduction/Queries/LaneCollapseQuery.swift",
"Reduction/Queries/MinimizationQuery.swift",
"Reduction/Queries/PermutationQuery.swift",
"Reduction/Queries/PositionRelativeQuery.swift",
"Reduction/Queries/QueryHelpers.swift",
"Reduction/Queries/RedistributionPairSummary.swift",
"Reduction/Queries/RelationPairCursor.swift",
"Reduction/Queries/RelationQuery.swift",
"Reduction/Queries/RemovalQuery.swift",
"Reduction/Queries/ReorderingQuery.swift",
"Reduction/Queries/ReplacementQuery.swift",
"Reduction/Queries/StagedJointQuery.swift",
"Reduction/Queries/TreeDeletionSelection.swift",
"Reduction/Reducer+AttemptPool.swift",
"Reduction/Reducer+Evaluation.swift",
"Reduction/Reducer.swift",
"Reduction/ReducerConfiguration.swift",
"Reduction/Reduction.swift",
"Reduction/ReductionDeadline.swift",
"Reduction/ReductionDecoder.swift",
"Reduction/ReductionEncoder.swift",
"Reduction/ReductionEntryPoints.swift",
"Reduction/ReductionResult.swift",
"Reduction/ReductionRunner.swift",
"Reduction/ReductionSearch.swift",
"Reduction/ReductionStats+Counts.swift",
"Reduction/ReductionStats.swift",
"Reduction/ReductionTuning.swift",
"Reduction/Runner/ImprovingPivotCursor.swift",
"Reduction/Runner/ReductionSession+Confirmation.swift",
"Reduction/Runner/ReductionSession+Convergence.swift",
"Reduction/Runner/ReductionSession+Diagnostics.swift",
"Reduction/Runner/ReductionSession+Dispatch.swift",
"Reduction/Runner/ReductionSession+Finalization.swift",
"Reduction/Runner/ReductionSession+PostCycle.swift",
"Reduction/Runner/ReductionSession+PostCycleEvaluation.swift",
"Reduction/Runner/ReductionSession+RelaxRound.swift",
"Reduction/Runner/ReductionSession+Timing.swift",
"Reduction/Runner/ReductionSession.swift",
"Reduction/Runner/RelaxCandidateCursor.swift",
"Reduction/Scopes/NumericPair.swift",
"Reduction/Scopes/TransformationScope.swift",
"Reduction/Searches/BinarySearch.swift",
"Reduction/Searches/CoveringAlignedRemovalSearch.swift",
"Reduction/Searches/CoveringSearch.swift",
"Reduction/Searches/FloatSearch+Probing.swift",
"Reduction/Searches/FloatSearch.swift",
"Reduction/Searches/IntegerSearch+Probing.swift",
"Reduction/Searches/IntegerSearch.swift",
"Reduction/Searches/LaneCollapseSearch.swift",
"Reduction/Searches/LeafMutationSource.swift",
"Reduction/Searches/LockstepSearch+Probing.swift",
"Reduction/Searches/LockstepSearch.swift",
"Reduction/Searches/NumericJointPlan.swift",
"Reduction/Searches/RedistributionSearch+Probing.swift",
"Reduction/Searches/RedistributionSearch+Ranking.swift",
"Reduction/Searches/RedistributionSearch+RationalMath.swift",
"Reduction/Searches/RedistributionSearch.swift",
"Reduction/Searches/RelationSearch.swift",
"Reduction/Searches/ReorderSearch.swift",
"Reduction/Searches/SingleCandidateSearch.swift",
"Reduction/Searches/StagedJointSearch.swift",
"Reduction/Searches/SwapSearch.swift",
"Reduction/Searches/WindowRemovalSearch.swift",
"Reduction/Sources/BatchRemovalSource.swift",
"Reduction/Sources/BatchedCrossSequenceRemovalSource.swift",
"Reduction/Sources/MigrationSource.swift",
"Reduction/Sources/ReplacementSource.swift",
"Reduction/Sources/ScopeSource.swift",
"Reduction/Sources/ScopeSources+Structural.swift",
"Reduction/Sources/ScopeSources.swift",
"Reduction/Utilities/BinarySearchStepper.swift",
"Reduction/Utilities/BoundExchangeProposalCursor.swift",
"Reduction/Utilities/BoundValueCompositionTypes.swift",
"Reduction/Utilities/BoundValueGate.swift",
"Reduction/Utilities/BoundValueTerminalOrder.swift",
"Reduction/Utilities/BoundedSortedBuffer.swift",
"Reduction/Utilities/ChoiceSequenceSplice.swift",
"Reduction/Utilities/ChoiceSequenceValue+BitPattern.swift",
"Reduction/Utilities/ConstantArmReencoder.swift",
"Reduction/Utilities/ConvergenceTypes.swift",
"Reduction/Utilities/CouplingTracker.swift",
"Reduction/Utilities/CoveringRepresentatives.swift",
"Reduction/Utilities/DecoderAdmission.swift",
"Reduction/Utilities/DirectionalStepper.swift",
"Reduction/Utilities/DispatchPriority.swift",
"Reduction/Utilities/EncoderName.swift",
"Reduction/Utilities/FindIntegerStepper.swift",
"Reduction/Utilities/FloatReduction+Precision.swift",
"Reduction/Utilities/FloatReduction.swift",
"Reduction/Utilities/InterpolationSearchStepper.swift",
"Reduction/Utilities/LeafCandidates.swift",
"Reduction/Utilities/LeafProposalCursor.swift",
"Reduction/Utilities/LiftedSearchTypes.swift",
"Reduction/Utilities/NumericCommonDivisorProposal.swift",
"Reduction/Utilities/NumericJointSearchCursor.swift",
"Reduction/Utilities/NumericPairCandidates.swift",
"Reduction/Utilities/NumericPairSearchCursor.swift",
"Reduction/Utilities/NumericPriorityProposal.swift",
"Reduction/Utilities/PivotCandidates.swift",
"Reduction/Utilities/PivotLeafFill.swift",
"Reduction/Utilities/ProbeCache.swift",
"Reduction/Utilities/ProbeObservation.swift",
"Reduction/Utilities/ReductionIntegerMath.swift",
"Reduction/Utilities/ReductionLeaf.swift",
"Reduction/Utilities/ReductionLog.swift",
"Reduction/Utilities/ScopeCursor.swift",
"Reduction/Utilities/ScopePriorityQueue.swift",
"Reduction/Utilities/SequenceDecoder.swift",
"Reduction/Utilities/SequencePatch.swift",
"Reduction/Utilities/SignFlipProposal.swift",
"Reduction/Utilities/StagedPairSearchCursor.swift",
"Reduction/Utilities/StructuralCandidates.swift",
"Reduction/Utilities/ValueEncoderState.swift",
"Runners/Exploration/CoOccurrenceMatrix.swift",
"Runners/Exploration/DirectedExploreRunner.swift",
"Runners/Exploration/ExploreReduction.swift",
"Runners/Exploration/ParallelExplore.swift",
"Runners/Fuzzing/ClusterKey.swift",
"Runners/Fuzzing/ComparisonPool.swift",
"Runners/Fuzzing/Coverage/BitSet.swift",
"Runners/Fuzzing/Coverage/ComparisonRuntime.swift",
"Runners/Fuzzing/Coverage/CoverageSource.swift",
"Runners/Fuzzing/Coverage/FuzzInstrumentationCheck.swift",
"Runners/Fuzzing/Coverage/HitCountBucket.swift",
"Runners/Fuzzing/Coverage/SancovRuntime.swift",
"Runners/Fuzzing/Coverage/Symbolization.swift",
"Runners/Fuzzing/Coverage/TracePCGuardCoverageSource+Testing.swift",
"Runners/Fuzzing/Coverage/TracePCGuardCoverageSource.swift",
"Runners/Fuzzing/CoverageDiscrimination.swift",
"Runners/Fuzzing/CoverageEstimators.swift",
"Runners/Fuzzing/FaultInventory.swift",
"Runners/Fuzzing/FuzzCorpus.swift",
"Runners/Fuzzing/FuzzFailureLineage.swift",
"Runners/Fuzzing/FuzzHashTables.swift",
"Runners/Fuzzing/FuzzMutator+GraphOperators.swift",
"Runners/Fuzzing/FuzzMutator.swift",
"Runners/Fuzzing/FuzzNormalizer.swift",
"Runners/Fuzzing/FuzzPhase.swift",
"Runners/Fuzzing/FuzzRunResult.swift",
"Runners/Fuzzing/FuzzRunner+FailureHandling.swift",
"Runners/Fuzzing/FuzzRunner+Injection.swift",
"Runners/Fuzzing/FuzzRunner+Mutation.swift",
"Runners/Fuzzing/FuzzRunner+Probes.swift",
"Runners/Fuzzing/FuzzRunner+Recovery.swift",
"Runners/Fuzzing/FuzzRunner+Termination.swift",
"Runners/Fuzzing/FuzzRunner.swift",
"Runners/Fuzzing/FuzzSession.swift",
"Runners/Fuzzing/FuzzTunables.swift",
"Runners/Fuzzing/MutationArmRepertoire.swift",
"Runners/Fuzzing/MutationArmTrace.swift",
"Runners/Fuzzing/MutationBandit.swift",
"Runners/Fuzzing/OperandReconstructable.swift",
"Runners/Fuzzing/Persistence/ChoiceSequenceCodec.swift",
"Runners/Fuzzing/Persistence/FuzzBreadcrumb.swift",
"Runners/Fuzzing/Persistence/FuzzPersistenceContext.swift",
"Runners/Fuzzing/Persistence/FuzzProgressDocument.swift",
"Runners/Fuzzing/Persistence/FuzzProgressStore.swift",
"Runners/Fuzzing/Persistence/FuzzProgressWriter.swift",
"Runners/Fuzzing/ReductionGate.swift",
"Runners/Fuzzing/SwarmMask.swift",
"Runners/Fuzzing/SyntheticCoverageSource.swift",
"Runners/Fuzzing/TypeTag+OperandEncoding.swift",
"Runners/Property/PropertyTestRunner.swift",
"Runners/Property/SamplingPhase.swift",
"Runners/Property/ScreeningPhase.swift",
"Runners/Property/SkipCounter.swift",
"Runners/StateMachine/ChoiceTree+CommandSegments.swift",
"Runners/StateMachine/ConcurrencyLevel.swift",
"Runners/StateMachine/ConcurrentSpecTunables.swift",
"Runners/StateMachine/Cooperative/ConcurrentSpecRunner.swift",
"Runners/StateMachine/Cooperative/CooperativeConcurrentStateMachineRunner+Equivalence.swift",
"Runners/StateMachine/Cooperative/CooperativeConcurrentStateMachineRunner+Generator.swift",
"Runners/StateMachine/Cooperative/CooperativeConcurrentStateMachineRunner+Helpers.swift",
"Runners/StateMachine/Cooperative/CooperativeMachine.swift",
"Runners/StateMachine/Cooperative/CooperativeStateMachineBackend.swift",
"Runners/StateMachine/ExecutionDisposition.swift",
"Runners/StateMachine/LanePartition.swift",
"Runners/StateMachine/LinearizabilityChecker.swift",
"Runners/StateMachine/LinearizabilityResult.swift",
"Runners/StateMachine/ObservedResponse.swift",
"Runners/StateMachine/Preemptive/AsyncPreemptiveChecker.swift",
"Runners/StateMachine/Preemptive/PreemptiveBackend.swift",
"Runners/StateMachine/Preemptive/PreemptiveChecker.swift",
"Runners/StateMachine/Preemptive/PreemptiveConcurrentStateMachineRunner+Pipeline.swift",
"Runners/StateMachine/Preemptive/PreemptiveConcurrentStateMachineRunner+Shared.swift",
"Runners/StateMachine/Preemptive/PreemptiveStateMachineBackend.swift",
"Runners/StateMachine/PreemptiveConfirmation.swift",
"Runners/StateMachine/Public/AsyncStateMachineSpec.swift",
"Runners/StateMachine/Public/CommandResponse.swift",
"Runners/StateMachine/Public/ExecutionModel.swift",
"Runners/StateMachine/Public/StateMachineErrors.swift",
"Runners/StateMachine/Public/StateMachineResult.swift",
"Runners/StateMachine/Public/StateMachineSpec.swift",
"Runners/StateMachine/Public/StateMachineSpecBase.swift",
"Runners/StateMachine/ResolvedConcurrentConfig.swift",
"Runners/StateMachine/RunQueue.swift",
"Runners/StateMachine/ScheduleDrain.swift",
"Runners/StateMachine/ScheduleMarker.swift",
"Runners/StateMachine/Shared/FailureRendering.swift",
"Runners/StateMachine/Shared/LinearizabilityJudgement.swift",
"Runners/StateMachine/Shared/SequentialStateMachineBackend.swift",
"Runners/StateMachine/Shared/SpecCandidateValue.swift",
"Runners/StateMachine/Shared/SpecFuzzAdapters.swift",
"Runners/StateMachine/Shared/SpecMachine.swift",
"Runners/StateMachine/Shared/StateMachineBackend.swift",
"Runners/StateMachine/Shared/StateMachineCandidateSource.swift",
"Runners/StateMachine/Shared/StateMachineRunContext.swift",
"Runners/StateMachine/Shared/StateMachineRunner+Pipelines.swift",
"Runners/StateMachine/Shared/StateMachineRunner+Reduction.swift",
"Runners/StateMachine/Shared/StateMachineRunner+SCA.swift",
"Runners/StateMachine/Shared/StateMachineRunner+Sources.swift",
"Runners/StateMachine/Shared/StateMachineTrace.swift",
"Stats/OpenPBTStats.swift",
"Stats/PropertyOutcomeCounter.swift",
"Stats/RunLedger.swift"
],
"target_dependencies" : [
"ExhaustCoverageRuntime",
"ExhaustObjCSupport"
],
"type" : "library"
},
{
"c99name" : "ExhaustBenchmarks",
"module_type" : "SwiftTarget",
"name" : "ExhaustBenchmarks",
"path" : "Sources/ExhaustBenchmarks",
"product_dependencies" : [
"Benchmark"
],
"product_memberships" : [
"ExhaustBenchmarks"
],
"sources" : [
"BenchmarkBST.swift",
"BenchmarkTimer.swift",
"CGSBSTThroughputBenchmarks.swift",
"CGSBenchmark.swift",
"CGSOnlineThroughputBenchmarks.swift",
"CoveringArrayBenchmarks.swift",
"Etna/EtnaBST.swift",
"Etna/EtnaBenchmarks.swift",
"Etna/EtnaIFC.swift",
"Etna/EtnaRBT.swift",
"Etna/EtnaSTLC.swift",
"FuzzHotPathProbe.swift",
"GenerationBenchmarks.swift",
"InterpreterHappyPathPerformanceBenchmarks.swift",
"MutationArmGateBenchmarks.swift",
"ParallelGenerationBenchmarks.swift",
"PreemptiveLoweHashMapBenchmark.swift",
"ScaledSequenceBenchmarks.swift",
"SequenceLengthBenchmark.swift",
"ShrinkingChallenge/BinaryHeapChallenge.swift",
"ShrinkingChallenge/Bound5Challenge.swift",
"ShrinkingChallenge/CalculatorChallenge.swift",
"ShrinkingChallenge/ComplexGrammarChallenge.swift",
"ShrinkingChallenge/ECOOPBenchmarks.swift",
"ShrinkingChallenge/GraphColoringChallenge.swift",
"ShrinkingChallenge/ParserChallenge.swift",
"ShrinkingChallenge/SimpleChallenges.swift",
"ShrinkingChallengeBenchmarks.swift",
"StringGenerationBenchmarks.swift",
"SynthesizedGeneratorBenchmarks.swift",
"UniquenessBenchmarks.swift",
"WitnessShapeBenchmark.swift",
"main.swift"
],
"target_dependencies" : [
"Exhaust",
"ExhaustCore",
"ExhaustMetaFuzz"
],
"type" : "executable"
},
{
"c99name" : "Exhaust",
"module_type" : "SwiftTarget",
"name" : "Exhaust",
"path" : "Sources/Exhaust",
"product_dependencies" : [
"ExhaustMacroPlugin",
"IssueReporting",
"CustomDump"
],
"product_memberships" : [
"Exhaust",
"ExhaustBenchmarks"
],
"sources" : [
"Macros/Examine/ExamineReport.swift",
"Macros/Examine/ExamineSettings.swift",
"Macros/Examine/Macro+Examine.swift",
"Macros/Examine/MacroSupport+Examine.swift",
"Macros/Example/Macro+Example.swift",
"Macros/Example/MacroSupport+Example.swift",
"Macros/Execute/Macro+Execute.swift",
"Macros/Execute/Macro+StateMachine.swift",
"Macros/Execute/StateMachineSettings.swift",
"Macros/Exhaust/ExhaustReport.swift",
"Macros/Exhaust/Macro+Exhaust.swift",
"Macros/Exhaust/MacroSupport+Exhaust.swift",
"Macros/Exhaust/MacroSupport+Pipeline.swift",
"Macros/Exhaust/MacroSupport+Reduction.swift",
"Macros/Exhaust/MacroSupport+RegressionReplay.swift",
"Macros/Exhaust/PropertySettings.swift",
"Macros/Explore/CampaignWireReport+FuzzReport.swift",
"Macros/Explore/ExploreCommandBudget.swift",
"Macros/Explore/ExploreFailure.swift",
"Macros/Explore/ExploreReport.swift",
"Macros/Explore/ExploreSettings.swift",
"Macros/Explore/FuzzCampaign.swift",
"Macros/Explore/FuzzCampaignConfiguration.swift",
"Macros/Explore/FuzzCampaignContext.swift",
"Macros/Explore/FuzzCampaignModels.swift",
"Macros/Explore/FuzzCampaignRecord.swift",
"Macros/Explore/FuzzPersistenceReservation.swift",
"Macros/Explore/FuzzReport.swift",
"Macros/Explore/FuzzSettings.swift",
"Macros/Explore/Macro+Explore.swift",
"Macros/Explore/MacroSupport+Explore.swift",
"Macros/Explore/MacroSupport+ExploreTime.swift",
"Macros/Explore/MacroSupport+FuzzDiagnostics.swift",
"Macros/Explore/MacroSupport+FuzzRendering.swift",
"Macros/Explore/TimeSpan.swift",
"Macros/Shared/ExhaustBudget.swift",
"Macros/Shared/ExhaustTrait.swift",
"Macros/Shared/PropertySkip.swift",
"Macros/Shared/PropertyTestFailure.swift",
"Macros/Shared/SuppressFlags.swift",
"Reexports.swift",
"Shared/AbsorbedIssues.swift",
"Shared/Reporting.swift",
"StateMachine/Cooperative/CooperativeConcurrentStateMachineRunner.swift",
"StateMachine/Preemptive/PreemptiveConcurrentStateMachineRunner+Async.swift",
"StateMachine/Preemptive/PreemptiveConcurrentStateMachineRunner.swift",
"StateMachine/Preemptive/PreemptiveStartupChecks.swift",
"StateMachine/Shared/ConcurrentRunWarnings.swift",
"StateMachine/Shared/ConcurrentStateMachineSettings+Resolution.swift",
"StateMachine/Shared/StateMachineRunner+Time.swift",
"StateMachine/Shared/StateMachineRunner.swift",
"Utilities/ReductionSummary.swift",
"Utilities/SyncAsyncBridge.swift"
],
"target_dependencies" : [
"ExhaustCore",
"ExhaustSupport",
"ExhaustGenerators"
],
"type" : "library"
}
],
"tools_version" : "6.4"
}
linux-6.4-latest: Pulling from saguaro1/spi-images
Digest: sha256:ad3afec1d6cff9a88dbd06b5b923cd7d46d6f55cc44d4c49fe48cde94ee812a7
Status: Image is up to date for registry.gitlab.com/saguaro1/spi-images:linux-6.4-latest
Done.