Benchcomp visualize: fix missing import

logging is required when handling errors.
model-checking · Jan 18, 2024 · 4f55b86 · 4f55b86
1 parent fd12a28
commit 4f55b86
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/benchcomp/benchcomp/visualizers/__init__.py b/tools/benchcomp/benchcomp/visualizers/__init__.py
@@ -4,6 +4,7 @@
 
 import dataclasses
 import json
+import logging
 import subprocess
 import textwrap