Skip to content

FlowProof 0.23.2

Choose a tag to compare

View all tags
@AminChirazi AminChirazi released this 16 Sep 09:01
· 128 commits to main since this release
v0.23.2
40c4847
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Fixes SAP WebGUI item-grid editing and field readiness during recording and replay.

  • Keep SAP's grid columns aligned when clicking and typing into wide editors.
  • Wait for SAP to replace controls after focus before entering values.
  • Re-resolve grid elements after scrolling and SAP refreshes.

Validated with targeted browser regressions and an 81-step live SAP SI10 purchase-order preparation recording and replay with zero retries. This validation stops before saving; it does not claim completion of the full J45 purchasing suite.

Assets 2
Loading