Segmentation Fault in pnml2lts-mc

[jacopol]

erk1.pnml.txt Dear LTSmin Support Team, I hope this email finds you well. I am writing to report an issue that I encountered while using the pnml2lts-mc tool from the LTSmin 3.0.2 package. The tool was executed with the command "./pnml2lts-mc erk1.pnml --labels," and it produced detailed output, unfortunately, it terminated with a segmentation fault. Below is a summary of the output:

As suggested, I am reporting this issue to seek assistance in understanding the root cause and finding a resolution. I have included all relevant information preceding the segmentation fault. Please find additional details below: • Package: LTSmin 3.0.2 To assist you in reproducing the issue, I have attached the PNML file (erk1.pnml) used for the analysis. I appreciate your prompt attention to this matter. If you require any further information or clarification, please do not hesitate to contact me. Thank you for your assistance. Best regards,

Sawsen Khilfa 3rd year Phd Student at Sup'Com