Discussed in this comment

CockroachDB provides a function called gen_random_uuid() which returns a UUID value generated randomly.

However the pg name for this function is uuid_generate_v4()

See this doc

We also probably need to recognize `CREATE EXTE

Currently, the JDBC string containing the host name and port is hardcoded. For example, consider the connection string for MySQL:

https://github.com/sqlancer/sqlancer/blob/e62224edcb43fe421dc87601f75090739e34e595/src/sqlancer/mysql/MySQLProvider.java#L248

It would be desirable to make this configurable. We could provide an option to set the JDBC string for each DBMS. For example, for MySQL,