How do I use sets in config file?

[anton-trunov]

For instance, how do I define something like this?

CONSTANT
    Foo = 0..42

[lemmy]

You can't because TLC's config file doesn't support arbitrary expressions. This is why the Eclipse-based Toolbox generates an MC.cfg and an MC.tla file. Related #159

[Alexander-N]

See https://stackoverflow.com/questions/59101827/ for how to manually create these MC files.

[alygin]

@anton-trunov, I hope the answers helped.