Swift Package Index

Build Information

Failed to build shimmers-hdl, reference v0.2.0-alpha (db6228), with Swift 6.4 for Wasm on 23 Sep 2026 16:59:00 UTC.

Build Command

bash -c docker run --pull=always --rm -v "checkouts-54344843-0":/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:wasm-6.4-latest swift build --swift-sdk swift-6.4.x-DEVELOPMENT-SNAPSHOT-2026-09-04-a_wasm 2>&1

Build Log

========================================
RunAll
========================================
Builder version: 5.1.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.4
Building package at path:  $PWD
https://github.com/yliu-hashed/shimmers-hdl.git
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-54344843-0":/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:wasm-6.4-latest swift build --swift-sdk swift-6.4.x-DEVELOPMENT-SNAPSHOT-2026-09-04-a_wasm 2>&1
wasm-6.4-latest: Pulling from saguaro1/spi-images
Digest: sha256:4328fdb43c680d205c1d6761b1e3267aa38277eefdda9ddfb17b6a0f1a77857a
Status: Image is up to date for registry.gitlab.com/saguaro1/spi-images:wasm-6.4-latest
Fetching https://github.com/swiftlang/swift-syntax.git
Fetching https://github.com/apple/swift-argument-parser.git
[1/18918] Fetching swift-argument-parser
Fetched https://github.com/apple/swift-argument-parser.git (0.77s)
[1/80027] Fetching swift-syntax
Fetched https://github.com/swiftlang/swift-syntax.git (2.92s)
Computing version for https://github.com/swiftlang/swift-syntax.git
Computed https://github.com/swiftlang/swift-syntax.git at 602.0.0 (4.10s)
Computing version for https://github.com/apple/swift-argument-parser.git
Computed https://github.com/apple/swift-argument-parser.git at 1.8.2 (0.17s)
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
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.8.2
Building for debugging...
[Computing dependencies]
[Pre-planning 1 / 710]
[Planning deferred tasks]
[149 / 304] SwiftSyntax601
[180 / 305]
[182 / 314] SwiftSyntax
[182 / 314] SwiftSyntax601
[185 / 315] ArgumentParserToolInfo
[202 / 318] SwiftSyntax509
[209 / 319] SwiftSyntax
[209 / 320] SwiftSyntax
[213 / 321] ArgumentParser
[215 / 330] ArgumentParser
[216 / 330] ArgumentParser
[217 / 330] ArgumentParser
[224 / 330] ArgumentParser
[225 / 330] ArgumentParser-product
[226 / 330] ArgumentParser-product
[227 / 330] ArgumentParser-product
[227 / 330] ArgumentParser
[230 / 331] SwiftSyntax
[243 / 359] SwiftParser
[251 / 359] SwiftBasicFormat
[256 / 359] SwiftParser
[257 / 359] SwiftParser
[258 / 359] SwiftParser
[261 / 359] SwiftParser
[265 / 359] SwiftParser
[267 / 359] SwiftDiagnostics
[268 / 359] SwiftParser
[271 / 359] SwiftDiagnostics
[272 / 359] SwiftOperators
[274 / 359] SwiftOperators
[275 / 359] SwiftDiagnostics-product
[278 / 359]
[283 / 370] SwiftParserDiagnostics
[284 / 370] SwiftParserDiagnostics
[285 / 371] SwiftParserDiagnostics
[287 / 371] SwiftParserDiagnostics
[288 / 371] SwiftParserDiagnostics
[290 / 372] SwiftParserDiagnostics
[294 / 372] SwiftParserDiagnostics
[300 / 373]
[302 / 383] SwiftSyntaxBuilder
[305 / 392] SwiftSyntaxBuilder
[306 / 392] SwiftOperators
[312 / 392] SwiftSyntaxBuilder
[313 / 392] SwiftSyntaxBuilder
[315 / 393] SwiftSyntaxBuilder
[316 / 393] SwiftSyntaxBuilder
[324 / 393] SwiftSyntaxBuilder
[327 / 393] SwiftOperators
[329 / 393] SwiftOperators
[331 / 393]
[336 / 403] SwiftSyntaxMacros
[341 / 405] SwiftSyntaxMacros
[357 / 415] SwiftSyntaxMacroExpansion
[358 / 416] SwiftSyntaxMacros
[359 / 416] SwiftSyntaxMacros
[362 / 416] SwiftSyntaxMacroExpansion
[371 / 426] SwiftCompilerPluginMessageHandling
[374 / 426] SwiftCompilerPluginMessageHandling
[375 / 426] SwiftCompilerPluginMessageHandling
[376 / 426] SwiftCompilerPluginMessageHandling
[385 / 429] SwiftCompilerPlugin
[390 / 429] SwiftCompilerPluginMessageHandling
[392 / 431] SwiftCompilerPlugin
[394 / 431] SwiftCompilerPluginMessageHandling
[396 / 432] SwiftSyntax
[399 / 433] SwiftSyntax
[406 / 433] SwiftSyntaxMacros
[414 / 434] ShimmersMacros
[423 / 443] ShimmersMacros
[424 / 443] ShimmersMacros
[428 / 444] ShimmersMacros
[438 / 454] Shimmers
[439 / 454] Shimmers
[447 / 460] ShimmersCLIWrapper
[449 / 460] ShimmersCLIWrapper
[454 / 460] ShimmersCLIWrapper
[456 / 461] Shimmers
error: SwiftCompile normal wasm32 /host/spi-builder-workspace/Sources/Shimmers/Scope/SAT\ Solver.swift failed with a nonzero exit code. Command line:     cd /host
    builtin-SwiftPerFileCompile SAT\ Solver.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") }
