On 18.01.2018 19:50, Kapil Agarwal wrote:
>
> I am trying to run TLA+ model checker in Azure. Following the guide
> at https://tla.msr-inria.inria.fr/tlatoolbox/doc/cloudtlc/index.html,
> I have set up the certificate and environment variables. I get the
> following error on running the model checker-
> "Could not setup any viable authentication method "
>
> Any help is appreciated.
Hi Kapil,
are you on Windows 10 and can you privately send me the .log file
located in your home directory under .tlaplus/.metadata/? Also is your
SSH key protected by a passphrase? Lastly, did you upgrade to Toolbox
1.5.5 from an earlier version or did you start fresh by downloading a
Toolbox 1.5.5 zip file?
Thanks
Markus
--
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/BLp-AJhw3K8/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.