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

Re: [tlaplus] Help with running TLC in distributed mode (ad hoc)

From: ahmed...@xxxxxxxxx
Date: Tue, 22 Jan 2019 16:17:59 -0800 (PST)
References: <a2545bae-45d6-42a4-b3ee-7178100ab8da@googlegroups.com> <77e54f69-9d69-ba69-2030-2992697b7bbf@lemmster.de>

Hi Markus,

Thanks for your help. Adding -Djava.rmi.server.hostname to the master server solved the problem.


Thank you,
-Ahmed

References:
- Help with running TLC in distributed mode (ad hoc)
  - From: ahmed . . .
- Re: [tlaplus] Help with running TLC in distributed mode (ad hoc)
  - From: Markus Kuppe

Prev by Date: Re: [tlaplus] What if every action could use all the variables? Would we need to define Init?
Next by Date: Re: [tlaplus] Error trying to run a model: The status must be "parsed" before model checking is allowed
Previous by thread: Re: [tlaplus] Help with running TLC in distributed mode (ad hoc)
Next by thread: What if every action could use all the variables? Would we need to define Init?
Index(es):
- Date
- Thread