summaryrefslogtreecommitdiff
path: root/test/smt/lteq_int_def.unsat.sail
blob: 1185901991434acc41b028681a4aa92a46a39886 (plain)
1
2
3
4
5
6
7
8
default Order dec

$include <prelude.sail>

$property
function prop(x: int, y: int) -> bool = {
  if x <= y then x < y | x == y else y < x
}