search

VSharp-team / VSharp

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

Test case for ReginTree performance tuning #257

Open gsvgit opened 1 year ago

gsvgit commented 1 year ago
  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