test/smt/trivial_assert_2.unsat.sail


1
2
3
4
5
6
7
8
9
10
11

default Order dec

$include <prelude.sail>

$property
function prop(x: int, y: int) -> bool = {
  if x != y then {
    assert(x != y);
    true
  } else true
}