Split build_and_run_test() into build_test() and run_test(), use them for test_tests to ensure it gets built before executing it
Split build_and_run_test() into build_test() and run_test(), use them for test_tests to ensure it gets built before executing it

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs