From f3c1e7ac6b5219772467b08ec4d71e72c2fe003d Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 7 Apr 2022 16:41:02 +0000
Subject: [PATCH] Update ltest.md following review

---
 _fc-plugins/ltest.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_fc-plugins/ltest.md b/_fc-plugins/ltest.md
index 18e761af..1bc0ed68 100644
--- a/_fc-plugins/ltest.md
+++ b/_fc-plugins/ltest.md
@@ -18,7 +18,7 @@ covered for a given criterion. In this context,
 
 - `LAnnotate` generates the set of (hyper)labels corresponding to
   the selected criteria for a given C program;
-- `LUncov` attempts to detect the (hyper)labels that are unreachable,
+- `LUncov` attempts to detect the (hyper)labels that are uncoverable,
   and the ones that are redundant;
 - `LReplay` executes a test suite over some code instrumented with
   (hyper)labels and computes a coverage ratio.
-- 
GitLab