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

$include <prelude.sail>

$property
function prop(x: int) -> bool = {
  not_bool(x < x)
}