WIP: "unreachable branch hit!" example

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

Closed max-arshinov closed 2 years ago

max-arshinov commented 2 years ago

see "UnitTest1.CoverAndRun_CreditCalculationService_UnreachableBranchHitIsNotThrown"

dvvrd commented 2 years ago

Thus bug has been fixed, and the example is merged into V# test infrastructure in #138. This PR is no longer actual, so I'm closing it.

dvvrd commented 2 years ago

Thus bug has been fixed, and the example is merged into V# test infrastructure in #138. This PR is no longer actual, so I'm closing it.