search

ikuraj / alloy4eclipse

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

Should we remove old viz panel when an assertion has no longer a counter example? #35

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
It happened to me to build a model and trying to check a property.

At first, the property was violated, and a counter example has been generated.

At last, the model was good enough to satisfy the property.

The answer was UNSAT/No counter model found.

But the panel was still showing the previous counter model.

I believe that in that case, the viz panel should be automatically closed
in A4E.

However, I need some feedback on this.

--Daniel

Original issue reported on code.google.com by daniel.l...@gmail.com on 5 Dec 2007 at 3:55

GoogleCodeExporter commented 8 years ago 
One good solution would be to remove the VizView once the ExecutableCommand is
relaunched. 

For that, the ExecutableCommand needs to be aware of the associated VizView.

Furthermore, the idea would be to let the user choose that feature, i.e. we 
need to
provide a boolean value in the preferences page to enable or disable that 
feature.

Original comment by daniel.l...@gmail.com on 13 Jan 2008 at 7:37

GoogleCodeExporter commented 8 years ago

Original comment by daniel.l...@gmail.com on 24 Jan 2008 at 9:25

GoogleCodeExporter commented 8 years ago

Original comment by lionel.d...@gmail.com on 13 Mar 2008 at 10:02

GoogleCodeExporter commented 8 years ago 
It should not be too difficult now to implement that feature, right?

Original comment by daniel.l...@gmail.com on 26 Mar 2008 at 10:17

GoogleCodeExporter commented 8 years ago 
It works now.

Original comment by rdrue...@gmail.com on 3 Apr 2008 at 8:44