Skip to content

Use slash instead of backslash under Windows #29

@andreasabel

Description

@andreasabel

I get not ok ... stdout verdicts under Windows when the same tests pass under Linux and macOS.
I'd guess these are caused by directory globbing resolved under Windows using backslashes instead of slashes, so printing the filepath to stdout gives different results under Linux and Windows. https://github.com/andreasabel/miniagda/blob/67f9ad914f8bbda153d679a517da98b01e482d4e/test/fail/adm/adm1.err#L1
Since Windows nowadays understands the slash as path separator, maybe the slash could be used instead of the backslash to make goldplate more portable?

Metadata

Metadata

Assignees

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions