test/smt/tl_let_shadow.sat.sail


1
2
3
4
5
6
7
8
9
10

default Order dec

$include <prelude.sail>

let xs = 0xFFFF_FFFF

$counterexample
function prop(xs: bits(32)) -> bool = {
  xs == 0xFFFF_FFFF
}