diff options
| -rw-r--r-- | Tools/cases_generator/generate_cases.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/cases_generator/generate_cases.py b/Tools/cases_generator/generate_cases.py index 6ee6836..f605dcc 100644 --- a/Tools/cases_generator/generate_cases.py +++ b/Tools/cases_generator/generate_cases.py @@ -237,7 +237,7 @@ class Generator(Analyzer): except ValueError: # May happen on Windows if root and temp on different volumes pass - filenames.append(filename) + filenames.append(filename.replace(os.path.sep, posixpath.sep)) paths = f"\n{self.out.comment} ".join(filenames) return f"{self.out.comment} from:\n{self.out.comment} {paths}\n" |