tinyvm/tdb/tdb.h
2011-09-02 02:07:14 -07:00

12 lines
219 B
C

#ifndef TDB_H_
#define TDB_H_
#include <tvm/tvm.h>
#include "tdb_breakpoint.h"
void tdb_shell(tvm_t* vm);
int tdb_run(tvm_t* vm, tdb_breakpoint_t* breakpoints, int num_breakpoints);
void tdb_step(tvm_t* vm);
#endif