V# throws `creating object from term: unexpected term` - Githubissues

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

V# throws `creating object from term: unexpected term` #234

Closed gsvgit closed 1 year ago

gsvgit commented 1 year ago

Steps to reproduce:

Run this test
Get creating object from term: unexpected term exception

MchKosticyn commented 1 year ago

Fixed in https://github.com/VSharp-team/VSharp/pull/236