Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Make probcli replaceable

Description

Currently the underlying probcli is hard-wired. Make the underlying probcli replaceable.

Environment

None

Gliffy Diagrams

Activity

Lukas Ladenberger
October 23, 2015 at 2:32 PM

The ProB binary is now replaceable. The user can change the the path to the ProB binary in the "binary" option of the bmotion.json configuration file which is located in the resources folder of the BMotion Studio installation.

For more information consult the handbook at: http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/sec-configfile.html

Lukas Ladenberger
October 23, 2015 at 7:48 AM
(edited)

I added a new option in bmotion config file for setting the path to a prob binary.
Furthermore, a compatible version of a prob binary is bundled with the standalone version and the binary path is set to the bundled prob binary.

Lukas Ladenberger
September 7, 2015 at 9:37 AM

Now, BMotion Studio for ProB uses the probcli located in the .prob folder of the user's home folder. This makes the probcli replaceable. Furthermore, the user can make use of the groovy console and ProB 2 API to manage the probcli version. For instance, the user can type

upgrade "latest"

to upgrade the probcli to the latest version.

Fixed

Details

Assignee

Reporter

Fix versions

Affects versions

Priority

Created September 4, 2015 at 6:10 AM
Updated October 23, 2015 at 2:32 PM
Resolved October 23, 2015 at 2:32 PM