Add note about benchmarking.
[libguestfs-talks.git] / 2020-frama-c / 6200-strlen-1.html
2020-11-16 Richard W.M. Jonestest_strlen -> strlen
2020-11-12 Richard W.M. JonesReworking after run through with Paolo.