[Applies to KMDF only]
The WDFVERIFY macro tests a logical expression and, if the expression evaluates to FALSE, breaks into the kernel debugger.
VOID WDFVERIFY( exp );
A logical expression that WDFVERIFY tests.
The code for the WDFVERIFY macro is included in your driver's binary when you build your driver in a release configuration or a debug configuration. If your driver's binary includes WDFVERIFY code, the code will run when your driver runs with checked builds or free builds of the Microsoft Windows operating system.
The WDFVERIFY code breaks into a kernel debugger only if the VerifyOn value is set in the registry. For more information about registry entries that you can use to debug your driver, see Registry Entries for Debugging Framework-Based Drivers.
For more information about debugging your driver, see Debugging a KMDF Driver.
The following code example breaks into the debugger if an attempt to reuse a request object fails.
status = WdfRequestReuse(Request, &params); WDFVERIFY(NT_SUCCESS(status));
Minimum KMDF version
|Wdfassert.h (include Wdf.h)|