12 #ifndef CPROVER_GOTO_INSTRUMENT_NONDET_VOLATILE_H 13 #define CPROVER_GOTO_INSTRUMENT_NONDET_VOLATILE_H 23 #endif // CPROVER_GOTO_INSTRUMENT_NONDET_VOLATILE_H The type of an expression.
bool is_volatile(const symbol_tablet &, const typet &)
void nondet_volatile(goto_modelt &)