256Fermer258
Kevin KoflerLe 03/10/2007 à 02:44
Compiler pour une VM, lancer le code dans la VM avec un timeout suffisamment élevé. smile 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. wink (Lancer chaque fonction à entrées constantes 3 secondes dans une VM. miam)