Running ProB from source - Revision history

Michael Leuschel: /* Running the Prolog Tests */

2026-03-31T06:50:57Z

Running the Prolog Tests

← Older revision		Revision as of 06:50, 31 March 2026
Line 74:		Line 74:
	* the test itself: the parameters to <tt>probcli</tt> needed to run the test		* the test itself: the parameters to <tt>probcli</tt> needed to run the test
	* a textual description of the test		* a textual description of the test

			Many of the tests require B, CSP or other example files.
			You can download them as a [https://stups.hhu-hosting.de/downloads/prob/source/ Zip archive next to the source code]. You need to put them next to the <tt>prob_prolog</tt> directory with the Prolog source files.

	There is a specific <tt>test_runner.pl</tt> file for running all Prolog unit and integration tests. The test_runner also provides a REPL (read-eval-print-loop) for running tests and collection of tests.		There is a specific <tt>test_runner.pl</tt> file for running all Prolog unit and integration tests. The test_runner also provides a REPL (read-eval-print-loop) for running tests and collection of tests.

Michael Leuschel: /* Building ProB Extensions */

2026-03-26T11:34:43Z

Building ProB Extensions

← Older revision		Revision as of 11:34, 26 March 2026
Line 22:		Line 22:

	Note, you can also pass the following additional flags to sicstus in the commands below, so that these extensions are not required (resulting in some performance loss):		Note, you can also pass the following additional flags to sicstus in the commands below, so that these extensions are not required (resulting in some performance loss):
	sicstus -Dprob_myheap=false -Dprob_c_counter=false -Dno_interrupts=true ...		sicstus -Dprob_myheap=false -Dprob_c_counter=false -Dno_interrupts=true -Dprob_c_probhash=false ...

	You will also need the ProB parser, which can be downloaded or updated using the command		You will also need the ProB parser, which can be downloaded or updated using the command

Michael Leuschel: /* Building ProB Extensions */

2026-03-26T08:37:35Z

Building ProB Extensions

← Older revision		Revision as of 08:37, 26 March 2026
Line 21:		Line 21:
	make		make

	Note, you can also pass the following flags to sicstus, so that these extensions are not required (resulting in some performance loss):		Note, you can also pass the following additional flags to sicstus in the commands below, so that these extensions are not required (resulting in some performance loss):
	-Dprob_myheap=false -Dprob_c_counter=false -Dno_interrupts=true		sicstus -Dprob_myheap=false -Dprob_c_counter=false -Dno_interrupts=true ...

	You will also need the ProB parser, which can be downloaded or updated using the command		You will also need the ProB parser, which can be downloaded or updated using the command

Michael Leuschel: /* Building ProB Extensions */

2026-03-26T08:36:47Z

Building ProB Extensions

← Older revision		Revision as of 08:36, 26 March 2026
Line 20:		Line 20:
	cd ../myheap		cd ../myheap
	make		make

			Note, you can also pass the following flags to sicstus, so that these extensions are not required (resulting in some performance loss):
			-Dprob_myheap=false -Dprob_c_counter=false -Dno_interrupts=true

	You will also need the ProB parser, which can be downloaded or updated using the command		You will also need the ProB parser, which can be downloaded or updated using the command

Michael Leuschel: /* Starting ProB Tcl/Tk */

2024-01-15T12:17:09Z

Starting ProB Tcl/Tk

← Older revision		Revision as of 12:17, 15 January 2024
Line 36:		Line 36:
	=== Starting ProB Tcl/Tk ===		=== Starting ProB Tcl/Tk ===

	Probably you should first install a recent Active Tcl distribution, in particular on macOS. Check the [[Download\|download page]] for which version is required or recommended.		Probably you should first install a recent Active Tcl distribution, in particular on macOS. Check the [[Download\|download page]] for which version is required or recommended. There is also a specific subsection about [[Download#Tcl/Tk_Requirements_for_ProB_Tcl/Tk\|installing Tcl/Tk]] and setting the SP_TCL_DSO environment variable to help SICStus Prolog find the Tcl/Tk installation.

	You can then start ProB Tcl/Tk by changing into the prob_prolog directory of the Prolog sources and type:		You can then start ProB Tcl/Tk by changing into the prob_prolog directory of the Prolog sources and type:
Line 48:		Line 48:

	Now, you can simply start ProB from the command-line and from source with the <tt>prob</tt> alias command.		Now, you can simply start ProB from the command-line and from source with the <tt>prob</tt> alias command.


	=== Starting probcli command-line version ===		=== Starting probcli command-line version ===

David Geleßus: Moved category to bottom

2022-03-21T12:49:42Z

Moved category to bottom

← Older revision		Revision as of 12:49, 21 March 2022
Line 1:		Line 1:
	~~[[Category:Developer Manual]]~~


	== ProB Source Code ==		== ProB Source Code ==
	{{ProBSourceCode}}		{{ProBSourceCode}}
Line 239:		Line 236:

	The test runner will automatically skip tests that are known to be incompatible with SWI-Prolog, usually because a necessary component of ProB is currently disabled/unavailable on SWI-Prolog. To run a skipped test anyway, enter its number directly into the test REPL - this bypasses any skip declarations/conditions.		The test runner will automatically skip tests that are known to be incompatible with SWI-Prolog, usually because a necessary component of ProB is currently disabled/unavailable on SWI-Prolog. To run a skipped test anyway, enter its number directly into the test REPL - this bypasses any skip declarations/conditions.

			[[Category:Developer Manual]]

David Geleßus: /* Running ProB with SWI-Prolog */

2022-03-10T14:59:23Z

Running ProB with SWI-Prolog

← Older revision		Revision as of 14:59, 10 March 2022
Line 145:		Line 145:
	== Running ProB with SWI-Prolog ==		== Running ProB with SWI-Prolog ==

	ProB can also run on recent development ~~versions~~ of SWI-Prolog (8.3.~~28 or later~~). Downloads can be found on [https://www.swi-prolog.org/download/devel the SWI-Prolog website]. You can also compile [https://github.com/SWI-Prolog/swipl-devel the latest SWI-Prolog source code] manually.		ProB can also run on recent versions of SWI-Prolog. We recommend using the latest development release of SWI-Prolog (currently 8.5.x). The stable release 8.4.2 also works relatively well. Downloads can be found on [https://www.swi-prolog.org/download/devel the SWI-Prolog website]. You can also compile [https://github.com/SWI-Prolog/swipl-devel the latest SWI-Prolog source code] manually.

	Please note that SWI-Prolog support in ProB is still in development. ~~Many~~ advanced features are not yet ~~working when running~~ on SWI-Prolog, performance is sometimes much slower than on SICStus Prolog~~, and there may still be bugs~~.		Please note that SWI-Prolog support in ProB is still in development and '''there are known bugs'''. In addition, many advanced ProB features are not yet available on SWI-Prolog and performance is sometimes much slower than on SICStus Prolog.

	All instructions below assume that you have installed SWI-Prolog and can run it on the command line as <code>swipl</code>. If you have SWI-Prolog installed under a different name/location, you need to adjust the commands appropriately.		All instructions below assume that you have installed SWI-Prolog and can run it on the command line as <code>swipl</code>. If you have SWI-Prolog installed under a different name/location, you need to adjust the commands appropriately.

David Geleßus: /* Running ProB Tests with SWI-Prolog */ Remove old broken prompt from test REPL example

2021-12-07T15:10:58Z

Running ProB Tests with SWI-Prolog: Remove old broken prompt from test REPL example

← Older revision		Revision as of 15:10, 7 December 2021
Line 222:		Line 222:

	<pre>		<pre>
	TEST ==> \|: 11.		TEST ==> 11.
	Current directory: /Users/leuschel/git_root/prob_prolog/		Current directory: /Users/leuschel/git_root/prob_prolog/
	Running test 11		Running test 11

David Geleßus: /* Running ProB Tests with SWI-Prolog */ Update explanation of unavailable tests now that "available" command has been removed

2021-12-07T14:34:42Z

Running ProB Tests with SWI-Prolog: Update explanation of unavailable tests now that "available" command has been removed

← Older revision		Revision as of 14:34, 7 December 2021
Line 238:		Line 238:
	</pre>		</pre>

	~~Use the command <tt>available</tt>~~ to ~~run all tests which can in principle run~~ with ~~this version~~ of ProB ~~for~~ SWI Prolog.		The test runner will automatically skip tests that are known to be incompatible with SWI-Prolog, usually because a necessary component of ProB is currently disabled/unavailable on SWI-Prolog. To run a skipped test anyway, enter its number directly into the test REPL - this bypasses any skip declarations/conditions.

David Geleßus: /* Running ProB with SWI-Prolog */ Simplify commands using new prolog.sh and probcli_src.sh wrapper scripts

2021-12-07T14:28:56Z

Running ProB with SWI-Prolog: Simplify commands using new prolog.sh and probcli_src.sh wrapper scripts

← Older revision		Revision as of 14:28, 7 December 2021
Line 161:		Line 161:

	<pre>		<pre>
	alias swiprob='~~cd $PROBDIR; prob_core_only~~=~~true swipl -g "expects_dialect(sicstus4)." -g "go_cli.~~" $PROBDIR/~~src/prob_cli~~.~~pl --~~ '		alias swiprob='PROLOG_SYSTEM=swi "$PROBDIR/probcli_src.sh"'
	</pre>		</pre>

Line 205:		Line 205:
	For convenience declare this alias, where $PROBDIR points to the top-level directory of the ProB source (see above):		For convenience declare this alias, where $PROBDIR points to the top-level directory of the ProB source (see above):
	<pre>		<pre>
	alias switests='~~prob_core_only~~=~~true swipl -g~~ "~~expects_dialect(sicstus4)~~." -~~g "test_repl.~~" $PROBDIR/src/test_runner.pl'		alias switests='PROLOG_SYSTEM=swi "$PROBDIR/prolog.sh" --file "$PROBDIR/src/test_runner.pl" --goal "test_repl." -- '
	</pre>		</pre>