Set __version__ in riscof_kriscv.py

runtimeverification · Jun 14, 2024 · 31ca290 · 31ca290
1 parent 1ac7925
commit 31ca290
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/tests/integration/riscof/kriscv/riscof_kriscv.py b/src/tests/integration/riscof/kriscv/riscof_kriscv.py
@@ -2,6 +2,7 @@
 
 import logging
 import os
+from importlib.metadata import version
 from typing import TYPE_CHECKING
 
 from riscof.pluginTemplate import pluginTemplate  # type: ignore
@@ -14,7 +15,7 @@
 
 class kriscv(pluginTemplate):  # noqa N801
     __model__ = 'kriscv'
-    __version__ = 'XXX'
+    __version__ = version('kriscv')
 
     def __init__(self, *args: Any, **kwargs: Any) -> None:
         super().__init__(*args, **kwargs)