| 3070 | } |
| 3071 | |
| 3072 | THREAD_FUNC setAbort(void* arg) { |
| 3073 | threadSleep(0.1 * deterministicRandom()->random01()); |
| 3074 | try { |
| 3075 | ((ThreadSingleAssignmentVar<Void>*)arg)->send(Void()); |
| 3076 | ((ThreadSingleAssignmentVar<Void>*)arg)->delref(); |
| 3077 | } catch (Error& e) { |
| 3078 | printf("Caught error in setAbort: %s\n", e.name()); |
| 3079 | ASSERT(false); |
| 3080 | } |
| 3081 | THREAD_RETURN; |
| 3082 | } |
| 3083 | |
| 3084 | THREAD_FUNC releaseMem(void* arg) { |
| 3085 | threadSleep(0.1 * deterministicRandom()->random01()); |
nothing calls this directly
no test coverage detected