Restore experimental Z3 SQL correctness-measurement feature#1637

agusaldasoro wants to merge 4 commits into

masterWebFuzzing/EvoMaster:masterfrom

dse/sql-z3-correctnessWebFuzzing/EvoMaster:dse/sql-z3-correctnessCopy head branch name to clipboard