Skip to:

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

Issues

Select view

List view

Detail view

ProB hangs after starting model check
PROBPLUGIN-121
Resolved issue: PROBPLUGIN-121
Export to ProB Classic does not work
PROBPLUGIN-120
Error launching ProB Animation (If parent machine being extended has theorems in guards)
PROBPLUGIN-89
Resolved issue: PROBPLUGIN-89
"becomes such as" operation causes unhandled loop exception
PROBPLUGIN-79
Resolved issue: PROBPLUGIN-79

4 of 4