Troubleshooting

Troubleshooting

Ultimate does not compile

Perhaps after you updated your working copy or just after your initial setup, Ultimate does not compile. Check the following:

• Refresh packages
  In Eclipse's package explorer:
  Mark all packages, then hit F5 (Refresh)
  Note that if closed packages are marked, refresh will not work (but won't tell you that it did nothing). Either filter them out or mark only open packages.
• Cleanup the build
  Project->Clean..->Clean all projects->OK
  Project->Build All (or Build automatically)
• Import new projects
  File->Import..
  Existing Projects into workspace
  select Ultimate's trunk/source folder
  check all new plugins in the list (the ones not greyed out)
  "Finish"
• xjc not found
  If there are errors in ToolchainData.java during the build, the reason might be that xjc is not found. xjc is part of the Java SDK. Add /path/to/jdk/bin to your PATH environment variable and restart Eclipse.
• Environment variable not set
  An Ant script may fail with the message

generate_ast: [java] Error: Could not find or load main class de.uni_freiburg.informatik.ultimate.astbuilder.Main [java] Java Result: 1 This can mean that a variable mapping is missing. 1. Open the dialog "Window -> Preferences -> Ant -> Runtime" 1. Go to the tab "Properties" 1. Check if you have a mapping from the global property "workspacedir" to the value "${workspace_loc}". 1. If it is missing, add it. * **Spaces in Eclipse path** If you work with Eclipse Mars under Windows and get an error message like the archive: C:/Program%20Files%20(x86)/Eclipse%20Mars/plugins/org.eclipse.swt.win32.win32.x86_64_3.104.0.v20150528-0211.jar which is referenced by the classpath, does not exist. you have encountered a bug in Eclipse Mars. Namely it cannot deal with directory names containing spaces. If you do not want to move your Eclipse installation, you may use a solution from [Stackoverflow](http://stackoverflow.com/questions/31140101/eclipse-mars-ant-task-references-missing-swt-library). Summary: make a link of all involved directories with spaces that is named such that all spaces are replaced by "%20" * **Java Version of External Tools** If there are several Java VMs installed on the system external tools (e.g., Ant) might use the wrong Java version. Set the appropriate version at _Run > External Tools > External Tools Configurations > JRE_

Ultimate compiles, but does not start due to runtime errors

• Check plugin dependencies
  "Run" pulldown menu->Run configurations...
  Choose your Run configuration
  Go to Plugins tab
  Click Validate plugins
  If any problems are detected, check the boxes in the list for the plugins that are reported as unfulfilled dependencies
  In Eclipse Mars, you have to uncheck Include optional dependencies... before clicking Add required plugins. One should also remove the package org.eclipse.ui.trace, as this is not needed and just gives you trouble.
• Clear all related files
  If the initial run configuration screws up, it might be necessary to clear all related files:
  "Run" pulldown menu->Run configurations...
  Choose your Run configuration
  Go to Configuration tab
  Check Clear the configuration area before launching
  After a successful run, in the interest of speed, you should uncheck this setting again.
• Import new projects
  See above