14 #ifndef CPROVER_GOTO_INSTRUMENT_CALL_SEQUENCES_H 15 #define CPROVER_GOTO_INSTRUMENT_CALL_SEQUENCES_H 23 #endif // CPROVER_GOTO_INSTRUMENT_CALL_SEQUENCES_H
void list_calls_and_arguments(const goto_modelt &)
void check_call_sequence(const goto_modelt &)
void show_call_sequences(const goto_modelt &)