Common issues

Currently, there are no common issues. We will update this based on the reported issues.

File an issue

If you encounter problems when building (or using) Storm, feel free to contact us by writing a mail to

You may also open an issue on GitHub. In any case, please provide as much information on your problem as you possibly can. For example, when the build step fails, please provide the output of cmake in the configuration step and details about your operating system, your machine and any other information that is potentially relevant.