ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Allow an optional "exactly" when creating run and check commands #110

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago
It is possible to create a new command "run p for X" by right clicking on a 
predicate p.
There are some cases when the command to be created should be "run p for 
exactly X", i.e. that would force the creation of exactly X elements.

That feature should be available in the preference page as a checkbox, nearby 
the value used for X.

Original issue reported on code.google.com by daniel.l...@gmail.com on 17 Apr 2012 at 7:37