VSharp
VSharp copied to clipboard
VSharp-team
Symbolic execution engine for .NET Core
Hi @MchKosticyn, For the following input, I am not seeing tests for the "true branches" for CheckSolution(), please try this out and let me know, thanks again. ``` $ cat...
Hi @MchKosticyn [Nopcommerce-release-3.80 ](https://github.com/nopSolutions/nopCommerce/releases?page=4#:~:text=Source%20code,(zip)) uses the older Windows-based .NET Framework (VS upgrades to .NET Framework 4.8), can VSharp generate tests for such code, I got this error while running VSharp...
- AI guided searcher with basic model - Infrastructure for network training - Infrastructure for data preparation
Add LLVM/GGC version and other information to README to simplify build from scratch.
1. Create test using class from attached file. 2. Change values of MAXS and MAXC (lines 8 and 13). While values increase, performance slow down dramatically. [AhoCorasik.txt](https://github.com/VSharp-team/VSharp/files/11329321/AhoCorasik.txt)
For [this test](https://github.com/gsvgit/VSharp/blob/master/VSharp.Test/Tests/Algorithms.cs#L1128) 50% coverage can be achieved in few seconds, but even 51% can not be reached in reasonable time (with default settings).
* [Test to reproduce](https://github.com/gsvgit/VSharp/blob/master/VSharp.Test/Tests/Algorithms.cs#L783) * Steps to reproduce * Remove [this attribute](https://github.com/gsvgit/VSharp/blob/master/VSharp.Test/Tests/Algorithms.cs#L792) * Run the test * Compile generated tests * Get a number of erros `KnapsackBagTests.cs(23, 21): [CS1061] 'object'...
- [V# version to reproduce](https://github.com/VSharp-team/VSharp/pull/228) - [Test to reproduce](https://github.com/gsvgit/VSharp/blob/master/VSharp.Test/Tests/Algorithms.cs#L324) - Steps - Run the test - Get exception "Incomplete coverage! Expected 50, but got 67" - Expected: I think, that...
* [V# version to reproduce](https://github.com/VSharp-team/VSharp/pull/228) * [Test to reproduce](https://github.com/gsvgit/VSharp/blob/master/VSharp.Test/Tests/Algorithms.cs#L575) * Steps * Run the test * Compile generated tests * Get a number of errors " GraphTests.cs(107, 34): [CS0122] 'Graph.Edge'...
Test all usages of DeclaringType and change them on ReflectedType if need.
