misc bugfix

gaasedelen · Mar 29, 2020 · 22dc30d · 22dc30d
1 parent 868229a
commit 22dc30d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plugin/lighthouse/director.py b/plugin/lighthouse/director.py
@@ -574,7 +574,7 @@ def _optimize_coverage_data(self, coverage_addresses):
 
         if not instructions:
             logger.debug("No mappable instruction addresses in coverage data")
-            return None
+            return []
 
         #
         # TODO/COMMENT