Biotech companies breed mice for specific models. It wouldn't surprise me to learn that they offer a mouse that has high probability to stroke.
Or just they just use magnets apparently (How do they work?)
https://cri.utsw.edu/ge-lab-has-developed-a-groundbreaking-method-to-study-ischemic-stroke-in-mice/