• [^] # Re: Se passer des tests ...

    Posté par (Mastodon) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.

    Je ne suis pas d'accord. Demander un temps moyen de 300ms ce n'est pas du temps réel. Un temps maximum de 300ms, oui, mais un temps moyen non. Et ça ne peut pas être résolu par le calcul du pire cas.

    Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.