We are doing rollover analysis and we are facing issue related to this error...will you please help us to find out our mistake and to correct it...? here by I have attached .out file, model checker image and error image..please go through it and suggest us what should we do to remove it.
<?xml version="1.0" encoding="UTF-8"?>
<?xml version="1.0" encoding="UTF-8"?>
Unable to find an attachment - read this blog