qsym

A symbolic executor for the QBE intermediate language

git clone https://git.8pit.net/qsym.git

1Halting executing
2Local variables:
3	.1 = #x0000000000000008
4	.2 = #x000000ff
5	.3 = #xffffffff
6	a = |main:a|
7Symbolic variable values:
8