Skip to content

GitLab

Explore

Sign in

L

lreplay

Project information

launch a test suite over some code annotated with (hyper)labels and computes corresponding coverage metrics

88 Commits
1 Branch
2 Tags
2 Releases

README
GNU LGPLv2.1

Created on

April 06, 2022

Copy SSH clone URLgit@git.frama-c.com:pub/ltest/lreplay.git
Copy HTTPS clone URLhttps://git.frama-c.com/pub/ltest/lreplay.git