Cyclic0007/wolfssl
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
362f0a2cfdfeaea3e9a816ca90c19b4893ea2bbb
wolfssl/wrapper/Ada/tls_client.adb
mgrojo bf5009b544 Ada: fix initialization issue in examples 
Detected by
```
gnatprove -Pclient.gpr --level=4 -j12
```
2025-03-28 18:38:22 +01:00

14 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink