Invalid error generated for Newtonsoft.Json.DateTimeUtils - Githubissues

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

Invalid error generated for Newtonsoft.Json.DateTimeUtils #202

Open mxprshn opened 1 year ago

mxprshn commented 1 year ago

Clone and publish https://github.com/JamesNK/Newtonsoft.Json (commit c908de3017ee32278c5330f715cef0e9733ce9db), Release, net6.0
Run V# runner (commit https://github.com/VSharp-team/VSharp/commit/56d2a46a54ff5d5c2ef061a1078245da91aa9478) CLI as follows: --public-methods-of-class DateTimeUtils ...\Newtonsoft.Json.dll

Invalid error is generated:

Starting reproducing error1.vst for method System.TimeSpan GetUtcOffset(System.DateTime)
Test error1.vst failed! The expected exception System.NullReferenceException was not thrown