Searched refs:verify_module (Results 1 – 9 of 9) sorted by relevance
15 (** [verify_module m] returns [None] if the module [m] is valid, and18 external verify_module : Llvm.llmodule -> string option = "llvm_verify_module"25 (** [verify_module m] returns if the module [m] is valid, but prints a
11 external verify_module : Llvm.llmodule -> string option = "llvm_verify_module"
29 begin match verify_module m with41 begin match verify_module m with
1312 insist (match Llvm_analysis.verify_module m with
32 begin match verify_module m with44 begin match verify_module m with
1466 insist (match Llvm_analysis.verify_module m with
712 def verify_module(self, module): member in SourceLoaderTestHarness733 self.verify_module(module)783 self.verify_module(module)796 self.verify_module(module)