test/smt/trivial_funcall.sat.sail


1
2
3
4
5
6
7
8
9
10

default Order dec

$include <flow.sail>

function f((): unit) -> bool = false

$property
function prop((): unit) -> bool = {
  f()
}