From cd07af4e8bb2d9a5c4b2ab5afa110a167c6ee264 Mon Sep 17 00:00:00 2001 From: dzaima Date: Sun, 12 Dec 2021 23:21:22 +0200 Subject: [PATCH] add g_pst gdb utility --- src/core/stuff.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/core/stuff.c b/src/core/stuff.c index 74bc6b96..66d5f725 100644 --- a/src/core/stuff.c +++ b/src/core/stuff.c @@ -722,6 +722,7 @@ B g_ta(void* x) { return tag(x,ARR_TAG); } B g_tf(void* x) { return tag(x,FUN_TAG); } void g_p(B x) { print(x); putchar(10); fflush(stdout); } void g_pv(void* x) { print(tag(x,OBJ_TAG)); putchar(10); fflush(stdout); } +void g_pst() { vm_pstLive(); } #ifdef DEBUG #ifdef OBJ_COUNTER