TIMEOUT is a handy property that can be used to specify a timeout for individual tests, by usingĀ set_tests_properties. If the test goes past that time, for whatever reason (the test has stalled or the machine is too slow), the test is terminated and marked as failed.