Added GDB command to debug spectrum backend