cprover
|
#include <goto-programs/goto_model.h>
Go to the source code of this file.
Functions | |
bool | is_volatile (const symbol_tablet &, const typet &) |
void | nondet_volatile (goto_modelt &) |
Volatile Variables
Definition in file nondet_volatile.h.
bool is_volatile | ( | const symbol_tablet & | , |
const typet & | |||
) |
Definition at line 19 of file nondet_volatile.cpp.
void nondet_volatile | ( | goto_modelt & | ) |
Definition at line 122 of file nondet_volatile.cpp.