Bugs - Revision history

Michael Leuschel: /* Console Output */

2025-06-18T10:33:08Z

Console Output

← Older revision		Revision as of 10:33, 18 June 2025
Line 17:		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 ===

Vella: /* Version Information */

2025-06-18T08:59:59Z

Version Information

← Older revision		Revision as of 08:59, 18 June 2025
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 ===

David Geleßus: /* Console Output */ mention console Start Menu entry on Windows

2025-06-17T13:19:16Z

Console Output: mention console Start Menu entry on Windows

← Older revision		Revision as of 13:19, 17 June 2025
Line 13:		Line 13:
	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. 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.

David Geleßus at 13:17, 17 June 2025

2025-06-17T13:17:32Z

← Older revision		Revision as of 13:17, 17 June 2025
Line 1:		Line 1:
	Note: we have migrated our issues to the [https://github.com/hhu-stups/prob-issues/issues prob-issues] ~~github~~ project.		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].

Michael Leuschel: /* Console Output */

2025-06-17T11:13:17Z

Console Output

← Older revision		Revision as of 11:13, 17 June 2025
Line 14:		Line 14:
	* 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
	* 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.

	=== Old Bug Tracker ===		=== Old Bug Tracker ===

Michael Leuschel at 11:10, 17 June 2025

2025-06-17T11:10:23Z

← Older revision		Revision as of 11:10, 17 June 2025
Line 13:		Line 13:
	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
	* the contents of the ProB2-UI logfile		* 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.

Michael Leuschel at 11:07, 17 June 2025

2025-06-17T11:07:58Z

← Older revision		Revision as of 11:07, 17 June 2025
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.


	=== Console Output ===		=== Console Output ===

Michael Leuschel at 11:07, 17 June 2025

2025-06-17T11:07:45Z

← Older revision		Revision as of 11:07, 17 June 2025
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

Michael Leuschel at 11:06, 17 June 2025

2025-06-17T11:06:58Z

← Older revision		Revision as of 11:06, 17 June 2025
Line 7:		Line 7:
	** for probcli you can use the command: <tt>probcli -version -v</tt>		** for probcli you can use the command: <tt>probcli -version -v</tt>
	** 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.


			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 ==		== Old Bug Tracker ==

Michael Leuschel at 11:00, 17 June 2025

2025-06-17T11:00:38Z

← Older revision		Revision as of 11:00, 17 June 2025
Line 1:		Line 1:
	Note: we ~~are currently migrating~~ our issues to the [https://github.com/hhu-stups/prob-issues/issues prob-issues] github project.		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].

	If you want ~~to submit a bug report~~, you can also use our		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: <tt>probcli -version -v</tt>
			** 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
	<html>		<html>
	<a id="myCustomTrigger">Jira bug tracker</a>		<a id="myCustomTrigger">Jira bug tracker</a>