From 0de002ffd496d722973bb0b2f5164c182b949f82 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 8 Apr 2022 08:36:48 +0200
Subject: [PATCH] [ltest] Add reference to pathcrawler

---
 _fc-plugins/ltest.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/_fc-plugins/ltest.md b/_fc-plugins/ltest.md
index 1bc0ed68..1431014b 100644
--- a/_fc-plugins/ltest.md
+++ b/_fc-plugins/ltest.md
@@ -23,6 +23,11 @@ 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
+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.
+
 ## Further Reading
 
 - Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, and Mickaël Delahaye.
-- 
GitLab