Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add new IcfgBuilder #690

Open
wants to merge 55 commits into
base: dev
Choose a base branch
from
+12,868 −8,777

Sync CfgBuilder classes

b1cab86
Select commit
Loading
Failed to load commit list.
Open

Add new IcfgBuilder #690

Sync CfgBuilder classes
b1cab86
Select commit
Loading
Failed to load commit list.
Ultimate Jenkins CI / Ultimate CI Nightly failed Nov 5, 2024 in 1m 47s

Build and run nightly tests: error in 'sh' step

Build and run nightly tests / Shell Script

Error in sh step, with arguments cd trunk/source/BA_MavenParentUltimate && mvn -T 1C clean install -Pcoverage -Dmaven.test.failure.ignore=true -DexcludedGroups=de.uni_freiburg.informatik.ultimate.test.junitextension.categories.NoRegression.

script returned exit code 1
Build log 
[2024-11-05T01:58:37.119Z] + cd trunk/source/BA_MavenParentUltimate
[2024-11-05T01:58:37.119Z] + mvn -T 1C clean install -Pcoverage -Dmaven.test.failure.ignore=true -DexcludedGroups=de.uni_freiburg.informatik.ultimate.test.junitextension.categories.NoRegression
[2024-11-05T01:58:37.119Z] Picked up JAVA_TOOL_OPTIONS: -Dmaven.ext.class.path="/storage/jenkins/workspace/Ultimate_Ultimate_Nightly_PR-690@2@tmp/withMaven6ce4435c/pipeline-maven-spy.jar" -Dorg.jenkinsci.plugins.pipeline.maven.reportsFolder="/storage/jenkins/workspace/Ultimate_Ultimate_Nightly_PR-690@2@tmp/withMaven6ce4435c" 
[2024-11-05T01:58:38.483Z] [INFO] [jenkins-event-spy] Generate /storage/jenkins/workspace/Ultimate_Ultimate_Nightly_PR-690@2@tmp/withMaven6ce4435c/maven-spy-20241105-025838-30514091539370229831673.log.tmp ...
[2024-11-05T01:58:38.745Z] [INFO] Scanning for projects...
[2024-11-05T01:58:44.006Z] [INFO] Computing target platform for MavenProject: de.uni_freiburg.informatik.ultimate:de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2:0.2.5 @ /storage/jenkins/workspace/Ultimate_Ultimate_Nightly_PR-690@2/trunk/source/AbstractInterpretationV2/pom.xml
[2024-11-05T01:58:44.006Z] [INFO] Fetching p2.index from https://nexus.sopranium.de/repository/eclipse-4.17/ (128B)
[2024-11-05T01:58:44.006Z] [INFO] Adding repository https://nexus.sopranium.de/repository/eclipse-4.17
[2024-11-05T01:58:44.006Z] [INFO] Fetching p2.index from https://nexus.sopranium.de/repository/eclipse-4.17/8c14269b7861cf0f03b0581360ad6076ae953d5ee16946674e0084b14c6b3b8c/ (172B)
[2024-11-05T01:58:44.574Z] [INFO] Adding repository https://nexus.sopranium.de/repository/cdt-10.0
[2024-11-05T01:58:44.574Z] [INFO] Fetching p2.index from https://nexus.sopranium.de/repository/cdt-10.0/dbe473e8f855bc4566c99f72689dd3b4a766aed259a43a0bdddf996ee8809412/ (172B)
[2024-11-05T01:58:44.835Z] [INFO] Fetching p2.index from https://nexus.sopranium.de/repository/cdt-10.0/0a61b9991d2baf28bbc7a457f57da129ec0074d0a4555243358d4f909eea5be1/ (172B)
[2024-11-05T01:58:45.089Z] [INFO] Fetching p2.index from https://nexus.sopranium.de/repository/orbit-R20200831200620/ (134B)
[2024-11-05T01:58:45.089Z] [INFO] Adding repository https://nexus.sopranium.de/repository/orbit-R20200831200620
[2024-11-05T01:58:45.347Z] [INFO] Fetching p2.index from https://nexus.sopranium.de/repository/orbit-R20200831200620/37c5314047f16eea6090ad82cba3ced2ac2011181eb644900358222c92ae1514/ (172B)
[2024-11-05T01:58:45.601Z] [INFO] Adding repository https://struebli.informatik.uni-freiburg.de/p2-repository-ultimate-dependencies
[2024-11-05T01:58:45.601Z] [INFO] Resolving dependencies of MavenProject: de.uni_freiburg.informatik.ultimate:de.uni_freiburg.informatik.ultimate.plugins.analysis.abstractinterpretationv2:0.2.5 @ /storage/jenkins/workspace/Ultimate_Ultimate_Nightly_PR-690@2/trunk/source/AbstractInterpretationV2/pom.xml
[2024-11-05T01:58:45.601Z] [INFO] [jenkins-event-spy] Generated /storage/jenkins/workspace/Ultimate_Ultimate_Nightly_PR-690@2@tmp/withMaven6ce4435c/maven-spy-20241105-025838-30514091539370229831673.log
[2024-11-05T01:58:45.601Z] [ERROR] Internal error: java.lang.IllegalArgumentException: Could not find specification for custom execution environment profile 'JavaSE-21' in the target platform -> [Help 1]
[2024-11-05T01:58:45.601Z] org.apache.maven.InternalErrorException: Internal error: java.lang.IllegalArgumentException: Could not find specification for custom execution environment profile 'JavaSE-21' in the target platform
[2024-11-05T01:58:45.601Z]     at org.apache.maven.DefaultMaven.execute (DefaultMaven.java:109)
[2024-11-05T01:58:45.601Z]     at org.apache.maven.cli.MavenCli.execute (MavenCli.java:903)
[2024-11-05T01:58:45.601Z]     at org.apache.maven.cli.MavenCli.doMain (MavenCli.java:280)
[2024-11-05T01:58:45.601Z]     at org.apache.maven.cli.MavenCli.main (MavenCli.java:203)
[2024-11-05T01:58:45.601Z]     at jdk.internal.reflect.DirectMethodHandleAccessor.invoke (DirectMethodHandleAccessor.java:103)
[2024-11-05T01:58:45.601Z]     at java.lang.reflect.Method.invoke (Method.java:580)
[2024-11-05T01:58:45.601Z]     at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced (Launcher.java:255)
[2024-11-05T01:58:45.601Z]     at org.codehaus.plexus.classworlds.launcher.Launcher.launch (Launcher.java:201)
[2024-11-05T01:58:45.601Z]     at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode (Launcher.java:361)
[2024-11-05T01:58:45.601Z]     at org.codehaus.plexus.classworlds.launcher.Launcher.main (Launcher.java:314)
[2024-11-05T01:58:45.601Z] Caused by: java.lang.IllegalArgumentException: Could not find specification for custom execution environment profile 'JavaSE-21' in the target platform
[2024-11-05T01:58:45.601Z]     at org.eclipse.tycho.p2.target.ee.CustomEEResolutionHandler.findSpecificationUnit (CustomEEResolutionHandler.java:49)
[2024-11-05T01:58:45.601Z]     at org.eclipse.tycho.p2.target.ee.CustomEEResolutionHandler.readFullSpecification (CustomEEResolutionHandler.java:38)
[2024-11-05T01:58:45.601Z]     at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform (TargetPlatformFactoryImpl.java:200)
[2024-11-05T01:58:45.601Z]     at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform (TargetPlatformFactoryImpl.java:128)
[2024-11-05T01:58:45.601Z]     at org.eclipse.tycho.p2.target.TargetPlatformFactoryImpl.createTargetPlatform (TargetPlatformFactoryImpl.java:1)
[2024-11-05T01:58:45.601Z]     at org.eclipse.tycho.p2.manager.ReactorRepositoryManagerImpl.computePreliminaryTargetPlatform (ReactorRepositoryManagerImpl.java:84)
[2024-11-05T01:58:45.601Z]     at org.eclipse.tycho.p2.resolver.P2DependencyResolver.computePreliminaryTargetPlatform (P2DependencyResolver.java:226)
[2024-11-05T01:58:45.601Z]     at org.eclipse.tycho.core.resolver.DefaultTychoResolver.resolveWithCurrentEE (DefaultTychoResolver.java:207)
[2024-11-05T01:58:45.601Z]     at org.eclipse.tycho.core.resolver.DefaultTychoResolver.resolveProject (DefaultTychoResolver.java:132)
[2024-11-05T01:58:45.601Z]     at org.eclipse.tycho.core.maven.TychoMavenLifecycleParticipant.afterProjectsRead (TychoMavenLifecycleParticipant.java:95)
[2024-11-05T01:58:45.601Z]     at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:223)
[2024-11-05T01:58:45.601Z]     at org.apache.maven.DefaultMaven.doExecute (DefaultMaven.java:173)
[2024-11-05T01:58:45.601Z]     at org.apache.maven.DefaultMaven.execute (DefaultMaven.java:101)
[2024-11-05T01:58:45.601Z]     at org.apache.maven.cli.MavenCli.execute (MavenCli.java:903)
[2024-11-05T01:58:45.601Z]     at org.apache.maven.cli.MavenCli.doMain (MavenCli.java:280)
[2024-11-05T01:58:45.601Z]     at org.apache.maven.cli.MavenCli.main (MavenCli.java:203)
[2024-11-05T01:58:45.601Z]     at jdk.internal.reflect.DirectMethodHandleAccessor.invoke (DirectMethodHandleAccessor.java:103)
[2024-11-05T01:58:45.601Z]     at java.lang.reflect.Method.invoke (Method.java:580)
[2024-11-05T01:58:45.601Z]     at org.codehaus.plexus.classworlds.launcher.Launcher.launchEnhanced (Launcher.java:255)
[2024-11-05T01:58:45.601Z]     at org.codehaus.plexus.classworlds.launcher.Launcher.launch (Launcher.java:201)
[2024-11-05T01:58:45.601Z]     at org.codehaus.plexus.classworlds.launcher.Launcher.mainWithExitCode (Launcher.java:361)
[2024-11-05T01:58:45.601Z]     at org.codehaus.plexus.classworlds.launcher.Launcher.main (Launcher.java:314)
[2024-11-05T01:58:45.601Z] [ERROR] 
[2024-11-05T01:58:45.601Z] [ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.
[2024-11-05T01:58:45.601Z] [ERROR] Re-run Maven using the -X switch to enable full debug logging.
[2024-11-05T01:58:45.601Z] [ERROR] 
[2024-11-05T01:58:45.601Z] [ERROR] For more information about the errors and possible solutions, please read the following articles:
[2024-11-05T01:58:45.601Z] [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/InternalErrorException

Details

  • Checkout (1 min 21 sec)
  • Check environment (3.3 sec)
  • Collect reference build (1.7 sec)
  • Build and run nightly tests (11 sec)
    Error: script returned exit code 1
  • Deploy nightly build (2.2 sec)
  • Declarative: Post Actions (1.9 sec)
View more details on Ultimate Jenkins CI