Testing example which is OK for Jessie-plugin fails with wp-plugin. (#2081) · Issues · pub / frama-c