CBMC
statement_list_language.cpp File Reference

Statement List Language Interface. More...

+ Include dependency graph for statement_list_language.cpp:

Go to the source code of this file.

Functions

std::unique_ptr< languagetnew_statement_list_language ()
 

Detailed Description

Statement List Language Interface.

Definition in file statement_list_language.cpp.

Function Documentation

◆ new_statement_list_language()

std::unique_ptr<languaget> new_statement_list_language ( )

Definition at line 149 of file statement_list_language.cpp.