Gabriele Monaco <[email protected]> writes: > __start_to_invariant_check() and __get_constraint_env() parse the > environment variable's name from sources that have it padded with the > monitor name. This is removed using rstrip(), which is not meant to > strip a substring but rather a set of characters. > > Use removesuffix() to actually get rid of the trailing _<monitor name>. > > Fixes: a82adadb16894 ("verification/rvgen: Add support for Hybrid Automata") > Signed-off-by: Gabriele Monaco <[email protected]>
Reviewed-by: Nam Cao <[email protected]>
