From a5c0672fc71397c0ed70dc79c9b5c4d7c39fcb94 Mon Sep 17 00:00:00 2001 From: Teng Zhang Date: Mon, 27 May 2024 21:39:00 +0800 Subject: [PATCH] Use forward slash as path separator --- src/test/java/pascal/taie/analysis/Tests.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/java/pascal/taie/analysis/Tests.java b/src/test/java/pascal/taie/analysis/Tests.java index 788febb28..72cec428d 100644 --- 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) {