search

cui-unige / outils-formels-modelisation

Cours de Bachelor : Outils Formels de Modélisation
20 stars 44 forks source link

Solution tp-03 #24

Closed kyouko-taiga closed 6 years ago

kyouko-taiga commented 6 years ago

Une solution pour le tp-03 vous est proposée ici: https://github.com/cui-unige/outils-formels-modelisation/blob/36622612910a9176224b7f669c5daf20e45da8c0/tp-03/Coverability/Sources/CoverabilityLib/PTNet%2BExtensions.swift

N'hésitez pas à la consulter!

consolethinks commented 6 years ago

Mais maintenant si quelqun essaie de faire un git pull, il y aura des problemes pour les personnes qui ont rendu le tp-03. Dans ce cas, est-ce qu'il faut ecraser nos propres solutions?

kyouko-taiga commented 6 years ago

Vous pouvez merge et choisir de conserver votre solution.