12 #ifndef CPROVER_GOTO_INSTRUMENT_NONDET_VOLATILE_H 13 #define CPROVER_GOTO_INSTRUMENT_NONDET_VOLATILE_H 25 #endif // CPROVER_GOTO_INSTRUMENT_NONDET_VOLATILE_H The type of an expression.
Goto Programs with Functions.
void nondet_volatile(symbol_tablet &symbol_table, goto_functionst &goto_functions)
bool is_volatile(const symbol_tablet &symbol_table, const typet &type)