[<<][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][>>][..]