What's happening
SAP's most common table type — the ALV grid, used in almost every report and list screen (sales orders, stock lists, financial reports) — isn't supported at all. flowproof only understands SAP's older, simpler Table Control, which uses a different scripting pattern (FindById on individual cells) than ALV's method-call-based API (GetCellValue, selectColumn, pressToolbarButton, ...).
If we don't fix it
The other team hits a wall on almost any real SAP report or list screen — there's no way to write that test at all. This is the single biggest reason flowproof would lose to Tricentis Tosca on real SAP work.
If we fix it
Real test coverage for the SAP screens people actually use day to day, not just curated demo screens that avoid ALV.
Scope
Needs new SapEngine trait methods, a FakeEngine implementation (can be built without real SAP access, against SAP's documented scripting API), grammar/rules support, and eventually a real ComEngine implementation validated against a live ALV grid.
Before closing
Please accompany the PR with an example test case under examples/sap/ (plus adapter tests) that exercises a real ALV grid screen, proving the fix works end to end.
What's happening
SAP's most common table type — the ALV grid, used in almost every report and list screen (sales orders, stock lists, financial reports) — isn't supported at all. flowproof only understands SAP's older, simpler Table Control, which uses a different scripting pattern (
FindByIdon individual cells) than ALV's method-call-based API (GetCellValue,selectColumn,pressToolbarButton, ...).If we don't fix it
The other team hits a wall on almost any real SAP report or list screen — there's no way to write that test at all. This is the single biggest reason flowproof would lose to Tricentis Tosca on real SAP work.
If we fix it
Real test coverage for the SAP screens people actually use day to day, not just curated demo screens that avoid ALV.
Scope
Needs new
SapEnginetrait methods, aFakeEngineimplementation (can be built without real SAP access, against SAP's documented scripting API), grammar/rules support, and eventually a realComEngineimplementation validated against a live ALV grid.Before closing
Please accompany the PR with an example test case under
examples/sap/(plus adapter tests) that exercises a real ALV grid screen, proving the fix works end to end.