Issues

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

  VSharp-team/VSharp#333 · Filter by author 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

  VSharp-team/VSharp#332 · Filter by author istolboff opened on Apr 22, 2025

• Generate tests for code written in older .NET frameworks

  VSharp-team/VSharp#323 · Filter by author smhmhmd opened on May 16, 2024
  4

• Generated test seems incomplete for this input

  VSharp-team/VSharp#321 · Filter by author smhmhmd opened on Apr 29, 2024
  7

• [README] Add CPP part related stuff to requirements

  VSharp-team/VSharp#313 · Filter by author Anya497 opened on Jan 23, 2024

• Test case for ReginTree performance tuning

  VSharp-team/VSharp#257 · Filter by author gsvgit opened on Apr 26, 2023

• Low coverage example

  VSharp-team/VSharp#235 · Filter by author gsvgit opened on Feb 9, 2023

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

  VSharp-team/VSharp#233 · Filter by author gsvgit opened on Feb 9, 2023

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

  VSharp-team/VSharp#230 · Filter by author gsvgit opened on Feb 7, 2023

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

  VSharp-team/VSharp#229 · Filter by author gsvgit opened on Feb 3, 2023
  3

• Change DeclaringType to ReflectedType

  VSharp-team/VSharp#227 · Filter by author MchKosticyn opened on Jan 31, 2023
  

• Support for various non-zero exit codes for cli utilities

  enhancement
  VSharp-team/VSharp#225 · Filter by author m-sedl opened on Jan 30, 2023

• Generation of tables with test results in benchmarks

  enhancementinfra
  VSharp-team/VSharp#224 · Filter by author m-sedl opened on Jan 30, 2023

• ShortestDistanceWeighter tries to get CFG for external method that leads to error

  VSharp-team/VSharp#222 · Filter by author gsvgit opened on Jan 26, 2023

• NullReferenceException expected on correct DateTime constructor

  VSharp-team/VSharp#218 · Filter by author Almazis opened on Jan 18, 2023

• Web benchmark: 'Could not load file or assembly' in VSharp.Mocking.Type.Build

  bugtest-generator
  VSharp-team/VSharp#215 · Filter by author mxprshn opened on Dec 29, 2022

• Single Assembly resolver

  coreenhancementup-for-grabs
  VSharp-team/VSharp#214 · Filter by author mxprshn opened on Dec 29, 2022

• Generate extensions code when it's required

  test-generator
  VSharp-team/VSharp#212 · Filter by author viktoriia-fomina opened on Dec 22, 2022

• API.Restore() crashes in SILI.fs if there was an exception before API.Reset()

  bugcoreenhancement
  VSharp-team/VSharp#210 · Filter by author mxprshn opened on Dec 21, 2022
  

• Generated tests classes names can be long for generics

  enhancementtest-generator
  VSharp-team/VSharp#209 · Filter by author mxprshn opened on Dec 20, 2022

• Implement Memory.getHashCode for value types

  coreenhancement
  VSharp-team/VSharp#207 · Filter by author mxprshn opened on Dec 20, 2022

• All types and modules in VSharp namespace are visible from NuGet package

  bug
  VSharp-team/VSharp#205 · Filter by author mxprshn opened on Dec 19, 2022

• Wrong namespace indents

  test-generator
  VSharp-team/VSharp#203 · Filter by author viktoriia-fomina opened on Dec 18, 2022

• Invalid error generated for Newtonsoft.Json.DateTimeUtils

  buginvalid-teststest-generator
  VSharp-team/VSharp#202 · Filter by author mxprshn opened on Dec 16, 2022

• Invalid tests generated for Newtonsoft.Json.KeyValuePairConverter

  buginvalid-teststest-generator
  VSharp-team/VSharp#201 · Filter by author mxprshn opened on Dec 16, 2022