[<<][libprim][>>][..]
Thu Nov 12 12:05:20 CET 2009

sc_eval_step debugging

(gdb) p sc_write_stderr(sc, state)
#state(#redex(repl-oneshot ()) #k_apply(#k_mt () () ()))$3 = 20



[Reply][About]
[<<][libprim][>>][..]