Failure to detect qed libraries when running wp (#75) · Issues · pub / frama-c