top_level
libraries/mcrl2-sys/src
Lines
70 %
Functions
32.54 %
Branches
100 %
File
Line Coverage
Functions
Branches
atermpp.rs
81.25%
81.25%
26 / 32
34.72%
25 / 72
100%
0 / 0
data.rs
56%
56%
14 / 25
29.17%
14 / 48
100%
0 / 0
lps.rs
66.67%
66.67%
2 / 3
33.33%
2 / 6
100%
0 / 0