[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Run TLC model checker in Azure
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.