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

Update ltest.md following review

parent df80e47c
No related branches found
No related tags found
1 merge request!145Introducing LTest
Pipeline #43916 passed
Stage: test
    Stage: css
      Stage: deploy
        Hide whitespace changes
        Inline Side-by-side
        Showing
        with 1 addition and 1 deletion
        _fc-plugins/ltest.md
        + 1
        − 1
        View file @ f3c1e7ac
        ...@@ -18,7 +18,7 @@ covered for a given criterion. In this context, ...@@ -18,7 +18,7 @@ covered for a given criterion. In this context,
        - `LAnnotate` generates the set of (hyper)labels corresponding to - `LAnnotate` generates the set of (hyper)labels corresponding to
        the selected criteria for a given C program; 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; and the ones that are redundant;
        - `LReplay` executes a test suite over some code instrumented with - `LReplay` executes a test suite over some code instrumented with
        (hyper)labels and computes a coverage ratio. (hyper)labels and computes a coverage ratio.
        ......
        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