tags:

views:

28

answers:

0
Q: 

How can I assign sequences to constants in the CONSTANTS section of a TLA+ configuration file?

I've tried 

CONSTANTS seq = <<5,6,7>>

but TLC gives me a syntax error:

Error: TLC found an error in the configuration file at line 1. It was expecting = or <- and didn't find it.

I've also tried to include the Sequences module in the configuration file, to no avail.

So... what do I have to do to assign a sequence?

related questions

VS2005 C# Programmatically change connection string contained in app.config
Apache Fall Back When PHP Fails
Help Understanding .Net Configuration Options
WCF service configuration file question regarding <baseAddresses>
WCF Configuration without a config file
How to change "Generate Method Stub" to throw NotImplementedException in VS?
How many app.config files are you allowed to have per AppDomain?
Configuring sendmail behind a firewall
Override WebClientProtocol.Timeout via web.config
How to use p4merge as the merge/diff tool for Mercurial?
How do you prevent the IIS default site web.config file being inherited by virtual directories?
Apache - how do I build individual and/or all modules as shared modules
Convert Web.config from .NET 2.0 to 3.5
Software Deployment in a Virtual Environment
Java configuration framework
Programmatically encrypting a config-file in .NET
Is there a way to get a System.Configuration.Configuration instance based on arbitrary xml?
How do I run (unit) tests in different folders/projects separately in Visual Studio?
Impersonation in IIS 7.0
Enterprise Library CacheFactory.GetCacheManager Throws Null Ref
User authentication on Resin webserver
Are there any decent free JAVA data plotting libraries out there?
Using ConfigurationManager to load config from an arbitrary location
ConfigurationManager.AppSettings Performance Concerns
what's in your .bashrc ?