From 73b62c1d949b762a837c3bde325b6f6a41119d6b Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 8 Apr 2022 09:32:33 +0200
Subject: [PATCH] [ltest] fix typos from review
---
_fc-plugins/ltest.md | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/_fc-plugins/ltest.md b/_fc-plugins/ltest.md
index 1431014b..51008a15 100644
--- a/_fc-plugins/ltest.md
+++ b/_fc-plugins/ltest.md
@@ -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).
--
GitLab