--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on September 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] needing help to write a frama-c plugin



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