ProB Cli: Difference between revisions

Revision as of 12:24, 30 October 2014

The ProB Cli offers many of the ProB features via command-line. As such, you can run ProB from your shell scripts or in your Makefiles.

Revision as of 11:22, 30 October 2014 (view source) Lukas Ladenberger (talk \| contribs) No edit summary ← Older edit		Revision as of 12:24, 30 October 2014 (view source) Lukas Ladenberger (talk \| contribs) No edit summary Newer edit →
Line 1:		Line 1:
	[[Category:Components]]		[[Category:Components]]

	ProB Cli ~~Landing Page~~		The ProB Cli offers many of the ProB features via command-line. As such, you can run ProB from your shell scripts or in your Makefiles.