suggest to provide FILE,LINE references for proof obligations in WP cmd-line output (#2098) · Issues · pub / frama-c