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

Fixes typo

parent 4e32cbf1
No related branches found
No related tags found
1 merge request!101Announcing MetAcsl 0.1
Pipeline #31348 passed
Stage: test
    Stage: css
      Stage: deploy
        Hide whitespace changes
        Inline Side-by-side
        Showing
        with 1 addition and 1 deletion
        _events/metacsl-0.1.md
        + 1
        − 1
        View file @ f65015bd
        ......@@ -11,5 +11,5 @@ Following the release of Frama-C 22.0 (Titanium), [MetAcsl](/fc-plugins/metacsl.
        MetAcsl intends to provide simple and compact ways to express properties that
        would demand peppering the code with thousands of annotations in plain ACSL.
        Its main use cases focus on security properties (notably ensuring that
        write and read accesses to sensitive memory locations are guarded appropriately.
        write and read accesses to sensitive memory locations are guarded appropriately).
        Feel free to consult its [homepage](/fc-plugins/metacsl.html) for more information.
        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