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

Most often constants are model values

A feature that I would find convenient is that every constant is assumed to be
a model value by default in the TLC model checker panel of toolbox.
Because I don't know if it is the case for you but my constants are in
most cases model values.  And there are many of them and entering
them by hand is a nightmare.