Failed frontend command:
/usr/bin/swift-frontend -frontend -c /host/spi-builder-workspace/Sources/Shimmers/CNF\ Builder/CNF\ Builder.swift /host/spi-builder-workspace/Sources/Shimmers/Driver.swift /host/spi-builder-workspace/Sources/Shimmers/Graph/Graph\ Builder\ -\ DFF.swift /host/spi-builder-workspace/Sources/Shimmers/Graph/Graph\ Builder\ -\ Gates.swift /host/spi-builder-workspace/Sources/Shimmers/Graph/Graph\ Builder\ -\ Submodule.swift /host/spi-builder-workspace/Sources/Shimmers/Graph/Graph\ Builder.swift /host/spi-builder-workspace/Sources/Shimmers/Graph/Print\ Verilog.swift /host/spi-builder-workspace/Sources/Shimmers/Graph/Simplify.swift /host/spi-builder-workspace/Sources/Shimmers/Macros\ -\ Building.swift /host/spi-builder-workspace/Sources/Shimmers/Macros\ -\ Proof.swift /host/spi-builder-workspace/Sources/Shimmers/Mangle/File\ Name\ Mangle.swift /host/spi-builder-workspace/Sources/Shimmers/Mangle/Hashing.swift /host/spi-builder-workspace/Sources/Shimmers/Mangle/Name\ Mangling.swift /host/spi-builder-workspace/Sources/Shimmers/Module.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime\ Support/BigInt/BigInt\ -\ Bitwise.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime\ Support/BigInt/BigInt\ -\ Comparison.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime\ Support/BigInt/BigInt\ -\ Conversion\ \&\ Literal.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime\ Support/BigInt/BigInt\ -\ Math\ Add\ \&\ Sub.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime\ Support/BigInt/BigInt\ -\ Math\ Mul\ \&\ Div.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime\ Support/BigInt/BigInt.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Bool.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Enum\ Runtime\ Support.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/IndexingItr.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/InlineArray.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Integers/IntN\ -\ Operations.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Integers/IntN.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Integers/Standard\ Integer\ Runtime.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Integers/UIntN\ -\ Operations.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Integers/UIntN.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Optional.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Queue.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Range.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Wire\ -\ Logic.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Wire\ -\ Traversal.swift /host/spi-builder-workspace/Sources/Shimmers/Runtime/Wire.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Assertion\ Set.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Assertion\ Type\ Message.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Assertion\ Type.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Building/Build\ Arith\ -\ Add.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Building/Build\ Arith\ -\ Compare.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Building/Build\ Arith\ -\ Div.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Building/Build\ Arith\ -\ Mul.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Building/Build\ Arith\ -\ Shift.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Building/Build\ Misc.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Debug\ Info.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Debugging.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Detached\ Port\ Naming.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Module\ Gen.swift /host/spi-builder-workspace/Sources/Shimmers/Scope/Module\ Seq\ Wrapper.swift -primary-file /host/spi-builder-workspace/Sources/Shimmers/Scope/SAT\ Solver.swift -primary-file /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Building\ Gates.swift -primary-file /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Building\ Ports.swift -primary-file /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Condition.swift -primary-file /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Debugging.swift -primary-file /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Module\ Inst.swift -primary-file /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Prove\ Assert.swift -primary-file /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Prove\ Assume.swift -primary-file /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope\ -\ Prove\ Loop.swift -primary-file /host/spi-builder-workspace/Sources/Shimmers/Scope/Scope.swift -primary-file /host/spi-builder-workspace/Sources/Shimmers/Var\ Tracking/Local.swift -primary-file /host/spi-builder-workspace/Sources/Shimmers/Var\ Tracking/Member.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Array/InlineArrayRef\ -\ Access.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Array/InlineArrayRef\ -\ Iteration.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Array/InlineArrayRef\ -\ Literal.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Array/InlineArrayRef.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Boolean/BoolRef\ -\ Logics.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Boolean/BoolRef.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Enum\ Support/Enum\ Raw\ Buffer.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Enum\ Support/Enum\ Wire\ Type.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Integers/IntRef\ -\ Comparison.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Integers/IntRef\ -\ Conversion.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Integers/IntRef\ -\ Literal.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Integers/IntRef\ -\ Magnitude.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Integers/IntRef\ -\ Math\ Add\ \&\ Sub.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Integers/IntRef\ -\ Math\ Mul\ \&\ Div.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Integers/IntRef.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Iterator/IndexingItrRef.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Optional/OptionalRef\ Support.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Optional/OptionalRef.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Pattern\ Matching/Pattern\ Matching.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Queue/QueueRef.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Range/RangeRef\ -\ Collection.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Range/RangeRef.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Ternary.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Arithmetic.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ BinaryInteger.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Collection.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Equatable\ \&\ Comparable.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ FixedWidthInteger.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Iterator\ \&\ Sequence.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Numeric.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Range.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Sign\ Integer.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/Wire\ Protocol/Protocol\ Stridable.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/WireRef\ -\ Logic.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/WireRef\ -\ Traverse.swift /host/spi-builder-workspace/Sources/Shimmers/Wire\ Types/WireRef.swift -supplementary-output-file-map /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/supplementaryOutputs-39 -target wasm32-unknown-wasip1 -disable-objc-interop -sdk /root/.swiftpm/swift-sdks/swift-6.4.x-DEVELOPMENT-SNAPSHOT-2026-09-04-a_wasm.artifactbundle/swift-6.4.x-DEVELOPMENT-SNAPSHOT-2026-09-04-a_wasm/wasm32-unknown-wasip1/WASI.sdk -sysroot /root/.swiftpm/swift-sdks/swift-6.4.x-DEVELOPMENT-SNAPSHOT-2026-09-04-a_wasm.artifactbundle/swift-6.4.x-DEVELOPMENT-SNAPSHOT-2026-09-04-a_wasm/wasm32-unknown-wasip1/WASI.sdk -I /host/spi-builder-workspace/.build/out/Products/Debug-webassembly-wasm32 -module-cache-path /host/spi-builder-workspace/.build/out/ModuleCache.noindex -color-diagnostics -Xcc -fcolor-diagnostics -enable-testing -g -debug-info-format\=dwarf -dwarf-version\=4 -swift-version 6 -Onone -D SWIFT_PACKAGE -D DEBUG -D SWIFT_MODULE_RESOURCE_BUNDLE_UNAVAILABLE -D Xcode -serialize-debugging-options -load-plugin-executable /host/spi-builder-workspace/.build/out/Products/Debug-linux-x86_64/ShimmersMacros\#ShimmersMacros -enable-experimental-feature DebugDescriptionMacro -empty-abi-descriptor -external-plugin-path /usr/lib/swift/host/plugins/testing\#/usr/bin/swift-plugin-server -validate-clang-modules-once -clang-build-session-file /host/spi-builder-workspace/.build/out/ModuleCache.noindex/Session.modulevalidation -Xcc -working-directory -Xcc /host -resource-dir /root/.swiftpm/swift-sdks/swift-6.4.x-DEVELOPMENT-SNAPSHOT-2026-09-04-a_wasm.artifactbundle/swift-6.4.x-DEVELOPMENT-SNAPSHOT-2026-09-04-a_wasm/wasm32-unknown-wasip1/swift.xctoolchain/usr/lib/swift_static -use-static-resource-dir -enable-anonymous-context-mangled-names -file-compilation-dir /host -Xcc -resource-dir -Xcc /root/.swiftpm/swift-sdks/swift-6.4.x-DEVELOPMENT-SNAPSHOT-2026-09-04-a_wasm.artifactbundle/swift-6.4.x-DEVELOPMENT-SNAPSHOT-2026-09-04-a_wasm/wasm32-unknown-wasip1/swift.xctoolchain/usr/lib/swift_static/clang -Xcc -D_LIBCPP_HARDENING_MODE\=_LIBCPP_HARDENING_MODE_DEBUG -Xcc -fmodules-prune-interval\=86400 -Xcc -fmodules-prune-after\=345600 -Xcc -I/host/spi-builder-workspace/.build/out/Products/Debug-webassembly-wasm32/include -Xcc -I/host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/DerivedSources-normal/wasm32 -Xcc -I/host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/DerivedSources/wasm32 -Xcc -I/host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/DerivedSources -Xcc -DSWIFT_PACKAGE -Xcc -DDEBUG\=1 -no-auto-bridging-header-chaining -module-name Shimmers -package-name spi_builder_workspace -const-gather-protocols-file /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Shimmers_const_extract_protocols.json -in-process-plugin-server-path /usr/lib/swift/host/libSwiftInProcPluginServer.so -plugin-path /usr/lib/swift/host/plugins -plugin-path /usr/local/lib/swift/host/plugins -parse-as-library -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/SAT\ Solver.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Building\ Gates.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Building\ Ports.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Condition.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Debugging.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Module\ Inst.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Prove\ Assert.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Prove\ Assume.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Prove\ Loop.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Local.o -o /host/spi-builder-workspace/.build/out/Intermediates.noindex/shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Member.o -index-unit-output-path /shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/SAT\ Solver.o -index-unit-output-path /shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Building\ Gates.o -index-unit-output-path /shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Building\ Ports.o -index-unit-output-path /shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Condition.o -index-unit-output-path /shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Debugging.o -index-unit-output-path /shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Module\ Inst.o -index-unit-output-path /shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Prove\ Assert.o -index-unit-output-path /shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Prove\ Assume.o -index-unit-output-path /shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope\ -\ Prove\ Loop.o -index-unit-output-path /shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Scope.o -index-unit-output-path /shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Local.o -index-unit-output-path /shimmers-hdl.build/Debug-webassembly-wasm32/Shimmers-t.build/Objects-normal/wasm32/Member.o -index-store-path /host/spi-builder-workspace/.build/out -index-system-modules
error: Build failed
BUILD FAILURE 6.4 wasm