Skip to content
GitLab
Explore
Sign in
verimag
synchrone
sasa
Repository
sasa
test
dijkstra-ring
ring_oracle.lus
Find file
Blame
History
Permalink
test: add an example to illustrate the use of lurette coverage
· 91b5bbd5
erwan
authored
Jul 28, 2021
to check is the worst-case has been reached
91b5bbd5