Open
Description
Description
Redirect logs from VSharp to Rider. Currently we have no information about VSharp process execution.
Proposed solution
Redirect all logs via rd. Best decision - overload VSharp logger.
Bad but simple - redirect output from VSharp process and wrap it is Rider logger. Problem - it consumes a lot of OS resources and slows process
Metadata
Metadata
Assignees
Type
Projects
Status
Todo