search

VSharp-team / VSharp

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

API.Restore() crashes in SILI.fs if there was an exception before API.Reset() #210

Open mxprshn opened 1 year ago

mxprshn commented 1 year ago

If there was an exception in SILI.Interpret before call to API.Reset(), V# crashes in finally with not pretty looking exception:


 ---> System.InvalidOperationException: Stack empty.
   at System.Collections.Generic.Stack`1.ThrowForEmptyStack()
   at System.Collections.Generic.Stack`1.Pop()
   at VSharp.persistent`1.Restore() in D:\VSharp\VSharp.Utils\Persistent.fs:line 9
   at VSharp.IdGenerator.restore() in D:\VSharp\VSharp.Utils\IdGenerator.fs:line 48
   at VSharp.Core.API.Restore() in D:\VSharp\VSharp.SILI.Core\API.fs:line 19