14 #ifndef CPROVER_GOTO_INSTRUMENT_CALL_SEQUENCES_H 15 #define CPROVER_GOTO_INSTRUMENT_CALL_SEQUENCES_H 26 #endif // CPROVER_GOTO_INSTRUMENT_CALL_SEQUENCES_H void show_call_sequences(const goto_functionst &goto_functions)
Goto Programs with Functions.
void check_call_sequence(const goto_functionst &goto_functions)
void list_calls_and_arguments(const namespacet &ns, const goto_functionst &goto_functions)