Named pipes on recent Windows versions
We are having some issues when running Why3 on Cygwin+MinGW, namely due to the usage of named pipes in src/driver/prove_client.ml
, function client_connect
.
client_connect: connection failed: No such file or directory (open,\\.\pipe\C:\OCaml64\tmp\why3server1a9f15sock) (socket_name=C:\OCaml64\tmp\why3server1a9f15sock)
I've never used named pipes on Windows so I'm not familiar with them. I did find this SO question mentioning possible changes in recent Windows (I am using 1903, which is more recent than the 1709 version mentioned in the question), so while I try to dig deeper, could you please tell me if Why3 is being tested on recent Windows versions?