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
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