/**
* Print the details of all the allocated coco::Bag in coco::Module
*
- * (gdb) call enco_dump_all_bags(bag)
+ * (gdb) call enco_dump_all_bags(bag->module())
* (gdb) call enco_dump_all_bags(0x...)
*/
DEBUGGING_API_P(enco_dump_all_bags, coco::Module);
/**
* Print the details of all the allocated coco::Object in coco::Module
*
- * (gdb) call enco_dump_all_objects(bag)
+ * (gdb) call enco_dump_all_objects(obj->module())
* (gdb) call enco_dump_all_objects(0x...)
*/
DEBUGGING_API_P(enco_dump_all_objects, coco::Module);
/**
* Print the details of all the allocated coco::Op in coco::Module
*
- * (gdb) call enco_dump_all_ops(module)
+ * (gdb) call enco_dump_all_ops(op->module())
* (gdb) call enco_dump_all_ops(0x....)
*/
DEBUGGING_API_P(enco_dump_all_ops, coco::Module);
/**
* Print the details of all the allocated coco::Instr in coco::Module
*
- * (gdb) call enco_dump_all_instrs(module)
+ * (gdb) call enco_dump_all_instrs(instr->module())
* (gdb) call enco_dump_all_instrs(0x...)
*/
DEBUGGING_API_P(enco_dump_all_instrs, coco::Module);