1Halting executing2Local variables:3 a = |main:a|4 ptr = #x00000000000000045 val = #x000009266Symbolic variable values:7
A symbolic executor for the QBE intermediate language
git clone https://git.8pit.net/qsym.git
1Halting executing2Local variables:3 a = |main:a|4 ptr = #x00000000000000045 val = #x000009266Symbolic variable values:7