[tlaplus] Re: Creating a .cfg file for my spec

[Yash Patange <yash.frost1997@xxxxxxxxx>]

Thank you! :D

On Monday, December 21, 2020 at 12:46:24 PM UTC-8 Leslie Lamport wrote:

Specifying Systems 
chapter 14.

On Monday, December 21, 2020 at 11:53:08 AM UTC-8 yash.fr...@xxxxxxxxx wrote:

Hello all! TLA+ newbie here!

I want to run my specification from the command line. For that, I need a ".cfg" file. 

Is there some documentation or a tutorial for the format of the ".cfg" file? I searched but could not find any! Or can the Toolbox itself generate a ".cfg" file? I know there's an "MC.cfg" file, I did not understand there what was defined in the constants.

What's the way to define multiple constants in the config file? The way I did it  like: "CONSTANTS 

    N = 4, 

    F = 0,

    INPUT = <<1, 0, 0, 0>>"

I get an error:   "TLC found an error in the configuration file at line 3 It was expecting = or <-, but did not find it"

Help appreciated! :)

Thanks!

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/5612538e-7a1b-47a7-9fb2-dc0510933e59n%40googlegroups.com.