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

[ltest] add some links

parent 73b62c1d
No related branches found
No related tags found
1 merge request!145Introducing LTest
Pipeline #43940 passed
Stage: test
    Stage: css
      Stage: deploy
        Hide whitespace changes
        Inline Side-by-side
        Showing
        with 9 additions and 3 deletions
        _fc-plugins/ltest.md
        + 9
        − 3
        View file @ f1100737
        ...@@ -28,6 +28,12 @@ already have a test suite whose coverage you want to evaluate. Still in the ...@@ -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 context of Frama-C, you can for instance use
        [PathCrawler]({% link _fc-plugins/pathcrawler.md %}) to generate such a suite. [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 ## Further Reading
        - Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, and Mickaël Delahaye. - 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 ...@@ -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: 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) - [LAnnotate](https://git.frama-c.com/pub/ltest/lannotate/-/blob/master/README.markdown)
        - [https://git.frama-c.com/pub/ltest/luncov](https://git.frama-c.com/pub/ltest/luncov) - [LUncov](https://git.frama-c.com/pub/ltest/luncov/-/blob/master/README.markdown)
        - [https://git.frama-c.com/pub/ltest/lreplay](https://git.frama-c.com/pub/ltest/lreplay) - [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). They require OCaml>= 4.08.1, and, for the plugins, Frama-C 24.0 (Chromium).
        0% or .
        You are about to add 0 people to the discussion. Proceed with caution.
        Finish editing this message first!
        Please register or to comment