update operation on empty layout

[jgroote]

Issue migrated from trac ticket # 21

component: squadt | priority: minor | resolution: fixed | keywords: squadt update empty layout

2006-08-31 17:25:14: muck@mweerden.net created the issue

---

When generating a state space for abp.mcrl2 with lpe2lts via squadt, I get the following warning a number of times:

  Warning : update operation on empty layout!

The update messages from lpe2lts are only generated after the status display is created (at least at the side of lpe2lts), so it seems to be a problem with squadt (or the communication between both).

Perhaps something related to ticket #8? I can imagine that these threads somehow mix up the order of message.

[jgroote]

2006-08-31 17:44:58: muck@mweerden.net edited the issue description

[jgroote]

2006-08-31 17:45:07: muck@mweerden.net edited the issue description

[jgroote]

2006-09-03 19:42:30: jwulp@win.tue.nl changed status from new to closed

[jgroote]

2006-09-03 19:42:30: jwulp@win.tue.nl changed resolution from ** to fixed

[jgroote]

2006-09-03 19:42:30: jwulp@win.tue.nl commented

---

Fixed in revision 1867