La vérification des quotas de chaque projet est mise en place en mode non bloquant. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Quota verification is enabled for projects in non-blocking mode. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Z3 can produce a trace of its execution. It would be useful to be able to get some useful data from it in the IDE. The most interesting thing to extract would certainly be the quantifiers instantiations that have been performed.