Whenever the invariants tab is visited, the invariants for the current model are always appended to the current list of invariants. The list of invariants is never cleared, even if a different model is generated.
The simplest way to reproduce: generate any example model. Click on the invariants tab, and the lists are correctly populated. Click on the invariants tab again, and duplicates are appended.
[Issue created by ohmann: 2014-09-08]
[Last updated on bitbucket: 2015-02-03]
[Comment created by ohmann: 2015-02-03]
Closing issue 59
→ <<cset 6a1e2cf46361>>
[Comment created by stanleyrya: 2015-02-03]
Solution in revision e0fff179f49b, please review.
Whenever the invariants tab is visited, the invariants for the current model are always appended to the current list of invariants. The list of invariants is never cleared, even if a different model is generated.
The simplest way to reproduce: generate any example model. Click on the invariants tab, and the lists are correctly populated. Click on the invariants tab again, and duplicates are appended.
[Issue created by ohmann: 2014-09-08] [Last updated on bitbucket: 2015-02-03]
[Comment created by ohmann: 2015-02-03] Closing issue 59
→ <<cset 6a1e2cf46361>>
[Comment created by stanleyrya: 2015-02-03] Solution in revision e0fff179f49b, please review.