verify_module m returns None if the module m is valid, and Some reason if it is invalid. reason is a string containing a human-readable validation report. See llvm::verifyModule.

verify_function f returns true if the function f is valid, and false if it is invalid. See llvm::verifyFunction.

verify_module m returns if the module m is valid, but prints a validation report to stderr and aborts the program if it is invalid. See llvm::verifyModule.

verify_function f returns if the function f is valid, but prints a validation report to stderr and aborts the program if it is invalid. See llvm::verifyFunction.

view_function_cfg f opens up a ghostscript window displaying the CFG of the current function with the code for each basic block inside. See llvm::Function::viewCFG.

view_function_cfg_only f works just like view_function_cfg, but does not include the contents of basic blocks into the nodes. See llvm::Function::viewCFGOnly.