call_sequences.h File Reference

Memory-mapped I/O Instrumentation for Goto Programs. More...

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
void	show_call_sequences (const goto_modelt &)
void	check_call_sequence (const goto_modelt &)
void	list_calls_and_arguments (const goto_modelt &)

Detailed Description

Memory-mapped I/O Instrumentation for Goto Programs.

Definition in file call_sequences.h.

Function Documentation

check_call_sequence()

void check_call_sequence

(

const goto_modelt &

goto_model

)

Definition at line 252 of file call_sequences.cpp.

list_calls_and_arguments()

void list_calls_and_arguments

(

const goto_modelt &

goto_model

)

Definition at line 314 of file call_sequences.cpp.

show_call_sequences()

void show_call_sequences

(

const goto_modelt &

goto_model

)

Definition at line 67 of file call_sequences.cpp.