Si tu utilises ce que tu proposes, ça ne va pas marcher. Tu proposes d'injecter des intervalles. Comment peux-tu trouver un intervalle suffisamment petit que pour voir toutes les branches d'un algo qui ferait quelque chose comme :
si ( in | MASK_LSB)
alors
fait_A
sinon
fait_B
fin si
Ensuite, ton idée d'intervalle se heurte aussi au problèmes des algorithmes ayant plusieurs variables d'entrée (ce qui fait un produit d'intervalles, ça doit pas mal augmenter le temps de calcul) ou une sortie dépendant de (entrée_t, entrée_(t-1)) (ce qui doit revenier au même que plusieurs variables simultanées)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# Pas comme ça
Posté par 2PetitsVerres (Mastodon) . En réponse au journal Déterminer le domaine d'un programme. Évalué à 3.
si ( in | MASK_LSB)
alors
fait_A
sinon
fait_B
fin si
Ensuite, ton idée d'intervalle se heurte aussi au problèmes des algorithmes ayant plusieurs variables d'entrée (ce qui fait un produit d'intervalles, ça doit pas mal augmenter le temps de calcul) ou une sortie dépendant de (entrée_t, entrée_(t-1)) (ce qui doit revenier au même que plusieurs variables simultanées)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.