CBMC
jsil_entry_point.h File Reference
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

bool jsil_entry_point (class symbol_tablet &symbol_table, class message_handlert &message_handler)
 

Detailed Description

Jsil Language

Definition in file jsil_entry_point.h.

Function Documentation

◆ jsil_entry_point()

bool jsil_entry_point ( class symbol_tablet symbol_table,
class message_handlert message_handler 
)

Definition at line 51 of file jsil_entry_point.cpp.