search

VSharp-team / VSharp

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

Benchmarks CI pipeline #176

Closed mxprshn closed 1 year ago

mxprshn commented 1 year ago

Add GitHub actions jobs: -- For running a set of benchmarks with various searchers and timeouts on PRs -- For running a benchmark manually with specified parameters -- For running integration tests on PRs