Fixed overflow check - Githubissues

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

Fixed overflow check #319

Closed MchKosticyn closed 6 months ago

MchKosticyn commented 6 months ago

Overflow check in numeric operations implemented via Z3 "no-ovf" functions