2 ms·
Frama-C uses comments for annotations: https://frama-c.com/html/acsl.html https://frama-c.com/html/acsl.html
by zokier 3y ago
Frama-C uses comments for annotations: https://frama-c.com/html/acsl.html https://frama-c.com/html/acsl.html
loading thread…