counterexamples: add hexadecimal representation for int and bv
In the printing of counterexamples, int and bv are printed in decimal notation. We could add an hexadecimal notation (same as what is done for float).
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
In the printing of counterexamples, int and bv are printed in decimal notation. We could add an hexadecimal notation (same as what is done for float).