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

[ltest] Add reference to pathcrawler

parent f3c1e7ac
No related branches found
No related tags found
1 merge request!145Introducing LTest
Pipeline #43926 passed
......@@ -23,6 +23,11 @@ covered for a given criterion. In this context,
- `LReplay` executes a test suite over some code instrumented with
(hyper)labels and computes a coverage ratio.
On the other hand, these component, and notably `LReplay` assume that you
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.
## Further Reading
- Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, and Mickaël Delahaye.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment