Bugs

Note: we have migrated our issues to the prob-issues github project. Use this link to add a new issue.

Typically it is helpful for us to know as much information as possible about your environment:

• the operating system you are using (Windows, macOS, Linux) and which version thereof
• which version of ProB you are using, which can be obtained as follows
  • for probcli you can use the command: probcli -version -v
  • in ProB Tcl/Tk you can use the "About ProB" menu command

Old Bug Tracker

If you want, you can also use our old bug tracker to submit a report Jira bug tracker (in case this link does not work in your browser you can go directly to https://probjira.atlassian.net/secure/Dashboard.jspa) You may also want to ask questions within our prob-users group.

We use a free Open Source license from Atlassian!