Option -jessie-cpu-limit not taken into account in GUI (#2443) · Issues · pub / frama-c