Exemplo n.º 1
0
void init_yices_string_lexer(lexer_t *lex, char *data, char *name) {
  init_token2string();
  init_string_lexer(lex, data, name);
}
Exemplo n.º 2
0
void init_smt2_string_lexer(lexer_t *lex, char *data, const char *name) {
  smt2_activate_default();
  init_string_lexer(lex, data, name);
}