VSTeam.VSharp 0.0.7

.NET 6.0 This package targets .NET 6.0. The package is compatible with this framework or higher.
There is a newer version of this package available.
See the version list below for details. 
dotnet add package VSTeam.VSharp --version 0.0.7                

                    
                

            
NuGet\Install-Package VSTeam.VSharp -Version 0.0.7
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package. 
<PackageReference Include="VSTeam.VSharp" Version="0.0.7" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
paket add VSTeam.VSharp --version 0.0.7                

                    
                

            
#r "nuget: VSTeam.VSharp, 0.0.7"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package. 
// Install VSTeam.VSharp as a Cake Addin
#addin nuget:?package=VSTeam.VSharp&version=0.0.7

// Install VSTeam.VSharp as a Cake Tool
#tool nuget:?package=VSTeam.VSharp&version=0.0.7

V# Symbolic Execution Engine

V# is a symbolic execution engine for .NET binaries, performing completely automated and unassisted test generation for .NET assemblies. It is cross-platform and supports .NET, .NET Core and .NET Framework assemblies.

Requirements

.NET 6 or greater

Testing a small function

Create an empty NUnit test project DemoProject and insert the following code:

using System;
using NUnit.Framework;

namespace DemoProject
{
    public static class DemoClass
    {
        public static int Abs(int x)
        {
            int y = x;
            if (x < 0)
                y = -x;

            if (y < 0)
                throw new Exception("What?");

            return y;
        }
    }

    public class Tests
    {
        [Test]
        public void Test1()
        {
            var success = VSharp.TestGenerator.CoverAndRun(typeof(DemoClass));
            Assert.IsTrue(success);
        }

    }
}

The test will generate two unit tests for Abs function and run all the tests. You will sequentially see one value that gets into the then branch first of the first condition and INT_MIN value which takes the Abs function throwing the exception.

Run the test coverage measurement tool to be sure the exhaustiveness of the generated test coverage. The generated tests can be found in DemoProject working directory, in VSharp.tests.0 subfolder.

Current state

The project is currently in active development stage. If you encounter the problem, consider submitting the issue.

License

The project is licensed under the Apache License Version 2.0

Product Compatible and additional computed target framework versions.
.NET net6.0 is compatible.  net6.0-android was computed.  net6.0-ios was computed.  net6.0-maccatalyst was computed.  net6.0-macos was computed.  net6.0-tvos was computed.  net6.0-windows was computed.  net7.0 was computed.  net7.0-android was computed.  net7.0-ios was computed.  net7.0-maccatalyst was computed.  net7.0-macos was computed.  net7.0-tvos was computed.  net7.0-windows was computed.  net8.0 was computed.  net8.0-android was computed.  net8.0-browser was computed.  net8.0-ios was computed.  net8.0-maccatalyst was computed.  net8.0-macos was computed.  net8.0-tvos was computed.  net8.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
0.0.8 163 3/27/2023
0.0.7 111 3/6/2023
0.0.6 125 12/15/2022
0.0.5 105 12/14/2022
0.0.4 123 12/5/2022
0.0.3 103 12/5/2022
0.0.2 111 11/30/2022
0.0.1 321 11/29/2022

- Improved test rendering engine
- A lot of bugfixes increasing test coverage