bugsy | Helper to deal with errors lifecycle in javascript | Architecture library

I am trying to query a larger system with UPPAAL SMC and it ends up with a "memory exhausted" error message. By nature, UPPAAL SMC should not result in a state space explosion that's why I am asking if it is possible to query with SMC without getting a state space explosion.

If i try to execute the following with a lots of states:

I am trying vertical alignment within a HorizontalLayout in Vaadin 12.

In most apps I can imagine, it makes sense to line up widgets along the baseline of the text fields, as text fields tend to drive the layout of most apps, and specifically of business apps.

So I was glad to find FlexComponent.Alignment.BASELINE offered for HorizontalLayout. But when I tried it in a Vaadin 12.0.2 app, the baseline seems to be everything except the text field.

Here is an example app. I downloaded the generated base starter and touched nothing but the content of the MainView constructor.

The app consists of a VerticalLayout composed of six HorizontalLayout objects. Each horizontal bar is a Label, TextField, Button, and Button. The label and the first button have their vertical alignment set explicitly.

Use the edge of another window over the window you are viewing now, using its top edge like a ruler. Notice how the “BASELINE” row appears to line up the explicitly set widgets (label and first button) with the baseline of the field’s caption rather than the field itself, and with the baseline of the last button’s text.

So, the BASELINE alignment lines up the baseline of everything but the text field. This is exactly the opposite of what I expect and need.

➥ Is this a feature or a bug?

➥ Am I doing something wrong?

➥ Is there some way to get the widgets to align to the baseline of the TextField?

As a minor side issue, STRETCH seems to have no effect. What should it be doing?