Updates to the driver.md GST handler#2682

automergerpr-permission-manager[bot] merged 13 commits intomasterruntimeverification/evm-semantics:masterfrom

expect-exceptionruntimeverification/evm-semantics:expect-exceptionCopy head branch name to clipboard