Path with espace in the executable root path

DeepSec-prover / deepsec

DEciding Equivalence Properties in SECurity protocols

GNU General Public License v3.0

17 stars 2 forks source link

Closed victor-yon closed 4 years ago

victor-yon commented 4 years ago

For /media/wip/Workspace/In progress/deepsec/deepsec_api

With start_run command the error message is : /bin/sh: 1: /media/wip/Workspace/In: not found

The run start and stay "in_progress"

VincentCheval commented 4 years ago

It should be fixed on 0be52d6a809a5e81cfb0ec2991ab4041c75b71d4

I close the issue but reopen it if you find similar bug.