J'ai une erreur JNEWS sur les tests de la classe None, m'indiquant que l'évaluation de l'expression suivante :
Code : Tout sélectionner
none(none(TRUE,none(FALSE,FALSE,FALSE),none(FALSE,FALSE,FALSE)),none(TRUE,none(FALSE,FALSE,FALSE),none(FALSE,FALSE,FALSE)))
Or, si je décompose :
none1 = none(FALSE,FALSE,FALSE) est satisfaite (S)
none2 = none(TRUE,none(FALSE,FALSE,FALSE),none(FALSE,FALSE,FALSE)) = none(TRUE, none1, none1) = none(S, S, S) n'est pas satisfaite (non S)
none3 = l'expression complète = none(none2, none2) = none(non S, non S) est satisfaite (S)
la méthode isSatisfiedBy() devrait donc bien retourner true, en non false.
Je ne comprends donc pas le rejet JNEWS. Y a-t-il une erreur dans mon raisonnement ?
Merci de vos lumières.