spurious debug messages when using `why3 session create`
executing why3 session create
displays spurious debug messages regarding the directory and the session file created. They should be visible only when some debug flag is set
executing why3 session create
displays spurious debug messages regarding the directory and the session file created. They should be visible only when some debug flag is set