Swift Package IndexBuild Information
Successful build of Exhaust, reference main (66f476), with Swift 6.4 for macOS (SPM) on 30 Oct 2026 23:49:14 UTC.
Swift 6 data race errors: 0
Build Command
env DEVELOPER_DIR=/Applications/Xcode-27.0.0.app xcrun swift build --arch arm64Build Log
========================================
RunAll
========================================
Builder version: 5.1.4
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/nesevis/exhaust.git
Reference: main
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
From https://github.com/nesevis/exhaust
* branch main -> FETCH_HEAD
* [new branch] main -> origin/main
HEAD is now at 66f4768 Key unseeded explore checkpoints by generated seed
Cloned https://github.com/nesevis/exhaust.git
Revision (git rev-parse @):
66f476875ec6f9958ffc8d4d5014cbbec77effec
SUCCESS checkout https://github.com/nesevis/exhaust.git at main
Fetching https://github.com/pointfreeco/swift-issue-reporting
Fetching https://github.com/swiftlang/swift-syntax.git
Fetching https://github.com/pointfreeco/swift-custom-dump
Fetching https://github.com/swiftlang/swift-docc-plugin
Fetching https://github.com/google/swift-benchmark
Fetching https://github.com/nicklockwood/SwiftFormat
[1/2345] Fetching swift-docc-plugin
[2/3835] Fetching swift-docc-plugin, swift-benchmark
[3/9504] Fetching swift-docc-plugin, swift-benchmark, swift-custom-dump
[454/15684] Fetching swift-docc-plugin, swift-benchmark, swift-custom-dump, swift-issue-reporting
[5128/79548] Fetching swift-docc-plugin, swift-benchmark, swift-custom-dump, swift-issue-reporting, swiftformat
[18644/160917] Fetching swift-docc-plugin, swift-benchmark, swift-custom-dump, swift-issue-reporting, swiftformat, swift-syntax
Fetched https://github.com/pointfreeco/swift-issue-reporting (2.20s)
[17391/154737] Fetching swift-docc-plugin, swift-benchmark, swift-custom-dump, swiftformat, swift-syntax
Fetched https://github.com/pointfreeco/swift-custom-dump (147.26s)
Fetched https://github.com/google/swift-benchmark (147.26s)
Fetched https://github.com/swiftlang/swift-docc-plugin (147.26s)
Fetched https://github.com/swiftlang/swift-syntax.git (147.26s)
Fetched https://github.com/nicklockwood/SwiftFormat (147.26s)
Computing version for https://github.com/pointfreeco/swift-custom-dump
Computed https://github.com/pointfreeco/swift-custom-dump at 1.7.3 (148.18s)
Computing version for https://github.com/google/swift-benchmark
Computed https://github.com/google/swift-benchmark at 0.1.2 (2.16s)
Fetching https://github.com/apple/swift-argument-parser
[1/19320] Fetching swift-argument-parser
Fetched https://github.com/apple/swift-argument-parser (2.08s)
Computing version for https://github.com/pointfreeco/swift-issue-reporting
Computed https://github.com/pointfreeco/swift-issue-reporting at 2.1.2 (2.79s)
Computing version for https://github.com/swiftlang/swift-docc-plugin
Computed https://github.com/swiftlang/swift-docc-plugin at 1.5.0 (0.65s)
Fetching https://github.com/swiftlang/swift-docc-symbolkit
[1/3850] Fetching swift-docc-symbolkit
Fetched https://github.com/swiftlang/swift-docc-symbolkit (1.25s)
Computing version for https://github.com/swiftlang/swift-docc-symbolkit
Computed https://github.com/swiftlang/swift-docc-symbolkit at 1.0.0 (2.01s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 603.0.2 (0.75s)
Computing version for https://github.com/nicklockwood/SwiftFormat
Computed https://github.com/nicklockwood/SwiftFormat at 0.64.4 (0.64s)
Computing version for https://github.com/apple/swift-argument-parser
Computed https://github.com/apple/swift-argument-parser at 1.8.2 (0.58s)
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
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/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/google/swift-benchmark
Working copy of https://github.com/google/swift-benchmark resolved at 0.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/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/pointfreeco/swift-issue-reporting
Working copy of https://github.com/pointfreeco/swift-issue-reporting resolved at 2.1.2
Downloading package prebuilt https://download.swift.org/prebuilts/swift-syntax/603.0.2/swiftlang-6.4.0.34.1-macosx27.0-MacroSupport.zip
Downloaded https://download.swift.org/prebuilts/swift-syntax/603.0.2/swiftlang-6.4.0.34.1-macosx27.0-MacroSupport.zip (1.47s)
========================================
ResolveProductDependencies
========================================
Resolving dependencies ...
Fetching https://github.com/nesevis/exhaust.git
[1/47690] Fetching exhaust
Fetched https://github.com/nesevis/exhaust.git (18.44s)
error: package 'exhaust' is required using a revision-based requirement and it depends on local package 'exhaust-macros', which is not supported
========================================
Build
========================================
Selected platform: macosSpm
Swift version: 6.4
Building package at path: $PWD
https://github.com/nesevis/exhaust.git
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-27.0.0.app xcrun swift build --arch arm64
Building for debugging...
[Computing dependencies]
[Provisioning 1 / 34]
[Pre-planning 1 / 827]
[Planning deferred tasks]
[136 / 293]
[144 / 299] ArgumentParserToolInfo
[149 / 313]
[154 / 313]
[155 / 313]
[166 / 314] ExhaustCoverageRuntime
[180 / 401]
[185 / 411]
[195 / 422]
[198 / 424] ExhaustCore
[204 / 444]
[212 / 477]
[216 / 477]
[224 / 477]
[227 / 477]
[232 / 477]
[235 / 477]
[241 / 477]
[246 / 477]
[248 / 477]
[249 / 477]
[260 / 477]
[266 / 477] IssueReporting
[272 / 477] ExhaustSupport
[282 / 477] IssueReporting
[286 / 477] ArgumentParser
[299 / 477] IssueReporting-product
[303 / 477]
[311 / 477] ExhaustMacros
[317 / 477] ExhaustMacros
[320 / 477] ExhaustMacros
[322 / 477] ExhaustCore
[325 / 477] ExhaustCore
[328 / 477]
[330 / 477] ExhaustMacros
[332 / 477] ExhaustMacros
[333 / 477]
[334 / 477] ExhaustCore
[336 / 477] ExhaustCore
[341 / 477] ExhaustStackProbe-product
[343 / 477] IssueReportingTestSupport
[344 / 477] IssueReportingTestSupport
[346 / 477] IssueReportingTestSupport
[352 / 477] IssueReportingTestSupport
[354 / 477] ExhaustCore
[357 / 477] ExhaustCore
[358 / 477] ExhaustCore
[360 / 477] CustomDump
[361 / 477] CustomDump
[363 / 477] ArgumentParser
[364 / 477] ArgumentParser-product
[367 / 477] ArgumentParser
[368 / 477] ArgumentParser
[369 / 477] ArgumentParser
[370 / 477]
[379 / 478] ExhaustSupport
[382 / 480]
[385 / 482] Benchmark
[387 / 484] ExhaustStackProbe-product
[392 / 495] ExhaustStackProbe-product
[393 / 495] ArgumentParser
[394 / 497] Benchmark
[397 / 547]
[401 / 547] ExhaustMetaFuzz
[416 / 583]
[425 / 583] ExhaustStackProbe-product
[434 / 583]
[438 / 583]
[446 / 583] ExhaustFuzzTestSupport
[457 / 583]
[466 / 585]
[475 / 587]
[489 / 592] ExhaustTestSupport
[495 / 603] ExhaustTestSupport
[504 / 603] ExhaustTestSupport
[512 / 603] ExhaustTestSupport
[526 / 603] ExhaustMetaFuzz
[534 / 603] CustomDump
[537 / 603]
[540 / 603]
[544 / 603] Exhaustable
[555 / 604]
[556 / 604]
[557 / 604] CustomDump
[564 / 615] ExhaustGenerators
[568 / 615] ExhaustGenerators
[570 / 615] ExhaustGenerators
[576 / 616] ExhaustGenerators
[583 / 616] Benchmark
[585 / 616] Benchmark
[596 / 616] Benchmark
[598 / 616] Exhaust
[612 / 628] Exhaust
[621 / 629] Exhaust
[621 / 629] ExhaustBenchmarks-product
[632 / 640] ExhaustBenchmarks-product
[633 / 640] Exhaust
[635 / 640] Exhaust-product
[635 / 640] ExhaustBenchmarks-product
[636 / 640] ExhaustBenchmarks-product
[638 / 640] ExhaustBenchmarks-product
Build complete! (21.90 sec)
warning: 'spi-builder-workspace': found 1 file(s) which are unhandled; explicitly declare them as resources or exclude from the target
/Users/admin/builder/spi-builder-workspace/Tests/ExhaustTests/ReplayStability/ReplayCorpus.jsonl
/Users/admin/builder/spi-builder-workspace/.build/checkouts/swift-issue-reporting/Package.swift: IssueReportingTestSupport-product: ld: warning: building for macOS-12.0, but linking with dylib '@rpath/Testing.framework/Versions/A/Testing' which was built for newer version 14.0
/Users/admin/builder/spi-builder-workspace/.build/checkouts/swift-issue-reporting/Package.swift: IssueReportingTestSupport-product: ld: warning: building for macOS-12.0, but linking with dylib '@rpath/libXCTestSwiftSupport.dylib' which was built for newer version 14.0
/Users/admin/builder/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>
/Users/admin/builder/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
/Users/admin/builder/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>
/Users/admin/builder/spi-builder-workspace/Package.swift: ExhaustBenchmarks-product: ld: warning: building for macOS-12.0, but linking with dylib '@rpath/Testing.framework/Versions/A/Testing' which was built for newer version 14.0
/Users/admin/builder/spi-builder-workspace/Package.swift: ExhaustBenchmarks-product: ld: warning: building for macOS-12.0, but linking with dylib '@rpath/libXCTestSwiftSupport.dylib' which was built for newer version 14.0
Build complete.
{
"dependencies" : [
{
"identity" : "exhaust-macros",
"path" : "/Users/admin/builder/spi-builder-workspace/Packages/exhaust-macros",
"type" : "fileSystem"
},
{
"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" : "/Users/admin/builder/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"
}
Done.