Correctness packages

Change which tests to be included, e.g.,

set(TEST_INCLUDE "from_7.3.0/ConfigureTestRestart.*" CACHE STRING "Include only tests that match the given regex")

Need to delete build_output/CMakeCache.txt file after the modification