Skip to:

Skip to Jira Navigation
Skip to Side Navigation
Skip to Main Content

Issues

Select view

List view

Detail view

Number of variables in a pre-post predicate
PROBPLUGIN-111
Resolved issue: PROBPLUGIN-111
On animating a machine with pro-B, I get an error which says "Residue: root: '$partial_setup_constants: context = ERROR CONTEXT: OPERATION: $partial_setup_constants, state ID: root, state: root;"
PROBPLUGIN-100
Resolved issue: PROBPLUGIN-100
Error launching ProB Animation (If parent machine being extended has theorems in guards)
PROBPLUGIN-89
Resolved issue: PROBPLUGIN-89
Translation fails
PROBPLUGIN-80
Resolved issue: PROBPLUGIN-80
"becomes such as" operation causes unhandled loop exception
PROBPLUGIN-79
Resolved issue: PROBPLUGIN-79
memory leak
PROBPLUGIN-71
Resolved issue: PROBPLUGIN-71
Constraint-based Invariant checking does not work
PROBPLUGIN-29
Resolved issue: PROBPLUGIN-29

7 of 7