`Cast (System.Boolean, System.Byte)` is not supported in Z3 EncodeExpression

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

`Cast (System.Boolean, System.Byte)` is not supported in Z3 EncodeExpression #231

Closed gsvgit closed 1 year ago

gsvgit commented 1 year ago

V# throws "The method or operation is not implemented." from Z3 EncodeExpression. Looks like the case Cast (System.Boolean, System.Byte) is not supported.

Steps to eproduce

Run this test