What they have is surprisingly fragmentary. For the recent software issue, they had to be very conservative in what they changed because they aren't 100% sure about the details of the ISA on the actual spacecraft (due to amiguity between different revisions of the wiring of the CPU), and so they don't really have a simulator they can trust.