On 8/18/21 1:18 PM, Willy Schultz wrote:
> Is anyone familiar with the usage of brackets in a TLC config file as
> seen here
> I have not encountered it before, and am unclear on its semantics. As
> far as I can tell, I don't see an explicit mention of it in Specifying
Voting and Paxos both define a Ballot operator. Without the brackets,
MCPaxos.cfg override the definition of Ballot in Paxos (done a few
lines above in the .cfg), not in Voting. This feature was added in
2009. In other words, after the release of Specifying Systems.
The screenshot shows the Toolbox does the same.