Use forward slash as path separator

pascal-lab · May 27, 2024 · a5c0672 · a5c0672
1 parent d610a88
commit a5c0672
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/java/pascal/taie/analysis/Tests.java b/src/test/java/pascal/taie/analysis/Tests.java
@@ -155,7 +155,7 @@ private static void test(String clz, boolean isMainClass,
      */
     private static String getExpectedFile(String dir, String main, String id) {
         String fileName = String.format("%s-%s-expected.txt", main, id);
-        return Path.of(dir, fileName).toString();
+        return Path.of(dir, fileName).toString().replace('\\', '/');
     }
 
     public static void testPTA(String dir, String main, String... opts) {