On ne peut pas prouver qu'un code ne termine pas avec cette méthode, mais on peut prouver qu'il termine si le timeout est suffisant. Je verrais bien un TIGCC futur faire ça. 
(Lancer chaque fonction à entrées constantes 3 secondes dans une VM. 
) On ne peut pas prouver qu'un code ne termine pas avec cette méthode, mais on peut prouver qu'il termine si le timeout est suffisant. Je verrais bien un TIGCC futur faire ça. (Lancer chaque fonction à entrées constantes 3 secondes dans une VM. )