| 3099 | } |
| 3100 | |
| 3101 | THREAD_FUNC destroy(void* arg) { |
| 3102 | threadSleep(0.1 * deterministicRandom()->random01()); |
| 3103 | try { |
| 3104 | ((ThreadSingleAssignmentVar<int>*)arg)->cancel(); |
| 3105 | } catch (Error& e) { |
| 3106 | printf("Caught error in destroy: %s\n", e.name()); |
| 3107 | ASSERT(false); |
| 3108 | } |
| 3109 | THREAD_RETURN; |
| 3110 | } |
| 3111 | |
| 3112 | THREAD_FUNC cancel(void* arg) { |
| 3113 | threadSleep(0.1 * deterministicRandom()->random01()); |
no test coverage detected