[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Run TLC model checker in Azure

Hi Markus

I sent you an email for the same.


On Thu, Jan 18, 2018 at 11:52 AM Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx> wrote:
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?



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.