Merge pull request #154 from martineberlein/master

Update expansion_key to handle empty alternatives
uds-se · Feb 8, 2023 · f5fb56c · f5fb56c
2 parents f798843 + 95b2704
commit f5fb56c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/code/GrammarCoverageFuzzer.py b/docs/code/GrammarCoverageFuzzer.py
@@ -196,6 +196,10 @@ def expansion_key(symbol: str,
     if isinstance(expansion, tuple):
         # Expansion or single derivation tree
         expansion, _ = expansion
+
+    # Check for empty list expansion
+    if isinstance(expansion, list) and not expansion:
+        expansion = ""
 
     if not isinstance(expansion, str):
         # Derivation tree