[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*From*: Andrew Wilcox <andrew...@xxxxxxxxx>*Date*: Sun, 3 Jul 2016 13:10:18 -0700 (PDT)

The Toolbox version 1.5.2 help says

We can use theSymmetry setoption of the What is the model? section of the Model Overview Page to declare this set of model values to be a symmetry set of the behavior spec.

I'm not seeing a "Symmetry set" option in either the "Model Overview" or the "Advanced Options" tabs though, where would I find it?

Thanks!

Andrew

**Follow-Ups**:**Re: Where is the model value symmetry set specified in the Toolbox?***From:*Andrew Helwer

- Prev by Date:
**Re: Formal methods for the application programmer** - Next by Date:
**Re: Where is the model value symmetry set specified in the Toolbox?** - Previous by thread:
**Re: Formal methods for the application programmer** - Next by thread:
**Re: Where is the model value symmetry set specified in the Toolbox?** - Index(es):