Spinroot

Kai

Member

Registered: 2011-08-17

Posts: 9

should `unless` abort processes?

Not quite a bug report, more a question.

My limited testing suggests that

proctype p() { ... }
{ run p() } unless { reset ? _ }

does not abort p when receiving on channel reset. Is that intended?

This is not an issue when I'm indeed only running one process because I could just change its definition to

inline p() { ... }
{ p()... } unless { reset ? _ }

which works as intended. The typical situation where I want to use this is however that there'll be multiple processes spawned under the `unless`.

Background: I'm attempting to model the strong abort feature of hierarchical state machines (SCCharts).

Last edited by Kai (2026-05-21 20:56:25)