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