Swift Package IndexBuild Information
Failed to build SafetySynth, reference master (42b857), with Swift 6.3 for Linux on 10 Apr 2026 22:44:00 UTC.
Build Command
bash -c docker run --pull=always --rm -v "checkouts-4609320-1":/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:basic-6.3-latest swift build --triple x86_64-unknown-linux-gnu 2>&1Build Log
========================================
RunAll
========================================
Builder version: 4.70.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/ltentrup/safetysynth.git
Reference: master
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/ltentrup/safetysynth
* branch master -> FETCH_HEAD
* [new branch] master -> origin/master
HEAD is now at 42b8574 Create swift.yml
Cloned https://github.com/ltentrup/safetysynth.git
Revision (git rev-parse @):
42b8574993af4afe353e176b42ee0fa64e3853f4
SUCCESS checkout https://github.com/ltentrup/safetysynth.git at master
========================================
Build
========================================
Selected platform: linux
Swift version: 6.3
Building package at path: $PWD
https://github.com/ltentrup/safetysynth.git
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-4609320-1":/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:basic-6.3-latest swift build --triple x86_64-unknown-linux-gnu 2>&1
basic-6.3-latest: Pulling from swiftpackageindex/spi-images
Digest: sha256:5a7d791d2ead8a924b1292cb31bf3288eabcfe8880e0b005b00b45b71a5bc36a
Status: Image is up to date for registry.gitlab.com/swiftpackageindex/spi-images:basic-6.3-latest
Fetching https://github.com/ltentrup/CAiger.git
Fetching https://github.com/ltentrup/Aiger.git
Fetching https://github.com/ltentrup/CUDD.git
[1/38] Fetching caiger
[39/90] Fetching caiger, aiger
[91/270] Fetching caiger, aiger, cudd
Fetched https://github.com/ltentrup/CAiger.git from cache (0.33s)
Fetched https://github.com/ltentrup/Aiger.git from cache (0.33s)
Fetched https://github.com/ltentrup/CUDD.git from cache (0.34s)
Computing version for https://github.com/ltentrup/CAiger.git
Computed https://github.com/ltentrup/CAiger.git at 0.1.3 (0.84s)
Computing version for https://github.com/ltentrup/CUDD.git
Computed https://github.com/ltentrup/CUDD.git at 0.2.4 (0.43s)
Fetching https://github.com/ltentrup/CCUDD.git
[1/166] Fetching ccudd
Fetched https://github.com/ltentrup/CCUDD.git from cache (0.25s)
Computing version for https://github.com/ltentrup/CCUDD.git
Computed https://github.com/ltentrup/CCUDD.git at 1.0.2 (0.94s)
Computing version for https://github.com/ltentrup/Aiger.git
Computed https://github.com/ltentrup/Aiger.git at 0.2.4 (1.84s)
Creating working copy for https://github.com/ltentrup/CUDD.git
Working copy of https://github.com/ltentrup/CUDD.git resolved at 0.2.4
Creating working copy for https://github.com/ltentrup/Aiger.git
Working copy of https://github.com/ltentrup/Aiger.git resolved at 0.2.4
Creating working copy for https://github.com/ltentrup/CCUDD.git
Working copy of https://github.com/ltentrup/CCUDD.git resolved at 1.0.2
Creating working copy for https://github.com/ltentrup/CAiger.git
Working copy of https://github.com/ltentrup/CAiger.git resolved at 0.1.3
Building for debugging...
[0/90] Write sources
[4/90] Compiling CCUDD ucbqsort.c
[5/90] Compiling CCUDD texpand.c
[6/90] Compiling CCUDD strsav.c
[7/90] Compiling CCUDD safe_mem.c
[8/90] Compiling CCUDD cuddExact.c
[9/90] Compiling CCUDD pipefork.c
[10/90] Compiling CCUDD prtime.c
[11/90] Compiling CCUDD cuddRead.c
[12/90] Write swift-version-24593BA9C3E375BF.txt
[13/90] Compiling CCUDD st.c
[14/90] Compiling CCUDD pathsearch.c
[15/90] Compiling CCUDD datalimit.c
[16/90] Compiling CCUDD mtrBasic.c
[17/90] Compiling CCUDD mtrGroup.c
[18/90] Compiling CCUDD cuddZddSetop.c
[19/90] Compiling CCUDD cuddZddUtil.c
[20/90] Compiling CCUDD epd.c
[21/90] Compiling CCUDD cuddZddMisc.c
[21/90] Compiling CCUDD cuddZddReord.c
[23/90] Compiling CCUDD cuddZddPort.c
[24/90] Compiling CCUDD cuddZddSymm.c
[25/90] Compiling CCUDD cuddZddLin.c
[26/90] Compiling CCUDD cuddZddCount.c
[27/90] Compiling CCUDD cuddZddGroup.c
[28/90] Compiling CCUDD cuddZddIsop.c
[29/90] Compiling CCUDD cuddWindow.c
[30/90] Compiling CCUDD cuddZddFuncs.c
[31/90] Compiling CCUDD cuddSymmetry.c
[31/90] Compiling CCUDD cuddSolve.c
[33/90] Compiling CCUDD cuddSubsetHB.c
[34/90] Compiling CCUDD cuddSubsetSP.c
[35/90] Compiling CCUDD cuddSplit.c
[36/90] Compiling CCUDD cuddTable.c
[37/90] Compiling CCUDD cuddUtil.c
[38/90] Compiling CCUDD cuddSign.c
[39/90] Compiling CCUDD cuddRef.c
[40/90] Compiling CCUDD cuddReorder.c
[41/90] Compiling CCUDD cuddSat.c
[42/90] Compiling CCUDD cuddMatMult.c
[43/90] Compiling CCUDD cuddLiteral.c
[44/90] Compiling CCUDD cuddLinear.c
[45/90] Compiling CCUDD cuddPriority.c
[46/90] Compiling CCUDD cuddLevelQ.c
[47/90] Compiling CCUDD cuddInit.c
[48/90] Compiling CCUDD cuddInteract.c
[49/90] Compiling CCUDD cuddHarwell.c
[50/90] Compiling CCUDD cuddGenetic.c
[51/90] Compiling CCUDD cuddGenCof.c
[52/90] Compiling CCUDD cuddLCache.c
[53/90] Compiling CCUDD cuddExport.c
[54/90] Compiling CCUDD cuddGroup.c
[55/90] Compiling CCUDD cuddClip.c
[56/90] Compiling CCUDD cuddCof.c
[57/90] Compiling CCUDD cuddCache.c
[58/90] Compiling CCUDD cuddCheck.c
[59/90] Compiling CCUDD cuddEssent.c
[60/90] Compiling CCUDD cuddCompose.c
[61/90] Compiling CCUDD cuddDecomp.c
[62/90] Compiling CCUDD cuddBridge.c
[63/90] Compiling CCUDD cuddBddCorr.c
[64/90] Compiling CCUDD cuddBddAbs.c
[65/90] Compiling CCUDD cuddAnneal.c
[66/90] Compiling CCUDD cuddApa.c
[67/90] Compiling CCUDD cuddBddIte.c
[68/90] Compiling CCUDD cuddAndAbs.c
[69/90] Compiling CCUDD cuddAddWalsh.c
[70/90] Compiling CCUDD cuddApprox.c
[71/90] Compiling CCUDD cuddAddNeg.c
[72/90] Compiling CCUDD cuddAddIte.c
[72/90] Compiling CCUDD cuddAddInv.c
[74/90] Compiling CCUDD cstringstream.c
[75/90] Compiling CCUDD cpu_time.c
[76/90] Compiling CCUDD cuddAddFind.c
[77/90] Compiling CCUDD cuddAddApply.c
[78/90] Compiling CCUDD cuddAddAbs.c
[79/90] Compiling CCUDD cpu_stats.c
[80/90] Compiling CCUDD cuddAPI.c
[81/92] Write sources
[82/92] Compiling CAiger aiger.c
[84/96] Emitting module CAigerHelper
[85/96] Compiling CAigerHelper aigerHelper.swift
[87/97] Emitting module Aiger
[88/97] Compiling Aiger Aiger.swift
/host/spi-builder-workspace/.build/checkouts/Aiger/Sources/Aiger/Aiger.swift:70:13: error: cannot find 'abort' in scope
68 | default:
69 | assert(false)
70 | abort()
| `- error: cannot find 'abort' in scope
71 | }
72 | }
[88/97] Wrapping AST for CAigerHelper for debugging
[90/97] Compiling CUDD CUDD.swift
[91/97] Emitting module CUDD
error: cancelled
BUILD FAILURE 6.3 linux