I found the following theorem (Proposition 4.5) in the paper of E. Kirchberg and M. Rørdam: Non-simple purely infinite $C^\ast$-algebras. Amer. J. Math. 122(3) (2000), 637-666 (MR1759891, jstor, author's homepage).
Let $A$ be a unital, simple, separable, nuclear, purely infinite $C^\ast$-algebra, and let $B$ be any $C^\ast$-algebra. Then $A\otimes B$ is purely infinite.
My question is that can we drop the condition of nuclearity or separability of $A$ but the same conclusion still hold? Is there some known results?
I have searched in the literature but nothing founded.
Thank you very much for all helps!