Ok, many attempts have not resulted in anything else but STATUS_OK for valgrind runs or STATUS_SERVER_CRASHED or STATUS_OK for non-valgrind runs, so regrettably nothing usable in this way.
Ok, many attempts have not resulted in anything else but STATUS_OK for valgrind runs or STATUS_ SERVER_ CRASHED or STATUS_OK for non-valgrind runs, so regrettably nothing usable in this way.