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

Re: parsing config file in command line mode

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Thu, 9 Feb 2017 17:05:30 -0800 (PST)
Cc: kir...@xxxxxxxxxxxxxx
References: <f863abc2-ed57-9fe3-c902-c0f98ffb1d7e@itee.uq.edu.au>

TLC allows only a restricted class of expressions in a configuration file. See "Specifying Systems" for the exact syntax. Why aren't you running TLC from the Toolbox?

Leslie

Follow-Ups:
- Re: parsing config file in command line mode
  - From: Kirsten Winter

References:
- parsing config file in command line mode
  - From: Kirsten Winter

Prev by Date: parsing config file in command line mode
Next by Date: Re: parsing config file in command line mode
Previous by thread: parsing config file in command line mode
Next by thread: Re: parsing config file in command line mode
Index(es):
- Date
- Thread