Malformed spec for library function
Hello,
I found a malformed spec bug on library function when running the model checker for generation of the reachability graph.
The simulation tool seems to work corectely for my model. The model contains 461 states and 902 transitions. I already sent an email with the model and the error log to Ludovic Apvrille.
Do you have any suggestions on how fixing this bug?
Thanks in advance,
Best regards
Submitted by external user oana.hotescu@isae-supaero.fr