Enable new SMT backend test suite to be run against cvc5 locally and on CI#6777

Merged

NlightNFotis merged 3 commits intodiffblue:developfrom

NlightNFotis:run_tests_against_cvc5

Apr 5, 2022

Commits on Apr 4, 2022

Change regression testing suite to support running tests with cvc5.
NlightNFotis
committed
Change `Makefile` in `regression/cbmc-incr-smt2` to support testing with multiple solvers.
NlightNFotis
committed
Add missing cvc-5 download step from Ubuntu-18.04 package building job.
NlightNFotis
committed