From f11007375cdc93b12c65dd2c34ee627dc0377910 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 8 Apr 2022 10:55:16 +0200
Subject: [PATCH] [ltest] add some links

---
 _fc-plugins/ltest.md | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/_fc-plugins/ltest.md b/_fc-plugins/ltest.md
index 51008a15..1ecaa317 100644
--- a/_fc-plugins/ltest.md
+++ b/_fc-plugins/ltest.md
@@ -28,6 +28,12 @@ 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.
 
+These three tools are available on Frama-C's gitlab server under LGPL-2.1-only:
+- [LAnnotate](https://git.frama-c.com/pub/ltest/lannotate)
+- [LUncov](https://git.frama-c.com/pub/ltest/luncov)
+- [LReplay](https://git.frama-c.com/pub/ltest/lreplay)
+
+
 ## Further Reading
 
 - Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, and Mickaël Delahaye.
@@ -49,8 +55,8 @@ opam install frama-c-lannotate frama-c-luncov lreplay
 
 Manual installation instructions are available in the README of each of the repositories:
 
-- [https://git.frama-c.com/pub/ltest/lannotate](https://git.frama-c.com/pub/ltest/lannotate)
-- [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)
+- [LAnnotate](https://git.frama-c.com/pub/ltest/lannotate/-/blob/master/README.markdown)
+- [LUncov](https://git.frama-c.com/pub/ltest/luncov/-/blob/master/README.markdown)
+- [LReplay](https://git.frama-c.com/pub/ltest/lreplay/-/blob/master/README.markdown)
 
 They require OCaml>= 4.08.1, and, for the plugins, Frama-C 24.0 (Chromium).
-- 
GitLab