1Halting executing
2Local variables:
3 a = |main:a|
4 ptr = #x0000000000000004
5 val = #x00000926
6Symbolic variable values:
7
A symbolic executor for the QBE intermediate language
git clone https://git.8pit.net/qsym.git
1Halting executing
2Local variables:
3 a = |main:a|
4 ptr = #x0000000000000004
5 val = #x00000926
6Symbolic variable values:
7