Skip to content
Snippets Groups Projects
Commit 73b62c1d authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[ltest] fix typos from review

parent 0de002ff
No related branches found
No related tags found
1 merge request!145Introducing LTest
Pipeline #43931 passed
......@@ -23,7 +23,7 @@ covered for a given criterion. In this context,
- `LReplay` executes a test suite over some code instrumented with
(hyper)labels and computes a coverage ratio.
On the other hand, these component, and notably `LReplay` assume that you
On the other hand, these components, and notably `LReplay` assume that you
already have a test suite whose coverage you want to evaluate. Still in the
context of Frama-C, you can for instance use
[PathCrawler]({% link _fc-plugins/pathcrawler.md %}) to generate such a suite.
......@@ -41,7 +41,7 @@ context of Frama-C, you can for instance use
## Installation
All three packages are available in `opam` and can be installed trough
All three packages are available in `opam` and can be installed through
```
opam install frama-c-lannotate frama-c-luncov lreplay
......@@ -53,4 +53,4 @@ Manual installation instructions are available in the README of each of the repo
- [https://git.frama-c.com/pub/ltest/luncov](https://git.frama-c.com/pub/ltest/luncov)
- [https://git.frama-c.com/pub/ltest/lreplay](https://git.frama-c.com/pub/ltest/lreplay)
They require OCaml>= 4.08.1, and, for the plugins, Frama-C 24.0 Chromium
They require OCaml>= 4.08.1, and, for the plugins, Frama-C 24.0 (Chromium).
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment