Merge branch 'upgrade_proofs_coq_8_11_to_8_16' into 'master'

[why3.git] / bench / check-ce / test_result_ce_value0.mlw

use int.Int

val id (x: int) : int
  ensures { result > x }

let test2 (x:int) =
  let a = id x in
  assert { a <> 42 }