Log message when plevel is used in logic needed (#420) · Issues · pub / frama-c