[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20250416141537.4BSynZv8@linutronix.de>
Date: Wed, 16 Apr 2025 16:15:37 +0200
From: Nam Cao <namcao@...utronix.de>
To: Gabriele Monaco <gmonaco@...hat.com>
Cc: Steven Rostedt <rostedt@...dmis.org>,
linux-trace-kernel@...r.kernel.org, linux-kernel@...r.kernel.org,
john.ogness@...utronix.de
Subject: Re: [PATCH v3 13/22] rv: Add support for LTL monitors
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
Powered by blists - more mailing lists