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
default Order dec

$include <prelude.sail>

function prop() -> bool = {
  let xs: vector(4, dec, int) = undefined;
  let xs = [xs with 0 = 3];
  xs[1] == 3
}