Open mxprshn opened 1 year ago
Now in runner and test runner we have different code which resolves assemblies:
In particular, this code loads assemblies into different contexts, which means that something can work fine in runner, but don't work in test runner, or vice versa.
So, we need to use a single assembly manager for the whole V#. This manager should load assemblies into separate context (like https://github.com/VSharp-team/VSharp/blob/master/VSharp.Utils/AssemblyManager.fs)
Now in runner and test runner we have different code which resolves assemblies:
In particular, this code loads assemblies into different contexts, which means that something can work fine in runner, but don't work in test runner, or vice versa.
So, we need to use a single assembly manager for the whole V#. This manager should load assemblies into separate context (like https://github.com/VSharp-team/VSharp/blob/master/VSharp.Utils/AssemblyManager.fs)