Add kind to RaceSummary

goblint · May 3, 2023 · 30a3a34 · 30a3a34
1 parent b3aae5e
commit 30a3a34
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/gobexec/goblint/result.py b/gobexec/goblint/result.py
@@ -26,6 +26,15 @@ def __init__(self,
     def template(self, env):
         return env.get_template("racesummary.jinja")
 
+    @property
+    def kind(self):
+        if self.unsafe > 0:
+            return ResultKind.ERROR
+        elif self.vulnerable > 0:
+            return ResultKind.WARNING
+        else:
+            return ResultKind.SUCCESS
+
     @staticmethod
     async def extract(ec: ExecutionContext[Any], cp: CompletedSubprocess) -> 'RaceSummary':
         stdout = cp.stdout.decode("utf-8")