cui-unige / outils-formels-modelisation

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

Problème pour lancer swift test #18

Closed QuentinRiv closed 6 years ago

QuentinRiv commented 6 years ago

Lorsque l'extension est finie et qu'elle marche (suite à quelques tests effectués dans le main), j'essaye de lancer Swift Test, afin de vérifier si mon programme marche bien. Mais au moment de lancer, j'ai quelques messages d'erreur, empêchant de tester correctement, du type error : module 'CoverabilityLibTests.allTests has no member named allTests ou encore : error : value of optional type 'CoverabilityGarph' not unwrapped (ce message est évitable en rajoutant un '!') Y a-t-il un moyen de résoudre cela ? Merci

kyouko-taiga commented 6 years ago

J'ai quelques messages d'erreur, empêchant de tester correctement, du type error : module 'CoverabilityLibTests.allTests has no member named allTests

Fixed in ee6546874a27e95ab135b3a6cdedabe6c7b6641d

ou encore : error : value of optional type 'CoverabilityGarph' not unwrapped (ce message est évitable en rajoutant un '!')

Je pense que ce bug vient de ton code, j'ai besoin de plus de contexte pour pouvoir t'aider. Peux-tu me montrer le code en question?