match assembly simple name before loading (#508)

microsoft · Jul 20, 2024 · 53a9cbc · 53a9cbc
1 parent 5d80bea
commit 53a9cbc
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/Source/Test/SystematicTesting/TestMethodInfo.cs b/Source/Test/SystematicTesting/TestMethodInfo.cs
@@ -12,6 +12,7 @@
 using System.Runtime.Loader;
 #endif
 using System.Threading.Tasks;
+using System.Xml.Linq;
 using Microsoft.Coyote.Actors;
 using Microsoft.Coyote.Logging;
 using Microsoft.Coyote.Runtime;
@@ -444,9 +445,9 @@ private Assembly OnResolving(AssemblyLoadContext context, AssemblyName assemblyN
                     runtimeLibrary.Dependencies,
                     runtimeLibrary.Serviceable);
                 if (this.AssemblyResolver.TryResolveAssemblyPaths(compilationLibrary, assemblies) &&
-                    assemblies.Count > 0)
+                    assemblies.Any(a => string.Equals(Path.GetFileNameWithoutExtension(a), assemblyName.Name, StringComparison.OrdinalIgnoreCase)))
                 {
-                    return this.LoadContext.LoadFromAssemblyPath(assemblies[0]);
+                    return this.LoadContext.LoadFromAssemblyPath(assemblies.First(a => string.Equals(Path.GetFileNameWithoutExtension(a), assemblyName.Name, StringComparison.OrdinalIgnoreCase)));
                 }
                 else
                 {