test/smt/trivial_assert.sat.sail


1
2
3
4
5
6
7
8
9

default Order dec

$include <prelude.sail>

$counterexample
function prop(x: bits(5), y: bits(5)) -> bool = {
  assert(x == y);
  true
}