Tag Archives: test

Test plug-ins (re-)released: LUncov, LAnnotate, LReplay (all part of LTest)
André Maroneze (review by Virgile Prevosto) on 19 April 2022

The Ltest “meta-plugin” (composed of three parts: LUncov, LAnnotate and LReplay) has been (re-)released on Frama-C’s public Gitlab, and as 3 opam packages: frama-c-luncov, frama-c-lannotate, and lreplay. These plugins help measure test coverage based on hyperlabels. Details about them are published here and here (you can also see the LTest...

Read More