]> git.ipfire.org Git - thirdparty/linux.git/commit
verification/rvgen: Allow spaces in and events strings
authorGabriele Monaco <gmonaco@redhat.com>
Mon, 30 Mar 2026 11:10:01 +0000 (13:10 +0200)
committerGabriele Monaco <gmonaco@redhat.com>
Tue, 31 Mar 2026 14:47:16 +0000 (16:47 +0200)
commitc707b1da1043f89e3368835c77a1f8a14a4a8843
treeb60bc9212cd447c3780c50f1ea01afdbea9253dc
parentf5587d1b6ec938afb2f74fe399a68020d66923e4
verification/rvgen: Allow spaces in and events strings

Currently the automata parser assumes event strings don't have any
space, this stands true for event names, but can be a wrong assumption
if we want to store other information in the event strings (e.g.
constraints for hybrid automata).

Adapt the parser logic to allow spaces in the event strings.

Reviewed-by: Nam Cao <namcao@linutronix.de>
Link: https://lore.kernel.org/r/20260330111010.153663-4-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
tools/verification/rvgen/rvgen/automata.py