The ltl2k class inherits from Monitor which requires subclasses to implement fill_tracepoint_args_skel(). However, the ltl2k template uses hardcoded tracepoint arguments rather than the placeholders that this method would fill. The base class fill_trace_h() method calls fill_tracepoint_args_skel() unconditionally, which was exposed when the @not_implemented decorator was introduced.
Add a stub implementation that returns an empty string. Since the ltl2k trace.h template does not contain the placeholder strings that would be replaced, the empty return value has no effect on the generated output while satisfying the base class interface contract. Signed-off-by: Wander Lairson Costa <[email protected]> --- tools/verification/rvgen/rvgen/ltl2k.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tools/verification/rvgen/rvgen/ltl2k.py b/tools/verification/rvgen/rvgen/ltl2k.py index 94dc64af1716d..f1eafc16c754b 100644 --- a/tools/verification/rvgen/rvgen/ltl2k.py +++ b/tools/verification/rvgen/rvgen/ltl2k.py @@ -257,6 +257,9 @@ class ltl2k(generator.Monitor): return '\n'.join(buf) + def fill_tracepoint_args_skel(self, tp_type) -> str: + return "" + def fill_monitor_class_type(self): return "LTL_MON_EVENTS_ID" -- 2.52.0
