Skip to content

Replace CPROVER_Assert function calls with new Assert Stmt #907

@jaisnan

Description

@jaisnan

Refactoring Request : Replace existing calls to CProver_assert to use the new Assert Stmt Instead. This is more inline with CBMC's structure and should make it easy to pass in custom strings as property classes and descriptions.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions