Search results

MissingMethodException when calling FSharpMap<TKey, TValue>.get_Values()

Status: Open.

#333 In VSharp-team/VSharp;

· alewmt opened on Sep 24, 2025

Tests generated for a public method do not cover branches in methods that are called from the method being analyzed

Status: Open.

#332 In VSharp-team/VSharp;

· istolboff opened on Apr 22, 2025

Generate tests for code written in older .NET frameworks

Status: Open.

#323 In VSharp-team/VSharp;

· smhmhmd opened on May 16, 2024

Generated test seems incomplete for this input

Status: Open.

#321 In VSharp-team/VSharp;

· smhmhmd opened on Apr 29, 2024

[README] Add CPP part related stuff to requirements

Status: Open.

#313 In VSharp-team/VSharp;

· Anya497 opened on Jan 23, 2024

Test case for ReginTree performance tuning

Status: Open.

#257 In VSharp-team/VSharp;

· gsvgit opened on Apr 26, 2023

Low coverage example

Status: Open.

#235 In VSharp-team/VSharp;

· gsvgit opened on Feb 9, 2023

V# generates incorrect test: an attempt to use Object instead of specific type

Status: Open.

#233 In VSharp-team/VSharp;

· gsvgit opened on Feb 9, 2023

V# generates incorrect test: an attempt to instantiate private class

Status: Open.

#230 In VSharp-team/VSharp;

· gsvgit opened on Feb 7, 2023

Strange interpretation of coverage incompleteness : Incomplete coverage! Expected 50, but got 67

Status: Open.

#229 In VSharp-team/VSharp;

· gsvgit opened on Feb 3, 2023

Change DeclaringType to ReflectedType

Status: Open.

#227 In VSharp-team/VSharp;

· MchKosticyn opened on Jan 31, 2023

Support for various non-zero exit codes for cli utilities

enhancement

Status: Open.

#225 In VSharp-team/VSharp;

· m-sedl opened on Jan 30, 2023