cprover
|
Specify write set in function contracts. More...
#include "assigns.h"
#include <goto-instrument/havoc_utils.h>
#include <util/arith_tools.h>
#include <util/c_types.h>
#include <util/pointer_predicates.h>
Go to the source code of this file.
Specify write set in function contracts.
Definition in file assigns.cpp.