.get_halting_test: Returns halting tests for names, or checks if pass functions are suitable.
Description
Returns halting tests for names, or checks if pass functions are suitable.
Usage
.get_halting_test(halting_test)
Value
A vector of halting test functions.
Arguments
- halting_test
The name of one halting test, or a halting test function.