hi, when I followed the execution of : fi : distinct eventb!BModel foreach(goal in iniseq)(
events<-u.AllEventfinal)
I note the existence of a counter
how can I access this counter?
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
