Graph refactoring - Githubissues

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

Closed gsvgit closed 2 years ago

gsvgit commented 2 years ago

Application graph refaqctoring.
Forward reachability without lengths (from states to goals). Naive version without handling of states history and with recaclualion on each call.
Forward reachability with shortest distances (from states to goals). Naive version without handling of states history and with recaclualion on each call.

gsvgit commented 2 years ago

Changes should be splitted to separate requests.