You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Execution of this test leads to the following error:
Getting CFG of method System.Int32 System.String.get_Length(this) without body (extern or abstract)
at VSharp.Test.TestSvmAttribute.TestSvmCommand.<>c.<Explore>b__12_1(FSharpOption`1 _, Exception e) in /home/gsv/Projects/VSharp/VSharp.Test/IntegrationTests.cs:line 257
at <StartupCode$VSharp-SILI>[email protected](FSharpOption`1 method, Exception e)
at VSharp.Interpreter.IL.SILI.Interpret(IEnumerable`1 isolated, IEnumerable`1 entryPoints, Action`1 onFinished, Action`1 onException, Action`1 onIIE, Action`2 onInternalFail) in /home/gsv/Projects/VSharp/VSharp.SILI/SILI.fs:line 425
at VSharp.Test.TestSvmAttribute.TestSvmCommand.Explore(TestExecutionContext context) in /home/gsv/Projects/VSharp/VSharp.Test/IntegrationTests.cs:line 257
Execution of this test leads to the following error:
Debugging shows that it is caused by attempt to get CFG for external method.
The text was updated successfully, but these errors were encountered: