Compiler pour une VM, lancer le code dans la VM avec un timeout suffisamment élevé.

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.

)