On Wed, Apr 16, 2025 at 04:13:18PM +0200, Gabriele Monaco wrote: > By the way, no matter what you choose, just make sure the function > cannot get stuck in an infinite loop (at most it can fail and tell the > user to find better names). > > Just tried the current parser with a simple monitor with states SLEEP, > SLEEPABLE and SLEEPING, and I couldn't get through.
Right. Thanks for the tip! Nam
