What's happening
Many SAP screens open a small "pick a value" popup — a list or tree — when a field is searched (F4) or certain menus are opened. flowproof can't interact with these at all. Today the team works around it by choosing example transactions that avoid needing one (see the comment in examples/sap/stock-overview.flow.yaml).
If we don't fix it
Any test that needs to search for or pick a value from one of these popups can't be written. The workaround only holds for hand-picked demo screens — it breaks the moment the other team brings their own transactions.
If we fix it
Removes a workaround the team already knows won't scale, and closes a real, admitted gap.
Related
Pairs naturally with #475 (background/behind-modal window content) — both are about a second window (wnd[N]) appearing mid-transaction, so worth scoping together.
Before closing
Please accompany the PR with an example test case under examples/sap/ demonstrating a flow that opens and selects from one of these popups.
What's happening
Many SAP screens open a small "pick a value" popup — a list or tree — when a field is searched (F4) or certain menus are opened. flowproof can't interact with these at all. Today the team works around it by choosing example transactions that avoid needing one (see the comment in
examples/sap/stock-overview.flow.yaml).If we don't fix it
Any test that needs to search for or pick a value from one of these popups can't be written. The workaround only holds for hand-picked demo screens — it breaks the moment the other team brings their own transactions.
If we fix it
Removes a workaround the team already knows won't scale, and closes a real, admitted gap.
Related
Pairs naturally with #475 (background/behind-modal window content) — both are about a second window (
wnd[N]) appearing mid-transaction, so worth scoping together.Before closing
Please accompany the PR with an example test case under
examples/sap/demonstrating a flow that opens and selects from one of these popups.