Add a docstring

runtimeverification · Jul 1, 2024 · 07cc051 · 07cc051
1 parent 5cc6f7c
commit 07cc051
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/pyk/src/pyk/ktool/kfuzz.py b/pyk/src/pyk/ktool/kfuzz.py
@@ -27,6 +27,8 @@
 
 
 class KFuzz:
+    """Interface for fuzzing over property tests in K"""
+
     definition_dir: Path
 
     def __init__(self, definition_dir: Path) -> None: