test_strlen -> strlen
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 16 Nov 2020 10:56:10 +0000 (10:56 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 16 Nov 2020 10:56:10 +0000 (10:56 +0000)
commitb56fbe62b0f248ff66b82252b01da93f9292a03f
tree45d8037a34be659719fc7bfb1931d11f16ec25a8
parent9332d16bf6696137441d39ed5295dd998e70eb8d
test_strlen -> strlen
2020-frama-c/6200-strlen-1.html