ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
mode_table_et Struct Reference

#include <mode.h>

Public Attributes

language_idt language_id
languaget *(* new_language )()

Member Data Documentation

◆ language_id

language_idt mode_table_et::language_id

◆ new_language

languaget *(* mode_table_et::new_language) ()

The documentation for this struct was generated from the following file: