Fix Scyther process call on Windows (escape paths)

cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols

https://cispa.saarland/group/cremers/scyther/index.html

96 stars 38 forks source link

Fix Scyther process call on Windows (escape paths) #33

Closed SamJakob closed 1 year ago

SamJakob commented 1 year ago

On Windows only, the backslashes in paths were causing issues with the command, because they were stripped out. Wrapping the paths in quotes solves this for all platforms.

cascremers commented 1 year ago

Looks good, thanks a lot!