Fix generic types not found due to assembly loaded into wrong context

VSharp-team / VSharp

Symbolic execution engine for .NET Core

Apache License 2.0

50 stars 32 forks source link

Closed mxprshn closed 1 year ago

mxprshn commented 1 year ago

Replace LoadFile with LoadFrom in AssemblyManager. With LoadFile it seems that the assembly is loaded into separate context and then a type cannot be extracted from it by its name (similar issue: https://github.com/dotnet/runtime/issues/28870)
Fixes https://github.com/VSharp-team/VSharp/issues/193: in TestRunner we use LoadFrom, so it works

TODO: run benches and check that all is fine

mxprshn commented 1 year ago

upd: This fix breaks dependency resolving, looking for another solution

mxprshn commented 1 year ago

Closed because another solution for type resolving problem is found: https://github.com/VSharp-team/VSharp/pull/216