CBMC
validate_helpers.h File Reference
#include <type_traits>
+ Include dependency graph for validate_helpers.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  call_checkt< Base, T >
 
struct  call_validatet< Base, T >
 
struct  call_validate_fullt< Base, T >