Extend smoke tests to incoherent specification of declared functions (#1028) · Issues · pub / frama-c