Uppaal tiga

stupida Messages postés 4 Date d'inscription   Statut Membre Dernière intervention   -  
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.



1 réponse

  1.
    lamodecesmoi Messages postés 117 Statut Membre 25
     
    C'est la deuxième fois que tu postes le même message...

    N'abuses pas trop !
    0
    1. stupida Messages postés 4 Date d'inscription   Statut Membre Dernière intervention  
       
      ben c'est pas la reponse que je cherche, mais quand on vient juste de s'inscrire c'est pas de l'abus quand on se trempe.
      0
    2. lamodecesmoi Messages postés 117 Statut Membre 25
       
      Plus j'écrirais sur ton post plus ton post remontera en haut de la page forum, ce qui le fera devenir populaire.
      Désolé à part ça j'ai pas de réponse à ton problème !
      0