Missing System.Runtime 5.0.0.0 after rewrite

[shaya-pb]

After running coyote rewrite on a .dll which is used by non-Microsoft.Coyote.SystematicTesting.Test unit tests (nunit tests which call into TestingEngine), the subsuquent running of dotnet test throws a Missing System.Runtime 5.0.0.0 etc. exception.

Looking into the rewritten dll with ildasm shows that Coyote added a reference to System.Runtime 5.0.0.0 in addition to System.Runtime 4.2.0.0, while the original dll only references System.Runtime 4.2.0.0.

I created a sample project to portray the issue.

[pdeligia]

Thanks for opening this issue @shaya-pb we will investigate (together with your related issue on the samples repo) and let you know. Creating a sample repo is also very helpful, thanks for doing that!

[pdeligia]

This seems to be an issue with netcoreapp3.1 which will go out of support very soon. Closing this issue as it does not seem to appear in later .NET versions.