isla 0.2.0

Isla is a symbolic execution engine for Sail instruction set architecture specifications.
Documentation 
1
2
3
4
5
6
7
8
9
10

default Order dec

$include <prelude.sail>

$property
function prop() -> bool = {
  let x: range(0, 4) = undefined;
  assert(x >= 0 & x <= 3);
  true
}