search

UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert
Eclipse Public License 2.0
2 stars 0 forks source link

Memory does not terminate #132

Open MattWindsor91 opened 2 years ago

MattWindsor91 commented 2 years ago

The memory process is missing a terminate -> Stop production, and therefore fails to terminate properly.

This will need some reconsideration of the way we construct the processes, as the terminate event currently gets hidden before the memory process is constructed.