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
- in ProB2-UI you can use the "About ProB2" menu command, which gives you the version of ProB2 UI, the version of the Java ProB API, the version of probcli, the version of the parser and the Java version. The dialog has a "Copy" button for your convenience.

For ProB2-UI the following information can also be helpful to us:

either the output on the console, if you have started ProB2-UI inside a terminal or a console
- on Windows, there is a separate Start Menu entry for starting ProB2-UI with a visible console window
the contents of the ProB2-UI logfile named "ProB2UI.log" which can be found inside your home directory inside the ".prob" folder
alternatively, the contents of the ProB2-UI Prolog console, which is available in the Advanced menu using the "ProB Core Console" command. This contains less information than the full log, but can still be very helpful to diagnose issues.

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!