test/smt/foreach_simple_2.unsat.sail


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

default Order dec

$include <prelude.sail>

let C = 0

$property
function prop() -> bool = {
  let n = 3;
  bv = 0x0;
  foreach (i from C to n) {
    bv[i] = bitone
  };
  bv == 0xF
}