Impossible to pass option to jessie or why through jessie plugin (#456) · Issues · pub / frama-c