suggest to provide results of commandl-line "-wp-prop" evaluation in a file in the wp-out directory (#77) · Issues · pub / frama-c