using real function ( \max, \min, \abs ) instead of integer one in function contract (#1287) · Issues · pub / frama-c