VeriWasp report
Target: https://veriwasp-playtest-sandbox-qy4k4kauh-veriwasp.vercel.app
Description: VeriWasp Demo
Status: failed
Viewport: desktop
Run date: Tue, 21 Jul 2026 20:46:38 UTC

Steps:
  1. [navigate] Load the homepage -> passed
  2. [type] the Your name field -> passed
  3. [type] the Work email field -> passed
  4. [type] the Password field -> passed
  5. [click] the Create account button -> passed
  6. [assert] a welcome message greeting the new user by name -> failed
     error: could not find an element matching "a welcome message greeting the new user by name"

Issues found:
  [bug/high] Step 6 (assert) failed after 3 retries: a welcome message greeting the new user by name
  [bug/medium] 2 browser console error(s) logged during the test
  [bug/high] 1 failed network request(s) during the test
  [visual/medium] Step 5 (click) looks 5.6% different from moments ago
  [regression/medium] Step 5 (click) has 2 new console error(s) since moments ago
  [regression/medium] Step 5 (click) has 1 new failed network request(s) since moments ago
  [regression/low] Step 6 (assert) is flaky, passed only 0 of the last 1 runs before this one
  [visual/medium] Step 6 (assert) looks 6.1% different from moments ago
  [perf/medium] Step 6 (assert) took 13.3s, up from 2.6s moments ago
