Bugs: Difference between revisions
No edit summary |
|||
| (4 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
Note: we have migrated our issues to the [https://github.com/hhu-stups/prob-issues/issues prob-issues] | Note: we have migrated our issues to the [https://github.com/hhu-stups/prob-issues/issues prob-issues] GitHub project. | ||
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]. | ||
| Line 9: | Line 9: | ||
** in ProB Tcl/Tk you can use the "About ProB" menu command | ** 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. | ** 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. | ||
* when having issues with visualization and you use a local version of dot/graphviz or plantuml we need that version as well | |||
=== Console Output === | === 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 | ||
** 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 | * 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. | * 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. | ||
For probcli you can if you wish also enable logging by either providing <tt>-logxml XMLLogFile</tt> or <tt>-l LogFile</tt> as command-line arguments when starting probcli. | |||
=== Old Bug Tracker === | === Old Bug Tracker === | ||
Latest revision as of 10:33, 18 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.
- when having issues with visualization and you use a local version of dot/graphviz or plantuml we need that version as well
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
- 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.
For probcli you can if you wish also enable logging by either providing -logxml XMLLogFile or -l LogFile as command-line arguments when starting probcli.
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!
