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

$include <prelude.sail>

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