DEBSOURCES
Skip Quicknav
sources / sail-ocaml / 0.19.1%2Bdfsg5-1 / test / smt / trivial_assert.sat.sail
123456789
default Order dec $include <prelude.sail> $counterexample function prop(x: bits(5), y: bits(5)) -> bool = { assert(x == y); true }