Merge pull request #4379 from QuantamHD/fix_verific #3451

Job	Run time
pre_job	4s
test-linux (ubuntu-20.04, focal, clang-12, c++11)	10m 8s
test-linux (ubuntu-20.04, focal, clang-12, c++14)	10m 16s
test-linux (ubuntu-20.04, focal, clang-12, c++17)	10m 44s
test-linux (ubuntu-20.04, focal, clang-12, c++20)	11m 16s
test-linux (ubuntu-20.04, focal, gcc-11, c++11)	24m 22s
test-linux (ubuntu-20.04, focal, gcc-11, c++14)	10m 21s
test-linux (ubuntu-20.04, focal, gcc-11, c++17)	10m 39s
test-linux (ubuntu-20.04, focal, gcc-11, c++20)	11m 16s
test-linux (ubuntu-20.04, focal, clang-11, c++11)	11m 0s
test-linux (ubuntu-20.04, focal, gcc-10, c++11)	9m 3s
	1h 59m 9s

Provide feedback