Re: [PATCH v3 13/22] rv: Add support for LTL monitors

[Nam Cao]

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