Test Specification: Index By Feature For workers=1
This page is an index of all test cases, produced by pairwise combining of the TLA+ language
features. Feature is an operator, constant, variable, or other TLA+ language construct, which is
required by the use cases.
How to use this index:
This index list all the features
In generated test cases, a feature can be either case or
plug. Note that the same feature can be
case in one test case and plug in the
other
Column Case Index allows to see all test cases, where a given feature
participates as case
Column Plug Index allows to see all test cases, where a given feature participates as
plug