CBMC
|
Go to the source code of this file.
Functions | |
bool | jsil_entry_point (class symbol_tablet &symbol_table, class message_handlert &message_handler) |
Jsil Language
Definition in file jsil_entry_point.h.
bool jsil_entry_point | ( | class symbol_tablet & | symbol_table, |
class message_handlert & | message_handler | ||
) |
Definition at line 51 of file jsil_entry_point.cpp.