--- layout: fc_discuss_archives title: Message 14 from Frama-C-discuss on July 2019 ---
On 19/07/2019 13:13, Virgile Prevosto wrote: > Generally speaking, WP is quite bad at handling memcpy and other > functions of its ilk OK. In that case, what is the preferred and correct method for performing assignment of a whole array in Frama-C? Â - Rod -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190719/048c2047/attachment.html>