CBMC
|
Havoc function assigns clauses. More...
#include "instrument_spec_assigns.h"
Go to the source code of this file.
Classes | |
class | havoc_assigns_clause_targetst |
Class to generate havocking instructions for target expressions of a function contract's assign clause (replacement). More... | |
Havoc function assigns clauses.
Definition in file havoc_assigns_clause_targets.h.