Uppaal tiga

stupida -  
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

  • Votes
  • Date
  • Date décroissante
  1. lamodecesmoi
    C'est la deuxième fois que tu postes le même message...

    N'abuses pas trop !
    1. stupida Auteur
      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.
    2. lamodecesmoi
      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 !