Issues
- Number of variables in a pre-post predicatePROBPLUGIN-111Resolved issue: PROBPLUGIN-111Jens Bendisposto
- 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-100Resolved issue: PROBPLUGIN-100Jens Bendisposto
- Error launching ProB Animation (If parent machine being extended has theorems in guards)PROBPLUGIN-89Resolved issue: PROBPLUGIN-89Jens Bendisposto
- Translation failsPROBPLUGIN-80Resolved issue: PROBPLUGIN-80Sebastian Krings
- "becomes such as" operation causes unhandled loop exceptionPROBPLUGIN-79Resolved issue: PROBPLUGIN-79Jens Bendisposto
- memory leakPROBPLUGIN-71Resolved issue: PROBPLUGIN-71Jens Bendisposto
- Constraint-based Invariant checking does not workPROBPLUGIN-29Resolved issue: PROBPLUGIN-29Jens Bendisposto
7 of 7
Something went wrong on our end
If this keeps happening, share this information with your admin, who should contact support.
Hash 1LSH6NQ
Trace 6f29ec314adc4762b26dd7e066ab1b37
Description
None
Environment
None
Gliffy Diagrams
Details
Details
More fields
More fields
Activity
Show:
Milad MohammadiSeptember 12, 2014 at 8:33 AM
Sebastian KringsSeptember 2, 2014 at 11:53 AM
Can you please attach the problematic models as an archive file? (Using Export from inside Rodin)
Thank You #Sebastian Krings for your Consideration!
Actually my Problem is Solved by updating ProB!