Nice new feature request: automatic command generation on predicates and assertions

[GoogleCodeExporter]

Since commands are expected for assertions and predicate, it would be nice to 
be able to run automatically a command when clicking on an assertion or a 
predicate.

Suppose you click on an assertion foo. The idea if to launch the command:

check foo for 10

where 10 is a number that could be configured from the alloy preference page.

That feature will probably require a bit of knowledge from the A4 side, but 
that would be definitely a very nice feature.

Original issue reported on code.google.com by daniel.l...@gmail.com on 19 May 2011 at 7:36

[GoogleCodeExporter]

That feature has been almost implemented. We still have issues with predicates 
containing parameters.

Original comment by daniel.l...@gmail.com on 25 May 2011 at 8:38

• Changed state: Started

[GoogleCodeExporter]

Nicolas has released a fix in r1021. That feature is now fully functionnal.

Original comment by daniel.l...@gmail.com on 2 Jun 2011 at 6:34

• Changed state: Verified