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
static const irep_idt ID_nondet_padding
Expressions for use in incremental SMT2 decision procedure.
dstringt irep_idt