Issues

Select view

List view

Detail view

Select search mode

Basic

JQL

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

We couldn't connect to that work item.

Make sure that this work item actually exists in that project. If it does, try again in a few minutes. If you still can't link to the work item, contact your Jira admin.