search

cui-unige / outils-formels-modelisation

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

Correction d'une erreur dans les tests #21

Closed kyouko-taiga closed 6 years ago

kyouko-taiga commented 7 years ago

Certains auront peut-être remarqué q'une erreur s'est glissée dans les tests que je vous ai fournis pour le tp-03. En effet ce ne sont pas 4 mais 5 noeuds qui sont nécessaires pour couvrir le modèle non-borné fourni en exemple.

L'erreur a été corrigée dans 4c4a584e9f7c7a13bab72de37c5a06c37d442f1a. Ce fix ne concerne que les tests et n'a pas d'influence sur le reste de CoverabilityLib.

Je vous rappelle que vous pouvez lancer ces tests avec la commande swift test (là où vous exécutez swift build). S'ils passent, vous aurez une sortie de ce type dans votre console:

Test Suite 'All tests' started at 2017-11-09 16:30:01.210
Test Suite 'CoverabilityPackageTests.xctest' started at 2017-11-09 16:30:01.210
Test Suite 'CoverabilityLibTests' started at 2017-11-09 16:30:01.210
Test Case '-[CoverabilityLibTests.CoverabilityLibTests testBoundedGraph]' started.
Test Case '-[CoverabilityLibTests.CoverabilityLibTests testBoundedGraph]' passed (0.110 seconds).
Test Case '-[CoverabilityLibTests.CoverabilityLibTests testUnboundedGraph]' started.
Test Case '-[CoverabilityLibTests.CoverabilityLibTests testUnboundedGraph]' passed (0.001 seconds).
Test Suite 'CoverabilityLibTests' passed at 2017-11-09 16:30:01.321.
     Executed 2 tests, with 0 failures (0 unexpected) in 0.111 (0.111) seconds
Test Suite 'CoverabilityPackageTests.xctest' passed at 2017-11-09 16:30:01.321.
     Executed 2 tests, with 0 failures (0 unexpected) in 0.111 (0.111) seconds
Test Suite 'All tests' passed at 2017-11-09 16:30:01.321.
     Executed 2 tests, with 0 failures (0 unexpected) in 0.111 (0.111) seconds