CBMC
nondet_padding.cpp
Go to the documentation of this file.
1 // Author: Diffblue Ltd.
2 
3 #include "nondet_padding.h"
4 
5 const irep_idt nondet_padding_exprt::ID_nondet_padding = "nondet_padding";
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:38
nondet_padding_exprt::ID_nondet_padding
static const irep_idt ID_nondet_padding
Definition: nondet_padding.h:23
nondet_padding.h
Expressions for use in incremental SMT2 decision procedure.