Skip to content

Commit 15f3483

Browse files
Turn off some Cover features to fit within 30s timeout
1 parent 2769ea0 commit 15f3483

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/mcp_diffblue_server.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -111,7 +111,7 @@ def run_dcover_create(self, working_dir: str = None, entry_point: str = None) ->
111111
if not working_dir:
112112
working_dir = os.getcwd()
113113

114-
command = ["dcover", "create"]
114+
command = ["dcover", "create", "--skip-verification", "--skip-validation", "--fuzzing-iterations=10", "--skip-dummy-test"]
115115

116116
# Add entry point if provided
117117
if entry_point:

0 commit comments

Comments
 (0)