Bugs: Difference between revisions
→Console Output: mention console Start Menu entry on Windows |
|||
| (One intermediate revision by one other user not shown) | |||
| 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 === | ||
| Line 16: | Line 17: | ||
* 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. This contains less information than the full log, but can still be very helpful to diagnose issues. | * 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!
