Update CE benchs to CVC4 1.8
The CVC4 1.8 bug for printing floating-point constants is fixed in master. It is time to upgrade the CE bench to CVC4 1.8 then.
This should be done after !637 (merged) is merged though, to avoid unnecessary conflicts
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
The CVC4 1.8 bug for printing floating-point constants is fixed in master. It is time to upgrade the CE bench to CVC4 1.8 then.
This should be done after !637 (merged) is merged though, to avoid unnecessary conflicts