Pb de validation de propriétés custom UPPAAL
Sur le dernire onglet "design", j'ai mis une propriété fausse qui est pourtant validée comme vraie ....
Sur le dernire onglet "design", j'ai mis une propriété fausse qui est pourtant validée comme vraie ....