kdrag.contrib.hoare.wps

kdrag.contrib.hoare.wps(stmts: list[stmt], P: BoolRef) → Hoare
Parameters:

  • stmts (list[stmt])

  • P (BoolRef)

Return type:

Hoare