Alloy feedback in Console tab

[GoogleCodeExporter]

The Console window was recently updated to provide feedback on elapsed time
for checking an Alloy assertion, however it does not provide elapsed time
for generating Vars and Clauses.  Both of these should be displayed, as
they are in the Alloy Analyzer.

Also, new assertion checks should not overwrite feedback from previous
checks.  As in the Alloy Analyzer, feedback should persist to facilitate
comparing successive checks, as changes are made to an Alloy spec.

Original issue reported on code.google.com by alan.sha...@gmail.com on 29 Nov 2007 at 8:05

[GoogleCodeExporter]

I will check the code of A4 to see how it is done exactly.

Regarding the second comment, I would suggest to add an option in A4E 
preferences to
not clear the console on successive command calls.

Is that ok with you?

--Daniel

Original comment by daniel.l...@gmail.com on 29 Nov 2007 at 8:29

• Changed state: Accepted
• Added labels: Type-Enhancement
• Removed labels: Type-Defect

[GoogleCodeExporter]

Yes, this makes sense to me.  In fact, I wasn't sure if there was already some
setting I could check, but sounds like that's not the case.

Thanks!
--Al

Original comment by alan.sha...@gmail.com on 29 Nov 2007 at 8:56

[GoogleCodeExporter]

Alan

The fix is on A4E 0.2.9 on the update site.

--Daniel

Original comment by daniel.l...@gmail.com on 1 Dec 2007 at 9:33

• Changed state: Fixed