diff options
| author | Yannick Moy <moy@adacore.com> | 2023-01-18 10:50:54 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-16 10:30:56 +0200 |
| commit | fd0f8d2486678e401b076b74e9f1ae2cb224ba76 (patch) | |
| tree | a691795bd9cdc91557a686b20a8b1e226e0bfa1a /gcc/ada/gen_il-fields.ads | |
| parent | 24917325cef92b535f909facdbe1d40c8f1f602a (diff) | |
| download | gcc-fd0f8d2486678e401b076b74e9f1ae2cb224ba76.zip gcc-fd0f8d2486678e401b076b74e9f1ae2cb224ba76.tar.gz gcc-fd0f8d2486678e401b076b74e9f1ae2cb224ba76.tar.bz2 | |
ada: Add intermediate assertions for proof of Super_Tail
Proof of Superbounded internal unit requires a little more help.
gcc/ada/
* libgnat/a-strsup.adb: Add intermediate assertions.
Diffstat (limited to 'gcc/ada/gen_il-fields.ads')
0 files changed, 0 insertions, 0 deletions