VSharp-team / VSharp

Symbolic execution engine for .NET Core
Apache License 2.0
50 stars 32 forks source link

Add generation of .csv file with test results #147

Closed mxprshn closed 2 years ago

mxprshn commented 2 years ago
<?xml version="1.0" encoding="utf-8"?>
<RunSettings>
  <TestRunParameters>
    <Parameter name="csvPath" value="D:\temp" />
    <Parameter name="runId" value="kek" />
    <Parameter name="searchStrategy" value="DFS" />
    <Parameter name="expectedCoverage" value="80" />
    <Parameter name="timeout" value="10" />
    <Parameter name="releaseBranches" value="false" />
</TestRunParameters>
</RunSettings>