cprover
Loading...
Searching...
No Matches
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"
;
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.
irep_idt
dstringt irep_idt
Definition
verification_result.h:16
solvers
smt2_incremental
encoding
nondet_padding.cpp
Generated by
1.14.0