CBMC
memory_predicates.cpp File Reference

Predicates to specify memory footprint in function contracts. More...

+ Include dependency graph for memory_predicates.cpp:

Go to the source code of this file.

Detailed Description

Predicates to specify memory footprint in function contracts.

Definition in file memory_predicates.cpp.