When a CUDA stream is created on a specific device via:
int device = 1; // Example number
cudaSetDevice(device);
cudaStream_t cudaStream;
cudaStreamCreate(&cudaStream); // Similar with cudaStreamCreateWithFlags
Do I have to set the device again before deleting it, or can I just call?
// cudaSetDevice(device); // Is this needed ???
cudaStreamDestroy(cudaStream);
