[PCompiler] Fix incorrect string matching when excluding imported tes…

…t cases (#751)
p-org · Jul 18, 2024 · e09ba81 · e09ba81
1 parent 5da26ab
commit e09ba81
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Src/PCompiler/CompilerCore/TypeChecker/Scope.cs b/Src/PCompiler/CompilerCore/TypeChecker/Scope.cs
@@ -1,5 +1,7 @@
+using System;
 using System.Collections.Generic;
 using System.Diagnostics;
+using System.IO;
 using System.Linq;
 using Antlr4.Runtime;
 using Plang.Compiler.TypeChecker.AST;
@@ -603,7 +605,7 @@ public SafetyTest Put(string name, PParser.SafetyTestDeclContext tree)
             string filePath = config.LocationResolver.GetLocation(tree).File.FullName;
             foreach (var dependencyPath in config.ProjectDependencies)
             {
-                if (filePath.StartsWith(dependencyPath))
+                if (filePath.StartsWith($"{dependencyPath}{Path.DirectorySeparatorChar}"))
                 {
                     return null;
                 }