DEBSOURCES
Skip Quicknav
sources / sail-ocaml / 0.19.1%2Bdfsg5-1 / test / smt / zeros_3.sat.sail
12345678
default Order dec $include <vector_dec.sail> $property function prop((): unit) -> bool = { not_bool(0x0000_0000_0000_0000_0 == sail_zeros(68)) }