Seal: Symbolic Execution with Separation Logic - (Competition Contribution). - Tomás Brablec; Tomás Dacík; Tomás Vojnar (TACAS (2), 2026)