search

VSharp-team / VSharp

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

Encoding of floating point numbers #289

Closed MchKosticyn closed 11 months ago

MchKosticyn commented 11 months ago