Usage

Build and Usage

If you only want to build and use Ultimate, maybe to run your own experiments, use the instructions here. Please be aware that Ultimate and the associated tools are all ongoing research, and thus (a) may contain bugs, and (b) have quite unfriendly user interfaces. If you only want to play around with our various tools, we recommend you visit our web interface.

If you have any questions, do not hesitate and write a mail to one of the tool authors or to our mailing list [email protected].

Building Ultimate

Ultimate should run on all major platforms (Windows, Linux, MacOS) and the build process is always the same.

Build Prerequisites

• Java JDK (1.8) - note: Java JRE is not sufficient
• Maven (>3.0)

Build

• Checkout Ultimate to ultimate/
• cd ultimate/trunk/source/BA_MavenParentUltimate
• mvn install -Pmaterialize

Now you can find binaries for various platforms, architectures and tools in ultimate/trunk/source/BA_SiteRepository/target/products.

Usage

Coming soon