The PRISM description was most likely generated with a script that uses floating point arithmetic. As a result, it considered the probability 0.27999999999999997. It is obvious that this should have been 0.28 because otherwise the probabilities doe not sum up to 1. The obtained JANI file was still correct (by accident).
The PRISM description was most likely generated with a script that uses floating point arithmetic. As a result, it considered the probability
0.27999999999999997. It is obvious that this should have been0.28because otherwise the probabilities doe not sum up to1. The obtained JANI file was still correct (by accident).