[Ada] Proof of unit System.Case_Util
authorYannick Moy <moy@adacore.com>
Fri, 17 Dec 2021 16:45:14 +0000 (17:45 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 11 Jan 2022 13:24:47 +0000 (13:24 +0000)
commit303bd2a8428b75f2467578a933e729d5672789d1
treef4e378f0f951bcd147a443e5569c73b95ba96922
parent649b3efae598aaf855b8cc453749695dded9fa95
[Ada] Proof of unit System.Case_Util

gcc/ada/

* libgnat/s-casuti.adb: Add ghost code.
* libgnat/s-casuti.ads: Add contracts.
gcc/ada/libgnat/s-casuti.adb
gcc/ada/libgnat/s-casuti.ads