add `py_resetvm`

include/pocketpy/pocketpy.h

@@ -90,6 +90,8 @@ PK_EXPORT int py_currentvm();
 /// Switch to a VM.
 /// @param index index of the VM ranging from 0 to 16 (exclusive). `0` is the default VM.
 PK_EXPORT void py_switchvm(int index);
+/// Reset a VM.
+PK_EXPORT void py_resetvm(int index);
 /// Set `sys.argv`. Used for storing command-line arguments.
 PK_EXPORT void py_sys_setargv(int argc, char** argv);
 /// Setup the callbacks for the current VM.

src/public/internal.c

@@ -61,6 +61,14 @@ void py_switchvm(int index) {
     pk_current_vm = pk_all_vm[index];
 }
 
+void py_resetvm(int index){
+    if(index < 0 || index >= 16) c11__abort("invalid vm index");
+    VM* vm = pk_all_vm[index];
+    if(!vm) c11__abort("vm not initialized");
+    VM__dtor(vm);
+    VM__ctor(vm);
+}
+
 int py_currentvm() {
     for(int i = 0; i < 16; i++) {
         if(pk_all_vm[i] == pk_current_vm) return i;