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

Fix display of SPARK tool output in README

Browse Source
This commit is contained in:
Joakim Strandberg
2023-08-01 22:45:07 +02:00
parent 278f395542
commit 0e74213692
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
wrapper/Ada/README.md
View File

@@ -29,6 +29,7 @@ formal verification). To formally verify the Ada code in this repository
open the client.gpr with GNAT Studio and then select open the client.gpr with GNAT Studio and then select
SPARK -> Prove All Sources and use Proof Level 2. SPARK -> Prove All Sources and use Proof Level 2.
```
Summary of SPARK analysis Summary of SPARK analysis
========================= =========================
@@ -47,6 +48,7 @@ Termination . . .
Concurrency . . . . . . Concurrency . . . . . .
--------------------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------------------
Total 172 17 (10%) . 155 (90%) . . Total 172 17 (10%) . 155 (90%) . .
```
## Compiler and Build System installation ## Compiler and Build System installation