Swift Package IndexBuild Information
Failed to build shimmers-hdl, reference v0.2.0-alpha (db6228), with Swift 6.3 for Wasm on 18 Apr 2026 00:32:18 UTC.
Build Command
bash -c docker run --pull=always --rm -v "checkouts-4609320-2":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/swiftpackageindex/spi-images:wasm-6.3-latest swift build --swift-sdk swift-6.3-RELEASE_wasm 2>&1Build Log
========================================
RunAll
========================================
Builder version: 4.70.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/yliu-hashed/shimmers-hdl.git
Reference: v0.2.0-alpha
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/yliu-hashed/shimmers-hdl
* tag v0.2.0-alpha -> FETCH_HEAD
HEAD is now at db62289 Improve documentation
Cloned https://github.com/yliu-hashed/shimmers-hdl.git
Revision (git rev-parse @):
db6228980911fa6654502266a12484deb3795bbe
SPI manifest file found: $PWD/.spi.yml
SUCCESS checkout https://github.com/yliu-hashed/shimmers-hdl.git at v0.2.0-alpha
========================================
Build
========================================
Selected platform: wasm
Swift version: 6.3
Building package at path: $PWD
https://github.com/yliu-hashed/shimmers-hdl.git
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-4609320-2":/host -w "$PWD" -e JAVA_HOME="/root/.sdkman/candidates/java/current" -e SPI_BUILD="1" -e SPI_PROCESSING="1" registry.gitlab.com/swiftpackageindex/spi-images:wasm-6.3-latest swift build --swift-sdk swift-6.3-RELEASE_wasm 2>&1
wasm-6.3-latest: Pulling from swiftpackageindex/spi-images
Digest: sha256:d69f4e7582c319245442d62a08b2d7c7fd5a0c0c69f5d2ef11d1530cd8d3329b
Status: Image is up to date for registry.gitlab.com/swiftpackageindex/spi-images:wasm-6.3-latest
Fetching https://github.com/apple/swift-argument-parser.git
Fetching https://github.com/swiftlang/swift-syntax.git
[1/17529] Fetching swift-argument-parser
[3507/92512] Fetching swift-argument-parser, swift-syntax
Fetched https://github.com/apple/swift-argument-parser.git from cache (0.91s)
[13497/74983] Fetching swift-syntax
Fetched https://github.com/swiftlang/swift-syntax.git from cache (6.62s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 602.0.0 (9.30s)
Computing version for https://github.com/apple/swift-argument-parser.git
Computed https://github.com/apple/swift-argument-parser.git at 1.7.1 (0.45s)
Creating working copy for https://github.com/apple/swift-argument-parser.git
Working copy of https://github.com/apple/swift-argument-parser.git resolved at 1.7.1
Creating working copy for https://github.com/swiftlang/swift-syntax.git
Working copy of https://github.com/swiftlang/swift-syntax.git resolved at 602.0.0
Downloading package prebuilt https://download.swift.org/prebuilts/swift-syntax/602.0.0/swift-6.3-RELEASE-ubuntu_jammy_x86_64-MacroSupport.tar.gz
Downloaded https://download.swift.org/prebuilts/swift-syntax/602.0.0/swift-6.3-RELEASE-ubuntu_jammy_x86_64-MacroSupport.tar.gz (0.40s)
[1/1] Compiling plugin GenerateManual
[2/2] Compiling plugin GenerateDoccReference
Building for debugging...
[2/11] Write sources
[7/11] Write swift-version-24593BA9C3E375BF.txt
[9/58] Emitting module ShimmersMacros
[10/64] Compiling ShimmersMacros Wire Enum SynthRef.swift
[11/64] Compiling ShimmersMacros Sim Wire Extension Helpers.swift
[12/64] Compiling ShimmersMacros Sim Wire Extension.swift
[13/64] Compiling ShimmersMacros Wire Struct Member Survey.swift
[14/64] Compiling ShimmersMacros Wire Struct SynthRef Helpers.swift
[15/64] Compiling ShimmersMacros Wire Struct SynthRef.swift
[16/64] Compiling ShimmersMacros Convert Init.swift
[17/64] Compiling ShimmersMacros Convert Variable.swift
[18/64] Compiling ShimmersMacros Detached Generator.swift
[19/64] Compiling ShimmersMacros Function Name.swift
[20/64] Compiling ShimmersMacros Parse Detached Attribute.swift
[21/64] Compiling ShimmersMacros Seq Wrapper.swift
[22/64] Compiling ArgumentParserToolInfo ToolInfo.swift
[23/64] Emitting module ArgumentParserToolInfo
[24/64] Compiling ShimmersMacros Attribute.swift
[25/64] Compiling ShimmersMacros Add For Stmt.swift
[26/64] Compiling ShimmersMacros Add If Guard Stmt.swift
[27/64] Compiling ShimmersMacros Add List.swift
[28/64] Compiling ShimmersMacros Add Repeat Stmt.swift
[29/64] Compiling ShimmersMacros Add Return Break.swift
[30/64] Compiling ShimmersMacros Add Switch Stmt.swift
[31/64] Compiling ShimmersMacros Debug Info.swift
[32/64] Compiling ShimmersMacros Helpers.swift
[33/64] Compiling ShimmersMacros Macros.swift
[34/64] Compiling ShimmersMacros Check Parent.swift
[35/64] Compiling ShimmersMacros Assert Macro.swift
[36/64] Compiling ShimmersMacros Assume Macro.swift
[37/64] Compiling ShimmersMacros Top Level Name Macro.swift
[38/64] Compiling ShimmersMacros Mangle.swift
[39/65] Compiling ShimmersMacros Convert Expr & Type.swift
[40/65] Compiling ShimmersMacros Convert Generics.swift
[41/65] Compiling ShimmersMacros Rewrite Optional Chaining.swift
[42/65] Compiling ShimmersMacros Rewriter.swift
[43/65] Compiling ShimmersMacros Stub Code List.swift
[44/65] Compiling ShimmersMacros Top Level Entry.swift
[45/65] Compiling ShimmersMacros Sim Enum Extension Helpers.swift
[46/65] Compiling ShimmersMacros Sim Enum Extension.swift
[47/65] Compiling ShimmersMacros Wire Enum Member Survey.swift
[48/65] Compiling ShimmersMacros Wire Enum SynthRef Helpers.swift
[49/65] Compiling ShimmersMacros Never Macro.swift
[50/65] Compiling ShimmersMacros Hardware Function Macro.swift
[51/65] Compiling ShimmersMacros Hardware Wire Macro.swift
[52/65] Compiling ShimmersMacros Detached Macro.swift
[53/65] Compiling ShimmersMacros Top Level Function Macro.swift
[54/65] Compiling ShimmersMacros Sim Block Macro.swift
[55/65] Compiling ShimmersMacros Add Variable Decl.swift
[56/65] Compiling ShimmersMacros Add While Stmt.swift
[57/65] Compiling ShimmersMacros Code Block.swift
[58/65] Compiling ShimmersMacros Extract Pattern.swift
[59/65] Compiling ShimmersMacros Loop Hint.swift
[60/65] Compiling ShimmersMacros Pattern.swift
[61/65] Compiling ShimmersMacros Convert Function.swift
[63/66] Wrapping AST for ShimmersMacros for debugging
[64/66] Write Objects.LinkFileList
[65/112] Linking ShimmersMacros-tool
[67/198] Emitting module ArgumentParser
[68/204] Compiling Shimmers Bool.swift
[69/204] Compiling Shimmers Enum Runtime Support.swift
[70/204] Compiling Shimmers IndexingItr.swift
[71/204] Compiling Shimmers InlineArray.swift
[72/204] Compiling Shimmers IntN - Operations.swift
[73/204] Compiling Shimmers Assertion Type.swift
[74/204] Compiling Shimmers IntRef - Math Mul & Div.swift
[75/204] Compiling Shimmers IntRef.swift
[76/204] Compiling Shimmers IndexingItrRef.swift
[77/204] Compiling Shimmers OptionalRef Support.swift
[78/204] Compiling Shimmers OptionalRef.swift
[79/204] Compiling Shimmers Pattern Matching.swift
[80/204] Compiling Shimmers QueueRef.swift
[81/204] Compiling ArgumentParser Tree.swift
[82/204] Compiling ArgumentParser CodingKeyValidator.swift
[83/204] Compiling ArgumentParser NonsenseFlagsValidator.swift
[84/204] Compiling ArgumentParser ParsableArgumentsValidation.swift
[85/204] Compiling ArgumentParser PositionalArgumentsValidator.swift
[86/204] Compiling ArgumentParser UniqueNamesValidator.swift
[87/204] Compiling Shimmers CNF Builder.swift
[88/204] Compiling Shimmers Driver.swift
[89/204] Compiling Shimmers Graph Builder - DFF.swift
[90/204] Compiling Shimmers Graph Builder - Gates.swift
[91/204] Compiling Shimmers Graph Builder - Submodule.swift
[92/204] Compiling Shimmers Graph Builder.swift
[93/204] Compiling Shimmers Print Verilog.swift
[94/204] Compiling Shimmers Debug Info.swift
[95/204] Compiling Shimmers Debugging.swift
[96/204] Compiling Shimmers Detached Port Naming.swift
[97/204] Compiling Shimmers Module Gen.swift
[98/204] Compiling Shimmers Module Seq Wrapper.swift
[99/204] Compiling Shimmers IntRef - Math Add & Sub.swift
[100/204] Compiling Shimmers Build Arith - Add.swift
[101/204] Compiling Shimmers Build Arith - Compare.swift
[102/204] Compiling Shimmers Build Arith - Div.swift
[103/204] Compiling Shimmers Build Arith - Mul.swift
[104/204] Compiling Shimmers Build Arith - Shift.swift
[105/204] Compiling Shimmers Build Misc.swift
[106/204] Compiling Shimmers InlineArrayRef - Access.swift
[107/204] Compiling Shimmers InlineArrayRef - Iteration.swift
[108/204] Compiling Shimmers InlineArrayRef - Literal.swift
[109/204] Compiling Shimmers InlineArrayRef.swift
[110/204] Compiling Shimmers BoolRef - Logics.swift
[111/204] Compiling Shimmers BoolRef.swift
[112/204] Compiling Shimmers Enum Raw Buffer.swift
[113/204] Compiling Shimmers Enum Wire Type.swift
[114/204] Compiling Shimmers IntRef - Comparison.swift
[115/204] Compiling Shimmers IntRef - Conversion.swift
[116/204] Compiling Shimmers IntRef - Literal.swift
[117/204] Compiling Shimmers IntRef - Magnitude.swift
[118/216] Emitting module Shimmers
Internal Error: DecodingError.dataCorrupted: Data was corrupted. Debug description: Corrupted JSON. Underlying error: unexpected end of file
[119/216] Compiling Shimmers Simplify.swift
[120/216] Compiling Shimmers Macros - Building.swift
[121/216] Compiling Shimmers Macros - Proof.swift
[122/216] Compiling Shimmers File Name Mangle.swift
[123/216] Compiling Shimmers Hashing.swift
[124/216] Compiling Shimmers Name Mangling.swift
[125/216] Compiling Shimmers Module.swift
[126/216] Compiling Shimmers BigInt - Bitwise.swift
[127/216] Compiling Shimmers BigInt - Comparison.swift
[128/216] Compiling Shimmers BigInt - Conversion & Literal.swift
[129/216] Compiling Shimmers BigInt - Math Add & Sub.swift
[130/216] Compiling Shimmers BigInt - Math Mul & Div.swift
[131/216] Compiling Shimmers BigInt.swift
[157/217] Compiling Shimmers IntN.swift
[158/217] Compiling Shimmers Standard Integer Runtime.swift
[159/217] Compiling Shimmers UIntN - Operations.swift
[160/217] Compiling Shimmers UIntN.swift
[161/217] Compiling Shimmers Optional.swift
[162/217] Compiling Shimmers Queue.swift
[163/217] Compiling Shimmers Range.swift
[164/217] Compiling Shimmers Wire - Logic.swift
[165/217] Compiling Shimmers Wire - Traversal.swift
[166/217] Compiling Shimmers Wire.swift
[167/217] Compiling Shimmers Assertion Set.swift
[168/217] Compiling Shimmers Assertion Type Message.swift
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:20:19: error: cannot find 'Process' in scope
18 | let fileManager = FileManager.default
19 |
20 | let process = Process()
| `- error: cannot find 'Process' in scope
21 | process.executableURL = URL(fileURLWithPath: ProcessInfo.processInfo.environment["SHELL"] ?? "/bin/bash")
22 | process.arguments = ["-l", "-c", "which \(tool)"]
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:49:18: error: cannot find 'Process' in scope
47 | internal func proveKissat(problem: String, solverURL: URL, timeout: Int, priority: QualityOfService, needModel: Bool) -> (result: SolverResult, model: [UInt64: Bool]?, duration: TimeInterval) {
48 |
49 | let solver = Process()
| `- error: cannot find 'Process' in scope
50 | var args = ["-q", "--time=\(timeout)", "--sat"]
51 | if !needModel { args.append("-n") }
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:20:19: error: cannot find 'Process' in scope
18 | let fileManager = FileManager.default
19 |
20 | let process = Process()
| `- error: cannot find 'Process' in scope
21 | process.executableURL = URL(fileURLWithPath: ProcessInfo.processInfo.environment["SHELL"] ?? "/bin/bash")
22 | process.arguments = ["-l", "-c", "which \(tool)"]
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:49:18: error: cannot find 'Process' in scope
47 | internal func proveKissat(problem: String, solverURL: URL, timeout: Int, priority: QualityOfService, needModel: Bool) -> (result: SolverResult, model: [UInt64: Bool]?, duration: TimeInterval) {
48 |
49 | let solver = Process()
| `- error: cannot find 'Process' in scope
50 | var args = ["-q", "--time=\(timeout)", "--sat"]
51 | if !needModel { args.append("-n") }
[196/217] Compiling Shimmers Scope - Building Ports.swift
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:20:19: error: cannot find 'Process' in scope
18 | let fileManager = FileManager.default
19 |
20 | let process = Process()
| `- error: cannot find 'Process' in scope
21 | process.executableURL = URL(fileURLWithPath: ProcessInfo.processInfo.environment["SHELL"] ?? "/bin/bash")
22 | process.arguments = ["-l", "-c", "which \(tool)"]
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:49:18: error: cannot find 'Process' in scope
47 | internal func proveKissat(problem: String, solverURL: URL, timeout: Int, priority: QualityOfService, needModel: Bool) -> (result: SolverResult, model: [UInt64: Bool]?, duration: TimeInterval) {
48 |
49 | let solver = Process()
| `- error: cannot find 'Process' in scope
50 | var args = ["-q", "--time=\(timeout)", "--sat"]
51 | if !needModel { args.append("-n") }
[197/217] Compiling Shimmers Scope - Condition.swift
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:20:19: error: cannot find 'Process' in scope
18 | let fileManager = FileManager.default
19 |
20 | let process = Process()
| `- error: cannot find 'Process' in scope
21 | process.executableURL = URL(fileURLWithPath: ProcessInfo.processInfo.environment["SHELL"] ?? "/bin/bash")
22 | process.arguments = ["-l", "-c", "which \(tool)"]
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:49:18: error: cannot find 'Process' in scope
47 | internal func proveKissat(problem: String, solverURL: URL, timeout: Int, priority: QualityOfService, needModel: Bool) -> (result: SolverResult, model: [UInt64: Bool]?, duration: TimeInterval) {
48 |
49 | let solver = Process()
| `- error: cannot find 'Process' in scope
50 | var args = ["-q", "--time=\(timeout)", "--sat"]
51 | if !needModel { args.append("-n") }
[198/217] Compiling Shimmers Scope - Debugging.swift
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:20:19: error: cannot find 'Process' in scope
18 | let fileManager = FileManager.default
19 |
20 | let process = Process()
| `- error: cannot find 'Process' in scope
21 | process.executableURL = URL(fileURLWithPath: ProcessInfo.processInfo.environment["SHELL"] ?? "/bin/bash")
22 | process.arguments = ["-l", "-c", "which \(tool)"]
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:49:18: error: cannot find 'Process' in scope
47 | internal func proveKissat(problem: String, solverURL: URL, timeout: Int, priority: QualityOfService, needModel: Bool) -> (result: SolverResult, model: [UInt64: Bool]?, duration: TimeInterval) {
48 |
49 | let solver = Process()
| `- error: cannot find 'Process' in scope
50 | var args = ["-q", "--time=\(timeout)", "--sat"]
51 | if !needModel { args.append("-n") }
[199/217] Compiling Shimmers Scope - Module Inst.swift
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:20:19: error: cannot find 'Process' in scope
18 | let fileManager = FileManager.default
19 |
20 | let process = Process()
| `- error: cannot find 'Process' in scope
21 | process.executableURL = URL(fileURLWithPath: ProcessInfo.processInfo.environment["SHELL"] ?? "/bin/bash")
22 | process.arguments = ["-l", "-c", "which \(tool)"]
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:49:18: error: cannot find 'Process' in scope
47 | internal func proveKissat(problem: String, solverURL: URL, timeout: Int, priority: QualityOfService, needModel: Bool) -> (result: SolverResult, model: [UInt64: Bool]?, duration: TimeInterval) {
48 |
49 | let solver = Process()
| `- error: cannot find 'Process' in scope
50 | var args = ["-q", "--time=\(timeout)", "--sat"]
51 | if !needModel { args.append("-n") }
[200/217] Compiling Shimmers Scope - Prove Assert.swift
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:20:19: error: cannot find 'Process' in scope
18 | let fileManager = FileManager.default
19 |
20 | let process = Process()
| `- error: cannot find 'Process' in scope
21 | process.executableURL = URL(fileURLWithPath: ProcessInfo.processInfo.environment["SHELL"] ?? "/bin/bash")
22 | process.arguments = ["-l", "-c", "which \(tool)"]
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:49:18: error: cannot find 'Process' in scope
47 | internal func proveKissat(problem: String, solverURL: URL, timeout: Int, priority: QualityOfService, needModel: Bool) -> (result: SolverResult, model: [UInt64: Bool]?, duration: TimeInterval) {
48 |
49 | let solver = Process()
| `- error: cannot find 'Process' in scope
50 | var args = ["-q", "--time=\(timeout)", "--sat"]
51 | if !needModel { args.append("-n") }
[201/217] Compiling Shimmers Scope - Prove Assume.swift
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:20:19: error: cannot find 'Process' in scope
18 | let fileManager = FileManager.default
19 |
20 | let process = Process()
| `- error: cannot find 'Process' in scope
21 | process.executableURL = URL(fileURLWithPath: ProcessInfo.processInfo.environment["SHELL"] ?? "/bin/bash")
22 | process.arguments = ["-l", "-c", "which \(tool)"]
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:49:18: error: cannot find 'Process' in scope
47 | internal func proveKissat(problem: String, solverURL: URL, timeout: Int, priority: QualityOfService, needModel: Bool) -> (result: SolverResult, model: [UInt64: Bool]?, duration: TimeInterval) {
48 |
49 | let solver = Process()
| `- error: cannot find 'Process' in scope
50 | var args = ["-q", "--time=\(timeout)", "--sat"]
51 | if !needModel { args.append("-n") }
[202/217] Compiling Shimmers Scope - Prove Loop.swift
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:20:19: error: cannot find 'Process' in scope
18 | let fileManager = FileManager.default
19 |
20 | let process = Process()
| `- error: cannot find 'Process' in scope
21 | process.executableURL = URL(fileURLWithPath: ProcessInfo.processInfo.environment["SHELL"] ?? "/bin/bash")
22 | process.arguments = ["-l", "-c", "which \(tool)"]
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:49:18: error: cannot find 'Process' in scope
47 | internal func proveKissat(problem: String, solverURL: URL, timeout: Int, priority: QualityOfService, needModel: Bool) -> (result: SolverResult, model: [UInt64: Bool]?, duration: TimeInterval) {
48 |
49 | let solver = Process()
| `- error: cannot find 'Process' in scope
50 | var args = ["-q", "--time=\(timeout)", "--sat"]
51 | if !needModel { args.append("-n") }
[203/217] Compiling Shimmers Scope.swift
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:20:19: error: cannot find 'Process' in scope
18 | let fileManager = FileManager.default
19 |
20 | let process = Process()
| `- error: cannot find 'Process' in scope
21 | process.executableURL = URL(fileURLWithPath: ProcessInfo.processInfo.environment["SHELL"] ?? "/bin/bash")
22 | process.arguments = ["-l", "-c", "which \(tool)"]
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:49:18: error: cannot find 'Process' in scope
47 | internal func proveKissat(problem: String, solverURL: URL, timeout: Int, priority: QualityOfService, needModel: Bool) -> (result: SolverResult, model: [UInt64: Bool]?, duration: TimeInterval) {
48 |
49 | let solver = Process()
| `- error: cannot find 'Process' in scope
50 | var args = ["-q", "--time=\(timeout)", "--sat"]
51 | if !needModel { args.append("-n") }
[204/217] Compiling Shimmers Local.swift
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:20:19: error: cannot find 'Process' in scope
18 | let fileManager = FileManager.default
19 |
20 | let process = Process()
| `- error: cannot find 'Process' in scope
21 | process.executableURL = URL(fileURLWithPath: ProcessInfo.processInfo.environment["SHELL"] ?? "/bin/bash")
22 | process.arguments = ["-l", "-c", "which \(tool)"]
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:49:18: error: cannot find 'Process' in scope
47 | internal func proveKissat(problem: String, solverURL: URL, timeout: Int, priority: QualityOfService, needModel: Bool) -> (result: SolverResult, model: [UInt64: Bool]?, duration: TimeInterval) {
48 |
49 | let solver = Process()
| `- error: cannot find 'Process' in scope
50 | var args = ["-q", "--time=\(timeout)", "--sat"]
51 | if !needModel { args.append("-n") }
[205/217] Compiling Shimmers Member.swift
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:20:19: error: cannot find 'Process' in scope
18 | let fileManager = FileManager.default
19 |
20 | let process = Process()
| `- error: cannot find 'Process' in scope
21 | process.executableURL = URL(fileURLWithPath: ProcessInfo.processInfo.environment["SHELL"] ?? "/bin/bash")
22 | process.arguments = ["-l", "-c", "which \(tool)"]
/host/spi-builder-workspace/Sources/Shimmers/Scope/SAT Solver.swift:49:18: error: cannot find 'Process' in scope
47 | internal func proveKissat(problem: String, solverURL: URL, timeout: Int, priority: QualityOfService, needModel: Bool) -> (result: SolverResult, model: [UInt64: Bool]?, duration: TimeInterval) {
48 |
49 | let solver = Process()
| `- error: cannot find 'Process' in scope
50 | var args = ["-q", "--time=\(timeout)", "--sat"]
51 | if !needModel { args.append("-n") }
[206/217] Compiling Shimmers Protocol BinaryInteger.swift
[207/217] Compiling Shimmers Protocol Collection.swift
[208/217] Compiling Shimmers Protocol Equatable & Comparable.swift
[209/217] Compiling Shimmers Protocol FixedWidthInteger.swift
[210/217] Compiling Shimmers Protocol Iterator & Sequence.swift
[211/217] Compiling Shimmers Protocol Numeric.swift
[212/217] Compiling Shimmers Protocol Range.swift
[213/217] Compiling Shimmers Protocol Sign Integer.swift
[214/217] Compiling Shimmers Protocol Stridable.swift
[215/217] Compiling Shimmers WireRef - Logic.swift
[216/217] Compiling Shimmers WireRef - Traverse.swift
[217/217] Compiling Shimmers WireRef.swift
BUILD FAILURE 6.3 wasm