feedc0de/wolfssl
1
0
Fork 0
forked from wolfSSL/wolfssl
Code Pull Requests Activity

Ada: fix initialization issue in examples

Browse Source 
Detected by
```
gnatprove -Pclient.gpr --level=4 -j12
```
This commit is contained in:
mgrojo
2025-03-28 18:38:22 +01:00
parent db4ebfb77e
commit bf5009b544
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
wrapper/Ada/tls_client.adb
View File

@@ -204,8 +204,8 @@ package body Tls_Client with SPARK_Mode is
Output : WolfSSL.Write_Result; Output : WolfSSL.Write_Result;
Result : WolfSSL.Subprogram_Result; Result : WolfSSL.Subprogram_Result;
DTLS : Boolean; DTLS : Boolean := False;
PSK : Boolean; PSK : Boolean := False;
begin begin
Result := WolfSSL.Initialize; Result := WolfSSL.Initialize;
if Result /= Success then if Result /= Success then

2
wrapper/Ada/tls_server.adb
View File

@@ -162,7 +162,7 @@ package body Tls_Server with SPARK_Mode is
Ch : Character; Ch : Character;
Result : WolfSSL.Subprogram_Result; Result : WolfSSL.Subprogram_Result;
DTLS, PSK : Boolean; DTLS, PSK : Boolean := True;
Shall_Continue : Boolean := True; Shall_Continue : Boolean := True;
Input : WolfSSL.Read_Result; Input : WolfSSL.Read_Result;