Uppaal tiga
stupida
Messages postés
4
Date d'inscription
Statut
Membre
Dernière intervention
-
lamodecesmoi Messages postés 117 Statut Membre -
lamodecesmoi Messages postés 117 Statut Membre -
Bonjour,
Bonjour,
pourriez vous svp me dire comment utiliser la commande verifytiga option -t0 pour afficher les traces d'execution apres verification de mes query,
sous uppal elles s'affichent automatiquement.
MERCI d'avance
Ps: ne me dites surtout pas regardes sur le tutorial il est bien evident que si j'y a vait trouver la reponse je ne serait pas là, merciiii.
Bonjour,
pourriez vous svp me dire comment utiliser la commande verifytiga option -t0 pour afficher les traces d'execution apres verification de mes query,
sous uppal elles s'affichent automatiquement.
MERCI d'avance
Ps: ne me dites surtout pas regardes sur le tutorial il est bien evident que si j'y a vait trouver la reponse je ne serait pas là, merciiii.
Désolé à part ça j'ai pas de réponse à ton problème !