--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on September 2014 ---
On 09/01/2014 07:54 PM, Julien Signoles wrote: For > instance in your code, you use a familiar C-like pattern with a for-loop > over a list which results on an unexpected O(n*n*ln(n)) behaviour where > n is the size of the list. A careful reader would have read O(n*n*n): no habit of using a linear-time membership function ;-). -- Julien