Bugs: Difference between revisions
No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
Use this [https://github.com/hhu-stups/prob-issues/issues/new link to add a new issue]. | Use this [https://github.com/hhu-stups/prob-issues/issues/new link to add a new issue]. | ||
=== Version Information === | |||
Typically it is helpful for us to know as much information as possible about your environment: | 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 | * the operating system you are using (Windows, macOS, Linux) and which version thereof | ||
| Line 10: | Line 11: | ||
=== Console Output === | |||
For ProB2-UI the following information can also be helpful to us: | 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 | * either the output on the console, if you have started ProB2-UI inside a terminal or a console | ||
| Line 15: | Line 17: | ||
* alternatively, the contents of the ProB2-UI Prolog console, which is available in the Advanced menu using the "ProB Core Console" command. | * alternatively, the contents of the ProB2-UI Prolog console, which is available in the Advanced menu using the "ProB Core Console" command. | ||
== Old Bug Tracker == | === Old Bug Tracker === | ||
If you want, you can also use our old bug tracker to submit a report | If you want, you can also use our old bug tracker to submit a report | ||
Revision as of 11:07, 17 June 2025
Note: we have migrated our issues to the prob-issues github project. Use this link to add a new issue.
Version Information
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.
Console Output
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
- the contents of the ProB2-UI logfile
- alternatively, the contents of the ProB2-UI Prolog console, which is available in the Advanced menu using the "ProB Core Console" 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!
