Suggest to supply values of global consts to provers (#498) · Issues · pub / frama-c