Use call as location for error node corresponding to requires - #730
Open
schuessf wants to merge 4 commits into
Open
Use call as location for error node corresponding to requires#730schuessf wants to merge 4 commits into
schuessf wants to merge 4 commits into
Ultimate Jenkins CI / Ultimate CI
failed
Jul 3, 2026 in 3m 44s
Build and run basic tests: error in 'sh' step
Build and run basic tests / Shell Script
Error in sh step, with arguments cd trunk/source/BA_MavenParentUltimate && mvn -T 1C clean install.
script returned exit code 1
Build log
Build log truncated.
[2026-07-03T17:38:07.594Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:07.594Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:07.594Z] [INFO]
[2026-07-03T17:38:07.594Z] [INFO] --- tycho-p2-plugin:5.0.0:p2-metadata-default (default-p2-metadata-default) @ de.uni_freiburg.informatik.ultimate.lib.util ---
[2026-07-03T17:38:07.594Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:07.594Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:07.594Z] [INFO]
[2026-07-03T17:38:07.594Z] [INFO] --- install:3.1.1:install (default-install) @ de.uni_freiburg.informatik.ultimate.lib.util ---
[2026-07-03T17:38:07.594Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-UltimateUtil/.tycho-consumer-pom.xml to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.lib.util/0.3.1/de.uni_freiburg.informatik.ultimate.lib.util-0.3.1.pom
[2026-07-03T17:38:07.594Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-UltimateUtil/target/de.uni_freiburg.informatik.ultimate.lib.util-0.3.1.jar to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.lib.util/0.3.1/de.uni_freiburg.informatik.ultimate.lib.util-0.3.1.jar
[2026-07-03T17:38:07.594Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-UltimateUtil/target/p2content.xml to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.lib.util/0.3.1/de.uni_freiburg.informatik.ultimate.lib.util-0.3.1-p2metadata.xml
[2026-07-03T17:38:07.594Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-UltimateUtil/target/p2artifacts.xml to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.lib.util/0.3.1/de.uni_freiburg.informatik.ultimate.lib.util-0.3.1-p2artifacts.xml
[2026-07-03T17:38:07.594Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:07.594Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:07.594Z] [INFO]
[2026-07-03T17:38:07.594Z] [INFO] --- tycho-p2-plugin:5.0.0:update-local-index (default-update-local-index) @ de.uni_freiburg.informatik.ultimate.lib.util ---
[2026-07-03T17:38:07.594Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:07.594Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:07.594Z] [INFO]
[2026-07-03T17:38:07.594Z] [INFO] --< de.uni_freiburg.informatik.ultimate:de.uni_freiburg.informatik.ultimate.lib.smtlib >--
[2026-07-03T17:38:07.594Z] [INFO] Building de.uni_freiburg.informatik.ultimate.lib.smtlib 0.3.1 [10/107]
[2026-07-03T17:38:07.594Z] [INFO] from /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-SMTLIB/pom.xml
[2026-07-03T17:38:07.594Z] [INFO] ---------------------------[ eclipse-plugin ]---------------------------
[2026-07-03T17:38:07.594Z] [INFO] Executing tasks
[2026-07-03T17:38:07.594Z] [INFO] [echo] ASTBuilder: pluginDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder
[2026-07-03T17:38:07.594Z] [INFO] [echo] ASTBuilder: workspaceDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/..
[2026-07-03T17:38:07.594Z] [INFO] [echo] ASTBuilder: astbuilderDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/bin
[2026-07-03T17:38:07.594Z] [INFO] [echo] ASTBuilder: cupDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/JavaCup/bin
[2026-07-03T17:38:07.594Z] [INFO] [echo] ASTBuilder: astCodeDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/src/de/uni_freiburg/informatik/ultimate/astbuilder
[2026-07-03T17:38:07.594Z] [INFO] Executed tasks
[2026-07-03T17:38:07.594Z] [INFO]
[2026-07-03T17:38:07.594Z] [INFO] --- tycho-packaging:5.0.0:build-qualifier (default-build-qualifier) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:07.594Z] [INFO] The project's OSGi version is 0.3.1
[2026-07-03T17:38:07.594Z] [INFO]
[2026-07-03T17:38:07.594Z] [INFO] --- tycho-packaging:5.0.0:validate-id (default-validate-id) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:07.594Z] [INFO]
[2026-07-03T17:38:07.594Z] [INFO] --- tycho-packaging:5.0.0:validate-version (default-validate-version) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:07.594Z] [INFO]
[2026-07-03T17:38:07.594Z] [INFO] --- target-platform-configuration:5.0.0:target-platform (default-target-platform) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:07.859Z] [INFO]
[2026-07-03T17:38:07.859Z] [INFO] --- tycho-compiler:5.0.0:validate-classpath (default-validate-classpath) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:07.859Z] [INFO] Resolving class path of de.uni_freiburg.informatik.ultimate.astbuilder
[2026-07-03T17:38:07.859Z] [WARNING] The following locally built units have been used to resolve project dependencies:
[2026-07-03T17:38:07.859Z] [WARNING] de.uni_freiburg.informatik.ultimate.lib.ultimatemodel/0.3.1
[2026-07-03T17:38:07.859Z] [WARNING] de.uni_freiburg.informatik.ultimate.lib.smtlib/0.3.1
[2026-07-03T17:38:07.859Z] [WARNING] de.uni_freiburg.informatik.ultimate.lib.util/0.3.1
[2026-07-03T17:38:07.859Z] [INFO]
[2026-07-03T17:38:07.859Z] [INFO] --- antrun:3.2.0:run (generate-parser-sources) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:07.859Z] [INFO]
[2026-07-03T17:38:07.859Z] [INFO] --- clean:3.2.0:clean (default-clean) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:07.859Z] [INFO]
[2026-07-03T17:38:07.859Z] [INFO] --- tycho-packaging:5.0.0:build-qualifier (default-build-qualifier) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:07.859Z] [INFO] The project's OSGi version is 0.3.1
[2026-07-03T17:38:07.859Z] [INFO]
[2026-07-03T17:38:07.859Z] [INFO] --- tycho-packaging:5.0.0:validate-id (default-validate-id) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:07.859Z] [INFO]
[2026-07-03T17:38:07.859Z] [INFO] --- tycho-packaging:5.0.0:validate-version (default-validate-version) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:07.859Z] [INFO]
[2026-07-03T17:38:07.859Z] [INFO] --- target-platform-configuration:5.0.0:target-platform (default-target-platform) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:07.859Z] [INFO]
[2026-07-03T17:38:07.859Z] [INFO] --- tycho-compiler:5.0.0:validate-classpath (default-validate-classpath) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:07.859Z] [INFO] Resolving class path of de.uni_freiburg.informatik.ultimate.lib.smtlib
[2026-07-03T17:38:07.859Z] [INFO]
[2026-07-03T17:38:07.859Z] [INFO] --- resources:3.3.1:resources (default-resources) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:07.859Z] [INFO] skip non existing resourceDirectory /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-SMTLIB/src/main/resources
[2026-07-03T17:38:07.859Z] [INFO]
[2026-07-03T17:38:07.859Z] [INFO] --- tycho-compiler:5.0.0:compile (default-compile) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:08.120Z] [INFO] Compiling 49 source files to /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-SMTLIB/target/classes using Eclipse Compiler for Java(TM) 3.43.0.v20250819-1513
[2026-07-03T17:38:08.120Z] [INFO] Executing tasks
[2026-07-03T17:38:08.120Z] [INFO] [echo] ASTBuilder: pluginDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder
[2026-07-03T17:38:08.120Z] [INFO] [echo] ASTBuilder: workspaceDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/..
[2026-07-03T17:38:08.120Z] [INFO] [echo] ASTBuilder: astbuilderDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/bin
[2026-07-03T17:38:08.120Z] [INFO] [echo] ASTBuilder: cupDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/JavaCup/bin
[2026-07-03T17:38:08.120Z] [INFO] [echo] ASTBuilder: astCodeDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/src/de/uni_freiburg/informatik/ultimate/astbuilder
[2026-07-03T17:38:08.394Z] [INFO] [java] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1"
[2026-07-03T17:38:08.974Z] [INFO] [java] ------- jh-javacup-1.2 20210807 Parser Generation Summary -------
[2026-07-03T17:38:08.974Z] [INFO] [java] 0 errors and 0 warnings
[2026-07-03T17:38:08.974Z] [INFO] [java] 25 terminals, 23 non-terminals, and 52 productions declared,
[2026-07-03T17:38:08.974Z] [INFO] [java] producing 87 unique parse states, 52 unique actions.
[2026-07-03T17:38:08.974Z] [INFO] [java] 0 terminals declared but not used.
[2026-07-03T17:38:08.974Z] [INFO] [java] 0 non-terminals declared but not used.
[2026-07-03T17:38:08.974Z] [INFO] [java] 0 productions never reduced.
[2026-07-03T17:38:08.974Z] [INFO] [java] 0 conflicts detected (0 expected).
[2026-07-03T17:38:08.974Z] [INFO] [java] Code written to "parser.java", and "sym.java".
[2026-07-03T17:38:08.974Z] [INFO] [java] ---------------------------------------------------- (1.2 20210807)
[2026-07-03T17:38:09.231Z] [INFO] [mkdir] Created dir: /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/bin
[2026-07-03T17:38:09.231Z] [INFO] [javac] Compiling 12 source files to /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/bin
[2026-07-03T17:38:09.231Z] [WARNING] [javac] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1"
[2026-07-03T17:38:10.204Z] [INFO]
[2026-07-03T17:38:10.204Z] [INFO] --- tycho-bnd:5.0.0:process (default-process) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:10.204Z] [INFO]
[2026-07-03T17:38:10.204Z] [INFO] --- tycho-ds:5.0.0:declarative-services (default-declarative-services) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:10.204Z] [INFO]
[2026-07-03T17:38:10.204Z] [INFO] --- resources:3.3.1:testResources (default-testResources) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:10.204Z] [INFO] skip non existing resourceDirectory /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-SMTLIB/src/test/resources
[2026-07-03T17:38:10.204Z] [INFO]
[2026-07-03T17:38:10.204Z] [INFO] --- tycho-compiler:5.0.0:testCompile (default-testCompile) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:10.204Z] [INFO]
[2026-07-03T17:38:10.204Z] [INFO] --- tycho-packaging:5.0.0:update-consumer-pom (default-update-consumer-pom) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:10.204Z] [INFO] All system scoped dependencies were mapped to maven artifacts
[2026-07-03T17:38:10.204Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:10.204Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:10.204Z] [INFO]
[2026-07-03T17:38:10.204Z] [INFO] --- tycho-packaging:5.0.0:package-plugin (default-package-plugin) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:10.787Z] [INFO] Building jar: /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-SMTLIB/target/de.uni_freiburg.informatik.ultimate.lib.smtlib-0.3.1.jar
[2026-07-03T17:38:11.049Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:11.049Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:11.049Z] [INFO]
[2026-07-03T17:38:11.049Z] [INFO] --- tycho-p2-plugin:5.0.0:p2-metadata-default (default-p2-metadata-default) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:11.049Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:11.049Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:11.049Z] [INFO]
[2026-07-03T17:38:11.049Z] [INFO] --- install:3.1.1:install (default-install) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:11.049Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-SMTLIB/.tycho-consumer-pom.xml to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.lib.smtlib/0.3.1/de.uni_freiburg.informatik.ultimate.lib.smtlib-0.3.1.pom
[2026-07-03T17:38:11.049Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-SMTLIB/target/de.uni_freiburg.informatik.ultimate.lib.smtlib-0.3.1.jar to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.lib.smtlib/0.3.1/de.uni_freiburg.informatik.ultimate.lib.smtlib-0.3.1.jar
[2026-07-03T17:38:11.049Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-SMTLIB/target/p2content.xml to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.lib.smtlib/0.3.1/de.uni_freiburg.informatik.ultimate.lib.smtlib-0.3.1-p2metadata.xml
[2026-07-03T17:38:11.050Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-SMTLIB/target/p2artifacts.xml to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.lib.smtlib/0.3.1/de.uni_freiburg.informatik.ultimate.lib.smtlib-0.3.1-p2artifacts.xml
[2026-07-03T17:38:11.050Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:11.050Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:11.050Z] [INFO]
[2026-07-03T17:38:11.050Z] [INFO] --- tycho-p2-plugin:5.0.0:update-local-index (default-update-local-index) @ de.uni_freiburg.informatik.ultimate.lib.smtlib ---
[2026-07-03T17:38:11.050Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:11.050Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:11.050Z] [INFO]
[2026-07-03T17:38:11.050Z] [INFO] --< de.uni_freiburg.informatik.ultimate:de.uni_freiburg.informatik.ultimate.lib.core >--
[2026-07-03T17:38:11.050Z] [INFO] Building de.uni_freiburg.informatik.ultimate.lib.core 0.3.1 [11/107]
[2026-07-03T17:38:11.050Z] [INFO] from /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-UltimateCore/pom.xml
[2026-07-03T17:38:11.050Z] [INFO] ---------------------------[ eclipse-plugin ]---------------------------
[2026-07-03T17:38:11.050Z] [INFO]
[2026-07-03T17:38:11.050Z] [INFO] --< de.uni_freiburg.informatik.ultimate:de.uni_freiburg.informatik.ultimate.smtinterpol >--
[2026-07-03T17:38:11.050Z] [INFO] Building de.uni_freiburg.informatik.ultimate.smtinterpol 2.0.0 [12/107]
[2026-07-03T17:38:11.050Z] [INFO] from /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/pom.xml
[2026-07-03T17:38:11.050Z] [INFO] ---------------------------[ eclipse-plugin ]---------------------------
[2026-07-03T17:38:11.050Z] [INFO]
[2026-07-03T17:38:11.050Z] [INFO] --< de.uni_freiburg.informatik.ultimate:de.uni_freiburg.informatik.ultimate.lib.smtlib.test >--
[2026-07-03T17:38:11.050Z] [INFO] Building de.uni_freiburg.informatik.ultimate.lib.smtlib.test 0.3.1 [13/107]
[2026-07-03T17:38:11.050Z] [INFO] from /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-SMTLIBTest/pom.xml
[2026-07-03T17:38:11.050Z] [INFO] ------------------------[ eclipse-test-plugin ]-------------------------
[2026-07-03T17:38:11.312Z] [WARNING] The following locally built units have been used to resolve project dependencies:
[2026-07-03T17:38:11.312Z] [WARNING] de.uni_freiburg.informatik.ultimate.lib.ultimatemodel/0.3.1
[2026-07-03T17:38:11.312Z] [WARNING] de.uni_freiburg.informatik.ultimate.lib.core/0.3.1
[2026-07-03T17:38:11.312Z] [WARNING] de.uni_freiburg.informatik.ultimate.lib.smtlib/0.3.1
[2026-07-03T17:38:11.312Z] [WARNING] de.uni_freiburg.informatik.ultimate.lib.util/0.3.1
[2026-07-03T17:38:11.312Z] [WARNING] The following locally built units have been used to resolve project dependencies:
[2026-07-03T17:38:11.312Z] [WARNING] de.uni_freiburg.informatik.ultimate.lib.ultimatemodel/0.3.1
[2026-07-03T17:38:11.312Z] [WARNING] com.github.jhoenicke.javacup/1.2.0
[2026-07-03T17:38:11.312Z] [WARNING] de.uni_freiburg.informatik.ultimate.lib.smtlib/0.3.1
[2026-07-03T17:38:11.312Z] [WARNING] de.uni_freiburg.informatik.ultimate.smtinterpol/2.0.0
[2026-07-03T17:38:11.312Z] [WARNING] de.uni_freiburg.informatik.ultimate.lib.util/0.3.1
[2026-07-03T17:38:11.312Z] [INFO]
[2026-07-03T17:38:11.312Z] [INFO] --- clean:3.2.0:clean (default-clean) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:11.312Z] [INFO]
[2026-07-03T17:38:11.312Z] [INFO] --- antrun:3.2.0:run (clean-parser-sources) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:11.312Z] [INFO]
[2026-07-03T17:38:11.312Z] [INFO] --- clean:3.2.0:clean (default-clean) @ de.uni_freiburg.informatik.ultimate.lib.core ---
[2026-07-03T17:38:11.312Z] [INFO]
[2026-07-03T17:38:11.312Z] [INFO] --- antrun:3.2.0:run (clean-binding-sources) @ de.uni_freiburg.informatik.ultimate.lib.core ---
[2026-07-03T17:38:11.898Z] [INFO] Executing tasks
[2026-07-03T17:38:11.898Z] [INFO] [echo] LibraryUltimateCore: pluginDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-UltimateCore
[2026-07-03T17:38:11.898Z] [INFO] [echo] LibraryUltimateCore: workspaceDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-UltimateCore/..
[2026-07-03T17:38:11.898Z] [INFO] [echo] LibraryUltimateCore: xjcDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/BA_SharedJARs
[2026-07-03T17:38:11.898Z] [INFO] [echo] LibraryUltimateCore: xjcSourceDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-UltimateCore/src/de/uni_freiburg/informatik/ultimate/core/lib/toolchain
[2026-07-03T17:38:11.898Z] [INFO] [echo] LibraryUltimateCore: xjcTargetDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-UltimateCore/src
[2026-07-03T17:38:11.898Z] [INFO] [echo] LibraryUltimateCore: xjcPkgDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/Library-UltimateCore/src/de/uni_freiburg/informatik/ultimate/core/lib/toolchain
[2026-07-03T17:38:11.898Z] [INFO] [echo] LibraryUltimateCore: xjcPkgName is de.uni_freiburg.informatik.ultimate.core.lib.toolchain
[2026-07-03T17:38:11.898Z] [WARNING] The following locally built units have been used to resolve project dependencies:
[2026-07-03T17:38:11.898Z] [WARNING] de.uni_freiburg.informatik.ultimate.lib.smtlib.test/0.3.1
[2026-07-03T17:38:11.899Z] [WARNING] de.uni_freiburg.informatik.ultimate.lib.ultimatemodel/0.3.1
[2026-07-03T17:38:11.899Z] [WARNING] de.uni_freiburg.informatik.ultimate.lib.smtlib/0.3.1
[2026-07-03T17:38:11.899Z] [WARNING] de.uni_freiburg.informatik.ultimate.lib.util/0.3.1
[2026-07-03T17:38:11.899Z] [INFO] Executed tasks
[2026-07-03T17:38:11.899Z] [INFO]
[2026-07-03T17:38:11.899Z] [INFO] --- tycho-packaging:5.0.0:build-qualifier (default-build-qualifier) @ de.uni_freiburg.informatik.ultimate.lib.core ---
[2026-07-03T17:38:11.899Z] [INFO] The project's OSGi version is 0.3.1
[2026-07-03T17:38:11.899Z] [INFO]
[2026-07-03T17:38:11.899Z] [INFO] --- tycho-packaging:5.0.0:validate-id (default-validate-id) @ de.uni_freiburg.informatik.ultimate.lib.core ---
[2026-07-03T17:38:11.899Z] [INFO]
[2026-07-03T17:38:11.899Z] [INFO] --- tycho-packaging:5.0.0:validate-version (default-validate-version) @ de.uni_freiburg.informatik.ultimate.lib.core ---
[2026-07-03T17:38:11.899Z] [INFO] Executing tasks
[2026-07-03T17:38:11.899Z] [INFO]
[2026-07-03T17:38:11.899Z] [INFO] --- target-platform-configuration:5.0.0:target-platform (default-target-platform) @ de.uni_freiburg.informatik.ultimate.lib.core ---
[2026-07-03T17:38:11.899Z] [INFO] [echo] SMTInterpol: pluginDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol
[2026-07-03T17:38:11.899Z] [INFO] [echo] SMTInterpol: workspaceDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/..
[2026-07-03T17:38:11.899Z] [INFO] [echo] SMTInterpol: cupDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/JavaCup/bin
[2026-07-03T17:38:11.899Z] [INFO] [echo] SMTInterpol: flexBinary is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/JavaCup/JFlex.jar
[2026-07-03T17:38:11.899Z] [INFO] [echo] SMTInterpol: smtlibCodeDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/smtlib
[2026-07-03T17:38:11.899Z] [INFO] [echo] SMTInterpol: smtlib2CodeDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/smtlib2
[2026-07-03T17:38:11.899Z] [INFO] [echo] SMTInterpol: dimacsCodeDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/dimacs
[2026-07-03T17:38:11.899Z] [INFO] [echo] SMTInterpol: proofsCodeDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/proof/checker
[2026-07-03T17:38:11.899Z] [INFO]
[2026-07-03T17:38:11.899Z] [INFO] --- tycho-compiler:5.0.0:validate-classpath (default-validate-classpath) @ de.uni_freiburg.informatik.ultimate.lib.core ---
[2026-07-03T17:38:11.899Z] [INFO] Resolving class path of de.uni_freiburg.informatik.ultimate.lib.core
[2026-07-03T17:38:11.899Z] [INFO] Executed tasks
[2026-07-03T17:38:11.899Z] [INFO]
[2026-07-03T17:38:11.899Z] [INFO] --- tycho-packaging:5.0.0:build-qualifier (default-build-qualifier) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:11.899Z] [INFO] The project's OSGi version is 2.0.0
[2026-07-03T17:38:11.899Z] [INFO]
[2026-07-03T17:38:11.899Z] [INFO] --- tycho-packaging:5.0.0:validate-id (default-validate-id) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:11.899Z] [INFO]
[2026-07-03T17:38:11.899Z] [INFO] --- tycho-packaging:5.0.0:validate-version (default-validate-version) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:11.899Z] [INFO]
[2026-07-03T17:38:11.899Z] [INFO] --- target-platform-configuration:5.0.0:target-platform (default-target-platform) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:11.899Z] [INFO]
[2026-07-03T17:38:11.899Z] [INFO] --- tycho-compiler:5.0.0:validate-classpath (default-validate-classpath) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:11.899Z] [INFO] Resolving class path of de.uni_freiburg.informatik.ultimate.smtinterpol
[2026-07-03T17:38:12.166Z] [INFO]
[2026-07-03T17:38:12.166Z] [INFO] --- antrun:3.2.0:run (generate-parser-sources) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:12.431Z] [INFO] Executing tasks
[2026-07-03T17:38:12.431Z] [INFO] [echo] SMTInterpol: pluginDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol
[2026-07-03T17:38:12.431Z] [INFO] [echo] SMTInterpol: workspaceDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/..
[2026-07-03T17:38:12.431Z] [INFO] [echo] SMTInterpol: cupDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/JavaCup/bin
[2026-07-03T17:38:12.431Z] [INFO] [echo] SMTInterpol: flexBinary is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/JavaCup/JFlex.jar
[2026-07-03T17:38:12.431Z] [INFO] [echo] SMTInterpol: smtlibCodeDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/smtlib
[2026-07-03T17:38:12.431Z] [INFO] [echo] SMTInterpol: smtlib2CodeDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/smtlib2
[2026-07-03T17:38:12.431Z] [INFO] [echo] SMTInterpol: dimacsCodeDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/dimacs
[2026-07-03T17:38:12.431Z] [INFO] [echo] SMTInterpol: proofsCodeDir is /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/proof/checker
[2026-07-03T17:38:12.692Z] [INFO] [java] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1"
[2026-07-03T17:38:12.692Z] [INFO] [java] Reading "smtlib.flex"
[2026-07-03T17:38:13.272Z] [INFO] [java] Constructing NFA : 508 states in NFA
[2026-07-03T17:38:13.272Z] [INFO] [java] Converting NFA to DFA :
[2026-07-03T17:38:13.272Z] [INFO]
[2026-07-03T17:38:13.272Z] [INFO] --- clean:3.2.0:clean (default-clean) @ de.uni_freiburg.informatik.ultimate.lib.smtlib.test ---
[2026-07-03T17:38:13.272Z] [INFO]
[2026-07-03T17:38:13.272Z] [INFO] --- tycho-packaging:5.0.0:build-qualifier (default-build-qualifier) @ de.uni_freiburg.informatik.ultimate.lib.smtlib.test ---
[2026-07-03T17:38:13.272Z] [INFO] The project's OSGi version is 0.3.1
[2026-07-03T17:38:13.272Z] [INFO]
[2026-07-03T17:38:13.272Z] [INFO] --- tycho-packaging:5.0.0:validate-id (default-validate-id) @ de.uni_freiburg.informatik.ultimate.lib.smtlib.test ---
[2026-07-03T17:38:13.272Z] [INFO]
[2026-07-03T17:38:13.272Z] [INFO] --- tycho-packaging:5.0.0:validate-version (default-validate-version) @ de.uni_freiburg.informatik.ultimate.lib.smtlib.test ---
[2026-07-03T17:38:13.272Z] [INFO]
[2026-07-03T17:38:13.272Z] [INFO] --- target-platform-configuration:5.0.0:target-platform (default-target-platform) @ de.uni_freiburg.informatik.ultimate.lib.smtlib.test ---
[2026-07-03T17:38:13.272Z] [INFO]
[2026-07-03T17:38:13.272Z] [INFO] --- tycho-compiler:5.0.0:validate-classpath (default-validate-classpath) @ de.uni_freiburg.informatik.ultimate.lib.smtlib.test ---
[2026-07-03T17:38:13.272Z] [INFO] Resolving class path of de.uni_freiburg.informatik.ultimate.lib.smtlib.test
[2026-07-03T17:38:13.272Z] [INFO] [java] ........................................................................................................................................................................................................................................................
[2026-07-03T17:38:13.272Z] [INFO] [java] 254 states before minimization, 208 states in minimized DFA
[2026-07-03T17:38:13.528Z] [INFO] [java] Writing code to "Lexer.java"
[2026-07-03T17:38:13.795Z] [INFO] [java] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1"
[2026-07-03T17:38:14.385Z] [INFO] [java] Warning: Terminal "LOGIC" was declared but never used
[2026-07-03T17:38:14.385Z] [INFO] [java] Warning: Terminal "THEORY" was declared but never used
[2026-07-03T17:38:14.385Z] [INFO] [java] Warning: Terminal "INDEXED_ID" was declared but never used
[2026-07-03T17:38:15.326Z] [INFO] [java] ------- jh-javacup-1.2 20210807 Parser Generation Summary -------
[2026-07-03T17:38:15.326Z] [INFO] [java] 0 errors and 3 warnings
[2026-07-03T17:38:15.326Z] [INFO] [java] 47 terminals, 40 non-terminals, and 96 productions declared,
[2026-07-03T17:38:15.326Z] [INFO] [java] producing 220 unique parse states, 81 unique actions.
[2026-07-03T17:38:15.326Z] [INFO] [java] 3 terminals declared but not used.
[2026-07-03T17:38:15.326Z] [INFO] [java] 0 non-terminals declared but not used.
[2026-07-03T17:38:15.326Z] [INFO] [java] 0 productions never reduced.
[2026-07-03T17:38:15.326Z] [INFO] [java] 0 conflicts detected (0 expected).
[2026-07-03T17:38:15.326Z] [INFO] [java] Code written to "Parser.java", and "LexerSymbols.java".
[2026-07-03T17:38:15.326Z] [INFO] [java] ---------------------------------------------------- (1.2 20210807)
[2026-07-03T17:38:15.326Z] [INFO] [java] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1"
[2026-07-03T17:38:15.583Z] [INFO] [java] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1"
[2026-07-03T17:38:15.839Z] [INFO] [java] Reading "smtlib.flex"
[2026-07-03T17:38:15.839Z] [INFO] [java] Building: Node
[2026-07-03T17:38:16.421Z] [INFO] [java] Building: Parameter
[2026-07-03T17:38:16.421Z] [INFO] [java] Building: Grammar
[2026-07-03T17:38:16.421Z] [INFO] [javac] Compiling 3 source files to /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/bin
[2026-07-03T17:38:16.421Z] [WARNING] [javac] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1"
[2026-07-03T17:38:16.421Z] [INFO] [java] Constructing NFA : 1,125 states in NFA
[2026-07-03T17:38:16.421Z] [INFO] [java] Converting NFA to DFA :
[2026-07-03T17:38:16.997Z] [INFO] [java] ..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
[2026-07-03T17:38:16.997Z] [INFO] [java] 720 states before minimization, 705 states in minimized DFA
[2026-07-03T17:38:17.258Z] [INFO] [java] Writing code to "Lexer.java"
[2026-07-03T17:38:17.519Z] [INFO] [java] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1"
[2026-07-03T17:38:18.483Z] [INFO] [java] ------- jh-javacup-1.2 20210807 Parser Generation Summary -------
[2026-07-03T17:38:18.483Z] [INFO] [java] 0 errors and 0 warnings
[2026-07-03T17:38:18.484Z] [INFO] [java] 99 terminals, 91 non-terminals, and 319 productions declared,
[2026-07-03T17:38:18.484Z] [INFO] [java] producing 349 unique parse states, 143 unique actions.
[2026-07-03T17:38:18.484Z] [INFO] [java] 0 terminals declared but not used.
[2026-07-03T17:38:18.484Z] [INFO] [java] 0 non-terminals declared but not used.
[2026-07-03T17:38:18.484Z] [INFO] [java] 0 productions never reduced.
[2026-07-03T17:38:18.484Z] [INFO] [java] 0 conflicts detected (0 expected).
[2026-07-03T17:38:18.484Z] [INFO] [java] Code written to "Parser.java", and "LexerSymbols.java".
[2026-07-03T17:38:18.484Z] [INFO] [java] ---------------------------------------------------- (1.2 20210807)
[2026-07-03T17:38:18.748Z] [INFO] [java] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1"
[2026-07-03T17:38:19.015Z] [INFO] [java] Reading "dimacs.flex"
[2026-07-03T17:38:19.015Z] [INFO] [java] Constructing NFA : 47 states in NFA
[2026-07-03T17:38:19.015Z] [INFO] [java] Converting NFA to DFA :
[2026-07-03T17:38:19.015Z] [INFO] [java] ...................
[2026-07-03T17:38:19.015Z] [INFO] [java] 21 states before minimization, 14 states in minimized DFA
[2026-07-03T17:38:19.274Z] [INFO] [java] Writing code to "Lexer.java"
[2026-07-03T17:38:19.274Z] [INFO] [java] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1"
[2026-07-03T17:38:19.891Z] [INFO] [java] ------- jh-javacup-1.2 20210807 Parser Generation Summary -------
[2026-07-03T17:38:19.891Z] [INFO] [java] 0 errors and 0 warnings
[2026-07-03T17:38:19.891Z] [INFO] [java] 7 terminals, 9 non-terminals, and 14 productions declared,
[2026-07-03T17:38:19.891Z] [INFO] [java] producing 20 unique parse states, 11 unique actions.
[2026-07-03T17:38:19.891Z] [INFO] [java] 0 terminals declared but not used.
[2026-07-03T17:38:19.891Z] [INFO] [java] 0 non-terminals declared but not used.
[2026-07-03T17:38:19.891Z] [INFO] [java] 0 productions never reduced.
[2026-07-03T17:38:19.891Z] [INFO] [java] 0 conflicts detected (0 expected).
[2026-07-03T17:38:19.891Z] [INFO] [java] Code written to "Parser.java", and "LexerSymbols.java".
[2026-07-03T17:38:19.891Z] [INFO] [java] ---------------------------------------------------- (1.2 20210807)
[2026-07-03T17:38:19.891Z] [INFO] [java] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1"
[2026-07-03T17:38:20.155Z] [INFO] Executed tasks
[2026-07-03T17:38:20.155Z] [INFO]
[2026-07-03T17:38:20.155Z] [INFO] --- resources:3.3.1:resources (default-resources) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:20.155Z] [INFO] skip non existing resourceDirectory /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/src/main/resources
[2026-07-03T17:38:20.155Z] [INFO]
[2026-07-03T17:38:20.155Z] [INFO] --- tycho-compiler:5.0.0:compile (default-compile) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:20.155Z] [INFO] Compiling 12 source files to /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/target/classes using Eclipse Compiler for Java(TM) 3.43.0.v20250819-1513
[2026-07-03T17:38:20.155Z] [INFO] [java] Reading "proofs.flex"
[2026-07-03T17:38:20.766Z] [INFO] [java] Constructing NFA : 665 states in NFA
[2026-07-03T17:38:20.766Z] [INFO] [java] Converting NFA to DFA :
[2026-07-03T17:38:21.059Z] [INFO] [java] ....................................................................................................................................................................................................................................................................................................................................................
[2026-07-03T17:38:21.059Z] [INFO] [java] 346 states before minimization, 332 states in minimized DFA
[2026-07-03T17:38:21.059Z] [INFO]
[2026-07-03T17:38:21.059Z] [INFO] --- tycho-bnd:5.0.0:process (default-process) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:21.059Z] [INFO]
[2026-07-03T17:38:21.059Z] [INFO] --- tycho-ds:5.0.0:declarative-services (default-declarative-services) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:21.059Z] [INFO]
[2026-07-03T17:38:21.059Z] [INFO] --- resources:3.3.1:testResources (default-testResources) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:21.059Z] [INFO] skip non existing resourceDirectory /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/src/test/resources
[2026-07-03T17:38:21.059Z] [INFO]
[2026-07-03T17:38:21.059Z] [INFO] --- tycho-compiler:5.0.0:testCompile (default-testCompile) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:21.059Z] [INFO]
[2026-07-03T17:38:21.059Z] [INFO] --- tycho-packaging:5.0.0:update-consumer-pom (default-update-consumer-pom) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:21.059Z] [INFO] All system scoped dependencies were mapped to maven artifacts
[2026-07-03T17:38:21.059Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:21.059Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:21.059Z] [INFO]
[2026-07-03T17:38:21.059Z] [INFO] --- tycho-packaging:5.0.0:package-plugin (default-package-plugin) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:21.314Z] [INFO] [java] Writing code to "ProofLexer.java"
[2026-07-03T17:38:21.606Z] [INFO] Building jar: /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/target/de.uni_freiburg.informatik.ultimate.astbuilder-0.3.1.jar
[2026-07-03T17:38:21.606Z] [INFO] [java] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1"
[2026-07-03T17:38:21.606Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:21.606Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:21.606Z] [INFO]
[2026-07-03T17:38:21.606Z] [INFO] --- tycho-p2-plugin:5.0.0:p2-metadata-default (default-p2-metadata-default) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:21.606Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:21.606Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:21.606Z] [INFO]
[2026-07-03T17:38:21.606Z] [INFO] --- install:3.1.1:install (default-install) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:21.606Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/.tycho-consumer-pom.xml to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.astbuilder/0.3.1/de.uni_freiburg.informatik.ultimate.astbuilder-0.3.1.pom
[2026-07-03T17:38:21.606Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/target/de.uni_freiburg.informatik.ultimate.astbuilder-0.3.1.jar to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.astbuilder/0.3.1/de.uni_freiburg.informatik.ultimate.astbuilder-0.3.1.jar
[2026-07-03T17:38:21.606Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/target/p2content.xml to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.astbuilder/0.3.1/de.uni_freiburg.informatik.ultimate.astbuilder-0.3.1-p2metadata.xml
[2026-07-03T17:38:21.606Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/ASTBuilder/target/p2artifacts.xml to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.astbuilder/0.3.1/de.uni_freiburg.informatik.ultimate.astbuilder-0.3.1-p2artifacts.xml
[2026-07-03T17:38:21.606Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:21.886Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:21.886Z] [INFO]
[2026-07-03T17:38:21.886Z] [INFO] --- tycho-p2-plugin:5.0.0:update-local-index (default-update-local-index) @ de.uni_freiburg.informatik.ultimate.astbuilder ---
[2026-07-03T17:38:21.886Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:21.886Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:23.829Z] [INFO] [java] ------- jh-javacup-1.2 20210807 Parser Generation Summary -------
[2026-07-03T17:38:23.829Z] [INFO] [java] 0 errors and 0 warnings
[2026-07-03T17:38:23.829Z] [INFO] [java] 91 terminals, 63 non-terminals, and 331 productions declared,
[2026-07-03T17:38:23.829Z] [INFO] [java] producing 456 unique parse states, 154 unique actions.
[2026-07-03T17:38:23.829Z] [INFO] [java] 0 terminals declared but not used.
[2026-07-03T17:38:23.829Z] [INFO] [java] 0 non-terminals declared but not used.
[2026-07-03T17:38:23.829Z] [INFO] [java] 0 productions never reduced.
[2026-07-03T17:38:23.829Z] [INFO] [java] 0 conflicts detected (0 expected).
[2026-07-03T17:38:23.829Z] [INFO] [java] Code written to "ProofParser.java", and "ProofSymbols.java".
[2026-07-03T17:38:23.829Z] [INFO] [java] ---------------------------------------------------- (1.2 20210807)
[2026-07-03T17:38:24.099Z] [INFO] Executed tasks
[2026-07-03T17:38:24.099Z] [INFO]
[2026-07-03T17:38:24.099Z] [INFO] --- resources:3.3.1:resources (default-resources) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:24.099Z] [INFO] skip non existing resourceDirectory /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/src/main/resources
[2026-07-03T17:38:24.099Z] [INFO]
[2026-07-03T17:38:24.099Z] [INFO] --- tycho-compiler:5.0.0:compile (default-compile) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:24.366Z] [INFO] Compiling 279 source files to /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/target/classes using Eclipse Compiler for Java(TM) 3.43.0.v20250819-1513
[2026-07-03T17:38:34.376Z] [INFO]
[2026-07-03T17:38:34.376Z] [INFO] --- tycho-bnd:5.0.0:process (default-process) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:34.376Z] [INFO]
[2026-07-03T17:38:34.376Z] [INFO] --- tycho-ds:5.0.0:declarative-services (default-declarative-services) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:34.376Z] [INFO]
[2026-07-03T17:38:34.376Z] [INFO] --- resources:3.3.1:testResources (default-testResources) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:34.376Z] [INFO] skip non existing resourceDirectory /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/src/test/resources
[2026-07-03T17:38:34.376Z] [INFO]
[2026-07-03T17:38:34.376Z] [INFO] --- tycho-compiler:5.0.0:testCompile (default-testCompile) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:34.376Z] [INFO]
[2026-07-03T17:38:34.376Z] [INFO] --- tycho-packaging:5.0.0:update-consumer-pom (default-update-consumer-pom) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:34.376Z] [INFO] All system scoped dependencies were mapped to maven artifacts
[2026-07-03T17:38:34.376Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:34.376Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:34.376Z] [INFO]
[2026-07-03T17:38:34.376Z] [INFO] --- tycho-packaging:5.0.0:package-plugin (default-package-plugin) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:35.311Z] [INFO] Building jar: /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/target/de.uni_freiburg.informatik.ultimate.smtinterpol-2.0.0.jar
[2026-07-03T17:38:35.582Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:35.582Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:35.582Z] [INFO]
[2026-07-03T17:38:35.582Z] [INFO] --- tycho-p2-plugin:5.0.0:p2-metadata-default (default-p2-metadata-default) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:35.582Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:35.582Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:35.582Z] [INFO]
[2026-07-03T17:38:35.582Z] [INFO] --- install:3.1.1:install (default-install) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:35.582Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/.tycho-consumer-pom.xml to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.smtinterpol/2.0.0/de.uni_freiburg.informatik.ultimate.smtinterpol-2.0.0.pom
[2026-07-03T17:38:35.582Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/target/de.uni_freiburg.informatik.ultimate.smtinterpol-2.0.0.jar to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.smtinterpol/2.0.0/de.uni_freiburg.informatik.ultimate.smtinterpol-2.0.0.jar
[2026-07-03T17:38:35.582Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/target/p2content.xml to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.smtinterpol/2.0.0/de.uni_freiburg.informatik.ultimate.smtinterpol-2.0.0-p2metadata.xml
[2026-07-03T17:38:35.582Z] [INFO] Installing /storage/jenkins/workspace/Ultimate_Ultimate_PR-730/trunk/source/SMTInterpol/target/p2artifacts.xml to /root/.m2/repository/de/uni_freiburg/informatik/ultimate/de.uni_freiburg.informatik.ultimate.smtinterpol/2.0.0/de.uni_freiburg.informatik.ultimate.smtinterpol-2.0.0-p2artifacts.xml
[2026-07-03T17:38:35.582Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:35.582Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:35.582Z] [INFO]
[2026-07-03T17:38:35.582Z] [INFO] --- tycho-p2-plugin:5.0.0:update-local-index (default-update-local-index) @ de.uni_freiburg.informatik.ultimate.smtinterpol ---
[2026-07-03T17:38:35.582Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:35.582Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:35.582Z] [INFO] ------------------------------------------------------------------------
[2026-07-03T17:38:35.582Z] [INFO] Reactor Summary:
[2026-07-03T17:38:35.582Z] [INFO]
[2026-07-03T17:38:35.582Z] [INFO] Ultimate 0.3.1 ..................................... SUCCESS [ 0.268 s]
[2026-07-03T17:38:35.582Z] [INFO] com.github.jhoenicke.javacup 1.2.0 ................. SUCCESS [ 35.868 s]
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.astbuilder 0.3.1 SUCCESS [ 14.697 s]
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.ultimatemodel 0.3.1 SUCCESS [ 28.443 s]
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.util 0.3.1 . SUCCESS [ 7.896 s]
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.smtlib 0.3.1 SUCCESS [ 3.506 s]
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.core 0.3.1 . FAILURE [ 0.895 s]
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.boogieast 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.core 0.3.1 ..... SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.boogie.parser 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.boogie.preprocessor 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.smtinterpol 2.0.0 SUCCESS [ 24.615 s]
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.smtsolver.external 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.smtlibutils 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.icfg 0.3.1 . SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.analysis.irsdependencies 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.automata 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.acsl.parser 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.source.automatascriptparser 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.generator.automatascriptinterpreter 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.analysis.automatondeltadebugger 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.boogie.printer 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.generator.icfgbuilder 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.generator.blockencoding 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.icfgtransformer 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.blockencoding 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.generator.modsetannotator 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] edu.uci.ics.jung 2.0.1 ............................. SUCCESS [ 24.824 s]
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.witnessparser 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.witnessprinter 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.cdt.parser 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.boogie.procedureinliner 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.proofs 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.lassoranker 0.9.5 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.pathexpressions 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.sifa 0.3.1 . SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.pdr 0.3.1 .. SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.mcr 0.3.1 .. SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.sifa 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.acceleratedinterpolation 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.generator.buchiautomizer 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.ltl2aut 0.3.1 .. SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.buchiprogramproduct 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.gui.preferencepages 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.cdt 0.3.1 ...... SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.chc 0.3.1 .. SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.chcprinter 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.generator.treeautomizer 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.chcsolver 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.chctoboogie 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.generator.codecheck 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.crocotta 0.3.1 . SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.gui.logging 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.gui 0.3.1 ...... SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.icfgtochc 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.icfgtransformation 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.generator.invariantsynthesis 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.output.jungvisualization 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.analysis.lassoranker 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] org.apache.commons.cli 1.3.1 ....................... SUCCESS [ 28.270 s]
[2026-07-03T17:38:35.582Z] [INFO] net.sourceforge.czt 1.5.0 .......................... SUCCESS [ 1.019 s]
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.mso 0.3.1 .. SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.pea 0.89.0 . SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.preferencejson 0.3.1 SUCCESS [ 1.570 s]
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.srparse 1.0.0 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.pea2boogie 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.output.peaexamplegenerator 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.smtlib.test 0.3.1 FAILURE [ 2.241 s]
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.analysis.reachingdefinitions 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.generator.referee 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.reqparser 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.req.printer 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.reqtotest 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.source.smtparser 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.analysis.syntaxchecker 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstractionwithafas 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.cli 0.3.1 ...... SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.deltadebugger 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.controller.eliminator 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.web.backend 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.test 0.3.1 . SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.boogie.preprocessor.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.core.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.automata.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.icfgtransformer.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.modelcheckerutils.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.mso.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.srparse.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.test.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.util.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.pathexpressions.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.lib.sifa.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.smtinterpol.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.smtsolver.external.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.plugins.spaceex.parser.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.pea2boogie.test 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.regressiontest 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] de.uni_freiburg.informatik.ultimate.ultimatetest 0.3.1 SKIPPED
[2026-07-03T17:38:35.582Z] [INFO] ------------------------------------------------------------------------
[2026-07-03T17:38:35.582Z] [INFO] BUILD FAILURE
[2026-07-03T17:38:35.582Z] [INFO] ------------------------------------------------------------------------
[2026-07-03T17:38:35.582Z] [INFO] Total time: 01:16 min (Wall Clock)
[2026-07-03T17:38:35.582Z] [INFO] Finished at: 2026-07-03T19:38:35+02:00
[2026-07-03T17:38:35.582Z] [INFO] ------------------------------------------------------------------------
[2026-07-03T17:38:36.156Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:36.156Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:36.156Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:36.156Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:36.156Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:36.156Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:36.156Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:36.156Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:36.156Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:36.156Z] [WARNING] [jenkins-event-spy] Unexpected Maven project file name '.tycho-consumer-pom.xml', problems may occur
[2026-07-03T17:38:36.156Z] [INFO] [jenkins-event-spy] Generated /storage/jenkins/workspace/Ultimate_Ultimate_PR-730@tmp/withMaven86b257c1/maven-spy-20260703-193718-78416495898237457673106.log
[2026-07-03T17:38:36.156Z] [ERROR] Failed to execute goal org.eclipse.tycho:tycho-compiler-plugin:5.0.0:validate-classpath (default-validate-classpath) on project de.uni_freiburg.informatik.ultimate.lib.core: Execution default-validate-classpath of goal org.eclipse.tycho:tycho-compiler-plugin:5.0.0:validate-classpath failed: Exception parsing OSGi MANIFEST /root/.m2/repository/p2/osgi/bundle/org.glassfish.hk2.osgi-resource-locator.source/1.0.4/org.glassfish.hk2.osgi-resource-locator.source-1.0.4.jar: zip file is empty -> [Help 1]
[2026-07-03T17:38:36.157Z] [ERROR] Failed to execute goal org.eclipse.tycho:tycho-compiler-plugin:5.0.0:validate-classpath (default-validate-classpath) on project de.uni_freiburg.informatik.ultimate.lib.smtlib.test: Execution default-validate-classpath of goal org.eclipse.tycho:tycho-compiler-plugin:5.0.0:validate-classpath failed: Exception parsing OSGi MANIFEST /root/.m2/repository/p2/osgi/bundle/jakarta.inject.jakarta.inject-api.source/2.0.1/jakarta.inject.jakarta.inject-api.source-2.0.1.jar: zip file is empty -> [Help 1]
[2026-07-03T17:38:36.157Z] [ERROR]
[2026-07-03T17:38:36.157Z] [ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[2026-07-03T17:38:36.157Z] [ERROR] Re-run Maven using the -X switch to enable full debug logging.
[2026-07-03T17:38:36.157Z] [ERROR]
[2026-07-03T17:38:36.157Z] [ERROR] For more information about the errors and possible solutions, please read the following articles:
[2026-07-03T17:38:36.157Z] [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/PluginExecutionException
[2026-07-03T17:38:36.157Z] [ERROR]
[2026-07-03T17:38:36.157Z] [ERROR] After correcting the problems, you can resume the build with the command
[2026-07-03T17:38:36.157Z] [ERROR] mvn <args> -rf :de.uni_freiburg.informatik.ultimate.lib.core
Details
- Declarative: Tool Install (1.9 sec)
- Checkout (2 min 3 sec)
- Check environment (4.1 sec)
- Build and run basic tests (1 min 27 sec)
Error: script returned exit code 1 - logs - Declarative: Post Actions (2.8 sec)
Loading