path: root/test/smt/sqrt.unsat.sail

default Order dec

$include <prelude.sail>
$include <real.sail>

$property
function prop() -> bool = {
  sqrt(4.0) == 2.0;
}