Code

Replace requires with c_requires#7698

Code

Merged

feliperodri merged 1 commit intodevelopdiffblue/cbmc:developfrom

20230503-rename-requiresdiffblue/cbmc:20230503-rename-requiresCopy head branch name to clipboard

May 12, 2023

Commits

Commits on May 12, 2023

• Prefix requires, assigns, frees, and ensures.

  Show description for 3a6cef0
  TGWDB

  committed
  3a6cef0

  Copy full SHA for 3a6cef0