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
11
12
13
14
15
16
17
18
19
20
21

default Order dec

$include <prelude.sail>

struct T = {
 z: bits(8),
 w: bits(8)
}

struct S = {
  x: T,
  y: bits(8)
}

function prop() -> bool = {
  var s: S = struct { x = struct { z = 0xAB, w = 0xCD }, y = 0xEF };
  assert(s.x.z == 0xAB);
  s.x.z = 0xBA;
  assert(s.x.z == 0xAB);
  true
}