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.