Use ABSreport to store longer witness search intermediate data
the longer witness search algorith can be incremental if it stores some data (previous requests, invariant already tested, ...)
the absreport file can be used to store such data.
[A venir] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
[Coming soon] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
the longer witness search algorith can be incremental if it stores some data (previous requests, invariant already tested, ...)
the absreport file can be used to store such data.